2025第十二届开源操作系统年度技术会议（OS2ATC）嘉宾演讲PPT合集（共36套打包）

1、龙架构上的Golang生态建设陈国祺2025.03目录目录010203LoongArch及其软件生态简介Golang上游社区建设进展如何为 linux/loong64 适配下阶段的Golang上游社区工作04LoongArchLoongArch及其软件生态简介及其软件生态简介龙芯处理器三大家族龙芯处理器三大家族LoongArchLoongArch简介简介5典型的RISC 32位定长指令、32个通。

2、在在RustRust-forfor-LinuxLinux中的开发经验浅谈中的开发经验浅谈李弘宇李弘宇 北京邮电大学北京邮电大学 博士生二年级博士生二年级An Empirical Study of RustAn Empirical Study of Rust-forfor-Linux:The Success,Linux:The Success,Dissatisfaction,and Comprom。

3、牛建伟北京航空航天大学具身智能机器人操作系统与应用技术2025年4月3日OS2ATC 2025 具身智能机器人的特质 具身智能机器人的技术路径 具身智能机器人的本体基础目录目录 具身智能机器人未来应用展望机器人技术的发展3早期发明（1950s-1970s）美国发明家乔治德沃尔设计并申请专利了第一台可编程的工业机械臂Unimate初步发展（1970s-2000s）机器人逐渐被应用于工业生产中执行预。

4、具身智能中技能学具身智能中技能学习习面面临的挑战临的挑战黄浴Roboraction.AI3.29.2025大大纲纲人工智能的发展空间智能具身智能机器人类型端到端 VLA 模型技能数据收集平台公共数据集具身仿真可微分渲染开源仿真平台具身数据集的要求泛化技巧具身实例结论人工智能的发展人工智能的发展 1算法 CNN-Transformer(Mamba？)基础模型和LLMs 新范式：预先训练+微调 非自。

5、宋宋恺睿恺睿2025-03-29OpenCloudOS 内存管理与卸内存管理与卸载技载技术的探究与实践术的探究与实践内容提要内容提要内存管理与内存多级卸载为什么要让操作系统做主动内存卸载业界痛点与我们的突破未来展望内存管理与内存多内存管理与内存多级卸载级卸载 业务与数据规模复杂度不断增长，内存成本，管理复内存成本，管理复杂性日渐增长。杂性日渐增长。在数据中心，内存是数据中心的主要核心成本之一。在。

6、从从“黑黑”到到“白白”自主可信计算如何重塑开源操作系统安全生态自主可信计算如何重塑开源操作系统安全生态北京市可信计算重点实验室 国家等级保护2.0与可信计算3.0攻关示范基地胡俊目录1自主可信计算介绍2自主可信计算产业生态34开源安全可信社区建设以自主可信计算集成操作系统安全章节 01北京市可信计算重点实验室 自主可信计算介绍4自主可信计算是什么发展性先进性我国网络安全法与等保2.0”安全可信。

7、工业安全操作系统思考与实践中兴通讯 操作系统产品部 李映刚2025.03目 录CONTENTS工业安全操作系统的思考一工业安全操作系统的一些实践三工业安全操作系统的场景通信场景汽车场景轨道交通场景航空场景实时性：高频无线、有线的信令控制高吞吐：大带宽、海量数据处理稳定性：7*24小时电信级稳定性要求场景多样性：场景覆盖云、管、端、边等多种设备安全性：自动驾驶、车辆控制、功能安全、网络安全丰富的软。

8、机密计算之Intel TDX 技术解析IntelFan DuCloud Software ArchitectIntel Confidential2MKTME Multi Key TMEiMC.MKTME(AES-XTS)DRAMCPUCacheCipher TextPlain TextSoftwareKey IndexKey MaterialEncrypt Mode0TME1EncryptN-1。

9、基于OpenHarmony的机器人系统深圳开鸿数字产业发展有限公司2025年03月21日1.项目背景2.OpenHarmony技术特性3.Dora技术特性4.OpenHarmony+Dora的机器人系统目录机器人TSG机器人TSG是技术指导委员会（TSC）下属子领域技术支撑组之一，深开鸿作为OpenHarmony核心共建单位，发起成立了此TSG。洞察业界发展趋势，探索和孵化新的机器人OS技术方向。

