The simplified Overview

My simplified overview of CppMem is based on the default configuration. This overview only provides you with the base for further experiments and should help you to understand my process of ongoing optimisation.

The default configuration of CppMem

For the sake of simplicity, I refer to the red numbers in the screenshot.

1. Model

• Specifies the C++ memory model. preferred is a simplified but equivalent variant of the C++11 memory model.

2. Program

• Contains the executable program in a simplified C++11 like syntax. To be precise, you cannot directly copy C or C++ code programs into CppMem.
• You can choose between many programs that implement typical multithreading scenarios. To get the details of these programs read the very well written article Mathematizing C++ Concurrency. Of course, you can also run your code.
• CppMem is about multithreading; therefore, there are shortcuts for multithreading available.
  • You can easily...