Another great read on futexes is Ulrich Drepper’s paper "Futexes Are Tricky" [1].

[1] https://cis.temple.edu/~giorgio/cis307/readings/futex.pdf