A. Linux, http://clang.llvm.org/ gcc. GNU Compiler Collection. https://gcc.gnu.org/ glibc. GNU C library

J. Gustedt, Futex based locks for C11's generic atomics. INRIA RR-8818 https, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01236734

D. Hart, A futex overview and update, LWN.net, vol.360699, 2009.

A. J. Hutton, Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux, Proceedings of the Ottawa Linux Symposium, pp.479-495, 2002.

M. Maged and . Michael, ABA Prevention Using Single- Word Instructions, 2004.

H. B. Robert, B. P. Netzer, and . Miller, What Are Race Conditions? Some Issues and Formalizations, ACM Lett. Program. Lang. Syst, vol.1, issue.1, pp.74-88, 1992.