Verification of tree-based hierarchical read-copy update in the Linux kernel
Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU implementations are decidedly non-trivial and their stringent validation is mandatory. This suggests use of formal verificat...
Main Authors: | Liang, L, McKenney, PE, Kroening, D, Melham, TF |
---|---|
Format: | Conference item |
Published: |
IEEE
2018
|
Similar Items
-
Understanding the Linux kernel /
by: Bovet, Daniel P. (Daniel Pierre), et al.
Published: (c200) -
The linux kernel book /
by: 262503 Card, Remy, et al.
Published: (1997) -
Kernel projects for Linux /
by: 441971 Nutt, Gary J.
Published: (2001) -
Linux : kernel internals /
by: Beck, Michael
Published: (1996) -
Linux kernel development /
by: 247670 Love, Robert
Published: (2005)