用 relly 学 Rust 系统编程：零拷贝与安全内存操作实战

用 relly 学 Rust 系统编程：零拷贝与安全内存操作实战

【免费下载链接】rellyRDBMS のしくみを学ぶための小さな RDBMS 実装项目地址: https://gitcode.com/gh_mirrors/re/relly

relly 是一个用 Rust 编写、专为学习而生的迷你 RDBMS（关系型数据库）。它以一套精炼到极致的代码，把Rust 系统编程中最值钱的两项硬技能——零拷贝数据处理与安全内存操作——完整地摆在你面前。与其在玩具 demo 里打转，不如跟着 relly 的源码，在真实的数据库页面管理、缓冲池与 B+ 树索引中，亲手掌握这些底层能力。

为什么选 relly 学 Rust 系统编程

市面上讲 Rust 系统编程的资料很多，但大多停留在概念层。relly 的特别之处在于：它把数据库引擎这个"操作系统级"的复杂系统，压缩到了几千行清晰可读的 Rust 代码里。

• 小而完整：磁盘管理、缓冲池、槽页布局、B+ 树索引、查询执行，五脏俱全
• 教学出身：作为《WEB+DB PRESS》"作って学ぶ RDBMS のしくみ"（动手学 RDBMS 原理）特集的项目开发
• 零依赖表演：只用了zerocopy、serde、bincode、thiserror等少量关键库，核心逻辑全部手写

想学系统编程，就要看真正碰内存、碰磁盘、碰字节的代码。relly 就是这样的活教材。

零拷贝实战：zerocopy 让字节直接变成结构体

Rust 系统编程中，零拷贝的核心思路是：数据在内存里是什么样，我们就以什么形态去读它，避免无意义的序列化往返。relly 在这一点上做得非常干净。

在 src/disk.rs 中，页面被定义为[u8; 4096]的裸字节数组；而在 src/slotted.rs 中，relly 用zerocopy的LayoutVerified把这段字节原地解析成Header、Pointer这样的 Rust 结构体：

let (header, body) = LayoutVerified::new_from_prefix(bytes).unwrap();

这一行代码背后，是零拷贝的两个关键机制：

零拷贝的好处立竿见影：读写一条记录不需要反复to_vec()复制整个缓冲区，而是直接在页面字节上做切片视图。配合 src/btree/leaf.rs 里的pair_at()，你会发现读取一条 (key, value) 记录几乎零开销。

安全内存操作实战：Rc、RefCell、Cell 三件套

数据库的缓冲池是典型的共享可变状态场景：多个组件要同时引用同一个页面，还要在合适的时机修改它。Rust 的所有权模型在这里会遇到挑战，而 relly 给出了教科书式的解法。

在 src/buffer.rs 中，每个页面缓冲是这样定义的：

• Rc<Buffer>：引用计数指针，让页面可以被多方共享
• RefCell<Page>：运行时借用检查，安全地提供可变访问
• Cell<bool>：is_dirty脏页标记，零成本可变访问

这套组合是 Rust安全内存操作的经典范式。Rc::get_mut()在引用唯一时直接拿到可变指针，否则拒绝修改——编译期抓不到的问题，运行期也被这套机制牢牢兜住，杜绝了悬垂指针和数据竞争。

系统编程的核心矛盾，就是"性能要极致"与"内存要安全"。relly 用最直白的代码演示了 Rust 如何让两者兼得。

缓冲池：零拷贝与内存安全的主战场

缓冲池（Buffer Pool）是数据库性能的心脏，也是 relly 中零拷贝与安全内存操作交汇最密集的模块。

BufferPoolManager 只做了三件事，却覆盖了系统编程的三大主题：

1. 页面缓存：HashMap<PageId, BufferId>把磁盘页映射到内存帧
2. 时钟淘汰：经典的 Clock 算法（类 LRU）选择牺牲帧，通过usage_count计数
3. 脏页回写：页面被修改后打上is_dirty标记，淘汰或flush()时统一写回磁盘

这里你会直观感受到一个系统工程师的日常：如何在并发引用下安全地替换缓冲帧？如何避免把未回写的脏页白白丢弃？这些都是面试高频题，也是真实数据库（如 PostgreSQL、MySQL）每天都在做的事。看懂了 relly 的缓冲池，等于拿到了通往大型系统源码的入场券。

从页面到 B+ 树：一步步搭建数据库核心

relly 的目录结构本身就是一张系统编程学习地图：

• src/disk.rs：文件即数据库，按 4096 字节页读写
• src/slotted.rs：槽页布局，页面内记录的组织方式
• src/memcmpable.rs：可比较编码，让任意字节可排序
• src/btree/：B+ 树索引，含叶子分裂与分支节点
• src/query.rs：查询执行引擎

沿着这个路径走一遍，你会经历一次完整的"从零写数据库"之旅：磁盘 → 缓冲 → 页面 → 索引 → 查询。每一步都在用 Rust 的强类型、模式匹配和错误处理（thiserror定义的分层Error）实践真正的工程化编码，而不是只写能跑的函数。

快速上手：3 步运行 relly 示例

动手才是最快的学。仓库自带的 examples/ 目录覆盖了从建表到索引查询的全流程，跟着跑一遍即可：

git clone https://gitcode.com/gh_mirrors/re/relly cd relly # 1. 体验简单表：建表 + 插入 + 扫描 cargo run --example simple-table-create # 2. 体验 B+ 树索引：创建与点查 cargo run --example btree-create # 3. 体验范围查询 cargo run --example btree-range

examples/simple-table-*.rs适合入门，examples/btree-*.rs适合进阶，examples/table-index.rs则展示了索引与表如何协同工作。每个示例都只有几十行，配合源码阅读，很快就能建立"系统如何运转"的整体认知。

写在最后：系统编程的下一步

relly 用最少的代码，为你点亮了Rust 系统编程的三盏灯：零拷贝的字节级操作、安全内存操作的共享可变状态管理、以及数据库这类复杂系统的模块化拆解。

读完它之后，你的下一步可以是：

• 给缓冲池加入真正的并发支持（从Rc换成Arc，挑战多线程安全）
• 为 B+ 树实现删除操作，体会索引维护的复杂度
• 尝试用mmap替代手动读写，对比两种 IO 模型的差异

数据库是系统编程的集大成者，而 relly 是这条路上最好的起点之一。现在就从 clone 仓库开始，亲手打开每一个文件，让零拷贝与内存安全的实战经验真正长在你自己身上吧。

【免费下载链接】rellyRDBMS のしくみを学ぶための小さな RDBMS 実装项目地址: https://gitcode.com/gh_mirrors/re/relly