关于编程路上的一些杂谈 多线程中锁的秘密 (二)

本贴最后更新于 2627 天前,其中的信息可能已经事过境迁

来源:极乐科技知乎专栏
作者:知秋
博客:一叶知秋


接上篇关于编程路上的一些杂谈 由线程的通信原理想到的(一),其实已经讨论一些锁的实现了,这里再深入一下,把问题讲明白。

底层实现原理

有 volatile 变量修饰的共享变量进行写操作的时候会多出第二行汇编代码,通过查 IA-32 架构软件开发者手册可知,Lock 前缀的指令在多核处理器下会引发了两件事情。

  1. 将当前处理器缓存行的数据写回到系统内存。

  2. 这个写回内存的操作会使在其他 CPU 里缓存了该内存地址的数据无效。

为了提高处理速度,处理器不直接和内存进行通信,而是先将系统内存的数据读到内部缓存(L1,L2 或其他)后再进行操作,但操作完不知道何时会写到内存。如果对声明了 volatile 的变量进行写操作,JVM 就会向处理器发送一条 Lock 前缀的指令,将这个变量所在缓存行的数据写回到系统内存。但是,就算写回到内存,如果其他处理器缓存的值还是旧的,再执行计算操作就会有问题。所以,在多处理器下,为了保证各个处理器的缓存是一致的,就会实现缓存一致性协议,每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了,当处理器发现自己缓存行对应的内存地址被修改,就会将当前处理器的缓存行设置成无效状态,当处理器对这个数据进行修改操作的时候,会重新从系统内存中把数据读到处理器缓存里。

同样,参照上面所说的,对于 volatile 来说,它的实现也不外乎需要达到以下两种实现效果:

1)Lock 前缀指令会引起处理器缓存回写到内存 Lock 前缀指令会引起处理器缓存回写到内存

2)一个处理器的缓存回写到内存会导致其他处理器的缓存无效

对象头

对象头:包括两部分信息。第一部分用于存储对象自身的运行时数据,如哈希码,GC 分代年龄、锁状态、线程持有锁、等等。这部分数据的长度在 32 为或 64 位,官方称之为“MarkWord”。对象头的另一部分是类型指针,即对象指向它的类元素的指针,通过这个指针来确定这个对象时那个类的实例。(如果 Java 对象时一个数组,则对象头还必须有一块用于记录数组长度的数据。因为 Java 数组元数据中没有数组大小的记录)

偏向锁的概念

HotSpot 的作者经过研究发现,大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程 ID,以后该线程在进入和退出同步块时不需要进行 CAS 操作来加锁和解锁,只需简单地测试一下对象头的 Mark Word 里是否存储着指向当前线程的偏向锁。如果测试成功,表示线程已经获得了锁。如果测试失败,则需要再测试一下 Mark Word 中偏向锁的标识是否设置成 1(表示当前是偏向锁):如果没有设置,则使用 CAS 竞争锁;如果设置了,则尝试使用 CAS 将对象头的偏向锁指向当前线程。

进入正题

关于编程路上的一些杂谈 由线程的通信原理想到的(一)其实已经有讲到 volatile 的实现方式的,通过上面的深入想必已经有更细致的了解,然后也相信大家对于像 i++ 这种复合操作不具有原子性(i 是 volatile 变量 )很是疑惑,这里要说一个概念:

程序计数器 PC

程序计数器即指令地址寄存器。在某些计算机中用来存放当前正在执行的指令地址;而在另一些计算机中则用来存放即将要执行的下一条指令地址;而在有指令预取功能的计算机中,一般还要增加一个程序计数器用来存放下一条要取出的指令地址。程序计数器用以指出下条指令在主存中的存放地址,CPU 根据 PC 的内容去主存取得指令。因程序中指令是顺序执行的,所以 PC 有自增功能。

也就是说其实 i++ 可以理解成一条指令,而 i=i+1 便是两条指令了包括 i+1 和将结果赋给 i,应该不需要我再深入了,已经很明了了。

