【并发编程】Atomic的实现原理

atomic原子类实现机制_atomic实现原理

【linux内核分析与应用-陈莉君】内核同步概述

1.直接操作内存，使用Unsafe这个类
2.使用 getIntVolatile(var1, var2)获取线程间共享的变量
3.采用CAS的尝试机制(核心所在),代码如下：

  public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }
 

可以看到这个do .... while {!this.compareAndSwapInt(var1, var2, var5, var5 + var4)}.
不断地使用CAS进行重试，直到执行成功为止. 这里是一个乐观锁的操作.

4.使用Atomic ，是在硬件上、寄存器尽心阻塞，而不是在线程、代码上阻塞。
5.这个是通俗说法ABA的问题

atomic是原子的意思，意味"不可分割"的整体。在Linux kernel中有一类atomic操作API。这些操作对用户而
言是原子执行的，在一个CPU上执行过程中，不会被其他CPU打断。最常见的操作是原子读改写，简称RMW。例
如，atomic_inc()接口。atomic硬件实现和Cache到底有什么关系呢？其实有一点关系，下面会一步步揭晓答
案。



问题背景
我们先来看看不使用原子操作的时候，我们会遇到什么问题。我们知道increase一个变量，CPU微观指令级别分成3步操作。
1) 先read变量的值到CPU内存寄存器；
2) 对寄存器的值递增；
3) 将寄存器的值写回变量。

例如不使用原子指令的情况下在多个CPU上执行以下increase函数。

int counter = 0;

void increase(void)

{
counter++;

}

例如2个CPU得系统，初始值counter为0。在两个CPU上同时执行以上increase函数。可能出现如下操作序列：

+ +----------------------+----------------------+

| | CPU0 operation | CPU1 operation |

| +----------------------+----------------------+

| | read counter (== 0) | |

| +----------------------+----------------------+

| | increase | read counter (== 0) |

| +----------------------+----------------------+

| | write counter (== 1) | increase |

| +----------------------+----------------------+

| | | write counter (== 1) |

| +----------------------+----------------------+

V

timeline

我们可以清晰地看到，当CPU0读取counter的值位0后，在执行increase操作的同时，CPU1也读取counter变
量，同样counter的值依然是0。随后CPU0和CPU1先后将1的值写入内存。实际上，我们想执行两次increase操
作，我应该得到counter值为2。但是实际上得到的是1。这不是我们想要的结果。为了解决这个问题，硬件引入
原子自增指令。保证CPU0递增原子变量counter之间，不被其他CPU执行自增指令导致不想要的结果。硬件是如
何实现原子操作期间不被打断呢？

Bus Lock

当CPU发出一个原子操作时，可以先锁住Bus(总线)。这样就可以防止其他CPU的内存操作。等原子操作结束，
释放Bus。这样后续的内存操作就可以进行。这个方法可以实现原子操作，但是锁住Bus会导致后续无关内存操
作都不能继续。实际上，我们只关心我们操作的地址数据。只要我们操作的地址锁住即可，而其他无关的地址
数据访问依然可以继续。所以我们引入另一种解决方法。

Cacheline Lock

为了实现多核Cache一致性，现在的硬件基本采用MESI协议(或者MESI变种)维护一致性。因此我们可以借助多
核Cache一致性协议MESI实现原子操作。我们知道Cache line的状态处于Exclusive或者Modified时，可以说
明该变量只有当前CPU私有Cache缓存了该数据。所以我们可以直接修改Cache line即可更新数据。并且MESI
协议可以帮我们保证互斥。当然这不能不能保证RMW操作期间不被打断，因此我们还需要做些手脚实现原子操
作。

我们依然假设只有2个CPU的系统。当CPU0试图执行原子递增操作时。
a) CPU0发出"Read Invalidate"消息，其他CPU将原子变量所在的缓存无效，并从Cache返回数据。CPU0将
Cache line置成Exclusive状态。然后将
该cache line标记locked。
b) 然后CPU0读取原子变量，修改，最后写入cache line。
c) 将cache line置位unlocked。

在步骤a)和c)之间，如果其他CPU(例如CPU1)尝试执行一个原子递增操作，CPU1会发送一个"Read 
Invalidate"消息，CPU0收到消息后，检查对应的cache line的状态是locked，暂时不回复消息(CPU1会一直
等待CPU0回复Invalidate Acknowledge消息)。直到cache line变成unlocked。这样就可以实现原子操作。
我们称这种方式为锁cache line。这种实现方式必须要求操作的变量位于一个cache line。


LL/SC

LL/SC(Load-Link/Store-Conditional)是另一种硬件实现方法。例如aarch64架构就采用这种方法。这种方
法就不是我们关注的重点了。略过。

总结

借助多核Cache一致性协议可以很方便实现原子操作。当然远不止上面举例说的atomic_inc还有很多其他类似
的原子操作，例如原子比较交换等。