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

CppMem: Atomics with an Acquire-Release Semantic

Explore atomic operations using acquire-release semantics in C++. Understand the synchronization between atomic stores and loads, memory ordering effects, and how these impact program behavior and optimization. This lesson provides practical examples with CppMem, helping you analyze and verify concurrency scenarios critically.

We'll cover the following...

The synchronization in the acquire-release semantic takes place between atomic operations on the same atomic. This is in contrast to the sequential consistency where we have synchronization between threads. Due to this fact, the acquire-release semantic is more lightweight and, therefore, faster. ...

C++
// ongoingOptimisationAcquireRelease.cpp
#include <atomic>
#include <iostream>
#include <thread>
std::atomic<int> x{0};
std::atomic<int> y{0};
void writing(){  
  x.store(2000, std::memory_order_relaxed);  
  y.store(11, std::memory_order_release);
}
void reading(){  
  std::cout << y.load(std::memory_order_acquire) << " ";  
  std::cout << x.load(std::memory_order_relaxed) << std::endl;
}
int main(){
  std::thread thread1(writing);
  std::thread thread2(reading);
  thread1.join();
  thread2.join();
};

On first glance you will notice that all operations are atomic, so the program is ...