o3 0.29.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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use storage::{backing, provided};

use crate::{
    buffer,
    buffer::{pool, pool::owners, resident, storage, storage::regions},
    mem::rc,
};

/// Provenance of one immutable extent; constructors remain inside buffer.
#[derive(Debug)]
#[repr(usize)]
pub(in crate::buffer) enum State<'d> {
    Slice,
    Owned(Option<regions::Tag>),
    Borrowed(regions::Tag<pool::Borrowed<'d>>),
    Resident(crate::buffer::raw::Rc<resident::Budget<'d>>),
    Accounted(owners::Registered<'d>),
    Provided(provided::Account<'d>),
}

// SAFETY: every variant retains the same backing identity and original domain.
unsafe impl buffer::raw::Retain for State<'_> {
    #[inline]
    fn try_retain(&self) -> Result<Self, rc::Error> {
        Ok(match self {
            Self::Slice => Self::Slice,
            Self::Owned(owner) => Self::Owned(owner.try_retain()?),
            Self::Borrowed(owner) => Self::Borrowed(owner.try_retain()?),
            Self::Resident(owner) => Self::Resident(owner.try_retain()?),
            Self::Accounted(owner) => Self::Accounted(owner.try_retain()?),
            Self::Provided(owner) => Self::Provided(owner.try_retain()?),
        })
    }
}

impl<'d> State<'d> {
    pub(in crate::buffer) fn try_own(self, empty: bool) -> Result<Option<regions::Tag>, Self> {
        match self {
            Self::Owned(owner) => Ok(owner),
            Self::Slice if empty => Ok(None),
            Self::Borrowed(owner) => Ok(Some(owner.into_owned())),
            Self::Slice | Self::Resident(_) | Self::Accounted(_) | Self::Provided(_) => Err(self),
        }
    }
}
impl<'d> backing::Owner<'d> for State<'d> {
    #[inline]
    fn root<'a>(&'a self) -> Option<backing::Root<'a, 'd>>
    where
        'd: 'a,
    {
        match self {
            Self::Slice => None,
            Self::Owned(owner) => owner.root(),
            Self::Borrowed(owner) => Some(owner.root()),
            Self::Resident(owner) => owner.root(),
            Self::Accounted(owner) => owner.root(),
            Self::Provided(owner) => owner.root(),
        }
    }
}
const _: () = assert!(size_of::<State<'static>>() == 2 * size_of::<usize>());