乐趣区

关于rust:倒计时3天-I-48-Beijing-Rust-Meetup

4.8 Beijing Rust Meetup 倒计时 3 天!

对 Rust 编程语言感兴趣的你筹备好相聚进行一场头脑风暴了吗?赶快预约报名参加本周六下午的线下 Meetup。一起和来自达坦科技、南京大学、CloudWeGo、华为等的技术专家来探讨 Rust 作为一种强调性能、平安和并发性的编程语言的各种利用和实际。咱们的主题是 Rust 💡X,意在 探讨用 Rust 编程语言“点亮”的任何利用、实际,和摸索 Rust 的有限可能性

工夫:2023 年 4 月 8 日 14:00

地点:环球财讯核心 M 层 北京市西城区宣武门外大巷甲 1 号

嘉宾及议题介绍(Guests & Topics)

嘉宾:冯洋 南京大学计算机科学与技术系助理研究员

议题:基于理论场景利用剖析的 Rust 库含糊测试技术报告

摘要:Rust 是一种承诺内存平安和并发平安的语言,而各类 Rust 库中 API 的破绽与缺点可能会对所有应用该库的程序产生影响。因而,保障 Rust 库的安全性与可靠性是一个极为重要的问题。为了进一步保障 Rust 库的平安,通过含糊测试来对 Rust 的库进行测试是一个可行办法。在本报告中,咱们提出了一种依附现有 Rust 生态系统来生成含糊测试指标的办法,该办法利用 MIR 解析待测库所在生态系统中的我的项目,找到事实中 API 之间的调用和依赖关系,从而从中提取出待测库的 API 序列,依此生成 Rust 库的含糊测试指标。

嘉宾:施继成 达坦科技联结创始人兼 CTO

议题:在 Linux 6.2 中用 Rust 语言写驱动

摘要:Linux 在 6.1 中退出了 rust 语言的反对,自此开发者能够应用 Rust 语言进行 Linux 内核驱动开发。因为 Rust 语言的安全性,将来驱动的开发工作应用 Rust 语言将成为必然趋势。尽管 Rust 语言的反对还有许多不欠缺的中央,但不障碍咱们“吃螃蟹”——应用 Rust 语言写一个 Linux 驱动。本次分享将:1. 介绍 Linux 零碎的 Rust 语言反对。2. 以 Linux 上的简略 Driver 举例,阐明如何用 Rust 写驱动。3. 剖析 Rust 在 Linux 中工作的原理。4. 列举 Rust 进行驱动编写时的限度。5. 给出应用 Rust 编写驱动的 Guideline。

嘉宾:叶天星 华为技术有限公司

议题:用 Rust 实现 Git 传输协定、Git 对象解析和数据库存储

摘要:本次分享将蕴含:1. 应用 Rust 实现 Git 传输协定 – Git 传输协定是一种用于 Git 客户端和服务器之间进行通信的协定,有两种实现形式:HTTP 和 SSH。Git 传输协定能够确保数据传输的安全性和可靠性,并且可能高效地解决大量的数据。通过应用 Rust,能够轻松地实现 Git 客户端和服务器之间的数据传输,并确保高效的网络通信和数据安全性。2. Git 存储构造介绍 – Git 应用了一种称为对象存储的形式来存储代码版本信息。Git 对象有四种类型:blob、tree、commit 和 tag。

嘉宾:茌海 CloudWeGo Monoio 我的项目负责人

议题:Monoio:一个基于 io-uring 的 Rust Runtime

摘要:只管 Tokio 目前曾经是事实标准,但要实现极致性能的网络中间件还有肯定间隔。为了这个指标,咱们摸索基于 io-uring 为 Rust 提供异步反对,并与社区同学单干在此基础上研发通用网关。本次分享将包含:1. 介绍 Rust 异步 Runtime;2. Monoio 的一些设计精要;3. Runtime 比照选型与利用;4. Rust 异步编程常见的问题与解法。

嘉宾:张汉东 资深 Rust 专家、高级 Rust 咨询师、《Rust 编程之道》作者、Rust 中文社区布道者

议题:了解 Unsafe Rust

摘要:家喻户晓,Rust 语言蕴含 Safe Rust 和 Unsafe Rust 两大部分。而 Unsafe Rust 是 Safe Rust 的超集。这意味着所有在 Safe Rust 中编写的代码也能够在 Unsafe Rust 中失常工作,但 Unsafe Rust 提供了额定的性能和操作,这些在 Safe Rust 中是无奈间接应用的。但正是因为有 Unsafe Rust 的存在,所以在社区最常被问到的一个问题是:为什么规范库中大量应用了 Unsafe Rust 还说 Rust 是平安语言呢?本次分享的指标就是带现场观众系统地意识 Unsafe Rust,真正地了解 Unsafe Rust 的妙用。顺便也针对 Reddit 热贴《Zig 比 Unsafe Rust 更加平安》中的观点进行探讨。

Meetup 报名形式(Registration)

欢送点击下方链接进行报名:

https://www.meetup.com/rust-chinese-group/events/292379002

在线预约(Live Reservation)

无奈来到流动现场的敌人,可预约直播报名,提前锁定直播间!

关注达坦科技公众号:达坦科技 DatenLord 即可预约直播

往期文章举荐(Previous Articles)

《达坦科技:守业是一场灵魂深处的摇滚》

《Xline v0.3.0: 一个用于元数据管理的分布式 KV 存储》

对于咱们

达坦科技(DatenLord)专一下一代云计算——“天空计算”的基础设施技术,致力于拓宽云计算的边界。达坦科技打造的新一代开源跨云存储平台 DatenLord,通过软硬件深度交融的形式买通云云壁垒,实现无限度跨云存储、跨云联通,建设海量异地、异构数据的对立存储拜访机制,为云上利用提供高性能平安存储反对。以满足不同行业客户对海量数据跨云、跨数据中心高性能拜访的需要。

公众号:达坦科技 DatenLord

知乎账号:

https://www.zhihu.com/org/da-tan-ke-ji

B 站:

https://space.bilibili.com/2017027518

退出移动版