dtact 0.1.5

Dtact: A non-preemptive, stackful coroutine runtime featuring a lock-free context arena, P2P mesh scheduling, and architecture-specific assembly switchers. Designed for hardware-level control and non-blocking heterogeneous orchestration.
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

use dtact::{ContextPool, SafetyLevel};
use std::sync::Arc;
use std::thread;

#[cfg_attr(miri, ignore)]
#[test]
fn test_concurrent_context_allocation() {
    let pool = Arc::new(ContextPool::new(1024, 65536, SafetyLevel::Safety1, 0).unwrap());
    let mut handles = vec![];

    for _ in 0..8 {
        let p = pool.clone();
        handles.push(thread::spawn(move || {
            for _ in 0..1000 {
                if let Some(idx) = p.alloc_context() {
                    let ctx = p.get_context_ptr(idx);
                    unsafe {
                        assert_eq!((*ctx).fiber_index, idx);
                    }
                    p.free_context(idx);
                }
            }
        }));
    }

    for h in handles {
        h.join().unwrap();
    }
}

#[cfg_attr(miri, ignore)]
#[test]
fn test_guard_page_isolation() {
    // This test verifies that Safety2 (per-context guard pages) correctly
    // catches overflows.
    let pool = ContextPool::new(64, 4096, SafetyLevel::Safety2, 0).unwrap();
    let idx = pool.alloc_context().expect("Should alloc");
    let _ctx_ptr = pool.get_context_ptr(idx);

    // The read buffer is 8KB, and above it is the stack.
    // If we write far below the context pointer (into the guard page), it should fault.
    // We can't easily catch a segfault in a test, but we can verify the memory layout.
    let (_base, slot_sz, guard_sz, _context_offset) = pool.get_dispatch_layout();
    assert_eq!(guard_sz, 4096);
    assert!(slot_sz > 4096 + 8192);
}