Cppmem
在阅读 modernescpp Ongoing Optimization: Acquire-Release Semantic with CppMem 时,发现的这个工具。
cam CppMem: an interactive C/C++ memory model explorer
CppMem is a tool to let one explore the behaviour of small concurrent test programs in the relaxed memory model of the recent C11 and C++11 revisions of C and C++ [C++11 public draft N3376 (see 1.10, 29, 30)], [WG14] [WG21], Boehm and Adve, PLDI 2008], as formalised by [Batty et al. POPL 2011], which explains the model.