Kovan: High-performance wait-free memory reclamation for lock-free data structures. Bounded memory usage, predictable latency.
Kovan implements the safe and transparent memory reclamation algorithm, providing snapshot-free memory reclamation with zero overhead on read operations.
Key Features
- Zero Read Overhead: Object loads require only a single atomic read
- Lock-Free Progress: System-wide progress guaranteed
- Slot-Based Architecture: Fixed slots, not per-thread structures
- Batch Retirement: Efficient amortized reclamation cost
Example
use Ordering;
use ;
let atomic = new;
// Enter critical section
let guard = pin;
// Load with zero overhead (single atomic read)
let ptr = atomic.load;
// Access safely within guard lifetime
unsafe
drop;