2 ms·Stateless model checking of the Linux kernel's read-copy update (RCU)1 points by Breadmaker 7y ago