Expand description
Atomic counter utilities.
The atomic and Arc types are swapped for loom’s equivalents under
cfg(loom) (see loom_tests) so the update discipline is model-checked.
Structs§
- Shared
Counter - A thread-safe atomic counter.
Atomic counter utilities.
The atomic and Arc types are swapped for loom’s equivalents under
cfg(loom) (see loom_tests) so the update discipline is model-checked.