10、XLangXLang：基于差量概念：基于差量概念的第四代编程语言的第四代编程语言作者简介作者简介 毕业于清华大学工程物理系 20多年软件框架设计与实现经历 目前负责新一代信用卡核心系统架构设计议程议程1.XLang的方法论来源2.XLang要解决什么问题？3.XLang为什么可以解决这些问题？4.XLang的语法简介5.XLang的应用示例一一.XLangXLang的方法论来源的方法论来源XLa。

11、分享人：分享人：陈朝臣陈朝臣（cthreecthree20042004）Web Assembly Web Assembly 赋能新兴脚本语言赋能新兴脚本语言考鼎码考鼎码(EC2)(EC2)与洛书与洛书(Losu)(Losu)的实践探索的实践探索目录大纲目录大纲Part 01 Web Assembly与脚本语言Part 02 可执行考鼎码(EC2)：基于WASM的Playground实战Part 。

12、凹语言现状和未来展望凹语言现状和未来展望柴树杉（武汉凹语言科技首席技术专家）0.0.凹语言简史凹语言简史 2019 年，凹语言立项；2022 年 7 月，正式开源；2023 年 8 月，发布最小可用（MVP）版；2024 年 11 月实现所有语法特性；1.1.凹语言现状凹语言现状 1.1 完成全部语言特性 1.2 吉祥物WA酱诞生 1.3 WA酱歌曲-编程星辰&哇！编程魔法 1.4 交互。

13、安全容器统一架构1分享人：谈鉴锋2025.03背景：容器运行时VMrunvSandboxgVisorgVisor,Nabla,QuarkContainerMicroVM KATA,Firecracker,Cloud HypervisorLinux Containersruncrunc,crun,youki2背景：安全容器源于安全Wang,Xu,and Samuel Ortiz.Kata Cont。

14、基于RISC-V的Fedora发行版构建及Linux开源软件生态Fedora on RISC-V&Linux OpenSource ecosystem 1Wei Fu Tekkaman Ninja RISC-V国际基金会大使红帽软件（北京）有限公司首席软件工程师Sat,Mar 29th,2025 New Main Building Conference Center,Xueyuan Ro。

15、开启下一代机器人开发的智能新纪元DORA机器人中间件李扬DORA社区目录被困的小机器人传统开发的致命延时DORA的“四把钥匙”零拷贝、多语言、热重载、分布式应用场景重构DORA如何赋能四大机器人领域未来展望人人都是机器人开发者为什么机器人会“卡成PPT”被困的小机器人1传统开发的致命伤现场执行任务的小机器人：它需要实时处理摄像头数据、规划路径、控制机械臂移开障碍物。但使用传统框架时，传感器数据传。

16、基于Rust语言的高可靠、嵌入式Hypervisor及应用王雷目 录C O N T E N T S研究背景ARM&RISC-V平台的Rust-Shyper设计实时性优化多平台移植安全监控实验评测典型应用研 究 背 景德 才 兼 备 知 行 合 一常见的虚拟化方案Jailhouse HypervisorBao HypervisorEtc.德 才 兼 备 知 行 合 一主要面向的场景德 才 。

17、熊谱翔上海睿赛德电子科技有限公司2024“程翧”车用软件平台智能车控系统实时调度融合设计与功能安全保障从开源的RT-Thread嵌入式操作系统谈起“程翧”车用软件平台 自2006年，托管在github上，10.9k github star 国产嵌入式操作系统 完整POSIX API支持，丰富的上层软件包生态 支持所有主流芯片架构：ARM，RISCV，X86，LoongarchMIPS，SPARC。

18、魏永明|飞漫软件HVML HVML 平台的最新新进展平台的最新新进展 获评 CSDN 2022“年度 开源 影响 力项目”入选 国际 测试 委员会 2023 年度 全球 开源 项目Top 100HVML(Hybrid Virtual Markup Language)全球首款可编程标记语言，简单、易用；全新的、面向云计算、桌面、智能设备和嵌入式环境的跨平台应用开发技术。跨硬件平台。HVML 的设计。

