下午 13:30~16:00 分会场四:Rust 生产实践
《Rust ETL 和后端服务实现》
张文超 - 章鱼网络工程师 重点介绍当前 Rust 微服务生态以及应用,占用资源优势以及高并发降低开发者心智负担的优势。以及介绍使用 Rust 编写 PostgreSQL 插件和 GraphQL 无服务器后端。结合 NEAR Indexer 项目介绍 ETL 方向 Rust 的应用以及优势。
《高性能 Rust RPC 框架设计》
徐帅,2017 年开始接触 rust, 有幸成为 rust team member, 一直致力于挖掘这门语言的潜力,并希望吸引更多的使用者, 同时壮大社区。现在在字节跳动基础架构团队探索 rust 在性能和安全问题上的更多可能性。我们都知道 "机器比人便宜, 能加机器就加机器" 的这一道理, 在字节, 我们遇到了困境, 机房容量有限, 自建机房周期太长, 跨机房延时太高等等, 无法再去肆意挥霍机器, 也不能想加就加, 彻底打破了这一道理. 在存量优化的阶段, 我们希望有更好的技术选择, 就和当年大家在知道摩尔定律失效之后一样. 当然机器确实比人便宜:)
《CeresDB 中的一种并发模型实践》
夏锐航,蚂蚁集团开发工程师
内容介绍:面对时间序列数据存储的需求,我们使用 Rust 构建了一个时序模型的 KV 存储引擎,在数据组织、异步 I/O 及 Thread Per Core 等方面进行了探索,并在本次 Talk 中向大家分享这一过程中的经验与体会。
下午 13:30~16:00 分会场五:加密、隐私与可信计算
《Rust 密码学生态介绍和实践介绍 》
王江桐:毕业于美国加州大学尔湾分校,就职于华为,目前正在使用 Rust 开发密码相关模块。密码学与 Rust 编程爱好者,正在学习并致力于分享有关 Rust 语言、生态以及密码学相关知识。介绍 Rust 社区中密码学生态的现状,并结合当前项目密码算法和安全协议的开发实践,分享 Rust 在密码算法上的开发优势和经验。
《使用Rust构建高性能的隐私计算平台》
韦晓亚,在数牍科技主导高性能的分布式隐私计算框架的开发。加入数牍之前,他曾供职于 Airbnb 和 Google Cloud,在分布式系统方面积累了丰富的经验。数牍科技基于 Rust 语言针对隐私计算的特性研发了一套分布式的计算框架。我们将介绍隐私计算的特点,Rust 语言的安全和高效特性如何帮助我们实现高性能的分布式计算,以及我们对于 Rust 语言的使用体会。
《Teaclave: 从可信执行环境基础到安全计算平台》
孙茗珅,百度 X-Lab 研究员 在大数据时代,数据的开放共享、资源整合和安全保护已经成为重要的话题。传统数据处理方式已经无法满足现代数据的采集、流通、计算中对于安全的需求。隐私保护技术的出现正是为了解决这一问题,打破数据壁垒,解决数据孤岛困境。Rust 的内存安全保证、最小运行时、零成本抽象为隐私计算提供了安全可靠的开发基础。在这次演讲中,我们将了解隐私计算和可信执行环境的基本知识,为什么编程语言的选择对隐私计算系统开发如此重要。以 Apache Teaclave (incubating) 项目为例,介绍在项目实践中探索 Rust 在隐私计算应用的最佳编程实践。最后,我们将会了解在可信执行环境和隐私计算方向上,Rust 生态还需要补齐哪些方面,为未来的项目的发展提供思路。
《在无 libc 的 SGX 可信执行环境下移植 std 支持》
周顺帆博士毕业于复旦大学系统软件与安全实验室,曾在国际顶级安全会议 USENIX Security 上发表对于以太坊生态中攻击交易与防御手段的研究,并协作发表多篇国际顶级安全会议论文。是《Phala Network 白皮书》的联名作者,并参与设计了 Phala 的系统架构。周博士负责带领 Phala 研究和工程团队在算法、系统架构、网络优化方面逐步提升 Phala 云计算的先进程度,在其带领下目前已在 SGX 里实现了 phala-blockchain 的密钥管理核心功能。Intel SGX 是一个把应用与 OS 完全隔离的可信执行环境,应用无法直接访问 OS 提供的资源。我们采用的 Teaclave-SGX-SDK 只提供了 no_std 环境,导致 crates 生态下大量的库都无法被使用。为了在 SGX 环境下开启 std 支持,我们通过补齐 libc 缺失的函数,实现了对 OS 基本功能的模拟。为了保证尽可能小的安全边界,我们对每个增补的 libc 函数做了权限控制。同时引入了二进制分析,确保程序不会出现 SGX 非法指令。
下午 13:30~16:00 分会场六:嵌入式、操作系统与物联网
《Rust for Linux is Coming》
施继成,达坦科技联合创始人 简介:Rust for Linux 离进入 Linux 主分支已经不远了,大家准备好使用 Rust 开发 Linux 内核了吗?本次分享主要为大家介绍 Rust for Linux,并且带领大家写一个内核模块,从编写代码到编译上线,综合体会 Rust for Linux 的使用过程。最后也给大家带来一些 Rust for Linux 的编写经验和原理解释,帮助能够深入了解这一技术。
《嵌入式 Rust 与 RustSBI 固件设计》
洛佳,华中科技大学网络空间安全学院大四学生,4 年 Rust 开发经验,热爱 Rust 嵌入式和操作系统开发工作。目前致力于向教学、研究和产业界推广使用 Rust 语言。本次演讲,我们将从嵌入式 Rust 出发,描述产品可用的 RISC-V 固件应用例子。作为用途广泛的内存安全语言,Rust 将在物联网、能源等领域大放异彩;厂商、社区如何参与嵌入式 Rust 的开发体系?固件软件保持在内核后台运行,事关 RISC-V 系统的安全、可靠,其稳定性不容闪失,该如何用 Rust 语言保证这一点?最后,我们将介绍 RustSBI 和 Oreboot 引导程序项目,这些优秀的项目诞生于 RISC-V 固件可移植和开放、易用性的呼声,是嵌入式 Rust 生态用于 RISC-V SBI 固件的良好示例。
《协作式机器人和物联网的 Rust 实践》
田劲锋,乐白科技工程师 介绍 Rust 在机器人控制器开发、运动控制、实时系统、物联网、WebAssembly 的实践。
下午 13:30~16:00 分会场七:分布式系统实践
《基于 Rust 的下一代分布式存储 - HydroFS》
宁安,前豆瓣网 DBA, 目前任职青云, 文件存储和对象存储架构师 Hydrofs 是基于 rust 从 0 开发的一款支持 posix 语义的分布式存储, 此次演讲会阐述我们创新的设计哲学和分布式理论, 以及分享 Rust 在系统编程方面的独有优势
《Madsim:神奇的分布式系统确定性模拟器》
王润基,清华大学计算机系硕士生,Singularity Data 研发工程师。主要作品包括 Rust 操作系统内核 rCore/zCore 与高性能分布式文件系统 MadFS。
构建完全正确的分布式系统非常困难。如果你做过 6.824 的 Raft 实验,相信你一定遇到过那种运行上千次才蹦出一次的 bug 并因此调到怀疑人生。为了解决这一问题,我们用 Rust 开发了确定性的分布式系统模拟器 Madsim。基于 Madsim 的 Raft 实验,你可以在 1 分钟内将全部 50 组测试用例运行 100 次,并在出现问题后随时复现相同的执行过程,大幅提高开发调试效率。本次分享将介绍 Madsim 的实现原理,以及在实际项目中落地应用的经验。
《面向分布式服务架构的高可用流量控制组件 Sentinel 的 Rust 实现》
杨培灏目前为上海交通大学在读硕士研究生,研究兴趣为物联网、云计算,在国际会议、期刊发表了多篇论文,曾获得杨元庆奖学金、博世 AIoT 奖学金等荣誉奖项。此次会议中,作为 Sentinel Commiter,分享阿里巴巴开源项目“面向分布式服务架构的高可用流量控制组件 Sentinel 的 Rust 实现”。随着微服务的流行,服务和服务之间的稳定性变得越来越重要。Sentinel 是面向分布式服务架构的流量控制组件,主要以流量为切入点,从流量控制、熔断降级、系统自适应保护等多个维度来帮助您保障微服务的稳定性。Sentinel 拥有庞大的开源社区和众多的使用者,随着 Rust 生态在云原生领域的蓬勃发展,社区也开始尝试进行 Rust 版本的 Sentinel 开发。
再次感谢本次大会的赞助商和支持伙伴。
同时,还没有报名的同学,抓紧时间报名