Search⌘ K
Home
Courses
Modern C++ Concurrency: Get the most out of any machine

Introduction to CppMem

Explore how to analyze and optimize small C++ concurrent programs using CppMem. Understand data races, memory model behaviors, and apply progressive optimizations through interactive verification.

We'll cover the following...

I will start with a small program and successively improve it, then verify each step of my process with CppMem. CppMem is an interactive tool for exploring the behavior of small code snippets using the C++ memory model.

First, here is the small program.

C++
// ongoingOptimisation.cpp
#include <iostream>
#include <thread>
int x = 0;
int y = 0;
void writing(){
  x = 2000;
  y = 11;
}
void reading(){ 
  std::cout << "y: " << y << " ";
  std::cout << "x: " << x << std::endl;
}
int main(){
  std::thread thread1(writing);
  std::thread thread2(reading);
  thread1.join();
  thread2.join();
}

The program is quite simple. It consists of the two threads thread1 ...