尝试用RUST写教学操作系统 向勇、陈渝 清华大学计算机系 20181123 1 背景 • 用什么语言写操作系统？ – 汇编 – C – C++ – GO – RUST – … 2 3 各位老师所教的课程信息统计 计算机组成原理 编译原理 操作系统 其他 A B C D 提交 多选题 1分 此题未设答案 我们的尝试-教学操作系统ucore 7 我们的尝试-系统类课程的协调 8 用RUST写操作系统： 2018年春季操作系统课 http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects#A.2Bi.2F56C4u.2Bi6FbnpqMkAli6Q- 9 用RUST写操作系统： 2018年秋季操作系统专题训练课 18 RUST对Linux安全漏洞的安全性增强(2) 19 正在进行的工作 • 形成一组基于RustOS的操作系统课实验 https://rucore.gitbook.io/rust-os-docs/bootloader 20 后续工作 • 适合操作系统开发的语言剪裁 – 汇编 – C – Rust – … – 什么是适合内核开发的语言特征？ 21 22

统 复睿：李四保 ⽤用Golang ⾃自我介绍 l 开发过银⾏行设备 l 同花顺移动证券 l 前后参与创⽴立过多家公司 l ⽤用Golang写了⼀一个云操作系统 电⼒力、⽯石化、银⾏行、证券、⼲⼴广电、电商 研发、产品、运营、公司运营 l 多种职业 l 喜欢各种宗教 l 喜欢在虚⽆无中创造⼀一个世界 l 多个⾏行业 ⾃自我介绍 说⼀一万句，不如做⼀一件事：⽤用Golang写⼀一个操作系统 来份硬菜：⽤用Golang写⼀一个操作系统 l 操作系统 相对完整的控制系统资源，有应⽤用体系 Unix,CP/M,dos、windows, l ⽣生态操作系统 在原有操作系统内核基础上，构建新的应⽤用体系及应⽤用⽣生态 ios、android l 云操作系统 chrome chrome os和阿⾥里云os。在上⼀一层操作系统基础之上和⾃自家的云系统进⾏行整合 l 去中⼼心化的云操作系统 Leither 架构基本和chrome os类似，只是将后端的云系统去中⼼心化，使之脱离巨头的控制 操作系统历史 l 互联⺴⽹网正在整合各个⾏行业，对各个传统⾏行业进⾏行重构 l 互联⺴⽹网的格局正在固化 ⾏行业巨头垄断互联⺴⽹网资源，全⾯面压制创新空间

第三届中国Rust开发者大会 Rust OS 开源操作系统训练营的教与学 李明 清华大学 2023-6-17 Rust China Conf 2023 Rust OS 开源操作系统训练营的教与学 1 Rust OS 开源训练营的起因和发展 Title Title Title 开源操作系统训练营的起源（2020年） 陈渝老师 向勇老师 OS Tutorial Summer 训练营的愿景和目标 目标 愿景 核心产出 探索新一代安全高性能操作系统的设计与构建 影响并培养更多的人学会写操作系统 每年为高校和企业培养1000名操作系统开发人才 参加训练营要回答的三个问题 你为什么要来参加这个活动？ 为什么要以开源 的方式来参与？ 我们如何能把这些 知识技能学到？ Rust OS 开源操作系统训练营的教与学 2 开源训练营的总体规划和教学实践 教什么？怎么学？ RISC-V体系结构 一阶段 完成94道Rustlings编程题 （2周） OS 大实验 rCore/uCore 内核 二阶段 完成5个OS编程大实验 （2周） ArceOS 组件化 操作系统 三阶段 Hypervisor 虚拟化技术 四阶段 完成1个OS组件或驱动 （4周） 完成1个硬件虚拟化适配 （4周） 台阶式向上迈进 训练营的教学/实习安排 • 春夏季训练营

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 搭建新链，重新向新节点提交所有历史交易，升级后节点包含v2.6.0所有新 特性 • v2.6.0 Release Note 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 • 新增群组SDK白名单机制，默认关闭 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 信 信息 息 息 FISCO BCOS Documentation, 发 发 发布 布 布 v2.9.0 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 • 新增群组SDK白名单机制，默认关闭 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 搭建新链，重新向新节点提交所有历史交易，升级后节点包含v2.6.0所有新 特性 • v2.6.0 Release Note 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 12 Chapter 2. 版 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 Documentation, 发 发 发布 布 布 v2.7.2 • v2.6.0 Release Note 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 • 新增群组SDK白名单机制，默认关闭 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 搭建新链，重新向新节点提交所有历史交易，升级后节点包含v2.6.0所有新 特性 • v2.6.0 Release Note 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 12 Chapter 2. 版 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确

0 版本特性 v2.5.x升 升 升级 级 级到 到 到v2.6.0 • 兼 兼 兼容 容 容升 升 升级 级 级 ：直接替换v2.5.x节点的二进制为 v2.6.0二进制 ，新增支持国产麒麟操作系统、solidity 0.6、IPv6、节点时间对齐、区块执行超时时间配置等功能，升级后的版本修复v2.5.x中的bug，并 进一步优化了性能。 • 全 全 全面 面 面升 升 升级 级 级 ：参考 信 信息 息 息 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 变 变 变更 更 更描 描 描述 述 述 新 新 新增 增 增 • 新增对国产麒麟操作系统V10（Kunpeng-920/ARM aarch64）的支持 • 新增对Solidity 0.6的支持 • 新增节点间时间对齐机制 • 新增对IPv6的支持 • 新增群组SDK白名单机制，默认关闭 主 主 主要 要 要特 特 特性 性 性 • 并行计算模型：可并行合约开发框架、交易并行执行引擎（PTE） • 分布式存储：amdb-proxy、SQLStorage 版 版 版本 本 本优 优 优化 化 化 • 优化了区块打包交易数的逻辑，根据执行时间动态的调整区块打包交易数 • 优化了区块同步的流程，让区块同步更快 • 并行优化了将交易的编解码、交易的验签和落盘的编码 • 优化了交易执行返回码的逻辑，让返回码更准确