LfrLock: Lock-Free Read Lock
A high-performance Lock-Free Read Lock implementation where reads never block and writes are serialized using a Mutex.
Note: If you need a specialized Single-Writer Multiple-Reader (SWMR) version, please use smr-swap directly.
Features
- Lock-Free Reads: Read operations are wait-free and never block, ensuring low latency.
- Serialized Writes: Write operations are serialized using a
Mutexto prevent data races. - Unified Interface: Supports both read and write operations through a single
LfrLock<T>type, similar tostd::sync::Mutex. - Easy Usage: Provides a
WriteGuardfor familiar, mutable access that automatically commits changes on drop. - Safe Concurrency: Built on top of
smr-swapfor safe memory reclamation and concurrent access.
Quick Start
Installation
Add to your Cargo.toml:
[]
= "0.2"
Basic Usage
use LfrLock;
use thread;
Shared Access (Multi-threaded)
Since LfrLock is not Sync (it contains a thread-local reader), it cannot be shared via Arc<LfrLock>. Instead, obtain a LfrLockFactory from the lock (or create one directly), which is Sync and Clone.
use LfrLock;
use Arc;
use thread;
API Overview
LfrLock<T>
The main type combining reader and writer capabilities.
Creation
new(initial: T): Creates a new lock with an initial value.From<T>: SupportsLfrLock::from(value)orvalue.into().Default: WhenT: Default, supportsLfrLock::default().
Read Operations
read() -> ReadGuard<T>: Gets a lock-free read guard. Never blocks.get() -> T: Clones and returns the current value. RequiresT: Clone.map<F, U>(f: F) -> U: Applies a closure to the current value and returns the transformed result.filter<F>(f: F) -> Option<ReadGuard<T>>: Conditional read, returnsSome(guard)if closure returnstrue.factory() -> LfrLockFactory<T>: Creates a factory for sharing the lock across threads.
Write Operations
store(new_value: T): Directly replaces the current value.swap(new_value: T) -> T: Atomically swaps and returns the old value. RequiresT: Clone.update<F>(f: F): Updates data using a closureFnOnce(&T) -> T.update_and_fetch<F>(f: F) -> ReadGuard<T>: Updates and returns a guard to the new value.fetch_and_update<F>(f: F) -> ReadGuard<T>: Returns a guard to the old value and updates.write() -> WriteGuard<T>: Acquires a write lock and returns a guard for mutable access. RequiresT: Clone.try_write() -> Option<WriteGuard<T>>: Tries to acquire the write lock.
LfrLockFactory<T>
A factory for creating LfrLock instances. Sync and Clone, suitable for sharing across threads.
new(initial: T): Creates a new factory with an initial value.create() -> LfrLock<T>: Creates a newLfrLockhandle for the current thread.
WriteGuard<T>
Provides mutable access to the data.
- Automatic Commit: When the guard is dropped, the modified data is atomically swapped in.
- Deref/DerefMut: Access the underlying data transparently.
Implementation Details
LfrLock uses smr-swap internally to manage state. It wraps the Swapper in a Mutex to serialize writes, while the SwapReader allows concurrent, lock-free reads. This design is ideal for read-heavy workloads where writes are infrequent but need to be safe and atomic.
Performance Characteristics
Benchmark results comparing LfrLock against ArcSwap and std::sync::Mutex on an Intel(R) Core(TM) i9-13900KS CPU @ 3.20GHz.
Benchmark Summary
| Scenario | LfrLock | ArcSwap | Mutex | Notes |
|---|---|---|---|---|
| Read Only (Single Thread) | 0.75 ns | 9.33 ns | 8.48 ns | ~12.4x faster |
| Read Heavy (Concurrent) (1:1000) | 180 µs | 236 µs | 1.89 ms | ~10.5x faster than Mutex |
| Read Heavy (Concurrent) (1:100) | 179 µs | 267 µs | 1.94 ms | ~1.5x faster than ArcSwap |
| Read Heavy (Concurrent) (1:10) | 220 µs | 574 µs | 2.08 ms | ~2.6x faster than ArcSwap |
| Write Heavy (Concurrent) (16R:4W) | 1.31 ms | 3.20 ms | 1.27 ms | Mutex slightly faster |
| Write Heavy (Concurrent) (8R:4W) | 1.14 ms | 3.05 ms | 0.94 ms | Mutex ~18% faster |
| Write Heavy (Concurrent) (4R:4W) | 1.15 ms | 2.96 ms | 0.76 ms | Mutex ~34% faster |
| Creation (new) | 236 ns | 909 ns | 0.19 ns | Mutex is instant |
| Cloning | 80 ns | 8.75 ns | 8.80 ns | LfrLock clone is heavier |
Analysis
- Read Performance:
LfrLockprovides wait-free reads with nanosecond-scale latency (0.75ns), significantly outperformingArcSwapandMutex(~9ns). - High Contention Reads: In mixed workloads (1:1000 to 1:10 write ratio),
LfrLockmaintains stable performance (~180-220µs), whileArcSwapdegrades significantly at higher write rates (up to ~574µs). - Write Heavy:
Mutexis faster (~18-34%) in pure write-heavy scenarios becauseLfrLockinvolves RCU-like operations.ArcSwapis significantly slower. - Overhead:
LfrLockhas higher cloning overhead (~94ns) compared toArccloning (~9ns) because it registers a new epoch reader. However, it is ~3.2x faster to create thanArcSwap.
License
This project is licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.