要点提炼| 理解JVM之线程安全&锁优化

本篇将介绍线程安全所涉及的概念和分类、同步实现的方式及虚拟机的底层运做原理，以及虚拟机为了实现高效并发所采起的一系列锁优化措施。

• 概述
• 线程安全
• 锁优化

---

1.概述

在要点提炼| 理解JVM以内存模型&线程中主要介绍了虚拟机如何实现『并发』，如今的关注点是虚拟机如何实现『高效』。

---

2.线程安全

在实现高效以前，首先须要保证并发的正确性，所以本节先介绍线程安全。

a.定义：当多个线程访问一个对象时，若是不用考虑这些线程在运行时环境下的调度和交替执行，也不须要进行额外的同步，或者在调用方进行任何其余的协调操做，调用这个对象的行为均可以得到正确的结果，那这个对象是线程安全的。

要求线程安全的代码都必须具有一个特征： 代码自己封装了全部必要的正确性保障手段（如互斥同步等），令调用者无须关心多线程的问题，更无须本身采起任何措施来保证多线程的正确调用。

b.分类：按照线程安全的程度由强至弱分红五类

• 不可变：外部的可见状态永远不会改变，在多个线程之中永远是一致的状态。
  • 必定是线程安全的
  • 如何实现：
    • 若是共享数据是一个基本数据类型，只要在定义时用final关键字修饰；
    • 若是共享数据是一个对象，最简单的方法是把对象中带有状态的变量都声明为final。
• 绝对线程安全：彻底知足以前给出的线程安全的定义，即达到“无论运行时环境如何，调用者都不须要任何额外的同步措施”。
• 相对线程安全：能保证对该对象单独的操做是线程安全的，在调用时无需作额外保障措施，但对于一些特定顺序的连续调用，可能须要在调用端使用额外的同步措施来保证调用的正确性。
  • 是一般意义上所讲的线程安全
  • 大部分的线程安全类都属于这种类型，如Vector、HashTable、Collections#synchronizedCollection()包装的集合...
  • 有关实现在下一小节细说。
• 线程兼容：对象自己非线程安全的，但能够经过在调用端正确地使用同步手段来保证对象在并发环境中能够安全地使用，
  • 是一般意义上所讲的非线程安全
  • Java API中大部分类都是属于线程兼容的，如ArrayList和HashMap...
• 线程对立：不管调用端是否采起了同步措施，都没法在多线程环境中并发使用的代码。

c.线程安全的实现

可分红两大手段，本篇重点在虚拟机自己

• 经过代码编写实现线程安全
• 经过虚拟机自己实现同步与锁

