1 个不稳定版本
0.4.1 | 2021年7月4日 |
---|
43 在 #垃圾
1,707 每月下载量
在 6 个crate中使用(通过jrsonnet-gc)
6KB
91 行
jrsonnet-gc
从Manishearth/rust-gc分支出来,用于jrsonnet特定的更改,这些更改无法在上游接受
Rust的简单跟踪(标记和清除)垃圾回收器
还有一篇关于cgc
初始设计的文章,其实验性的并发分支在此。
如何使用
要将它包含到你的项目中,请在Cargo.toml中添加以下内容
[dependencies]
gc = { version = "0.4", features = ["derive"] }
它可以像Rc
一样使用,但要注意内部可变性。
虽然它可以广泛使用,但这是为了按需使用,遵循Rust的“按需付费”模式。在可以使用Rc
或Box
的情况下避免使用Gc
。
放在Gc
内部的类型必须实现Trace
和Finalize
。最简单的方法是使用gc_derive
crate
use gc::{Finalize, Gc, Trace};
#[derive(Trace, Finalize)]
struct Foo {
x: Option<Gc<Foo>>,
y: u8,
// ...
}
// now, `Gc<Foo>` may be used
Finalize
也可以直接在结构体上实现,以添加自定义的终结器行为
use gc::{Finalize, Trace};
#[derive(Trace)]
struct Foo {...}
impl Finalize for Foo {
fn finalize(&self) {
// Clean up resources for Foo, because we think it will be destroyed.
// Foo may not be destroyed after a call to finalize, as another
// finalizer may create a reference to it due to reference cycles.
}
}
对于在stdlib中定义的类型,请在此仓库中提交一个问题(使用以下显示的unsafe_ignore_trace
方法来临时解决问题)。
请注意,只有在类型递归包含 Gc
时才需要 Trace
,如果您确定这种情况不适用,您可以在您的类型上使用 unsafe_empty_trace!
宏。或者,在结构体字段上使用 #[unsafe_ignore_trace]
注解。不正确地使用 unsafe_empty_trace
和 unsafe_ignore_trace
可能会导致不安全。
use gc::{Finalize, Gc, Trace};
use bar::Baz;
#[derive(Trace, Finalize)]
struct Foo {
x: Option<Gc<Foo>>,
#[unsafe_ignore_trace]
y: Baz, // we are assuming that `Baz` doesn't contain any `Gc` objects
// ...
}
要使用 Gc
,只需调用 Gc::new
let x = Gc::new(1_u8);
let y = Gc::new(Box::new(Gc::new(1_u8)));
#[derive(Trace, Finalize)]
struct Foo {
a: Gc<u8>,
b: u8
}
let z = Gc::new(Foo {a: x.clone(), b: 1})
在 Gc
上调用 clone()
将创建指向相同对象的另一个垃圾回收引用。在可能的情况下,尽量使用内部值的借用引用而不是克隆 Gc
,因为 Gc
实现了 Deref
并与借用兼容。
Gc
是一个不可变容器。与 Rc
类似,要获得可变性,我们必须使用一个单元格类型。stdlib 中的常规 RefCell
无法与 Gc
一起使用(因为它没有实现 Trace
),而是使用 GcCell
。与 RefCell
非常相似,但它在内部帮助跟踪 GC 根。
#[derive(Trace, Finalize)]
struct Foo {
cyclic: GcCell<Option<Gc<Foo>>>,
data: u8,
}
let foo1 = Gc::new(Foo {cyclic: GcCell::new(None), data: 1});
let foo2 = Gc::new(Foo {cyclic: GcCell::new(Some(foo1.clone())), data: 2});
let foo3 = Gc::new(Foo {cyclic: GcCell::new(Some(foo2.clone())), data: 3});
*foo1.cyclic.borrow_mut() = Some(foo3.clone());
已知问题
- 析构函数不应访问
Gc
/GcCell
值。这是通过Trace
自定义 derive 自动实现Drop
并使用安全的空析构方法来强制执行的。应使用Finalize
进行清理。 - 需要更好的跨 crate derive 故事。
- 当前的 GC 不是并发的,GCed 对象限制在一个线程中。在这个 pull request 中有一个实验性的并发收集器 在这里。
相关项目
- RuScript:使用单线程
rust-gc
为各种对象分配内存
依赖关系
~1.5MB
~37K SLoC