C++11 新特性：多线程支持 - std::atomic 原子操作

std::atomic是C++11中引入的一个模板类，用于实现原子操作，即在多线程环境下不可被中断的操作。

这对于保证并发编程中数据的一致性和线程安全至关重要。std::atomic提供了一种机制，使得在多个线程访问同一个变量时不需要使用互斥锁（mutex）来防止数据竞争。

实现原理

std::atomic的实现依赖于底层硬件提供的原子操作支持，如 CAS（Compare-And-Swap）操作。原子操作可以直接由现代 CPU 提供支持，也就是说它们可以在不需要操作系统干预的情况下，直接在硬件层面上完成，从而提供高效的同步机制。

1. Compare-And-Swap（CAS）：这是一种常见的原子操作，它包含三个操作数：内存位置、预期原值和新值。如果内存位置的当前值与预期原值相匹配，处理器将内存位置更新为新值。这个操作作为一个整体是原子的。

2. 内存顺序：std::atomic还涉及内存顺序的概念，这有助于控制不同原子操作之间的可见性和顺序。C++11提供了多种内存顺序选项，从memory_order_relaxed（放松的）到memory_order_seq_cst（顺序一致的）等。

基本用法

std::atomic模板可以用于任何基本类型，如int、float，以及指针类型等。它提供了加载（load）、存储（store）、交换（exchange）等操作，以及各种增加和减少操作。

#include <iostream>
#include <atomic>
#include <thread>
#include <vector>

std::atomic<int> count(0); // 原子变量初始化为0

void increment(int num_increments) {
    for (int i = 0; i < num_increments; ++i) {
        count.fetch_add(1, std::memory_order_relaxed); // 原子地增加count的值
    }
}

int main() {
    std::vector<std::thread> threads;
    int num_threads = 10;
    int num_increments_per_thread = 1000;

    // 创建多个线程来并发增加count的值
    for (int i = 0; i < num_threads; ++i) {
        threads.push_back(std::thread(increment, num_increments_per_thread));
    }

    // 等待所有线程完成
    for (auto& t : threads) {
        t.join();
    }

    std::cout << "Final count: " << count.load() << std::endl; // 输出最终的count值
    return 0;
}

输出：

Final count: 10000

在这个示例中，多个线程并发地执行increment函数，每个函数中都会原子地增加全局原子变量count的值。

通过使用std::atomic，即使在多线程环境下，程序也能保证count的更新操作是安全的，避免了数据竞争。

注意事项

虽然std::atomic提供了一种避免锁的高效同步机制，但它并不适用于所有场景。对于复杂的数据结构或者需要一次性更新多个相关变量的情况，使用互斥锁可能是更好的选择。

此外，std::atomic类型的变量通常比非原子类型的变量有更高的性能开销，因此在不需要确保操作原子性的场景下，应避免使用std::atomic。