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 bases. This video offers an initial catalogue of trends underpinning such designs.
