2 ms·Verification of Tree-Based Hierarchical Read-Copy Update in the Linux Kernel2 points by gbrown_ 8y ago