19、智能系统中的嵌入式多核操作系统Embedded Multi-core Operating System for Intelligent SystemsALLAN HE/何小庆Allanesbf.org报告内容o引言:背景、现状、应用o多核芯片硬软件架构的概述o多核操作系统的虚拟化技术o嵌入式多核操作系统实例o嵌入式多核操作系统应用展望第1:引言 产业发展大背景o万物智联的高性能嵌入式应用 o嵌入。

20、端到端端到端闭环自动驾驶评测与闭环自动驾驶评测与Jittor国国产框架实现产框架实现2025年3月严骏驰严骏驰上海交通大学人工智能学院上海交通大学人工智能学院/计算机系计算机系目 录端到端自端到端自动驾驶范式转变动驾驶范式转变122端到端自端到端自动驾驶开源评测动驾驶开源评测端到端端到端评测中存在的问题评测中存在的问题3基于基于Jittor框架开源算法框架开源算法端到端自端到端自动驾驶范式转变动。

21、Alibaba Cloud Confidential 阿里云商务机密Confidential AI开源解决方案最佳实践实现具有端云一体AI推理安全与隐私保护的Confidential Cloud Computing阿里云飞天实验室操作系统安全团队龙蜥社区云原生机密计算SIG Owner乾越AI推理场景中的数据安全问题AI数据的高度敏感性和高度隐私性决定了用户对AI Infra的安全和隐私保护能力。

22、产学研共建车用操作系统开源生态HUAWEI ADS(智驾OS)、鸿蒙智能座舱(座舱OS)、华为途灵平台(安全车控OS)，HUAWEI iDVP(SDV)行业动态 国内外厂商开源开放车用OS：行业对开源开放持积极肯定的态度，可以降低开发成本、提高研发效率、推动技术创新、构建开放生态、应对行业挑战、掌握技术自主权；汽车行业市场竞争激烈：产品同质化竞争，价格战频繁，行业降本需求迫切；行业发展需要多元化。

23、HVML解释器PurC的新特性以及新的渲染器xGUI薛淑明 飞漫软件议题1.HVML编程语言2.HVML解释器和渲染器3.解释器PurC的新特性4.新的渲染器 xGUIHVML-Hybrid Virtual Markup LanguageHVML编程语言什么是HVML?HVML 是 Hybrid Virtual Markup Language 的缩写。它是由中国首个开源项目 MiniGUI 的作。

24、vivo蓝河操作系统基于Rust语言技术创新与实践 2025 vivo and/or its affiliates.All rights reserved.vivo系统研发总监 贺程CONTENTS.vivo自研操作系统的思考和布局vivo蓝河操作系统基于Rust语言开发的技术路径选择vivo蓝河操作系统全栈基于Rust语言开发实践vivo拥抱开源推动产学研发展vivo自研操作系统的思考和布局操。

25、MoonBit QuickCheck基于属性的测试 CAIMEOX 2025-03-21IDEA/PLCT Lab/CNU目录 Part 1.MoonBit 语言介绍 Part 2.QuickCheck 简介 CAIMEOX1/19Part 1.MoonBit我眼中的 MoonBit MoonBit 是一门现代、多后端、高性能的国产编程语言 具有可能是现在综合体验最佳的 WASM 后端 特性集简。

26、新一代大算力芯片及基础软件架构创新加速汽车智能化2025/03/26游昌海，系统软件副总裁黑芝麻智能汽车智能化技术正在飞速发展中单车智能化车路云一体化智能座舱自动驾驶智能底盘人机共驾多模态交互智能信息融合智能生态第三空间数字孪生车辆路侧智能化云端智能管理智能感知智能计算智能执行数字孪生世界精准定位制驱转悬融合智能整车协同控制协同决策模型数据算力智能底盘智能座舱大模型上车快速推动汽车智能化自动驾驶。

