[−][src]Crate zerogc
Zero overhead tracing garbage collection for rust, by abusing the borrow checker.
Planned Features
- Easy to use, since
Gc<T>
isCopy
and coerces to a reference. - Absolutely zero overhead when modifying pointers, since
Gc<T>
isCopy
. - Support for important libraries builtin to the collector
- Unsafe code has complete freedom to manipulate garbage collected pointers, and it doesn't need to understand the distinction
- Uses rust's lifetime system to ensure all roots are known at explicit safepoints, without any runtime overhead.
- Collection can only happen with an explicit
safepoint
call and has no overhead between these calls, - Optional graceful handling of allocation failures.
Re-exports
pub use self::cell::GcCell; |
Modules
cell |
Macros
__recurse_context | Create a new sub-context for the duration of the closure |
safepoint | Indicate it's safe to begin a garbage collection, while keeping the specified root alive. |
safepoint_recurse | Invoke the closure with a temporary GcContext, then perform a safepoint afterwards. |
unsafe_gc_brand | Unsafely assume that the generic implementation of GcBrand is valid, if and only if it's valid for the generic lifetime and type parameters. |
unsafe_immutable_trace_iterable | Unsafely implement |
unsafe_trace_deref | Unsafely implement |
unsafe_trace_lock | Unsafely implement |
unsafe_trace_primitive | Unsafely implement |
Structs
AssumeNotTraced | A wrapper type that assumes its contents don't need to be traced |
Traits
GcBrand | Changes all references to garbage
collected objects to match |
GcContext | The context of garbage collection, which can be frozen at a safepoint. |
GcRef | A garbage collected pointer to a value. |
GcSafe | Indicates that a type can be safely allocated by a garbage collector. |
GcSimpleAlloc | A simple interface to allocating |
GcSystem | A garbage collector implementation. |
GcVisitor | Visits garbage collected objects |
NullTrace | Marker types for types that don't need to be traced |
Trace | Indicates that a type can be traced by a garbage collector. |
TraceImmutable | A type that can be safely traced/relocated without having to use a mutable reference |