o3 0.33.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
46
47
48
49
50
51
52
53

use std::convert;

use crate::depot::arena::slab::key;

/// The physical generation policy selected by a slab's owner.
pub struct Mode<const RECYCLE: bool>;

/// Exact exhaustion state of a physical generation policy.
pub trait Policy {
    type Stored<const MAX: u32>: Copy;
    type Retired: Copy + Eq;

    fn generation<const MAX: u32>(stored: Self::Stored<MAX>) -> key::Generation<MAX>;

    fn stored<const MAX: u32>(generation: key::Generation<MAX>) -> Self::Stored<MAX>;

    fn next<const MAX: u32>(current: Self::Stored<MAX>)
    -> Result<Self::Stored<MAX>, Self::Retired>;
}

impl Policy for Mode<false> {
    type Stored<const MAX: u32> = key::Generation<MAX>;
    type Retired = ();

    fn generation<const MAX: u32>(stored: Self::Stored<MAX>) -> key::Generation<MAX> {
        stored
    }

    fn stored<const MAX: u32>(generation: key::Generation<MAX>) -> Self::Stored<MAX> {
        generation
    }

    fn next<const MAX: u32>(
        current: Self::Stored<MAX>,
    ) -> Result<Self::Stored<MAX>, Self::Retired> {
        current.checked_add(1).ok_or(())
    }
}

impl Policy for Mode<true> {
    type Stored<const MAX: u32> = ();
    type Retired = convert::Infallible;

    fn generation<const MAX: u32>((): Self::Stored<MAX>) -> key::Generation<MAX> {
        key::Generation::MIN
    }

    fn stored<const MAX: u32>(_: key::Generation<MAX>) -> Self::Stored<MAX> {}

    fn next<const MAX: u32>((): Self::Stored<MAX>) -> Result<Self::Stored<MAX>, Self::Retired> {
        Ok(())
    }
}