C++宽松内存序有什么风险探讨memory_order_relaxed使用边界

P粉602998670

发布时间：2025-08-05 10:23:01

784人浏览过

来源于php中文网

原创

c++++的memory_order_relaxed允许最大程度的优化，但不保证顺序性。它仅保证原子性，可能导致数据竞争和不可预测行为。适用场景包括：1. 简单计数器，如统计事件发生次数，只要最终结果正确即可；2. 收集统计信息，对精确性要求不高；3. 与锁结合使用时，因锁已提供同步保证。风险包括：1. 数据竞争，多线程同时读写可能引发错误；2. aba问题，值被修改后又恢复原值，可能导致cas操作误判；3. 编译器优化导致意外行为。避免风险的方法有：谨慎使用、采用更强内存序、使用锁保护共享数据、充分测试代码逻辑。

C++宽松内存序有什么风险探讨memory_order_relaxed使用边界

C++宽松内存序，简单来说，就是一种“我不在乎”的态度。它允许编译器和处理器进行最大程度的优化，但同时也带来了数据竞争和不可预测行为的风险。使用需谨慎，否则debug到怀疑人生。

解决方案

C++的

memory_order_relaxed

是原子操作中最宽松的内存顺序约束。这意味着，对使用

memory_order_relaxed

的原子变量的读写操作，编译器和处理器几乎可以随意地进行重排序。这带来了性能上的优势，但也增加了出错的可能性。

立即学习“C++免费学习笔记（深入）”；

放松的内存序，核心在于它只保证原子性，不保证顺序性。这意味着，对同一个原子变量的多个操作，即使在代码中是按照特定顺序出现的，在实际执行时也可能被打乱。

考虑一个简单的例子：

#include 
#include 
#include 

std::atomic x(0);
std::atomic y(0);

void thread1() {
  x.store(1, std::memory_order_relaxed);
  y.store(2, std::memory_order_relaxed);
}

void thread2() {
  int a = y.load(std::memory_order_relaxed);
  int b = x.load(std::memory_order_relaxed);
  std::cout << "a: " << a << ", b: " << b << std::endl;
}

int main() {
  std::thread t1(thread1);
  std::thread t2(thread2);
  t1.join();
  t2.join();
  return 0;
}

在这个例子中，

thread1

先将

设置为1，然后将

设置为2。

thread2

先读取

的值，然后读取

的值。按照直觉，我们可能会认为

thread2

读取到的

和

的值应该是2和1。但实际上，由于

memory_order_relaxed

的宽松性，

thread2

可能先读取到

的值（0），然后再读取到

的值（0）。因此，输出结果可能是 "a: 0, b: 0"，或者 "a: 2, b: 0"，或者 "a: 0, b: 1"，甚至 "a: 2, b: 1"。

什么情况下可以使用memory_order_relaxed？

memory_order_relaxed

并非一无是处。在某些特定场景下，它可以提供更好的性能，同时避免数据竞争。

计数器： 当多个线程需要递增一个计数器，而不需要保证计数器的值在任何时候都是精确的，可以使用

memory_order_relaxed

。例如，统计某个事件发生的次数，只要最终的计数结果是正确的即可。

#include 
#include 
#include 
#include 

std::atomic counter(0);

void increment_counter(int num_iterations) {
  for (int i = 0; i < num_iterations; ++i) {
    counter.fetch_add(1, std::memory_order_relaxed);
  }
}

int main() {
  std::vector threads;
  int num_threads = 4;
  int num_iterations = 100000;

  for (int i = 0; i < num_threads; ++i) {
    threads.emplace_back(increment_counter, num_iterations);
  }

  for (auto& t : threads) {
    t.join();
  }

  std::cout << "Counter value: " << counter << std::endl;
  std::cout << "Expected value: " << num_threads * num_iterations << std::endl;
  return 0;
}

这个例子中，即使线程之间对

counter

的递增操作被打乱，最终的结果仍然是正确的。

统计信息： 类似于计数器，当需要收集一些统计信息，而对信息的精确性要求不高时，可以使用
```
memory_order_relaxed
```
。

与锁结合使用： 当原子变量被锁保护时，可以使用

memory_order_relaxed

。因为锁已经提供了必要的同步和顺序保证。

#include 
#include 
#include 
#include 

