dope-core 0.20.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

//! Retained-owner driver access.
//!
//!

use std::ops;

use crate::driver;

pub mod accept;
pub mod arm;
pub mod flight;
pub mod raw;

/// Driver access carrying retained-owner authority with the same representation
/// as [`driver::Context`]. Submitting borrowed storage still requires the exact
/// resource-retention proof documented at each raw submission boundary.
#[repr(transparent)]
pub struct Context<'a, 'owner, 'd: 'owner> {
    pub(in crate::driver) driver: driver::Context<'a, 'd>,
    owner: raw::Proof<'owner, 'd>,
}

impl<'a, 'owner, 'd: 'owner> Context<'a, 'owner, 'd> {
    /// Joins driver access with a validated owner proof.
    pub fn new(driver: driver::Context<'a, 'd>, owner: raw::Owner<'owner, 'd>) -> Self {
        Self {
            driver,
            owner: owner.into_proof(),
        }
    }

    pub(crate) const fn token(&self) -> raw::Token<'owner, 'd> {
        raw::Token::new(self.owner)
    }

    pub fn reborrow(&mut self) -> Context<'_, 'owner, 'd> {
        Context {
            driver: self.driver.reborrow(),
            owner: self.owner,
        }
    }

    pub fn driver(&mut self) -> &mut driver::Context<'a, 'd> {
        &mut self.driver
    }

    /// Drops the owner proof while preserving the exact driver turn.
    pub fn into_driver(self) -> driver::Context<'a, 'd> {
        self.driver
    }
}

impl<'a, 'owner, 'd: 'owner> ops::Deref for Context<'a, 'owner, 'd> {
    type Target = driver::Context<'a, 'd>;

    fn deref(&self) -> &Self::Target {
        &self.driver
    }
}

impl<'a, 'owner, 'd: 'owner> ops::DerefMut for Context<'a, 'owner, 'd> {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.driver
    }
}

const _: () = {
    assert!(
        std::mem::size_of::<Context<'static, 'static, 'static>>()
            == std::mem::size_of::<driver::Context<'static, 'static>>()
    );
    assert!(
        std::mem::align_of::<Context<'static, 'static, 'static>>()
            == std::mem::align_of::<driver::Context<'static, 'static>>()
    );
};