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

use crate::depot::arena::slab::{self, Vacancy, external};

/// Owns a physical reservation while retaining the unspent external identity.
pub type Grant<'a, T, G, Tag = (), const PARTITIONS: usize = 1> =
    Reservation<'a, slab::Vacant<external::Pending<'a, T, G, PARTITIONS>, Tag>, G>;

#[must_use = "a slab vacancy grant must be reserved or released"]
pub struct Reservation<'a, B, G: external::Generation> {
    pub(in crate::depot::arena::slab::external) inner: B,
    state: &'a mut Option<G>,
    generation: G,
}

impl<'a, B, G: external::Generation> Reservation<'a, B, G> {
    pub(super) fn try_new(
        state: &'a mut Option<G>,
        acquire: impl FnOnce() -> Option<B>,
    ) -> Result<Self, Vacancy> {
        let epoch = state.ok_or(Vacancy::IdentityExhausted)?;
        let inner = acquire().ok_or(Vacancy::Full)?;
        Ok(Self {
            inner,
            state,
            generation: epoch,
        })
    }

    pub(super) fn issue(self) -> (B, G) {
        *self.state = self.generation.next();
        (self.inner, self.generation)
    }
}

impl<'a, T, G: external::Generation, Tag, const PARTITIONS: usize>
    Grant<'a, T, G, Tag, PARTITIONS>
{
    pub fn reserve(self) -> external::VacantSlot<'a, T, G, Tag, PARTITIONS> {
        let (inner, generation) = self.issue();
        inner.with_state(generation)
    }
}