2023OS2ATC｜第十届开源操作系统年度技术会议嘉宾PPT合集（共44套打包）

1、清华大学 Tsinghua UniversityPACMAN基于表达式推导的人工智能编译器基于表达式推导的人工智能编译器翟季冬翟季冬清华大学清华大学2023.3.26第十届开源操作系统年度技术会议第十届开源操作系统年度技术会议-OS2ATCOS2ATC清华大学 Tsinghua University背景和意义人工智能芯片人工智能芯片成为深度学习应用的主要计算力成为深度学习应用的主要计算力摩尔定律。

2、邢其正(MaxXing)北京大学Koopa是?KoopaKingBowsera.k.a.库巴/酷霸王KoopaKoopaKoopa面向本科生的编译实践教学方案教学用的编译器构建框架详尽的“手把手”式教程文档开箱即用的Docker实验环境支持C/C+/Rust多种开发语言Koopa全部开源，面向全网开放手把手教你从零开始写一个编译器编译实践在线文档Koopa是怎么诞生的?Koopa的诞生2020年。

3、Microverification of the Linux KVM HypervisorRonghui Gu,CSColumbia(Joint work with Jason Nieh,Xupeng Li,et al.)A Secure and Formally Verified Linux KVM HypervisorShih-wei Li,Xupeng Li,Ronghui Gu,Jaso。

4、FTL OS:基于rust无栈协程的RISC-V64多核操作系统团队：叶自立樊博李羿廷哈尔滨工业大学（深圳）指导老师：夏文、仇洁婷主讲人：叶自立OS2ATC 2022总体概览系统设计开发方式其他建议目 录01总体概览FTL OS的开发目标FTL:Faster Than Light我们的理想：让性能前无古人，后无来者使用一切潜在优化把多核和性能放在首位从零开始设计，掌握一切细节复杂，但扩展性高FT。

5、.项目简介.功能简介.关键技术描述.目前的进展与安排支持 Rust 语言的源代码级内核调试工具OSATC 学生分会场报告陈志扬指导教师：吴竞邦北京工商大学计算机科学与技术系2023 年 3 月 23 日陈志扬北京工商大学计算机科学与技术系支持 Rust 语言的源代码级内核调试工具1/26.项目简介.功能简介.关键技术描述.目前的进展与安排1项目简介2功能简介3关键技术描述4目前的进展与安排陈志扬。

6、2023年3月OS2ATC宋顾杨 蚂蚁集团通用分布式计算引擎RAY云原生环境下如何快速构建分布式系统2020-今Ray开源社区Committer C+分布式框架 作者 Runtime Environments 维护者2017-今蚂蚁集团-新计算引擎团队 参与和推动了Ray在蚂蚁集团从0到1再到万台服务器规模的落地2015-2016蚂蚁集团-应用网络团队 7层网关，支付宝钱包网络自研协议About。

7、Rust Monitor!#$%!#$%&()*$+*仅限内部交流使用，如果需要公开，请联系文档作者目录1、Motivation2、Background3、Formal verification of Rust Monitor4、Proving Functional Correctness of Rust Code5.Summary*仅限内部交流使用，如果需要公开，请联系文档作者Moti。

8、TencentOS Server云原生技术实践2022.7.15腾讯云OS团队1.腾讯OS技术积累2.TencentOS云原生网络实践3.TencentOS RUE(如意)4.TencentOS 悟净5.其他云原生特性6.下一代云原生操作系统(全栈国产化)目录腾讯OS技术积累0112年磨一剑2010年开始自主研发代替外购SUSE2011年发布第一个版本TS1精简内核稳定性/性能提升新硬件支持新技。

9、麒 麟 软 件 有 限 公 司麒 麟 软 件 有 限 公 司KylinOS SDK和和IDE技术分享技术分享2023.3.22打打 造造 中中 国国 操操 作作 系系 统统 核核 心心 力力 量量麒麟软件 张超麒 麟 软 件 有 限 公 司麒 麟 软 件 有 限 公 司目录目录1.Linux桌面操作系统上的开发现状2.主流操作系统开发体系现状3.麒麟的解决方案和规划KylinOS 研发SDK和I。

10、云服务器内存多级卸载方案探索曾敬翔 腾讯Linux内核研发工程师内容提纲内容提纲方案背景01业界方案介绍02方案详述及效果03后续规划04服务器内存多级卸载方案探索服务器内存多级卸载方案探索内存热度 服务器在数据中心硬件采购成本中占比最高，达到80%左右，其中CPU、GPU和DRAM是主要成本项采购成本、能耗、电费等 数据中心应用程序对内存的需求持续增长随着数据量和业务复杂度上升，内存需求陡增 。

