Tag Archive for: CppMem

Posts

wrench 24261 640

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

May 4, 2018

/

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

sukzessiveOptimierungRelaxedSemantikEng

Ongoing Optimization: Relaxed Semantics with CppMem

August 20, 2016

/

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

undefinedEng

Ongoing Optimization: A Data Race with CppMem

August 18, 2016

/

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

August 16, 2016

/

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

sukzessiveOptimierungSequenzielleKonsistenzEng

Ongoing Optimization: Sequential Consistency with CppMem

August 13, 2016

/

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

August 9, 2016

/

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

undefinedEng

Ongoing Optimization: Unsynchronized Access with CppMem

August 3, 2016

/

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

ongoingOptimization

Ongoing Optimization

August 3, 2016

/

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

CppMemUeberblickNumbers

CppMem – An Overview

July 30, 2016

/

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

Latest news

A Lock-Free Stack: Atomic Smart PointerFebruary 17, 2025 - 11:47 am
The easiest way to solve this memory leak issue from the last post is to use a std::shared_ptr. Atomic Smart Pointer There are two ways to apply atomic operations on a std::shared_ptr: In C++11, you can use the free atomic functions on std::shared_ptr. With C++20, you can use atomic smart pointers. C++11 Using atomic operations […]
A Lock-Free Stack: A Complete ImplementationFebruary 10, 2025 - 3:01 pm
My last lock-free stack implementation was incomplete. It only supported push operations. Let’s change this. The following paragraph about sequential consistency is optional. You can easily ignore it. Sequential Consistency In my examples, I use the default memory ordering: sequential consistency. The reason is simple. Sequential consistency provides the strongest guarantees of all memory ordering […]
My Next Mentoring Program: “Generic Programming (Templates) with C++” startsFebruary 4, 2025 - 4:51 pm
My next mentoring program, “Embedded Programming with Modern C++,” starts on January 31st. Registration is open. Here are more details. Embedded Programming with Modern C++ The mentoring program consists of 16 stations. You have to invest at least 3 hours per week for each one. This means the program takes four months, and you can […]
A Lock-Free Stack: A Simplified ImplementationFebruary 3, 2025 - 10:37 am
Today, I continue my mini story about lock-free data structures. General Considerations From the outside, the caller’s responsibility (application) is to protect the data. From inside, the data structure is responsible for protecting itself. A data structure that protects itself so a data race cannot appear is called thread-safe. First, what general considerations must you […]
Deferred Reclamation in C++26: Read-Copy Update and Hazard PointersJanuary 27, 2025 - 12:23 pm
Before I dive into lock-free programming, there’s a little bit of theory necessary. A common problem in concurrency is the so-called ABA problem. That means you read a variable twice, which returns the same value each time, A. Therefore, you conclude that nothing changed in between. But you forgot the B. Let me first use […]
std::format ExtensionJanuary 20, 2025 - 11:55 am
Displaying the address of an arbitrary pointer in C++ 20 fails but succeeds with C++26. C++20 Only void, const void, and std::nullptr_t pointer types are valid. If you want to display the address of an arbitrary pointer, you must cast it to (const) void*. // formatPointer20.cpp #include <format> #include <iostream> #include <string> int main() { […]