o3 0.34.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
37
38
39
40
41
42
43
44
45

//! Generation-checked FIFO topology over caller-owned keyed slots.

use crate::depot::{queue::links, raw};

mod fifo;
pub mod lanes;
mod link;

pub use fifo::Fifo;
pub use link::Link;

mod slot;
pub use slot::Slot;

mod iter;
pub use iter::Iter;

fn selected<O: raw::KeyOwner<P>, P>(owner: &O) -> (links::Index, &Link<O::Key, P>) {
    let (key, link) = owner.parts();
    // SAFETY: this owner loan retains the exact key/link pair and an index below u32::MAX.
    let index = unsafe { links::Index::new_usize(raw::Key::index(key)) };
    (index, link)
}

/// The retained owner holds its selected-slot authority, exact key/link pair, FIFO and plane.
/// The link is initialized; LINKED means FIFO membership, otherwise canonical vacancy.
/// The phase holds until its authorized transition; borrowed outputs retain their prescribed root authority.
pub struct Membership<const LINKED: bool>;

impl<const LINKED: bool> crate::depot::raw::Sealed for Membership<LINKED> {}
impl<const LINKED: bool> crate::depot::Predicate for Membership<LINKED> {}

/// The retained source owns a nonempty topology in its exact initialized storage and plane.
/// Its endpoint remains a member until the consuming projection returns its proof.
pub struct NonEmpty;

impl crate::depot::raw::Sealed for NonEmpty {}
impl crate::depot::Predicate for NonEmpty {}

/// A mutable owner projection preserves the retained slot's exact identity, root,
/// key, link, FIFO, plane and membership throughout every resulting borrow.
pub struct Exclusive;

impl crate::depot::raw::Sealed for Exclusive {}
impl crate::depot::Predicate for Exclusive {}