C++一分钟之-内存模型与数据竞争-CSDN博客

在多线程编程中，理解内存模型至关重要，它决定了程序如何处理并发访问共享资源的问题。C11标准引入了一套内存模型，旨在解决多线程环境下的数据竞争和同步问题。本文将深入浅出地探讨C的内存模型，常见的数据竞争问题，以及如何避免这些陷阱。
C++一分钟之-内存模型与数据竞争_内存模型

1. C++内存模型简介

C++内存模型定义了线程间数据共享和同步的基本规则。它包括以下关键概念：

顺序一致性：保证单个线程中的操作按顺序执行。
原子操作：不可分割的操作，确保在多线程环境下不会被中断。
内存屏障：用于控制编译器和处理器的重排序行为，确保特定操作的顺序。
数据依赖性：涉及读写操作的数据依赖关系，必须遵守一定的顺序。

2. 数据竞争与问题

数据竞争发生在两个或多个线程无序访问同一变量，并且至少有一个线程进行写操作的情况下。这可能导致程序行为的不确定性，包括但不限于：

脏读：一个线程读取到另一个线程未完成的写入结果。
丢失更新：一个线程的更新可能被另一个线程覆盖，导致数据丢失。
死锁：线程等待对方释放资源，导致所有线程都阻塞。

3. 避免数据竞争的方法

为了避免数据竞争，可以采用以下策略：

使用互斥量（Mutex） ：确保每次只有一个线程访问共享资源。
原子操作：使用std::atomic类型来保证操作的原子性。
无锁编程：通过精心设计算法，避免使用锁，提高并发性能。

4. 示例代码

下面的代码展示了如何使用std::mutex和std::atomic来避免数据竞争：

#include <iostream>
#include <thread>
#include <mutex>
#include <atomic>

std::mutex mtx;
std::atomic<int> counter(0);

void incrementWithMutex() {
    for (int i = 0; i < 100000; ++i) {
        std::lock_guard<std::mutex> lock(mtx);
        ++counter;
    }
}

void incrementAtomic() {
    for (int i = 0; i < 100000; ++i) {
        ++counter;
    }
}

int main() {
    std::thread t1(incrementWithMutex);
    std::thread t2(incrementAtomic);

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

    std::cout << "Counter value: " << counter.load() << std::endl;

    return 0;
}