Java常见面试题汇总-----------Java多线程（多线程同步机制）

39、Synchronized的底层原理

  synchronized是JAVA中解决并发编程中最常用的方法。
  synchronized的作用如下：
  1、确保线程互斥访问同步代码；
  2、保证共享变量的修改能够及时可见；
  3、有效解决指令重排序问题。
  synrhronized关键字简洁、清晰、语义明确，因此即使有了Lock接口，使用的还是非常广泛。其应用层的语义是可以把任何一个非null对象 作为"锁"，当synchronized作用在方法上时，锁住的便是对象实例（this）；当作用在静态方法时锁住的便是对象对应的Class实例，因为 Class数据存在于永久带，因此静态方法锁相当于该类的一个全局锁；当synchronized作用于某一个对象实例时，锁住的便是对应的代码块。在 HotSpot JVM实现中，锁有个专门的名字：对象监视器。
  每个对象都有一个监视器锁(monitor)，同步语句块的实现使用的是monitorenter和 monitorexit 指令，其中monitorenter指令指向同步代码块的开始位置，monitorexit指令则指明同步代码块的结束位置。当执行monitorenter指令时，当前线程将试图获取 objectref(即对象锁) 所对应的 monitor 的持有权，当 objectref 的monitor 的进入计数器为 0，那线程可以成功取得 monitor，并将计数器值设置为 1，取锁成功；如果当前线程已经拥有 objectref 的 monitor 的持有权，那它可以重入这个monitor，重入时计数器的值也会加 1。倘若其他线程已经拥有 objectref 的 monitor的所有权，那当前线程将被阻塞，直到正在执行线程执行完毕，即monitorexit指令被执行，执行线程将释放 monitor(锁)并设置计数器值为0 ，其他线程将有机会持有 monitor。
  值得注意的是编译器将会确保无论方法通过何种方式完成，方法中调用过的每条monitorenter 指令都有执行其对应 monitorexit 指令，而无论这个方法是正常结束还是异常结束。为了保证在方法异常完成时 monitorenter 和 monitorexit 指令依然可以正确配对执行，编译器会自动产生一个异常处理器，这个异常处理器声明可处理所有的异常，它的目的就是用来执行 monitorexit 指令。
  总结这两条指令的作用：
  monitorenter：
  每个对象都有一个监视器锁(monitor)，当monitor被占用时就会处于锁定状态。线程执行monitorenter命令获取monitor锁的过程如下：
  1、如果monitor的进入数为0，则线程获取锁，并设置monitor的进入数为1；
  2、如果该线程已经占有该monitor，则进入数+1；
  3、如果其他线程占有该monitor，monitor的进入数不为0，则该线程进入阻塞状态，直到monitor为0，重新获取monitor的所有权。
  monitorexit：
  执行monitorexit的线程必须是monitor的所有者。
  当执行该命令时，monitor的进入数-1，当monitor的进入数为0，该线程已经不再是该monitor的所有者，其他被这个monitor阻塞的线程可以尝试获取monitor的所有权。

线程状态及状态转换

  当多个线程同时请求某个对象监视器时，对象监视器会设置几种状态用来区分请求的线程：
  Contention List：所有请求锁的线程将被首先放置到该竞争队列；
  Entry List：Contention List中那些有资格成为候选人的线程被移到Entry List；
  Wait Set：那些调用wait方法被阻塞的线程被放置到Wait Set；
  OnDeck：任何时刻最多只能有一个线程正在竞争锁࿰