Java 锁机制总结

锁的种类

• 独享锁 VS 共享锁
  • 独享锁：锁只能被一个线程持有（synchronized）
  • 共享锁：锁可以被多个程序所持有（读写锁）
• 乐观锁 VS 悲观锁
  • 乐观锁：每次去拿数据的时候都乐观地认为别人不会修改，所以不进行加锁操作。乐观锁适用于多读的应用类型。（CAS，Atomic）
    • CAS（Compare And Swap），其思想是：我认为V的值应该为 A，如果是，那么将 V 的值更新为 B，否则不修改并告诉V的值实际为多少。这样一来当有多个线程尝试修改同一个对象时，只有一个线程能够成功修改，因为一旦有一个线程修改成功了，那么其他线程就没法满足 V 的值是 A 了。其他线程修改失败之后不会被挂起，而是再次尝试修改。
  • 悲观锁：总是假设最坏的情况，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会阻塞直到它拿到锁。
• 公平锁 VS 非公平锁
  • 公平锁：对于等待锁队列中的线程，按照先来先得的原则，给予锁。
  • 非公平锁：一个线程一执行到需要锁的地方，就尝试去要锁，失败了再进等待队列。这样一来，就能够大大减少唤醒线程的开销，但有可能会出现某线程饿死的情况。
    • synchronized 是非公平锁，lock 可以是公平也可以非公平。
• 其他概念
  • 可重入锁（synchronized 和 lock）：可重入性表明了锁的分配不是基于方法而是基于线程的。如：synchronized 了两个方法 method1, method2，method1 中调用了 method2，那么只要线程获得了 method1 的锁，那么它就一定能够进入 method2 而不需再申请锁。
  • 可中断锁（lockInterruptible()）：对于等待锁的线程，若等待时间过长，想中断该等待过程，让该线程去做其他的事，那么就需要可中断锁。

---

Java 锁的状态

Java 锁状态的级别从低到高为：无锁状态、偏向锁状态、轻量级锁状态、重要级锁状态，而锁的状态是被记录在 Java 对象的对象头中。

• Java 的对象头：由 Mark Word、指向类的指针、数组长度，其中 Mark Word 负责记录有关锁的信息

  • 32 位 JVM 中 Mark Word 存储的内容为

    锁状态	25bit	4bit	1bit （是否是偏向锁）	2bit （锁标志位）
    无锁	对象的 HashCode	分代年龄	0	01
    偏向锁	线程 ID 与 Epoch	分代年龄	1	01
    轻量级锁	指向栈中的锁记录指针	同前	同前	00
    重量级锁	指向重量级锁的指针	同前	同前	10
    GC 标记	空			11

• 偏向锁、轻量级锁概念的出现，都是为了减少同步唤醒的代价，若所有锁都为重量级的，那么所有等待锁的线程必须进入阻塞态

  • 偏向锁：大多数情况下，锁并不存在被大量线程竞争，而且总是由一个线程多次重复申请，那么这时只需要让偏向锁记录该线程 ID，这样当该线程又来声请锁的时候，就能快速获得锁了。
  • 轻量级锁：存在竞争，但是不强力且持有锁的线程会很快释放锁，在这种情况下，等待锁的线程可以处于自旋状态，而不必进入阻塞状态。

• Java 中锁的状态是一级一级往上升的，具体情况为：

  • 当未遇到同步代码块（即没有出现锁的时候），处于无锁状态。
  • 当对象被当作了同步锁，但当前只有一个线程 A 申请了该锁（没有竞争产生），那么对象的锁状态就会升级为偏向锁。
  • 当又有另一线程 B 来申请锁时，这时会检查当前占用该锁的线程 A 是否处于活跃状态或者仍然需要该锁，即是否有竞争会产生。若无，则偏向锁偏向 B，A 释放偏向锁。
  • 若有，那么偏向锁就会升级会轻量级锁。但若竞争进一步加大（有很多线程需求锁，且占用时间较长），那么锁就会进一步升级为重量级锁。

---

Java 锁机制的实现

---

synchronized

从上一节我们可以看出来，Java 中能够作为锁的只能是对象，所以 synchronized 的实现，也是通过对对象进行加锁实现的。

• synchronized 的三种用法
  • synchronized aMethod，锁一个类的方法，可以防止多个线程同时调用同一个对象的这个方法，但是能够同时调用。
  • static synchronized aMethod，锁一个类的静态方法，可以防止多个线程同时这个类的该静态方法。
  • synchronized (object){代码块}，把 object 对象当作该代码块的锁
• synchronized 使用起来简单，但是有如下缺点
  • 不支持中断，可能造成其他线程等待很长的时间，甚至死锁。
  • 不支持读写锁，即读读操作是能够同时进行的，但是 synchronized 没法实现。

---

Lock

Lock 是 java.util.concurrent.locks 包里的一个接口，对应的 ReentrantLock 类实现了该接口。

• 一般使用方法

  public class LockTest {
      private Lock alock = new ReentrantLock(); // 锁需要定义在具体使用锁的栈帧的上一层，即若在线程里定义的话，不同的线程会 new 出不同的锁，这样就不能实现同步了。
      
      public static void main(String[] args) {
          Runnable r = () -> {
              alock.lock(); // 获得锁
              try {
                  // do something
              } catch(Exception e){
                  
              } finally{
                  alock.unlock();
              }
          }
          Thread test = new Thread(r);
          test.start();
      }
  }
  

• 获得锁的方法

  • lock(): 获取锁，若失败，则等待
  • tryLock(long time, TimeUnit unit): 尝试获得锁，返回一个布尔值，表明是否获得到了锁。
  • lockInterruptibly(): 若某一个线程使用这个方法等待获取锁，那么可以通过 thread.interrupt() 的方法去让他中断等待，干别的事。

• 除此之外，java.util.concurrent.locks 包内还定义有 ReadWriteLock 接口，并有多种读写锁的实现类。

---

volatile

一种轻量级同步机制，能够保证 volatile 修饰的变量具有可见性，但不具备原子性

• 原子性与可见性
  • 原子性：在多线程并发的条件下，对于变量的操作是线程安全的，不会受到其他线程的干扰。Atomatic 基于底层硬件处理器提供的原子指令，保证并发时线程安全。
  • 可见性：在多线程并发的条件下，对于变量的修改，其他线程中能获取到修改后的。volatile 通过对于值的操作，会立即更新到主存中，当其他线程获取该值会从主存中获取。
• 使用方法与 synchronized 一样，都是 Java 关键词。

Atomatic

前面提到过 Atomatic 是一种乐观锁，它是通过操作的原子性来保证自己的线程安全的，即操作是不可被打断的，且具有排他性。当某一线程进行该原子操作时，其他想要执行该操作的线程只能处于自旋状态，等待该操作完成。

• 其实，这个给人的感觉，atomatic 有点像轻量级锁，不过这种线程的等待，不是通过软件实现的，而是通过硬件实现的（硬件上的原子操作）。
• 不过这种依靠硬件上的原子操作实现的锁机制，导致 atomatic 的相关操作都比较基础。
• 使用方法：参见 java.util.concurrent.atomic