3 ms·Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf]1 points by matt_d 2y ago