①互斥同步(Mutual Exclusion＆Synchronization）

• 含义：
  • 同步：在多个线程并发访问共享数据时，保证共享数据在同一个时刻只被一个线程使用。
  • 互斥：是实现同步的一种手段，临界区（Critical Section）、互斥量（Mutex）和信号量（Semaphore）都是主要的互斥实现方式。

互斥是因，同步是果；互斥是方法，同步是目的。

• 属于悲观并发策略，即认为只要不作正确的同步措施就确定会出现问题，所以不管共享数据是否真的会出现竞争，都要加锁。
• 最大的问题是进行线程阻塞和唤醒所带来的性能问题，也称为阻塞同步（Blocking Synchronization）
• 手段：
  • 使用synchronized关键字：
    • 原理：编译后会在同步块的先后分别造成monitorenter和monitorexit这两个字节码指令，并经过一个reference类型的参数来指明要锁定和解锁的对象。若明确指定了对象参数，则取该对象的reference；不然，会根据synchronized修饰的是实例方法仍是类方法去取对应的对象实例或Class对象来做为锁对象。
    • 过程：执行monitorenter指令时先要尝试获取对象的锁。若该对象没被锁定或者已被当前线程获取，那么锁计数器+1；而在执行monitorexit指令时，锁计数器-1；当锁计数器=0时，锁就被释放；若获取对象锁失败，那当前线程会一直被阻塞等待，直到对象锁被另一个线程释放为止。
    • 特别注意： synchronized同步块对同一条线程来讲是可重入的，不会出现自我锁死的问题；还有，同步块在已进入的线程执行完以前，会阻塞后面其余线程的进入。
  • 使用重入锁ReentrantLock：
    • 相同：用法与synchronized很类似，且均可重入。
    • 与synchronized的不一样：
      • 等待可中断：当持有锁的线程长期不释放锁的时候，正在等待的线程能够选择放弃等待，改成处理其余事情。
      • 公平锁：多个线程在等待同一个锁时，必须按照申请锁的时间顺序来依次得到锁。而synchronized是非公平的，即在锁被释放时，任何一个等待锁的线程都有机会得到锁。ReentrantLock默认状况下也是非公平的，但能够经过带布尔值的构造函数改用公平锁。
      • 锁绑定多个条件：一个ReentrantLock对象能够经过屡次调用newCondition()同时绑定多个Condition对象。而在synchronized中，锁对象的wait()和notify()或notifyAl()只能实现一个隐含的条件，若要和多于一个的条件关联不得不额外地添加一个锁。
    • 选择：在synchronized能实现需求的状况下，优先考虑使用它来进行同步。下两张图是二者在不一样处理器上的吞吐量对比。

②非阻塞同步（Non-Blocking Synchronization）：

• 基于冲突检测的乐观并发策略，即先进行操做，若无其余线程争用共享数据，操做成功；反之产生了冲突再去采起其余的补偿措施。
• 为了保证操做和冲突检测这两步具有原子性，须要用到硬件指令集，好比：
  • 测试并设置（Test-and-Set）
  • 获取并增长（Fetch-and-Increment）
  • 交换（Swap）
  • 比较并交换（Compare-and-Swap,CAS）
  • 加载连接/条件存储（Load-Linked/Store-Conditional,LL/SC）

③无同步方案

• 定义：不用同步的方式保证线程安全，由于有些代码天生就是线程安全的。下面举两个例子：
• ①可重入代码（Reentrant Code）/纯代码（Pure Code）
  • 含义：可在代码执行的任什么时候刻中断它去执行另一段代码，当控制权返回后原来的程序并不会出现任何错误。
  • 共同特征：不依赖存储在堆上的数据和公用的系统资源、用到的状态量都由参数中传入、不调用非可重入的方法...
  • 断定依据：若是一个方法，它的返回结果是可预测的，只要输入相同的数据就都能返回相同的结果，就知足可重入性。

知足可重入性的代码必定是线程安全的，反之，知足线程安全的代码不必定是可重入的。

• ②线程本地存储（Thread Local Storage）
  • 含义：把共享数据的可见范围限制在同一个线程以内，无须同步就能保证线程之间不出现数据争用的问题。
  • 使用ThreadLocal类可实现线程本地存储的功能：每一个线程的Thread对象中都有一个ThreadLocalMap对象，它存储了一组以ThreadLocal.threadLocalHashCode为key、以本地线程变量为value的键值对，而ThreadLocal对象就是当前线程的ThreadLocalMap的访问入口，也就包含了一个独一无二的threadLocalHashCode值，经过这个值就能够在线程键值值对中找回对应的本地线程变量。

---

3.锁优化

解决并发的正确性以后，为了能在线程之间更『高效』地共享数据、解决竞争问题、提升程序的执行效率，下面介绍五种锁优化技术。

a.适应性自旋（Adaptive Spinning）

• 背景：互斥同步在实现阻塞和唤醒时须要挂起线程和恢复线程的操做，都须要转入内核态中完成，很影响系统的并发性能；同时，在许多应用上共享数据的锁定状态只是暂时，不必去挂起和恢复线程。
• 自旋锁：当物理机器有多个处理器使得多个线程同时并行执行时，先让后请求锁的线程等待，但不放弃处理器的执行时间，看看持有锁的线程是否很快就会释放锁，这时只需让线程执行一个忙循环，即自旋。
  • 注意：自旋等待不能代替阻塞，它虽然能避免线程切换的开销，但会占用处理器时间，所以自旋等待的时间必须要有必定的限度，若是自旋超过了限定的次数仍未成功获锁，就须要挂线程了。
• 自适应自旋锁：自旋的时间再也不固定，而是由该锁上的上次自旋时间及锁的拥有者的状态共同决定。具体表现是：
  • 若是对于某个锁，自旋等待刚刚成功得到，且持有锁的线程正在运行中，那么虚拟机极可能容许自旋等待的时间更久点。
  • 若是对于某个锁，自旋不多成功得到过，那么极可能之后将省略自旋等待这个锁，避免浪费处理器资源。

b.锁消除（Lock Elimination）

• 锁消除：指虚拟机即时编译器在运行时，对一些代码上要求同步，可是被检测到不可能存在共享数据竞争的锁进行消除。
• 断定依据：若是一段代码中堆上的全部数据都不会逃逸出去被其余线程访问到，可把它们当作栈上数据对待，即线程私有的，无须同步加锁。

c.锁粗化（Lock Coarsening）

通常状况下，会将同步块的做用范围限制到只在共享数据的实际做用域中才进行同步，使得须要同步的操做数量尽量变小，保证就算存在锁竞争，等待锁的线程也能尽快拿到锁。

但若是反复操做对同一个对象进行加锁和解锁，即便没有线程竞争，频繁地进行互斥同步操做也会致使没必要要的性能损耗，此时，虚拟机将会把加锁同步的范围粗化到整个操做序列的外部，这样只需加一次锁。

d.轻量级锁（Lightweight Locking）

• 目的：在没有多线程竞争的前提下，减小传统的重量级锁使用操做系统互斥量产生的性能消耗，注意不是用来代替重量级锁的。

首先先理解HotSpot虚拟机的对象头的内存布局：分为两部分

• 第一部分用于存储对象自身的运行时数据，这部分被称为Mark Word，是实现轻量级锁和偏向锁的关键。如哈希码、GC分代年龄等。
• 另一部分用于存储指向方法区对象类型数据的指针，若是是数组对象还会有一个额外的部分用于存储数组长度。

• 加锁过程：代码进入同步块时，若是同步对象未被锁定（锁标志位为01），虚拟机会在当前线程的栈帧中创建一个名为Lock Record的空间，用于存储锁对象Mark Word的拷贝。以下图。

以后虚拟机会尝试用CAS操做将对象的Mark Word更新为指向Lock Record的指针。若更新动做成功，那么当前线程就拥有了该对象的锁，且对象Mark Word的锁标志位变为00，即处于轻量级锁定状态；反之，虚拟机会先检查对象的Mark Word是否指向当前线程的栈帧，若当前线程已有该对象的锁，可直接进入同步块继续执行，不然说明改对象已被其余线程抢占。以下图。

另外，若是有两条以上的线程争用同一个锁，那轻量级锁就再也不有效，要膨胀为重量级锁，锁标志位变为10，Mark Word中存储的就是指向重量级锁的指针，后面等待锁的线程也要进入阻塞状态。

• 解锁过程：若对象的Mark Word仍指向着线程的Lock Record，就用CAS操做把对象当前的Mark Word和线程中复制的Displaced Mark Word替换回来。若替换成功，那么就完成了整个同步过程；反之，说明有其余线程尝试获取该锁，那么就要在释放锁的同时唤醒被挂起的线程。
• 优势：由于对于绝大部分的锁，在整个同步周期内都是不存在竞争的，因此轻量级锁经过使用CAS操做消除同步使用的互斥量。

e.偏向锁（Biased Locking）

• 目的：消除数据在无竞争状况下的同步原语，进一步提升程序的运行性能。
• 含义：偏向锁会偏向于第一个得到它的线程，若是在后面的执行中该锁没有被其余的线程获取，则持有偏向锁的线程将永远不须要再进行同步。
• 加锁过程：启用偏向锁的锁对象在第一次被线程获取时，Mark Word的锁标志位会被设置为01，即偏向模式，同时使用CAS操做把获取到这个锁的线程ID记录在对象的Mark Word中。若操做成功，持有偏向锁的线程之后每次进入这个锁相关的同步块时均可再也不进行任何同步操做。
• 解锁过程：当有另外的线程去尝试获取这个锁时，根据锁对象目前是否处于被锁定的状态，撤销偏向后恢复到未锁定01或轻量级锁定00的状态，后续的同步操做就如轻量级锁执行过程。以下图。

• 优势：可提升带有同步但无竞争的程序性能，但若程序中大多数锁总被多个线程访问，此模式就不必了。