#container #atomic #arc #box #monotonic #version

no-std quinine

Atomic monotonic containers (Mono{Box,Arc})

2 unstable releases

0.2.0 Feb 17, 2022
0.1.0 Feb 17, 2022

#895 in Concurrency

Download history 99/week @ 2023-12-06 80/week @ 2023-12-13 89/week @ 2024-01-03 201/week @ 2024-01-10 221/week @ 2024-01-17 136/week @ 2024-01-24 256/week @ 2024-01-31 108/week @ 2024-02-07 113/week @ 2024-02-14 240/week @ 2024-02-21 177/week @ 2024-02-28 136/week @ 2024-03-06 400/week @ 2024-03-13 274/week @ 2024-03-20

1,005 downloads per month
Used in verneuil

Apache-2.0/MIT

28KB
550 lines

Quinine

Crates.io docs.rs

Quinine implements atomic, lock-free, but write-once versions of containers like Option<Box<T>> (MonoBox) and Option<Arc<T>> (MonoArc).

These write-once containers can be read with mere Ordering::Acquire loads; reads otherwise perform like Box and Arc. On the write-side, atomic updates happen via compare-and-swaps, only the first of which will succeed.

The code is simpler (and likely faster) than, e.g., ArcSwap, because it exploits the monotonic nature of all updates to these write-once containers. That's particularly true for reads, but updates also avoid a lot of coordination overhead with potential concurrent readers.

When atomic containers can only transition monotonically from None to Some, and then stay there, we can implement simple update algorithms, without having to worry about the lifetime of references derived from the container: once we've observed Some value, the container can be trusted to keep it alive for us (until the container is dropped safely). The general form of this trick applies to any container that owns a monotonically increasing set of resources, until the container itself is destroyed.

No runtime deps

Features