o3 0.24.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

use std::mem;

use crate::depot::{
    arena::linked,
    queue::{
        links,
        pool::fifo::{Fifo, Front},
    },
};

/// Sole ownership of a detached nonempty FIFO partition.
pub struct Nonempty<'pool, T, const TRACK: bool = true> {
    pub(super) fifo: Fifo<'pool, T, TRACK>,
}

impl<T, const TRACK: bool> Nonempty<'_, T, TRACK> {
    pub fn iter(&self) -> linked::Iter<'_, T> {
        self.fifo.iter()
    }

    pub fn pop(mut self) -> (T, Option<Self>) {
        // SAFETY: this sole owner retains the nonempty partition admitted by take or pop.
        let index = unsafe { links::Index::new_raw(self.fifo.links.head_raw().raw()) };
        let value = Front::new(&mut self.fifo, index).pop();
        let next = (!self.fifo.links.is_empty()).then_some(self);
        (value, next)
    }
}

const _: () = {
    assert!(mem::size_of::<Nonempty<'static, u64>>() == 2 * mem::size_of::<usize>());
    assert!(
        mem::size_of::<Option<Nonempty<'static, u64>>>()
            == mem::size_of::<Nonempty<'static, u64>>()
    );
};