27、基于 Kata 的机密容器(CoCo)在蚂蚁的落地实践李亚南蚂蚁集团 高级软件开发工程师Kata Containers Maintainer目录 CoCo 与 Kata CoCo 在蚂蚁的应用与实践 问题探讨CoCo 与 Kata什么是什么是 KataKata 和和 CoCoCoCoKataKata 与与 CoCoCoCo 的的差异差异CoCoCoCo 与与 KataKata 的依赖关系的依赖关。

28、Copyright 2016-2025 苏州棱镜七彩信息科技有限公司助推自主软件产业发展面向自主根社区商业发行版产品的高精度检测1Copyright 2016-2025 苏州棱镜七彩信息科技有限公司EnterpriseProject Plan企业项目解决方案主要内容宏观背景基于自主根社区的自主软件开发传统安全左移的开源治理Copyright 2016-2023 苏州棱镜七彩信息科技有限公司2自主。

29、12025 年 3 月ELF分离式签名分页验证技术2中 国操 作系 统 领创 者给 世界 更好 的 选择目录 技术背景技术背景 技术现状技术现状 解决方案解决方案 参考材料参考材料3中 国操 作系 统 领创 者给 世界 更好 的 选择技术背景 ELF签名现状 插入签名数据破坏插入签名数据破坏ELFELF文件结构文件结构可能引发开源协议的法律纠纷可能引发开源协议的法律纠纷 可能导致原有的安全保护机。

30、HyperGPU：基于通用硬件的大模型隐私数据保护蚂蚁集团 机密计算团队贾越凯2025/03/29Outline01.背景介绍02.HyperGPU 设计03.性能数据04.总结与展望201.背景介绍数据成为生产要素https:/ 25%的复合增速。预计2025年我国数据要素市场规模为1749亿元”国家工业信息安全发展研究中心中国数据要素市场发展报告平均每次数据泄露造成$4.35M的损失0283。

31、从硬件异构性到系统异构性 业界趋势、挑战、实践任玉鑫，华为，openEuler Valuable Professional2背景：异构硬件成为后摩尔时代的主要推动力硬件能力已不再单纯依赖器件数量，而是异构优化集成GPUNPUDPUDDRHBMNVRAMPCIeHCCSCXLsmartNICsmartSSDPIMCPURSIC-V3趋势：系统异构性不可避免，多样性系统长期共存算力内存网络总线存储加。

32、云原生深度学习训练平台在高校的实践与创新沃天宇|北京航空航天大学教授目录01高校集群资源管理的现状与挑战CONTENTS02自研深度学习训推平台的实践与创新03平台在高校科研工作的应用成效04平台开源与未来展望集群资源管理需求深度学习应用场景广泛AI服务器占比的增长中国GPU市场规模预估（亿美元）深度学习需求的兴起深度学习技术有着广泛应用，大模型进一步增加了资源需求。研究深度学习通常需要高性能的。

33、全志科技高级软件开发工程师蔡泳恒多核异构SoC在行业应用中的软件方案思考与实践01变化技术&产品方案趋势目 录CONTENT02探索方案探索与设计03实践行业应用与实践04展望未来趋势展望变化技术&产品趋势smpCPUCPUCPUCPUCPUGPUCPUCPUCPUCPUCPUCPUCPUCPUGPUCPUCPU.MCUDSPGPUAIPUWIFI多核异构SoC多核：一个芯片集成。

34、开源操作系统测试规范开源操作系统测试规范T/CECC 332024要点解读要点解读翟高寿翟高寿 计算机学院中国电子商会团体标准平台 https:/ https:/ 目录框架概要目录框架概要特色与亮点特色与亮点 重点测试内容与要求重点测试内容与要求 测试方法与技术测试方法与技术 规范实施与挑战规范实施与挑战 总结与展望总结与展望2北京交通大学计算机学院翟高寿OS2ATC2025背景与意义背景与意义。

35、安全低开销的国产系统审计框架安全低开销的国产系统审计框架汇报人：蒋鹏汇报人：蒋鹏School Of Cyber Science and EngineeringPage 2 东南大学网络空间安全学院副研究员，网络安全系党支部书记 2024年博士毕业于北京大学计算机学院软工所操作系统实验室 研究方向为操作系统安全，包括：内核架构 支持新一代泛在计算模式的操作系统 系统审计 软硬协同的系统审计框架优化。