Posts

wrench 24261 640

C++ Core Guidelines: Use Tools to Validate your Concurrent Code

/
Today, I'm happy to write about the probably most important C++ Core Guidelines for concurrency rule:…
sukzessiveOptimierungRelaxedSemantikEng

Ongoing Optimization: Relaxed Semantics with CppMem

/
With the relaxed semantics, we have no synchronizations and ordering constraints on atomic operations. Relaxed…
undefinedEng

Ongoing Optimization: A Data Race with CppMem

/
But we can improve and further improve the acquire-release semantics of the last post. Why should x be…
sukzessiveOptimierungSequenzielleKonsistenzEng

Ongoing Optimization: Acquire-Release Semantics with CppMem

/
With the acquire-release semantics, we break the sequential consistency. In the acquire-release semantics,…
sukzessiveOptimierungSequenzielleKonsistenzEng

Ongoing Optimization: Sequential Consistency with CppMem

/
With atomic data types, you can tailor your program to your needs and optimize it. But now we are in…
sukzessiveOptimierungLocksEng

Ongoing Optimization: Locks and Volatile with CppMem

/
The easiest way to solve the undefined behaviour in the post Ongoing Optimization: Unsynchronized access…
undefinedEng

Ongoing Optimization: Unsynchronized Access with CppMem

/
I described my challenge in the last post. Let's 's start with our process of ongoing optimization. To…
ongoingOptimization

Ongoing Optimization

/
Now it's time to put the theory into practice. The job is relatively easy. A small program should undergo…
CppMemUeberblickNumbers

CppMem – An Overview

/
CppMem is an interactive tool for exploring the behavior of small code snippets of the C++ memory model.…