comet/internal/
pointer_policies.rs

1pub trait WriteBarrierPolicyTrait {
2    fn initializing_barrier(_: *const u8, _: *const u8) {}
3    fn assigning_barrier(_: *const u8, _: *const u8) {}
4}
5
6pub struct DijkstraWriteBarrierPolicy;
7
8impl WriteBarrierPolicyTrait for DijkstraWriteBarrierPolicy {
9    fn initializing_barrier(_: *const u8, _: *const u8) {
10        // Since in initializing writes the source object is always white, having no
11        // barrier doesn't break the tri-color invariant.
12    }
13    fn assigning_barrier(slot: *const u8, value: *const u8) {
14        eprintln!("todo: write barrier {:p}<-{:p}", slot, value);
15    }
16}
17
18pub struct NoWriteBarrierPolicy;
19
20impl WriteBarrierPolicyTrait for NoWriteBarrierPolicy {}
21
22pub struct StrongMemberTag;
23pub struct WeakMemberTag;
24pub struct UntracedMemberTag;