本系列是 The art of multipropcessor programming 的读书笔记,在原版图书的根底上,联合 OpenJDK 11 以上的版本的代码进行了解和实现。并依据集体的查资料以及了解的经验,给各位想更深刻了解的人分享一些集体的材料

自旋锁与争用

3. 队列锁

之前实现的基于回退的锁,除了通用性以外,还有如下两个问题:

  • CPU 高速缓存一致性流量:尽管因为回退存在,所以流量比 TASLock 要小,然而多线程拜访锁的状态还是有肯定因为缓存一致性导致的流量耗费的。
  • 可能升高拜访临界区的效率:因为所有线程的 sleep 提早过大,导致以后所有线程都在 sleep,然而锁实际上曾经开释。

能够将线程放入一个队列,来解决下面两个问题:

  • 队列中,每个线程查看它的前驱线程是否曾经实现,判断锁是否被开释,不必拜访锁的状态。这样拜访的是不同的内存,缩小了锁开释批改状态导致的 CPU 高速缓存一致性流量
  • 不须要 sleep,能够通过前驱线程告知线程锁被开释,尝试获取锁,进步了拜访临界区的效率

最初,通过队列,也是实现了 FIFO 的公平性。

3.1. 基于数组的锁

咱们通过一个数组来实现队列的性能,其流程是:

  • 须要的存储:

    • boolean 数组,为 true 则代表对应槽位的线程获取到了锁,为 false 则为对应槽位的线程没有获取到了锁
    • 保留以后最新槽位的原子变量,每次上锁都会将这个原子变量加 1,之后对 boolean 数组的大小取余。这个值代表这个线程占用了 boolean 数组的这个地位,boolean 数组的这个地位的值代表这个线程是否获取到了锁。这也阐明,boolean 数组的容量决定了这个锁同时能够有多少线程进行争用
    • ThreadLocal,记录以后线程占用的 boolean 数组的地位
  • 上锁流程:

    • 原子变量 + 1,对 boolean 数组的大小取余失去 current
    • 将 current 记录到 ThreadLocal
    • 当 boolean 数组 cuurent 地位的值为 false 的时候,自旋期待
  • 解锁流程:

    • 从 ThreadLocal 中获取以后线程对应的地位 mine
    • 将 boolean 数组的 mine 地位标记为 false
    • 将 boolean 数组的 mine + 1 对数组大小取余的地位(避免数组越界)标记为 true

其源码是:

public class ArrayLock implements Lock {    private final ThreadLocal<Integer> mySlotIndex = ThreadLocal.withInitial(() -> 0);    private final AtomicInteger tail = new AtomicInteger(0);    private final boolean[] flags;    private final int capacity;    public ALock(int capacity) {        this.capacity = capacity;        this.flags = new boolean[capacity];    }    @Override    public void lock() {        int current = this.tail.getAndIncrement() % capacity;        this.mySlotIndex.set(current);        while (!this.flags[current]) {        }    }    @Override    public void unlock() {        int mine = this.mySlotIndex.get();        this.flags[mine] = false;        this.flags[(mine + 1)  % capacity] = true;    }}

在这个源码实现上,咱们还能够做很多优化:

  1. 自旋期待能够不必强 Spin,而是 CPU 占用更低并且针对不同架构并且针对自旋都做了 CPU 指令优化的 Thread.onSpinWait()
  2. boolean 数组的每个槽位须要做缓存行填充,避免 CPU false sharing 的产生导致缓存行生效信号过多公布。
  3. boolean 数组的更新须要是 volatile 更新,一般更新会提早总线信号,导致其余等带锁的线程感知的更慢从而空转更屡次。
  4. 取余是十分低效的运算,须要转化为与运算,对 2 的 n 次方取余相当于对 2 的 n 次方减去 1 取与运算,咱们须要将传入的 capacity 值转化为大于 capacity 最近的 2 的 n 次方的值来实现。
  5. this.flags[current] 这个读取数组的操作须要放在循环里面,避免每次读取数组的性能耗费。

优化后的源码是:

public class ArrayLock implements Lock {    private final ThreadLocal<Integer> mySlotIndex = ThreadLocal.withInitial(() -> 0);    private final AtomicInteger tail = new AtomicInteger(0);    private final ContendedBoolean[] flags;    private final int capacity;    private static class ContendedBoolean {        //通过注解实现缓存行填充        @Contended        private boolean flag;    }    //通过句柄实现 volatile 更新    private static final VarHandle FLAG;    static {        try {            //初始化句柄            FLAG = MethodHandles.lookup().findVarHandle(ContendedBoolean.class, "flag", boolean.class);        } catch (Exception e) {            throw new Error(e);        }    }    public ArrayLock(int capacity) {        capacity |= capacity >>> 1;        capacity |= capacity >>> 2;        capacity |= capacity >>> 4;        capacity |= capacity >>> 8;        capacity |= capacity >>> 16;        capacity += 1;  //大于N的最小的2的N次方        this.flags = new ContendedBoolean[capacity];        for (int i = 0; i < this.flags.length; i++) {            this.flags[i] = new ContendedBoolean();        }        this.capacity = capacity;        this.flags[0].flag = true;    }    @Override    public void lock() {        int current = this.tail.getAndIncrement() & (capacity - 1);        this.mySlotIndex.set(current);        ContendedBoolean contendedBoolean = this.flags[current];        while (!contendedBoolean.flag) {            Thread.onSpinWait();        }    }    @Override    public void unlock() {        int mine = this.mySlotIndex.get();        FLAG.setVolatile(this.flags[mine], false);        FLAG.setVolatile(this.flags[(mine + 1) & (capacity - 1)], true);    }}

然而,即便有这些优化,在高并发大量锁调用的时候,这个锁的性能仍然会很差。这个咱们之后会剖析优化。