## Greenplum资源管理器 姚珂男/Pivotal kyao@pivotal.io ## Agenda • Greenplum数据库 • Resource Queue • Resource Group ## Greenplum数据库 • 基于PostgreSQL • 分布式 • OLAP • MPP(Massively Parallel Processing) ## Greenplum数据库 优化器不能被纳入资源管理器 ## Resource Queue ## • Priority is rough – 不能精确控制CPU - CHECK FOR INTERRUPTS – BackoffBackendTick – sweeper process (backoff.c) ## Resource Queue ## • Memory – Chaotic – 没有严格资源隔离 – 第三方库的malloc Resource Group • SQL语句并发控制 => 事务并发控制 ·基于cost的并发控制 • 基于优先级的CPU控制 => 精确CPU比例 • 内存控制 => 严格资源隔离 ## Running Example • CREATE RESOURCE Group rg WITH ( concurrency=1, cpu_rate_limit=.5,

[Image](/uploads/documents/4/4/b/e/44be860493f23531759994848f32bc68/p1_1.jpg) ## Gitea ## 新一代的代码托管平台 2023.12 ## 飞致云 & 上海吉谛 2023年11月，飞致云与上海吉谛达成战略合作，获得 Gitea 企业版中国大陆地区独家代理权，向中国数字化团队交付被广泛验证、可信赖的通用工具软件。 32bc68/p2_6.jpg)|| |新一代的代码托管平台|一站式持续测试平台|广受欢迎的堡垒机|人人可用的数据可视化分析工具| | Star 13,400+| 上海吉谛 飞致云 1 Gitea 开源项目介绍 2 Gitea 优势总结 3 Gitea 企业版介绍 ## 代码托管平台的发展历程 · 单用户本地编辑； · 没有网络功能； · 典型产品：RCS、SCCS。 ## 阶段一 本地代码管理 - C/S 架构体系，支持网络化协作； - 依赖中央存储库； -

## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: 甚至Haskell程序员们能够在HGoogle中通过函数的类型签名来寻找函数。 程序效率：动态类型不利于编译优化 ## 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 类型系统的分类——声明式类型系统与结构化类型系统 声明类型系统通过名字来检查类型 支持。尽管没有为注释指定任何含义，但始终存在一个隐式目标，即将它们用于类型提示。 该PEP旨在为类型注释提供标准语法，开放Python代码以简化静态分析和重构，潜在的运行时类型检查，以及（可能在某些情况下）利用类型信息生成代码。 在这些目标中，静态分析是最重要的。这包括对类型检查器（如mypy）的支持，以及提供可由IDE实现的代码重构操作。 虽然这些注释可以在运行时通过 __annotations__

可以使用 `defer_call(func).` 来设置会话结束时需要调用的函数。无论是因为用户主动关闭页面还是任务结束使得会话关闭，设置的函数都会被执行。`defer_call(func).` 可以用于资源清理等工作。在会话中可以多次调用 `defer_call()`, 会话结束后将会顺序执行设置的函数。 ## 与Web框架集成 可以将PyWebIO应用集成到现有的Python Web项目中，Py PyWebIO静态资源的托管 PyWebIO默认使用CDN来获取前端的静态资源，如果要将PyWebIO应用部署到离线环境中，需要自行托管静态文件，并将webio_view()或webio_handler()的cdn参数设置为False，此时需要将静态资源托管在和PyWebIO应用同级的目录下。同时，也可以通过cdn参数直接设置PyWebIO静态资源的部署目录。 PyWebIO的静态文件的路径可保存在 print(pywebio.STATIC_PATH)" 将其打印出来。 ## 注解 使用 start_server() 启动的应用，如果将 cdn 参数设置为 False，会自动启动一个本地的静态资源托管服务，无需手动托管。 ## 基于协程的会话 此部分内容属于高级特性，您不必使用此部分也可以实现PyWebIO支持的全部功能。PyWebIO中所有仅用于协程会话的函数或方法都在文档中有特别说明。 Py

Žna' + $ 3 U ®[ \Q Jh«QR[]q 3!H± BÀ : H E 6 R £YFHtQW $ ]sUä]² yn®/Ø } ¥(ð$À ç]^c†0 R ## 3 \ : H E 静态资源的托管9 3 \ : H EIp ✗ < BÀ & ' 14yQO!n àH±D dñ-™ZÜ< (n®' 54W ✗ : H E,, ☑À^€M È GSLWAG&

## 基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 复旦大学 报告日期：2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 研究挑战：指针分析是NP-hard问题 准确性：应采用路径敏感的指针分析算法，避免过多误报 分析效率：应基于Rust MIR的特点对算法进行优化，使其可行 ☐ 整体思路：基于编译过程中的生成的MIR进行静态分析 ■ 路径提取：控制流图=>生成树 别名分析：分析指针之间的关联关系 ■ 模式识别：根据预定义的缺陷模式检测指针漏洞 路径提取 ![Image](/uploads/documen

DWNBIXQFDSSDGGBURXWWHDWLFBUR6X$7H&B3$7+ ZHEUXQBDSSSKRVWORFDOKRVSWRUW ## 注意事项 ## 3 \ : H E 静态资源的托管9 $À,~!icÎ9Mn® BÀ!!H±5P5N1h 3D dñ-™3 Ÿ4¥ 9)‘ &,~!i$Y>Ym^• U z3Q Wn® ¢3 D ! : H55Nd^/D FÔ #

Žna' + $ 3 U ®[ \Q Jh«QR[]q 3!!H± BÀ : H E 6 R £YFHtQW $ ]sUä]² yn®/Ø } ¥(ð$À ç]^c†0 R ## 3 \ : H E 静态资源的托管9 3 \ : H EIp ✗ < BÀ & ' 14YQO!n àH±D dñ-™ZÜ< (n®' 54W ✗ : H E,, ☑À^€M È GSLWAG&

## 面向亿行C/C++代码的 静态分析系统设计及实践 肖枭 ## 500+高端科技领导者与你一起探讨 技术、管理与商业那些事儿 2019年6月14–15日 上海圣诺亚皇冠假日酒店   2016年香港科技大学取得博士学位 过去10年一直以极高的热情从事静态分析技术的学术用研究 合作创办源伞科技，致力于推动静态分析技术在企业中的应用 ## 目录 代码质量管理是个大问题 静态分析+代码评审的实践 ## 生产质量是责任 ☐ 学习和强调，红线和惩罚，100%的测试 覆盖率，和事后复盘并不够 ☐ 有经验的程序员也会犯错 [Image](/uploads/documents/d/f/4/2/df4204d40f8d9990146651d100a36efb/p6_1.jpg) ## 自动化工具+流程才是未来 ☐ 静态分析工具：半智能的代码分析机器人 ☐ 静态分析辅助代码评审 ## Bug! Thx! Bug! ## 代码质量改进工具、流程落地难 □ 投入大 ☐ KPI不痛不痒 使用主体和责任主体不一致 ☐ 一步登天想要终极AI