sync到底是对什么加锁
Monitor模型
2.1 为什么sync是非公平锁
2.2 Monitor和对象头的关系
2.3 Monitor的JDK源码
sync各种锁与Monitor的关系
wait和notify方法的疑问
4.1 wait和notify为什么必须synchronized中使用
4.2 wait和notify为什么是Object的方法

1. sync到底是对什么加锁

JAVA虚拟机给每个对象和class字节码文件都设置了一个监控器Monitor，用于检测并发代码的重入。同时，Object类中提供notify和wait方法来对Monitor中的线程进行控制。

sync锁是一个可重入的非公平独占锁。sync加锁（此处特指重量级锁）会去获取obj的Monitor，如果Monitor已经被其他线程获取，那么当前线程会进入Entry Set。等待其他线程释放obj的Monitor。

而这里的Monitor可以是类.class的Monitor，也可以是当前对象（this）Monitor。

也就是可以回答上面的问题：锁实例方法是同一个对象互斥，锁静态方法是全局互斥。

作用于实例方法时，锁住的是this对象为锁的所有代码块；
作用于静态方法时，锁住的是Class实例，又因为Class相关数据存储在永久代，永久代是全局贡献，因此静态方法相当于类的一个全局锁，会锁住调用该方法的所有线程；
作用于一个对象实例时，锁住的是所有以该对象为锁的所有代码块；

即sync借助obj中的Monitor完成线程的阻塞。

2. Monitor模型

Monitor实现对临界资源的保护，保证每次只有一个线程能进入代码块进行访问。进入代码块即为持有Monitor，退出代码块即为释放Monitor。

2.1 为什么sync是非公平锁

而未抢占到锁的资源，便会进入Monitor的Entry Set阻塞。当抢占到锁的方法遇到wait()方法后，会释放Monitor资源，并进入到Wait Set阻塞。当Monitor资源被释放后。Entry Set、Wait Set和刚进入Monitor的线程共同争夺Monitor资源。这就是sync是非公平锁的原因。

2.2 Monitor和对象头的关系

sync是借助obj的monitor对象实现当前线程的阻塞。代码块加锁是在前后分别加上monitorentry和monitorexit指令来实现的。obj被加锁后，可以在其对象头的mark word的标记位体现。

2.3 Monitor的JDK源码

请点击获取objectMonitor.hpp源码...

JDK源码如下图所示，可以看到Wait Set、Entry Set、count（重入次数）、owner（持有锁的线程）等属性。

  ObjectMonitor() {
    _header       = NULL;
   //获取管程锁的次数
    _count        = 0;
    _waiters      = 0,
    _recursions   = 0;
    _object       = NULL;
    //持有该ObjectMonitor线程的指针
    _owner        = NULL;     
    //管程的条件变量的资源等待队列
    _WaitSet      = NULL;
    _WaitSetLock  = 0 ;
    _Responsible  = NULL ;
    _succ         = NULL ;
    _cxq          = NULL ;
    FreeNext      = NULL ;
    //管程的入口线程队列
    _EntryList    = NULL ;
    _SpinFreq     = 0 ;
    _SpinClock    = 0 ;
    OwnerIsThread = 0 ;
    _previous_owner_tid = 0;
  }