most citedVerification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2016★ 2 cited

Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel

Lihao Liang, Paul E. McKenney, Daniel Kroening +1

Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU impl…