o3 0.29.0

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

use crate::depot::queue::{
    indexed::{lanes, lanes::runtime},
    links, tagged,
};

// SAFETY: construction initializes all nodes from the retained shape and inseparable N heads.
unsafe impl<T, const N: usize, C: crate::depot::raw::Count> crate::depot::raw::TagStore
    for lanes::Fifo<T, N, C>
{
    type Head = links::Chain;
    type Heads = [links::Chain; N];
    fn heads(&self) -> &Self::Heads {
        self.nodes.state()
    }
    fn capacity(&self) -> usize {
        self.nodes.len()
    }
    unsafe fn hook(&self, index: links::Index) -> &tagged::Hook {
        &unsafe { self.nodes().get_unchecked(index.get()) }.hook
    }
}

// SAFETY: the fixed owner initializes every hook and publishes payload before membership.
unsafe impl<T, const N: usize, C: crate::depot::raw::Count> crate::depot::raw::LaneStore
    for lanes::Fifo<T, N, C>
{
    type Item = T;
    fn nodes(&self) -> &[lanes::Value<T>] {
        &self.nodes
    }
}

// SAFETY: the transition is called only after writing this exact detached payload.
unsafe impl<'a, T, const N: usize, const L: usize, C: crate::depot::raw::Count>
    crate::depot::raw::LaneInit for lanes::Position<'a, T, N, L, C>
{
    type Ready = lanes::Position<'a, T, N, L, C, true>;
    unsafe fn ready(self) -> Self::Ready {
        lanes::Position {
            store: self.store,
            index: self.index,
        }
    }
}

// SAFETY: construction retains the allocation's validated immutable shape and initializes every hook.
unsafe impl<T, C: crate::depot::raw::Count, L: crate::depot::raw::Count, H: tagged::raw::Head>
    crate::depot::raw::TagStore for runtime::Fifo<T, C, L, H>
{
    type Head = H;
    type Heads = [H];
    fn heads(&self) -> &Self::Heads {
        self.block.tail()
    }
    fn capacity(&self) -> usize {
        self.block.extent().shape().capacity().count().get()
    }
    unsafe fn hook(&self, index: links::Index) -> &tagged::Hook {
        &unsafe { self.nodes().get_unchecked(index.get()) }.hook
    }
}

// SAFETY: this owner initializes every hook and publishes values before membership.
unsafe impl<T, C: crate::depot::raw::Count, L: crate::depot::raw::Count, H: tagged::raw::Head>
    crate::depot::raw::LaneStore for runtime::Fifo<T, C, L, H>
{
    type Item = T;
    fn nodes(&self) -> &[lanes::Value<T>] {
        self.block.as_ref()
    }
}

// SAFETY: the exact runtime lane, node, and exclusive owner survive initialization.
unsafe impl<'a, T, C: crate::depot::raw::Count, L: crate::depot::raw::Count, H: tagged::raw::Head>
    crate::depot::raw::LaneInit
    for tagged::Endpoint<&'a mut runtime::Fifo<T, C, L, H>, links::Index, false>
{
    type Ready = tagged::Endpoint<&'a mut runtime::Fifo<T, C, L, H>, links::Index>;
    unsafe fn ready(self) -> Self::Ready {
        let index = self.parts().1;
        unsafe { self.at(index) }
    }
}

// SAFETY: the initialized lane proof retains this exact owner's live payload.
unsafe impl<'a, T, C: crate::depot::raw::Count, L: crate::depot::raw::Count, H: tagged::raw::Head>
    crate::depot::raw::Project<links::Index, links::Chain> for &'a runtime::Fifo<T, C, L, H>
{
    type Output = &'a T;

    unsafe fn project(self, index: links::Index) -> Self::Output {
        unsafe { (*self.nodes().get_unchecked(index.get()).value.get()).assume_init_ref() }
    }
}

mod init;
mod store;
mod undo;
pub(in crate::depot) use init::LaneInit;
pub(in crate::depot) use store::LaneStore;
pub(in crate::depot) use undo::LaneUndo;