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...

1.Introduction

2.A Quick Overview

3.Memory Model: The Contract

4.Memory Model: Atomics

5.Memory Model: Synchronization and Ordering Constraints

6.Memory Model: Fences

7.Multithreading: Threads

8.Multithreading: Shared Data

9.Multithreading: Local Data

10.Multithreading: Condition Variables

11.Multithreading: Tasks

12.Case Study: Calculate Sum of a Vector

13.Case Study: Thread-Safe Initialization of a Singleton

14.Case Study: Ongoing Optimization with CppMem

15.Parallel Algorithms of the Standard Template Library

16.The Future: C++20

17.Coding Examples

18.Best Practices

19.The Time Library

20.Glossary

21.About the Author

Introduction to CppMem