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

use std::mem;

use crate::depot::queue::round;

/// One owner-bound snapshot of an exact lane front.
#[derive(Debug)]
pub struct Front;

impl<'a, T, const G: usize, const N: usize> round::Snapshot<&'a round::Lanes<T, G, N>, Front> {
    pub fn get(&self) -> Option<&'a T> {
        Some(self.resolve()?.get())
    }

    /// Removes this snapshot if it still names the exact front.
    pub fn pop(self) -> Option<&'a T> {
        Some(self.resolve()?.pop())
    }

    /// Commits only while this remains the exact front after the predicate.
    pub fn pop_if(self, test: impl FnOnce(&'a T) -> bool) -> Option<&'a T> {
        Some(self.filter::<false>(|head| test(head.get()))?.pop())
    }
}

const _: () = assert!(
    mem::size_of::<round::Snapshot<&'static round::Lanes<(), 1>, Front>>()
        == 2 * mem::size_of::<usize>()
);