dope-core 0.21.0

Owned native I/O and completion driver for dope
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

use dope_sys::{engine::admit, io::file::File};

use crate::{
    Backend, Engine,
    driver::{
        life::native::{host::Host, request, request::bound},
        retained::flight,
        route,
        route::kind,
    },
};

type Guard<'a> = <Engine as admit::Admit<Host<Backend>>>::Admission<'a>;

/// Native reserved capacity bound to the exact driver that owns its operation.
#[repr(transparent)]
pub(crate) struct Admission<'a, 'd> {
    native: Guard<'a>,
    driver: route::Brand<'d, Engine>,
}
impl<'a, 'd> Admission<'a, 'd> {
    pub(crate) fn new(native: Guard<'a>, driver: route::Brand<'d, Engine>) -> Self {
        const {
            assert!(std::mem::size_of::<Self>() == std::mem::size_of::<Guard<'a>>());
            assert!(std::mem::align_of::<Self>() == std::mem::align_of::<Guard<'a>>());
        }
        Self { native, driver }
    }

    pub(crate) fn submit<'owner, C: kind::Class>(
        self,
        bound: bound::Bound<'owner, 'd, request::Lowered, C>,
    ) -> flight::Flight<'d, C>
    where
        'd: 'owner,
    {
        let (raw, reserve) = bound.into_parts();
        admit::Guard::<Host<Backend>>::submit(
            self.native,
            raw.into_inner().into_inner(),
            reserve.key(),
        );
        reserve.commit()
    }

    pub(crate) fn retain<'borrow, 'owner, C: kind::Class>(
        self,
        bound: bound::Bound<'owner, 'd, request::Borrowed<'borrow>, C>,
    ) -> flight::Flight<'d, C>
    where
        'owner: 'borrow,
        'd: 'owner,
    {
        let (raw, reserve) = bound.into_parts();
        // SAFETY: Captured retains every encoded pointee through terminal completion
        // or quiescence. Native submission precedes the host flight's commitment.
        unsafe {
            admit::raw::Retain::<Host<Backend>>::retain(
                self.native,
                raw.into_inner().into_inner(),
                reserve.key(),
            )
        };
        reserve.commit()
    }

    pub(crate) fn file<'borrow, 'owner: 'borrow, C: kind::Class>(
        self,
        bound: bound::Bound<'owner, 'd, <Backend as File>::Request<'borrow>, C>,
    ) -> flight::Flight<'d, C>
    where
        'd: 'owner,
    {
        let (raw, reserve) = bound.into_parts();
        // SAFETY: Captured retains the exact file, path and buffer borrows through
        // terminal completion or quiescence, before this flight is committed.
        unsafe {
            admit::raw::Retain::<Host<Backend>>::file(self.native, raw.into_inner(), reserve.key())
        };
        reserve.commit()
    }
}