overlay-map
overlay-map is a two-layered map data structure for Rust that tracks current and previous values for each key โ with zero-clone, in-place state transitions.
It provides OverlayMap<K, V>, a map where each value is an Overlay<V>: a compact two-slot container that allows pushing, swapping, and pulling values without cloning or heap allocation.
๐ฆ Features
- โ In-place, zero-cost value updates
- โ Foreground and background storage per key
- โ
On
push, the current foreground is moved to background - โ No heap allocation or cloning for updates
- โ
Conditional updates (
push_if) - โ Automatic removal when entries become empty
- โ
Overlay<T>usable independently from the map
๐ง Core types
OverlayMap<K, V>
A map-like wrapper for managing per-key two-layered state.
Overlay<T>
A standalone container that tracks two versions of a value:
fgโ the current valuebgโ the previous value (optional)
Uses zero-copy, branchless slot flipping via raw memory and bitflags.
๐ Example: Revolving Door of Values
use Overlay;
๐ฌ Internal Design
Overlay<T>uses[MaybeUninit<T>; 2]with a compact bitflag for presence and slot state.- No heap allocation, no
Option<T>, no clone required. - Operations like
push,pull,swapare in-place and branch-minimal. - Designed for high-throughput, zero-cost data flow and state management.
๐ง Why use this?
overlay-map is ideal for:
- Managing current vs previous state without full history
- Speculative updates, rollback systems, or caching layers
- Config overlays, merging, and snapshotting
- Avoiding unnecessary cloning, allocation, and indirection in hot code paths
๐งช Performance: Overlay<T> vs Option<(T, Option<T>)>
These benchmarks measure the performance of the push operation in both the
Overlay<T> and a conventional tuple-based implementation. Recorded on a
MacBook Air M4.
๐ Overlay Implementation
๐ Tuple Implementation
๐ Interpretation
- Overlay:
- Operates near L1 cache speeds (sub-100ps per op).
- Compact, branchless bitfield logic leads to extremely low overhead.
- Tuple:
- Slower and more predictable due to enum tagging and control-flow overhead.
- Useful baseline, but significantly outperformed by
Overlay.
These graphs were generated using Criterion.rs and represent measured runtime distribution and scaling with iteration count.
๐ Documentation
๐ License
MIT
โจ Contributing
Contributions, bug reports, and feature ideas welcome.