calybris-core 0.3.10

Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Sync primitives for budget concurrency.
//!
//! Under `cfg(loom)`, mutexes and atomics use `loom::sync` for model checking.
//! `Arc` stays `std::sync::Arc` (loom's `Arc` does not support `HashMap` keys).

#[cfg(loom)]
pub use loom::sync::atomic::{AtomicI64, AtomicU64, Ordering};
#[cfg(loom)]
pub use loom::sync::Mutex;

#[cfg(not(loom))]
pub use std::sync::atomic::{AtomicI64, AtomicU64, Ordering};
#[cfg(not(loom))]
pub use std::sync::Mutex;

pub use std::sync::Arc;