Lib.rs

该仓库是 gc-arena crate 的家，该 crate 为 Rust 提供了垃圾回收竞技场以及与之安全交互的手段。

gc-arena

gc-arena crate 以及其辅助 crate gc-arena-derive 提供了在封闭的 "竞技场" 内进行安全分配和循环检测垃圾回收。该系统使用两种技术使得系统稳定

• 使用 Collect trait 跟踪垃圾回收对象，该 trait 必须正确实现以确保找到所有可到达的对象。因此，该 trait 是 unsafe，但它 可以 通过过程宏安全地实现，而 gc-arena-derive 提供了这样的安全过程宏。

• 为了进行垃圾回收，垃圾回收器必须首先有一个“根”对象的列表，这些对象被认为是可到达的。在我们的情况下，gc-arena 的用户为区域选择一个根对象，但这不足以进行安全的垃圾回收。如果当 Rust 栈上存在垃圾收集指针时进行垃圾回收，那么这些指针也需要被视为“根”对象，以防止内存不安全。gc-arena 通过严格限制垃圾收集指针可以存储的位置以及它们可以存活的时间来解决此问题。该区域只能通过一个接受回调的单个 mutate 方法访问，并且在此回调内部的所有垃圾收集指针都带有唯一的不可变生命周期。因此，当在 mutate 方法之外时，Rust 借用检查器确保堆栈上任何地方都不可能存在活动的垃圾收集指针，也不可能将它们偷偷运出区域根对象。由于所有指针都可以证明是从单个根对象可到达的，因此可以进行安全的垃圾回收。

换句话说，gc-arena crate 并非为 Rust 套用全局可访问的垃圾收集器，而仅允许在孤立的垃圾收集区域中进行有限的垃圾收集。所有垃圾收集指针必须永远只生活在该区域内部，并且防止来自不同区域的指针存储在错误的区域中。

用例

这个 crate 主要被开发为在安全 Rust 中编写垃圾收集语言虚拟机的手段，但可能还有许多其他用途。

当前状态和待办事项

基本上可用且安全！它被 Adobe Flash Player 模拟器 Ruffle 用于其 ActionScript 虚拟机以及一些其他项目（如我的无栈 Lua 运行时 piccolo，该 crate 最初是为它设计的）

收集算法是一个增量标记-清除算法，与 PUC-Rio Lua 中的算法非常相似，并且主要针对低暂停时间进行优化。在变异期间，积累分配“债务”，这种“债务”决定了下一次调用 Arena::collect 将执行的工作量。

区域中持有的指针（拼写为 Gc<'gc, T>）是零成本的原始指针。它们实现 Copy，并且是指针大小，变异过程中不进行任何簿记。