锁的语义

这里在关于编程路上的一些杂谈 由线程的通信原理想到的(一)已经有说其底层还是依靠 volatile 来实现,接下来就通过 ReentrantLock 源码来具体对其进行分析:

c0e65d8b8ea74c3cb3ab5b72ca8cf8f8-11.png
7b974a8cc7f84c59979dde1f20bccc79-22.png

对于 compareAndSetState 来说:

CAS, CPU 指令,在大多数处理器架构,包括 IA32、Space 中采用的都是 CAS 指令,CAS 的语义是“我认为 V 的值应该为 A,如果是,那么将 V 的值更新为 B,否则不修改并告诉 V 的值实际为多少”,CAS 是项 乐观锁 技术,当多个线程尝试使用 CAS 同时更新同一个变量时,只有其中一个线程能更新变量的值,而其它线程都失败,失败的线程并不会被挂起,而是被告知这次竞争中失败,并可以再次尝试。

CAS 有 3 个操作数,内存值 V,旧的预期值 A,要修改的新值 B。当且仅当预期值 A 和内存值 V 相同时,将内存值 V 修改为 B,否则什么都不做。

对于 compareAndSetState 来说:它是个原子方法,原理就是是 CAS.这个是高效,而且是原子的,不用加锁. 也会因为其他值改了而产生误操作,应为会先判断当前值,符合期望才去改变,而我们所要操作的值无非就是 state 而已。

对于上面截图的代码说的直白点就是对于一个线程如果当前没有竞争,则直接拿到或者上锁,否则,尝试获取即 acquire(1)方法:

/**
     * Sync object for non-fair locks
     */
    static final class NonfairSync extends Sync {
        private static final long serialVersionUID = 7316153563782823691L;
        /**
         * Performs lock.  Try immediate barge, backing up to normal
         * acquire on failure.
         */
        final void lock() {
            if (compareAndSetState(0, 1))
                setExclusiveOwnerThread(Thread.currentThread());
            else
                acquire(1);
        }
        protected final boolean tryAcquire(int acquires) {
            return nonfairTryAcquire(acquires);
        }
    }

57e76da58300402c8fab5b356630a6e0-33.png

