I've also updated: http://libcxx.llvm.org/atomic_design_a.html with C++ implementations of each operation for the purpose of documenting the required semantics of said operations. Corrected a type-o in __atomic_store: Its return should be void, not type. -Howard