11、深入理解OpenHarmony的驱动框架梁开祝江苏润开鸿数字科技有限公司2023年03月20日目录CONTENTS01系统架构概述02驱动框架概述03驱动框架的架构设计04驱动框架的实现细节OpenHarmony的系统架构驱动框架概述：全新的设备驱动开发框架驱动框架概述：设计理念驱动框架的架构设计：架构图驱动框架的实现细节：代码结构驱动框架的实现细节：编译与链接（LiteOS内核）驱动框架的实现。

12、NPUCore基于RV平台和Rust的小型竞赛操作系统的设计与优化队员：黄赵翔（内存&进程）林宇轩（Fat32&扩展内容支持）管孙笛（文件系统&缓存）指导老师：张羽目录1NPUcore概述2资源受限问题&优化策略可靠性问题&优化策略3指导老师：张羽队员：黄赵翔，林宇轩，管孙笛NPUCoreNPUcore概述1功能功能 基于rCore-Tutorial迭代开。

13、小米Vela在IOT操作系统领域中的技术实践和探索秦蔚小米集团手机软件部软件架构师主要内容内容小米Vela团队对物联网操作系统的思考01小米Vela的技术架构022小米Vela的落地产品023小米Vela团队的开源技术实践024小米Vela物联网操作系统未来的探索05我们对IOT操作系统的思考内容物联网操作系统的思考 编译工具链 编程框架和语言 IDE或裸环境开发方式的碎片化核心痛点：碎片化 R。

14、车用底层操作系统的分析与演进方向思考融合功能安全与网络安全、虚拟化、多种操作系统融合、面向SOA车控智能空间车控操作系统智能驾驶系统智能驾驶车载操作系统Classic AUTOSAR 功能安全多核操作系统应用复杂驱动（针对智能执行器）虚拟化、多操作系统+AIAdaptive AUTOSAR 时间敏感网络功能安全 信息安全OTA迭代开发虚拟化技术快速安全启动定制化中间件开发云服务类型应用领域典型操。

15、RunD 安全容器：过去，现在，未来演讲人：周权伟，吴超龙蜥社区云原生 SIG 成员Kata 社区 maintainer2023/03/26RunD 简介Dragonball1.0沙箱容器2.0RunD withDragonball 2.0KataContainers袋鼠沙箱容器1.0（2019-2020）袋鼠沙箱容器2.0（2020-2021）镜像加速Aliyun linux2沙箱版袋鼠沙箱容。

16、中瓴智行从域融合&Hypervisor出发思考汽车操作系统的技术路线和发展策略2023-03Zlingsmart Confidential2目录CONTENTS目录02汽车操作系统的技术路线01域融合现状与趋势03汽车操作系统的发展策略Zlingsmart Confidential智能网联汽车电子电气架构正加速向域融合方向演进3分布式架构域控制器架构中央计算架构智能汽车分布式域控制器（D。

17、内核漏洞挖掘技术张超清华大学第十届开源操作系统年度技术会议（OS2ATC）网络研究院INSC网络研究院INSChttps:/ kernel 漏洞统计数据（source:CVE details)网络研究院INSC网络研究院INSChttps:/ found by Syzbot(Syzkaller)till Mar 24,2023(First commit on Aug 17,2017)网络研究院I。

18、智能操作系统助力产业升级的探索与实践刘寿永/中科创达2023.312中科创达概览智能系统技术提供商2015年深圳创业板上市中企500强13,000+员工90%工程师1000+专利服务1000+全球客户全球 40+城市基本情况智能业务1.智能系统2.智能物联3.智能汽车4.AI&视觉技术体系 终端：BSP、操作系统内核、驱动、框架、协议栈、多媒体、应用、工具和安全技术 边缘：微服务，容器.。

19、DeepFlow:“DeepFlow:“云原生时代云原生时代”下可观测性的全栈、自下可观测性的全栈、自动化统一平台动化统一平台陈晨陈晨 云杉网络云杉网络 202303202303分享大纲分享大纲可观测性是什么可观测性是什么Baron SchwartzFounder&CTO|VividCortex云原生可观测性的痛点云原生可观测性的痛点All Stack All Stack kafka连接。

20、Hypocaust,a RISC-V Type-1 Hypervisor天津大学 齐呈祥Overview RISC-V H Extension Overview Hypocaust/Hypocaust-2 Overview Hypocaust-2 Design&Implement Status&Future Work QuestionsRISC-V H ExtensionThe 。

21、1 1NVMe VFIO Live Migration for IPU/DPU DevicesRao LeiCloud Software Development Engineer,IntelAgenda Background and Motivations VFIO Live Migration Introduction NVMe VFIO Live migration design&i。

