dope-core 0.10.0

The manifold runtime
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

use dope_test::{not_send, not_sync, require_send};

const _: fn() = || {
    not_send::<dope_core::backend::Sqe, _>();
    not_sync::<dope_core::backend::Sqe, _>();
    not_send::<dope_core::io::fd::Fd<'static>, _>();
    not_sync::<dope_core::io::fd::Fd<'static>, _>();
    not_send::<dope_core::driver::token::Token, _>();
    not_sync::<dope_core::driver::token::Token, _>();
    not_send::<dope_core::io::fd::FdSlot, _>();
    not_sync::<dope_core::io::fd::FdSlot, _>();
    not_send::<dope_core::driver::ready::ReadyKey, _>();
    not_sync::<dope_core::driver::ready::ReadyKey, _>();
    not_sync::<dope_core::io::pipe::Pipe, _>();
};

#[test]
fn external_pipe_is_send() {
    require_send::<dope_core::io::pipe::Pipe>();
}

#[test]
fn local_capabilities_keep_their_layout() {
    assert_eq!(size_of::<dope_core::io::fd::FdSlot>(), size_of::<u32>());
    assert_eq!(
        size_of::<dope_core::driver::ready::ReadyKey>(),
        size_of::<u64>()
    );
    assert_eq!(
        size_of::<dope_core::driver::ready::ReadySlot<'static>>(),
        2 * size_of::<u64>()
    );
}