traceforge 0.2.1

TraceForge is a model checker for concurrent and distributed programs written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pub mod atomic;
pub mod mpsc;

pub mod mutex;
pub use mutex::{Mutex, MutexGuard, OwnedMutexGuard, TryLockError};

mod rwlock;
pub use rwlock::{
    OwnedRwLockReadGuard, OwnedRwLockWriteGuard, RwLock, RwLockReadGuard, RwLockWriteGuard,
};
//TODO pub use rwlock::owned_write_guard_mapped::OwnedRwLockMappedWriteGuard;
//TODO pub use rwlock::write_guard_mapped::RwLockMappedWriteGuard;

pub mod oneshot;

pub mod notify;
pub use notify::{Notified, Notify};
//pub mod watch;