We have begun an effort to clarify the meaning of multi-threaded C programs, and to provide some standard thread-related APIs where those are currently missing. Here we list some of the documents relevant to that effort.

Hans Boehm gave a talk about this stuff at work today. The main takeaway I got was that the compiler, optimizing for single-threaded execution, can reorder instructions in such a way as to create race conditions when executed concurrently. What a mess...