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
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::num::NonZero;

use heap::{Live, indexed};

use crate::{alloc, depot::heap};

impl<'a, P: Ord, C: alloc::raw::Extent, T> Live<(&'a mut indexed::Min<P, C>, T), NonZero<u32>> {
    pub fn entry(self) -> (indexed::Entry<'a, P, C>, T) {
        let ((owner, context), position) = self.into_inner();
        let index = position.get() as usize - 1;
        // SAFETY: this source retains the exact represented reverse-map position.
        let live = unsafe {
            crate::depot::raw::Proof::new(((owner, context), heap::Direct::from_index(index)))
        };
        let (slot, context) = heap::Slot::from_source(live);
        (indexed::Entry::from_slot(slot), context)
    }
}

impl<'a, P: Ord, C: alloc::raw::Extent, T>
    Live<(&'a mut indexed::Min<P, C>, T), NonZero<u32>, indexed::Empty>
{
    pub fn entry(self) -> (indexed::Vacant<'a, P, C>, T) {
        let ((owner, context), position) = self.into_inner();
        // SAFETY: this vacant source retains one physical index below the owner's
        // fixed domain, so the direct key stays in range.
        let key = unsafe { heap::Direct::from_index(position.get() as usize - 1) };
        // SAFETY: the empty phase proves that index names a resident the owner
        // holds out of the heap, so its vacancy can be prepared.
        let entry = unsafe { heap::Vacancy::new(owner, key) };
        (indexed::Vacant { entry }, context)
    }
}

impl<'a, P: Ord, C: alloc::raw::Extent, T>
    Live<(&'a mut indexed::Min<P, C>, T), NonZero<u32>, indexed::Full>
{
    pub fn entry(self) -> (indexed::Occupied<'a, P, C>, T) {
        let ((owner, context), position) = self.into_inner();
        // SAFETY: this full source retains one physical index below the owner's
        // resident tail, which is initialized for every such index.
        let position = unsafe {
            *owner
                .storage
                .tail()
                .get_unchecked(position.get() as usize - 1)
        };
        // SAFETY: the full phase proves the represented reverse-map position is an
        // initialized heap position of this exact owner.
        let entry = unsafe { heap::Entry::new(owner, position as usize, ()) };
        (indexed::Occupied { entry }, context)
    }
}