melinoe 0.10.0

Zero-sized, branded, multi-token phantom capabilities for compile-time data-access and thread-synchronization proofs (a generalized evolution of GhostCell) for the Mnemosyne memory ecosystem.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! [`BrandedAtomic`] — conditional atomics: plain access when exclusivity is
//! proven, atomic access only when sharing.

/// Branded atomic wrapper implementing conditional synchronization.
pub mod branded;
/// ZST ordering policies for atomic operations.
pub mod order;
/// Abstract atomic traits wrapping standard library primitives.
pub mod traits;

pub use branded::BrandedAtomic;
pub use order::{AcqRel, AtomicOrder, Relaxed, SeqCst};
pub use traits::{Atomic, AtomicInt};