std::atomic data(0);
std::mutex mtx;

void update_data() {
  for (int i = 0; i < 1000; ++i) {
    std::lock_guard lock(mtx);
    data.fetch_add(1, std::memory_order_relaxed);
  }
}

int main() {
  std::thread t1(update_data);
  std::thread t2(update_data);

  t1.join();
  t2.join();

  std::cout << "Data value: " << data << std::endl;
  return 0;
}

在这个例子中，

mtx

保证了对

data

的互斥访问，即使

data

使用了

memory_order_relaxed

，也不会出现数据竞争。

使用memory_order_relaxed有哪些风险？

Magic Write

Canva旗下AI文案生成器

下载

数据竞争： 最主要的风险就是数据竞争。如果多个线程同时读写同一个原子变量，并且至少有一个线程是写操作，那么就可能发生数据竞争。虽然
```
memory_order_relaxed
```
保证了原子性，但它不保证顺序性，因此可能导致不可预测的结果。

ABA问题： ABA问题是指，一个变量的值从A变为B，然后再变回A。使用

memory_order_relaxed

时，如果一个线程在读取一个原子变量的值A之后，另一个线程将其值改为B，然后再改回A，那么第一个线程可能无法察觉到这个变化，从而导致错误。

#include 
#include 
#include 

std::atomic ptr;
int a, b;

int main() {
    int* initial_value = &a;
    ptr.store(initial_value, std::memory_order_relaxed);

    std::thread thread1([&]() {
        // 模拟ABA问题：
        // 线程1读取ptr的值，期望它是initial_value
        int* p = ptr.load(std::memory_order_relaxed);
        std::this_thread::sleep_for(std::chrono::milliseconds(100)); // 模拟一些操作
        // 此时，如果ptr的值仍然是initial_value，则执行CAS操作
        if (ptr.compare_exchange_strong(p, &b, std::memory_order_relaxed)) {
            std::cout << "Thread 1: Successfully replaced " << initial_value << " with " << &b << std::endl;
        } else {
            std::cout << "Thread 1: CAS failed." << std::endl;
        }
    });

    std::thread thread2([&]() {
        std::this_thread::sleep_for(std::chrono::milliseconds(50)); // 稍微延迟
        // 线程2执行A->B->A的操作
        int* p = ptr.exchange(&b, std::memory_order_relaxed); // A -> B
        std::cout << "Thread 2: Replaced " << p << " with " << &b << std::endl;
        p = ptr.exchange(initial_value, std::memory_order_relaxed); // B -> A
        std::cout << "Thread 2: Replaced " << p << " with " << initial_value << std::endl;
    });

    thread1.join();
    thread2.join();

    std::cout << "Final value of ptr: " << ptr.load(std::memory_order_relaxed) << std::endl;

    return 0;
}

这个例子展示了ABA问题。

thread1

尝试将

ptr

的值从

initial_value

更改为

&b

，但

thread2

在此期间将

ptr

的值从

initial_value

更改为

&b

，然后再改回

initial_value

。

thread1

的CAS操作可能会成功，即使

ptr

的值在此期间发生了变化。

编译器优化： 编译器可能会对使用
```
memory_order_relaxed
```
的原子操作进行激进的优化，例如将多个读操作合并成一个，或者将读操作移动到循环之外。这些优化可能会导致意想不到的结果。

如何避免memory_order_relaxed的风险？

谨慎使用： 只有在非常清楚
```
memory_order_relaxed
```
的语义，并且确信不会导致数据竞争的情况下，才可以使用它。
使用更强的内存顺序： 如果不确定是否可以使用
```
memory_order_relaxed
```
，那么最好使用更强的内存顺序，例如
```
memory_order_acquire
```
、
```
memory_order_release
```
或
```
memory_order_seq_cst
```
。虽然这些内存顺序的性能可能不如
```
memory_order_relaxed
```
，但它们提供了更强的同步和顺序保证，可以避免数据竞争。
使用锁： 如果需要保护多个原子变量，或者需要执行复杂的同步操作，那么最好使用锁。锁提供了更高级别的同步机制，可以更容易地避免数据竞争。
充分测试： 使用
```
memory_order_relaxed
```
的代码需要进行充分的测试，以确保在各种情况下都能正常工作。