dope-sys 0.32.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

use crate::{memory, memory::buffer::provided};

/// Retains all ring and payload owners while construction cleanup is incomplete.
pub trait Retain<P>: memory::Cleanup<P> {
    type Build: super::Build<P, Context = Self::Context, Cleanup = Self>;
    type Ring;
    type Probe;
    type Canary;
    type Context: provided::Context<Cleanup = Self::Buffers>;
    type Buffers: provided::Cleanup<Context = Self::Context>;
    type Producer;
    type Registration;
    type Registered;
    type BufferError;

    fn probe(state: Self::Probe) -> Self;
    fn open<F: provided::Failure<Cleanup = Self::Buffers>>(
        ring: Self::Ring,
        fault: F,
    ) -> Self::Build;
    fn canary(ring: Self::Ring, primary: P, buffers: Self::Canary) -> Result<P, Self>;
    fn unmap(ring: Self::Ring, primary: P, buffers: Self::Buffers) -> Self;
    fn registration(state: Self::Registration, buffers: Self::Producer) -> Self::Build;
    fn provided(
        cause: Self::BufferError,
        ring: Self::Registered,
        buffers: Self::Producer,
    ) -> Self::Build;
}