dope-sys 0.28.0

Typed operating-system call contracts
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

use o3::depot;

use crate::table::permit;

/// Generation-exact registration storage selected by the native backend.
pub trait Queue: Sized {
    type Key: permit::raw::Key;
    type Index: depot::raw::Compact;
    type Capability;

    fn try_acquire() -> Result<Self::Capability, permit::Absent>;
    fn try_arm(
        &self,
        permit: &Self::Capability,
        index: Self::Index,
        key: Self::Key,
    ) -> Result<(), Self::Key>;
    fn cancel(
        &self,
        permit: &Self::Capability,
        index: Self::Index,
        key: Self::Key,
    ) -> permit::State<Self::Key>;
    fn take(
        &self,
        permit: &Self::Capability,
        index: Self::Index,
        key: Self::Key,
    ) -> permit::State<Self::Key>;
    fn grant_one(&self, permit: &Self::Capability) -> Option<(Self::Index, Self::Key)>;
}