veridian_kernel/sync/mod.rs
1//! Synchronization Primitives
2//!
3//! Safe synchronization and global state management for Rust 2024 edition.
4//!
5//! Includes lock-free data structures for high-performance kernel paths:
6//! - RCU (Read-Copy-Update) for read-heavy data structures
7//! - Hazard pointers for safe memory reclamation
8//! - Lock-free MPSC queue for scheduler ready queues
9
10pub mod hazard;
11pub mod lockfree_queue;
12pub mod once_lock;
13pub mod rcu;
14
15pub use lockfree_queue::LockFreeQueue;
16pub use once_lock::{GlobalState, LazyLock, OnceLock};