22、Upcall：Dragonball沙箱融合设计通信机制解读演讲人：吴超龙蜥社区云原生 SIG 成员Kata 社区 maintainer2023/03/26Lets talk from DragonballDragonball是专注于云原生安全容器场景的VMM解决方案当我们设计一个针对安全容器场景的VMM，我们在思考什么？Kata3.0 架构图容器上下游优化至快、至轻“够”用安全容器可配自定义Gu。

23、OopS:用Rust编写的RISC-V操作系统开发经验与体会张艺枫学校：哈尔滨工业大学（深圳）开发人员：李诺舟、刘嘉琛、张艺枫指导老师：夏文、仇洁婷01.OopS介绍02.03.04.OopS开发历程为什么使用Rust心得与体会AgendaCSCC大赛要求各参赛队综合运用各种知识构思并实现一个综合性的操作系统。大赛鼓励各参赛队充分了解所使用的编程语言及目标硬件平台特点，使设计实现的操作系统能够尽。

24、可视化编程及其与AI的结合石梦南-睿珀智能01经典的软件开发方式经典软件模式不灵活：传统的软件开发模式有着非常明确的阶段，这些阶段之间具有非常强的依赖关系和顺序性，无法灵活地应对需求变化和技术变革。周期长：传统的软件开发模式的开发周期通常较长，从几个月到数年不等，难以满足客户快速变化的需求。高成本：传统的软件开发模式往往需要大量的人力、物力和时间资源，开发成本较高。难控制：传统的软件开发模式往往。

25、PLUGSCHED安全高效地热升级 Linux 调度器主讲人：吴一昊主讲人：吴一昊()龙蜥社区调度器负责人龙蜥社区调度器负责人20232023-0303-2323ASPLOS 23 ASPLOS 23-Efficient Scheduler Live Update for Linux Kernel with ModularizationEfficient Scheduler Live Updat。

26、0Qt RHI 在 deepin 中的应用12关于deepin理念目标3参与deepin通过社区官网快速了解社区产品、社区组织和社区介绍在社区里，有多种参与方式，例如丰富多彩的活动、文档编辑、应用投递、翻译、代码提交等友善、开放的沟通，不定期的培训，与社区成员一起持续进步，获得成长通过社区行为准则，了解社区鼓励行为，并与社区成员顺畅沟通4QRHI 是什么Qt Rendering Hardware。

27、结合SMC实现业务零修改的高速通信Virtio-ISM：VM/容器间动态安全内存共享何容光阿里云-操作系统2023/03/26背景/应用场景随着CPU个数越来越多，一个宿主机上的容器个数也会越来越多 大数据：多安全容器/VM间Map/Reduce NFV：链式服务 Host上的服务进程 服务于（）VM/安全容器当前路径TCP通信TCP/IP协议栈TCP/IP协议栈数据拷贝容器A容器B理想情况TC。

28、车用操作系统发展趋势洞见2023年3月目录一、车用操作系统发展现状三、生态拓展建设二、中汽创智的车用操作系统方案实践四、问题与展望31.1 发展现状操作系统发展趋势狭义操作系统广义操作系统整车操作系统（整车软件平台）应用狭义操作系统硬件中间件座舱应用中间件狭义操作系统硬件车控应用流程，标准工具链（开发、仿真、调试、测试等）智驾应用功能软件MOS大众 VW.OS代表产品功能 实现软硬解耦 实现软软。

29、王荣巍阿里云研发工程师代码大页：针对应用代码代码大页：针对应用代码段的一种大页优化特性段的一种大页优化特性/目 录/01 行业、技术背景02 实现、性能和使用03 社区04 其他想法背景 代码大页 社区 参考目录05 参考 平时工作：Linux内存管理、稳定性问题；最近开始对开源CPU感兴趣；工具偏好：crash、systemtap、printk；桌上足球老后卫；BIOWeixin ID：Twi。

30、C+20 基础库-雅兰亭库助力开发者构建高性能应用祁宇chufeng.qyalibaba-主要内容 雅兰亭库简介 雅兰亭库序列化库 雅兰亭库rpc 库 雅兰亭库http 库阿里云编译器C+20/23 新特性C+20 基础库(雅兰亭库)Alibaba Cloud Compiler(LLVM)Alibaba Cloud Compiler(ACC)LLVM编译器，相比GCC，或其他Clang/LLVM。

31、开源开源 如何如何 赋能赋能软件定义汽车软件定义汽车姜垚大中华区业务首席代表分享食谱任何人都可以改进你所做的赋予你的客户（享用者）的权利人们可以一起烘培，分享彼此的改进，并相互帮助延伸出协作和创建烘培社区的邀请任何人都可以尝试该食谱，并可能以您从未想象过的方式对其进行改进打开了创新的大门2任何人都可以看到中的食谱内容，包括可能对他们有害的成分使得产品更加的健康和安全开源意味着什么？成品烘培开源之。

