o3 0.20.1

shared-nothing primitives
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use std::ptr;

use crate::{
    buffer::{resident::staging, segments::Header},
    mem,
};

// SAFETY: the staging count belongs to this exact boxed state.
unsafe impl mem::raw::Edge for staging::Header<'_> {
    fn count(&self) -> &mem::raw::Count {
        &self.refs
    }
}

// SAFETY: the staging state was allocated as one Box and retains its counted edges.
unsafe impl mem::raw::Target for staging::Header<'_> {
    unsafe fn destroy(pointer: ptr::NonNull<Self>) {
        // SAFETY: the terminal edge transfers the exact initialized Box exclusively.
        drop(unsafe { Box::from_raw(pointer.as_ptr()) });
    }
}

// SAFETY: every published header owns exactly this reference domain.
unsafe impl<T> mem::raw::Edge for Header<T> {
    fn count(&self) -> &mem::raw::Count {
        self.count()
    }
}

// SAFETY: the header owns the exact bundled node and descriptor allocations.
unsafe impl<T> mem::raw::Target for Header<T> {
    unsafe fn destroy(pointer: ptr::NonNull<Self>) {
        // SAFETY: the caller transfers this header's terminal edge.
        unsafe { Self::destroy(pointer) };
    }
}