/**
    * Acquires in exclusive mode, ignoring interrupts.  Implemented
    * by invoking at least once {@link #tryAcquire},
    * returning on success.  Otherwise the thread is queued, possibly
    * repeatedly blocking and unblocking, invoking {@link
    * #tryAcquire} until success.  This method can be used
    * to implement method {@link Lock#lock}.
    *
    * @param arg the acquire argument.  This value is conveyed to
    *        {@link #tryAcquire} but is otherwise uninterpreted and
    *        can represent anything you like.
    */
   public final void acquire(int arg) {
       if (!tryAcquire(arg) &&
           acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
           selfInterrupt();
   }

c9b9c3b73cb04acab32231016ea533f1-44.png

首先通过 tryAcquire()方法尝试获取,如果不能的话,则通过 AddWaiter()方法,用当前线程生成一个 Node 放入队尾,而 acquireQueued()则是一种自旋锁的实现方式。最后把当前线程 interrupt。这里可以发现,java 的 AQS 的实现很巧妙的一个地方就是把 tryAcquire 延迟到子类去实现。公平锁和非公平锁的实现方式是不一样的。非公平锁的 tryAcquire()的是通过 nonfairTryAcquire()。

然后看 acquireQueued(),其实就是一个无限循环,直到获得锁为止。通过上图源码可以看到在 shouldParkAfterFailedAcquire()方法中,通过前一个 Node 的 waitStatus 来判断是否应该把当前线程阻塞(所以用了双&&开关语义),阻塞是通过 parkAndCheckInterrupt()中的 LockSupport.park()实现。

再看一下释放锁:

/**
     * Attempts to release this lock.
     *
     * <p>If the current thread is the holder of this lock then the hold
     * count is decremented.  If the hold count is now zero then the lock
     * is released.  If the current thread is not the holder of this
     * lock then {@link IllegalMonitorStateException} is thrown.
     *
     * @throws IllegalMonitorStateException if the current thread does not
     *         hold this lock
     */
    public void unlock() {
        sync.release(1);
    }

release:

/**
     * Releases in exclusive mode.  Implemented by unblocking one or
     * more threads if {@link #tryRelease} returns true.
     * This method can be used to implement method {@link Lock#unlock}.
     *
     * @param arg the release argument.  This value is conveyed to
     *        {@link #tryRelease} but is otherwise uninterpreted and
     *        can represent anything you like.
     * @return the value returned from {@link #tryRelease}
     */
    public final boolean release(int arg) {
        if (tryRelease(arg)) {
            Node h = head;
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }
protected final boolean tryRelease(int releases) {
           int c = getState() - releases;
           if (Thread.currentThread() != getExclusiveOwnerThread())
               throw new IllegalMonitorStateException();
           boolean free = false;
           if (c == 0) {
               free = true;
               setExclusiveOwnerThread(null);
           }
           setState(c);
           return free;
       }

可以看出 tryRelease 和 tryAcquire 一样,也是延迟到子类(Sync)实现的。c==0 的时候,才能成功释放锁,所以多次锁定(看源码就可以知道 lock 一次 c 就 +1,第一张截图的第二个判断,假如是当前线程的话就再 + 一次 1)就需要多次释放才能解锁。释放锁之后,就会唤醒队列的一个 node 中的线程

这段代码目的在于找出第一个可以 unpark 的线程,一般说来 head.next == head,Head 就是第一个线程,但 Head.next 可能会被置为 null(参考 acquireQueued()源码),因此比较稳妥的办法是从后往前找第一个可用线程。

/**
    * Wakes up node's successor, if one exists.
    *
    * @param node the node
    */
   private void unparkSuccessor(Node node) {
       /*
        * If status is negative (i.e., possibly needing signal) try
        * to clear in anticipation of signalling.  It is OK if this
        * fails or if status is changed by waiting thread.
        */
       int ws = node.waitStatus;
       if (ws < 0)
           compareAndSetWaitStatus(node, ws, 0);
       /*
        * Thread to unpark is held in successor, which is normally
        * just the next node.  But if cancelled or apparently null,
        * traverse backwards from tail to find the actual
        * non-cancelled successor.
        */
       Node s = node.next;
       if (s == null || s.waitStatus > 0) {
           s = null;
           for (Node t = tail; t != null && t != node; t = t.prev)
               if (t.waitStatus <= 0)
                   s = t;
       }
       if (s != null)
           LockSupport.unpark(s.thread);
   }

9008b21ee5d043138404e2fe925c1c78-1111111111.png

其实我们在设计代码的时候也是可以通过静态内部类的方式来实现一些自己想要的功能,不过我们经常会用 Spring 框架,其通过动态代理已经实现了这个按需的延迟加载这些特性,也无须去头疼这些那些的。

其实关键点也就这些,绕来绕去其实就一句话,假如有 A 和 B 两个线程,A 符合期望的话,那么 A 就可以入主东宫了,B 还老老实实的做它的嫔妃就是。

通过以上这些解释,其实我们发现,锁的底层其实也是在反复操作一个 volatile 变量,而多线程的其他操作也是基于 volatile 的特性来实现的,包括计数器,barrier,各种安全工具类,理解这个其他自然都不是什么问题,包括很多并发框架的和事务等的设计,先就扯到这里吧。

参考文献:

Java 并发编程的艺术

往期回顾:

关于编程路上的一些杂谈 由线程的通信原理想到的(一)

  • Java

    Java 是一种可以撰写跨平台应用软件的面向对象的程序设计语言,是由 Sun Microsystems 公司于 1995 年 5 月推出的。Java 技术具有卓越的通用性、高效性、平台移植性和安全性。

    3165 引用 • 8206 回帖 • 1 关注
  • 线程
    120 引用 • 111 回帖 • 3 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...