比较并交换（Compare And Swap）：只有当内存里的值还是我预期的那个值时，才把它改成新值。

CAS 是 Compare And Swap，核心是比较内存当前值和期望值，如果相等就更新为新值，否则更新失败。比较和交换整个过程由 CPU 保证原子性，所以可以在不加互斥锁的情况下实现线程安全的并发修改。CAS 常见的问题有 ABA 问题，以及高竞争情况下反复自旋导致 CPU 开销较大。

atomic

1
template <class T> struct atomic;

load和store可以原⼦的读取和修改atomic封装存储的T对象

atomic的原理主要是硬件层面的⽀持，现代处理器提供了原子指令来支原⼦操作。例如，在 x86架构中有CMPXCHG（比较并交换）指令。这些原⼦指令能够在一个不可分割的操作中完成对内存的读取、比较和写入操作，简称CAS，Compare And Set，或是 Compare And Swap。另外为了处理多个处理器缓存之间的数据⼀致性问题，硬件采用了缓存一致性协议，当一个atomic操作修改了一个变量的值，缓存一致性协议会确保其他处理器缓存中的相同变量副本被正确地更新或标记为无效。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// C++11 支持的CAS接口
template <class T>
    bool atomic_compare_exchange_weak (atomic<T>* obj, T* expected, T val) noexcept;

template <class T>
    bool atomic_compare_exchange_strong (atomic<T>* obj, T* expected, T val) noexcept;

// C++11中atomic类的成员函数
bool compare_exchange_weak (T& expected, T val, memory_order sync = memory_order_seq_cst) noexcept;
bool compare_exchange_strong (T& expected, T val, memory_order sync = memory_order_seq_cst) noexcept;

// gcc⽀持的CAS接⼝
bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval);
type __sync_val_compare_and_swap (type *ptr, type oldval type newval);

// Windows⽀持的CAS接⼝
InterlockedCompareExchange ( __inout LONG volatile *Target,__in LONG Exchange,__in LONG Comperand);

C++11的CAS操作支持，atomic对象跟expected按位比较相等，则用val更新atomic对象并返回值true；若atomic对象跟expected按位比较不相等，则更新expected为当前的atomic对象并返回值false，例如atomic的operator++操作就类似于：

1
2
3
4
5
6
7
8
9
void operator++(std::atomic<int> cnt){
    int oldval = cnt.load();
	// 如果cnt与old相等，把cnt赋值为old + 1，返回true
	// 线程可能会在 load 与 compare_exchange_weak 之间被切走，返回false
    // 如果cnt与old不相等，说明其他线程修改过cnt，把修改过的cnt赋值给old
    // 整个compare_exchange_weak指令一定是原子的，这由底层协议支持
    while(!compare_exchange_weak(&cnt,&oldval,oldval + 1));
    // while(!cnt.compare_exchange_weak(oldval,oldval + 1));
}

compare_exchange_weak&&compare_exchange_strong

compare_exchange_weak在某些平台上，即使原子变量的值等于 expected，也可能“虚假地”失败（即返回 false）。这种失败是由于底层硬件或编译器优化导致的，但不会改变原子变量的。compare_exchange_strong保证在原子变量的值等于 expected 时不会虚假地失败。只要原子变量的值等于 expected，操作就会成功。compare_exchange_weak在某些平台上可能比compare_exchange_strong 更快。compare_exchange_weak可能会虚假的失败主要是由于硬件层间的缓存一致性和编译器优化等等，compare_exchange_strong 要避免这些原因就要付出一定的代价，比如要使用硬件的缓存一致性协议（如 MESI 协议）。

内存序模型

在 C++11 标准库中， std::atomic 提供了多种内存顺序（ memory_order ）选项，⽤于控制原子操作的内存同步行为。这些内存顺序选项允许开发者在性能与正确性之间进行权衡，特别是在多线程编程中。以下是 std::atomic 支持的六种内存顺序选项：

image-20260823171955777

自旋锁

atomic_flag 是一种原子布尔类型。与所有 atomic 的特化不同，它保证是免锁的。与atomic 不同，atomic_flag 不提供加载或存储操作。主要提供test_and_set操作将flag原子的设置为true并返回之前的值，clear原子将flag设置为false。下面一个样例演示了用atomic_flag实现自旋锁

自旋锁：获取锁失败时不陷入内核休眠，CPU 空循环忙等，适合锁持有时间极短的场景。

对比 mutex：mutex 拿不到会线程休眠让出 CPU；自旋锁一直循环 CPU 自旋。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#include <atomic>

class SpinLock {
    private:
    std::atomic<bool> flag = false;
    public:
    // 加锁：自旋忙等，直到抢到锁
    void lock() {
        // exchange：设置新值并返回旧值；true代表已经被占用
        while (flag.exchange(true,std::memory_order_accquire)) {
            // 自旋等待
        }
    }

    // 解锁
    void unlock() {
        flag.store(false, std::memory_order_release);
    }
};


// 更经典的实现方式
class SpinLock {
    private:
    std::atomic_flag flag = ATOMIC_FLAG_INIT;
    public:
    // 加锁：自旋忙等，直到抢到锁
    void lock() {
        // test_and_set：返回旧值；true代表已经被占用
        while (flag.test_and_set(std::memory_order_acquire)) {
        }
    }

    // 解锁
    void unlock() {
        flag.clear(std::memory_order_release);
    }
};

自旋锁缺点

  1. 锁持有时间不能长。如果临界区执行很久，其他线程一直在空转，白白占满 CPU。
  2. 容易优先级反转：高优先级线程拿不到锁，循环自旋。
  3. 适合：临界区只有几行简单运算；不适合里面做 IO、sleep。
  4. 多核心 CPU 效果好；单核 CPU 自旋锁性能极差，单核忙等不会让出时间片。

今天虹软科技的笔试第三题，有一个判断条件没看到，一直没C出来，考试结束前的5秒钟看到了，俺不得劲，明天放假一天~