32、KCL:A Declarative Language for Large-scaleConfiguration and Policy ManagementKCL 配置策略语言徐鹏飞（Peefy）Ant GroupMar.2023Agenda01Background02Design03Scenarios04EvaluationBackground01About Me 徐鹏飞（Peefy）KCLMa。

33、龙芯新架构龙芯新架构LoongArchLoongArch与与LinuxLinux内核内核陈华才2023.03目录目录2LoongArch 简介内核故事未来展望其他LoongArchLoongArch简介简介3 从从CISCCISC与与RISCRISC谈起谈起中央处理器（CPU）分为CISC（Complex Instruction Set Computer，复杂指令集计算机）和RISC（Reduc。

34、打造自主可控的汽车基础操作系统谢宝友 2023/03/26W W W.K E R N E L S O F T.C O MCONTENTS关于础石01.行业痛点02.解决方案03.关于础石定位汽车基础软件，赋能汽车产业发展链接生态，赋能各个行业国科础石（重庆）软件有限公司成立于2022年3月，致力于从汽车基础设施层面赋能客户，加速汽车智能化落地，是中科院、重庆市合作共建汽车软件创新研究平台的重要组。

35、面向云服务的内核热升级探索字节跳动基础架构部内核团队李喆 郭锦辉2023-3-26目录页 内核热升级-背景 数据持久化-基石 设备运行状态-保活 内核光速启动-穿越 结语为何需要进行内核更新内核发展迅速，但存量内核升级较慢，导致存量版本多，通常3.10、4.4、4.9、4.19、5.10等多个版本共存业务场景的不断丰富，导致内核部署形态多，互联网大厂的数据中心物理机+不同规格的虚拟机通常有几十万。

36、腾讯 TencentOS团队 李弘博TencentOS 服务器QoS技术的演进1背景：降低运营成本如意3433754084454835250100200300400500600202020212022202320242025中国x86服务器出货量（万台）服务器,69%存储设备,6%网络设备,11%安全设备,9%其他,5%IDC设备成本分布全球服务器CPU平均利用率只有6%-12%，严重浪费。-G。

37、可编程内核技术进展和未来畅想华为 OS内核实验室 魏勇军openEuler社区 eBPF SIG committerOpenHarmony社区 Kernel SIG committer问题背景：操作系统高度抽象，导致语义丢失，调用路径长，协同困难语义丢失“千人千面”，定制策略多，架构臃肿腐化，维护成本高模块化导致信息丢失、协同困难，性能不佳抽象化导致调用路径长，开销大，时延高全系统可编程：内核机。

38、公司机密文档，请勿转发年 月公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿转发公司机密文档，请勿。

39、自动驾驶操作系统平台化探索姜征然2023年3月1行业现状2客户痛点目录3一些思考4公司介绍行业现状1操作系统架构 自动驾驶操作系统架构自动驾驶操作系统团标各层状况芯片配套工具+开源工具+自研工具+商业化工具，不同工具为不同层次软件提供支撑。工具的复杂度在逐步提高，导致学习和使用成本提升。工具链从芯片厂商到Tier1再到OEM，各家对功能软件定义的范围不完全一致，且基本自主设计方案或自主实现。传统。

40、构建开源芯片技术体系推动开源芯片生态发展唐丹2023-3-26汇报大纲一、RISC-V与开源芯片二、“一生一芯”人才培养计划三、开源EDA工具四、高性能开源RISC-V处理器核IP五、总结（一）RISC-V与开源芯片处理器芯片的战略意义 2020年进口5435亿个集成电路，进口额高达3500亿美元，成为我国第一大进口商品，远超石油（1763亿美元）、铁矿（1189亿美元）其中处理器芯片占比达到4。

41、RT-ThreadAIoT-感知层芯片等硬件规格超百类控制芯片AI芯片通信芯片语言芯片链接技术多样化2/3/4/5GNB-IoT/eMTC/LoRaWiFi蓝牙ZigBee应用场景分散化，业务逻辑复杂化消费医疗车载导航农业环境工业能源安防航空航天MCU/MPUDriver应用系统应用系统连接应用系统连接云端应用系统连接多媒体云端应用系统连接多媒体AI云端应用单品智能智能互联主动互联产品场景用户嵌。

42、ArkTS框架：在ARM、RISC-V指令集架构上跑Openharmony应用连志安OpenHarmony龙芯架构SIG组长开放原子开源基金会贡献之星姓名：连志安华为技术开发专家认证（HDE）OpenHarmony龙芯架构SIG组长OpenHarmony教育工作组副组长，开放原子开源基金会2022开源贡献之星广州市天河区软件协会专家委员龙芯俱乐部首席专家出版书籍物联网嵌入式开发实战，并被翻译成繁。