CppMem
CppMem is an interactive tool to get deeper inside into the memory model. It provides two very valuable services. First, you can verify your lock-free code and second, you can analyse your lock-free code and get, therefore, a more robust understanding of your code. I often uses CppMem in this book. Because the configuration options and the insights of CppMem are quite challenging, the chapter gives you a basic understanding of CppMem.