...
| CERT Oracle Secure Coding Standard for Java | THI03-J. Always invoke wait() and await() methods inside a loop |
| SEI CERT C Coding Standard | CON36-C. Wrap functions that can spuriously wake up in a loop |
Bibliography
| [ISO/IEC 9899:2011] | 7.17.7.4, "The atomic_compare_exchange Generic Functions" |
[Lea 2000] | 1.3.2, "Liveness" |
...