Tag Archive for: Atomics

Posts

An illustration of the dining philosophers problem

Dining Philosophers Problem II

January 8, 2022

/

In the last post "Dining Philosophers Problem I", Andre Adrian started his analysis of the classical…

TimelineCpp20

Barriers and Atomic Smart Pointers in C++20

January 29, 2021

/

In my last post, I introduced latches in C++20. A latch enables its threads to wait until a counter becomes…

TimelineCpp20CoreLanguage

Performance Comparison of Condition Variables and Atomics in C++20

December 19, 2020

/

After the introduction to std::atomic_flag in my last post, Synchronization with Atomics in C++20, I…

TimelineCpp20CoreLanguage

Synchronization with Atomics in C++20

December 12, 2020

/

Sender/receiver workflows are pretty common for threads. In such a workflow, the receiver is waiting…

TimelineCpp20CoreLanguage

Atomic References with C++20

December 8, 2020

/

Atomics receives a few essential extensions in C++20. Today, I start with the new data type std::atomic_ref. The…

TimelineCpp20Concurrency

C++20: Concurrency

October 29, 2019

/

This post concludes my overview of C++20. Today's post is about the concurrency features in the next…

SingleThreadedAdditionEng

ABA – A is not the same as A

June 9, 2017

/

A common problem in concurrency is the so-called ABA problem. That means you read a value twice and each…

BlockingNonBlocking

Blocking and Non-Blocking Algorithms

June 2, 2017

/

Blocking, non-blocking, lock-free, and wait-free. Each of these terms describes a key characteristic…

SingleThreadedAdditionEng

Atomic Smart Pointers

February 20, 2017

/

C++20 will have atomic smart pointers. To be exact, we will get a std::atomic_shared_ptr and a std::atomic_weak_ptr.…

SingleThreadedAdditionEng

My Conclusion: Summation of a Vector in three Variants

September 11, 2016

/

After I've calculated in three different ways the sum of a std::vector I want to draw my conclusions. The…

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() { […]