Learn C++ With A Relaxed Guide to memory_order_relaxed by Paul McKenney and Hans Boehm (CPPCon 2020) Video
March 30, 2021
Over the years, the out-of-thin-air (OOTA) and read-from-untaken-branch (RFUB) properties of the memory order relaxed specification have caused considerable consternation. While there are no known instances of full-blown OOTA activity and no known RFUB-induced production code failures, the theoretical possibility of these properties seriously complicates automated analysis of large C and C++ code…