dope-manifold 0.37.0

Owned application and service composition for dope
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

//! Private attempt payload access; guards never cross a callback or public return.

use std::cell::UnsafeCell;

use dope_core::driver::route::Identity;
pub use key::Key;
use o3::depot::{
    self,
    arena::slab::{self, entries, key::Observation},
    index::Unborrowed,
    queue::{links, tagged},
};
pub(super) use occupied::{Occupied, access::Access, borrow::Borrow, linked::Linked};

use crate::client::attempt::{
    self,
    queue::{entry::Entry, table::Table},
};

type Live<O, P> = depot::raw::Proof<(O, links::Index), Unborrowed<P>>;
type Resident<'a, 'd, T, ID> = slab::Borrowed<
    entries::Busy<'a, Node<'d, T, ID>, { u32::MAX }, entries::Interior>,
    attempt::Tag<'d, ID>,
>;

mod key;
mod occupied;

/// Admits the resident of the index that a retained proof already initialized.
///
/// # Safety
/// The caller's proof names an initialized, unborrowed slot of `table`.
pub(in crate::client::attempt::queue) unsafe fn admit<
    'a,
    'd,
    T: dope_net::Transport,
    ID: Identity,
>(
    table: &'a Table<'d, T, ID>,
    index: links::Index,
) -> (Resident<'a, 'd, T, ID>, &'a Table<'d, T, ID>) {
    use o3::depot::raw::Admit as _;

    // SAFETY: the caller's retained proof names this initialized, unborrowed slot,
    // so interior admission consumes it without a second busy probe.
    let live = unsafe { Live::<_, ()>::new(((&table.nodes, table), index)) };
    let ((entry, table), _) = live.admit().into_inner();
    (entry, table)
}

/// The bounded request and complete physical lookup observation.
#[derive(Debug)]
pub struct Error<Tag, const MAX: u32 = { u32::MAX }> {
    pub key: Key<Tag, MAX>,
    pub observed: Observation<MAX>,
}

/// The hook remains disjoint from the exclusively borrowed attempt payload.
pub(super) struct Node<'d, T: dope_net::Transport, ID: Identity> {
    hook: tagged::Hook,
    value: UnsafeCell<Entry<'d, T, ID>>,
}

impl<'d, T: dope_net::Transport, ID: Identity> Node<'d, T, ID> {
    pub(super) fn new(index: links::Index, value: Entry<'d, T, ID>) -> Self {
        Self {
            hook: tagged::Hook::new(index),
            value: UnsafeCell::new(value),
        }
    }

    fn state<'a>(entry: &'a mut Resident<'_, 'd, T, ID>) -> &'a mut Entry<'d, T, ID> {
        // SAFETY: the resident excludes payload reentry; neighbor edits only project disjoint hooks.
        unsafe { &mut *entry.value().value.get() }
    }
}

mod raw;

const _: () = {
    use std::mem;

    use dope_core::driver::route::KeyTag;
    use dope_net::tcp::Tcp;

    assert!(mem::size_of::<Node<'static, Tcp, KeyTag<0>>>() == 72);
    assert!(mem::align_of::<Node<'static, Tcp, KeyTag<0>>>() == 8);
};