#sync #rcu #cleanup #pool

no-std arcu

An Rcu implementation using an Arc to keep the read critical section short and handle cleanup

1 unstable release

0.1.2 Dec 31, 2024
0.1.1 Feb 19, 2024
0.1.0 Feb 18, 2024

#489 in Concurrency

Download history 102/week @ 2024-12-10 60/week @ 2024-12-17 35/week @ 2024-12-24 207/week @ 2024-12-31 108/week @ 2025-01-07 79/week @ 2025-01-14 71/week @ 2025-01-21 74/week @ 2025-01-28 66/week @ 2025-02-04 146/week @ 2025-02-11 95/week @ 2025-02-18 225/week @ 2025-02-25 54/week @ 2025-03-04 36/week @ 2025-03-11 21/week @ 2025-03-18 53/week @ 2025-03-25

182 downloads per month

MIT/Apache

29KB
361 lines

Arcu

An Arc based Rcu implementation originally implementated in mthom/scryer-prolog#1980

A r c u
A r c
R c u

The atomics based version performs lock-free[^1] reads. By using Arc we keep the read-critical-section short; free of user defined code; and automatically perform cleanup when no reference remains.

To coordinate reads and writes [EpochCounter]s from an [EpochCounterPool] are used. Each read uses an EpochCounter from the EpochCounterPool of the Arcu, incrementing it once before entering the RCS and once more on leaving the RCS. Each write checks against all EpochCounters in the pool, blocking until it is safe to decrement the strong count of the Arc that was replaced by the write.

[^1]: when using thread local epoch counter with the global epoch counter pool, the initial read may block while adding the threads epoch counter to the pool

No runtime deps

Features