https://cppcon.org/ https://github.com/CppCon/CppCon2020/blob/main/Presentations/a_relaxed_guide_to_memory_order_relaxed/a_relaxed_guide_to_memory_order_relaxed__paul_e_mckenney___cppcon_2020.pdf

The out-of-thin-air (OOTA) and read-from-untaken-branch (RFUB) properties of the specification of memory_order_relaxed have resulted in considerable consternation over the years. Although there are no known instances of full-blown OOTA behavior, and no known RFUB-induced failures of production code, the …