Overview

  • java编写多线程程序时，为了保证线程安全，需要对数据进行同步，经常用到的两种同步方式就是synchronized和重入锁ReentrantLock。

相似点

  • 都是加锁方式
  • 都是阻塞式同步。即若一个线程获得了对象锁，进入了同步块，其他访问该同步块的线程都必须阻塞在同步块外等待，而进行线程阻塞和唤醒的代价是比较高的(os需要在用户态和内核态之间来回切换)。

区别

  • synchronized是java语言的关键字，是原生语法层面的互斥，需要jvm实现；而ReentrantLock是JDK1.5之后提供的API层面的互斥锁，需要lock()和unlock()方法配合try/finnally语句块来完成。

Synchronized

  • synchronized通过编译，会在同步块前后分别形成menitorenter和monitorexit这两个字节码。
  • 在执行monitorenter指令时，首先要尝试获取对象锁。如果这个对象没被锁定，或者当前线程已经拥有了那个对象锁，把锁的计算器加1，相应的mointorexit的时候减1。
  • 当计数器间到0时，锁就被释放了。
  • 如果对象获取锁失败，那么当前就要阻塞，直到对象锁被另一个线程释放为止。
  • synchronized的重要特性：
    • 把代码块声明为synchronized会使代码块具有原子性(即一个线程一次只能执行由一个指定lock保护的代码，从而防止多个线程在更新共享状态时互相冲突)和可见性(用来对付内存缓存和编译器优化的各种反常行为)。
  • synchronized存在的不足：
    • 无法中断一个正在等候获得锁的线程；
    • 无法通过轮询来得到锁；
    • 同步锁的释放只能在与获得锁所在的堆栈帧相同的堆栈帧中进行。

ReentrantLock

  • ReentrantLock是java.util.concurrent包下提供的一套互斥锁，相比synchronized，提供了一些高级功能：
    • 等待可中断：持有锁的线程长期不释放时，正在等待的线程可以选择放弃等待。这相对于Synchronized来说可以避免出现死锁的情况；
    • 可支持公平锁：公平锁，即多个线程等待同一个锁时，必须按照申请锁的时间顺序获得锁。synchronized锁是非公平锁；
    • 锁绑定多个条件：一个ReentrantLock对象可以同时绑定多个对象。
  • ReentrantLock的demo usage:
    注意锁必须在finnally块中释放，否则当受保护的代码抛出异常时，锁可能永远得不到释放。
    public class SynDemo {
  public static void main(String[] args) {
    Runnable t1 = new MyThread();
    new Thread(t1, "t1").start();
    new Thread(t2, "t2").start();
  }
}

class MyThread implements Runnable {
  private Lock lock = new ReentrantLock();
  public void run() {
    lock.lock();
    try {
      for (int i = 0; i < 5; i++) {
        System.out.println(Thread.currentThread.getName() + ":" + i);
      }
    } finally {
      lock.unlock();
    }
  }
}
  • 因为ReentrantLock是lock的一个抽象，是一个Java类，而不是语言的特性。这就为Lock的多种实现留下了空间，各种实现可能有不同的调度算法、性能特性或者锁定语义。
  • ReentrantLock拥有与synchronized相同的并发性和内存语义，但是添加了类似轮询锁、定时锁等候和可中断等候的一些特性。此外，它还提供了在激烈争用情况下的更佳性能。
  • reentrant意味着什么呢？简单来说，它有一个与锁相关的获取计数器，如果拥有锁的某个线程再次得到锁，那么获取计数器就加1，然后锁需要被释放两次才能获得真正释放。这模仿了 synchronized 的语义；如果线程进入由线程已经拥有的监控器保护的 synchronized 块，就允许线程继续进行，当线程退出第二个（或者后续） synchronized 块的时候，不释放锁，只有线程退出它进入的监控器保护的第一个 synchronized 块时，才释放锁。
  • 这些也不意味着reentrantLock可以完全取代synchronized：使用sychronized时不可能忘记释放锁；当JVM用 synchronized 管理锁定请求和释放时，JVM 在生成线程转储时能够包括锁定信息，这些对调试非常有价值，因为它们能标识死锁或者其他异常行为的来源。相比之下， Lock 类只是普通的类，JVM 不知道具体哪个线程拥有 Lock 对象。
  • 什么时候用ReentrantLock代替synchronized：在需要ReentrantLock独有的特性（时间锁等候、可中断锁等候、无块结构锁、多个条件变量或者轮询锁）或者是在高度争用的情况下（ReentrantLock具有可伸缩性）使用。

公平锁

  • 公平是好事，但是保证公平需要很大的性能成本。
  • 要确保公平所需要的记账(bookkeeping)和同步，就意味着被争夺的公平锁要比不公平锁的吞吐率更低。
  • synchronized永远是不公平的。但JVM保证了所有线程最终都会得到它们所等候的锁，这意味着统计上的公平。