Java并发编程之Monitor工作原理（有图解）

Monitor

Monitor被翻译为监视器或管程

每个Java对象都可以关联一个Monitor对象，如果使用synchronized给对象上锁（重量级）之后，该对象头的Mark Word中就被设置指向Monitor对象的指针。

Monitor结构如下：

当使用synchronized给对象上锁的时候，这个对象就会跟Monitor进行关联。步骤如下：

当有一个线程执行synchroniezd(obj)这段代码时，obj对象就会跟操作系统提供的Monitor对象相关联。

具体是用一个指针指向Monitor对象，地址存储在MarkWord里。

此时线程Thread-2成功获取了Monitor锁，Owner表示的是哪一个线程获取了这把锁。

如有别的线程打算执行synchroniezd(obj)这段代码时，它会先判断obj是否有关联Monitor锁，如已经关联Monitor锁，再去判断这把锁是否有主人(Owner)，Monitor中Owner只能有一个，如这把锁已经有主人(Owner)，此时线程就会关联EntryList（EntryList是一个阻塞队列，关联了EntryList的线程都变成阻塞状态，底层是链表结构)。

当Thread-2把临界区代码执行完后，这个锁就会被释放，Owner就会空出来，这时会唤醒EntryList中的线程，在EntryList中的线程开始竞争，由竞争成功的线程获得这个锁。

总结：

• 刚开始Monitor中Owner为null
• 当Thread-2执行synchronized(obj)就会将Monitor的所有者Owner置为Thread-2，Monitor中只能有一个Owner
• 在Thread-2上锁的过程中，如果Thread-3，Thread-4，Thread-5也来执行synchronized(obj)，就会进入EntryList BLOCKED
• Thread-2执行完同步代码块的内容，然后唤醒EntryList中等待的线程来竞争锁，竞争时是非公平的，具体结果由jvm决定
• 图中WaitSet中的Thread-0，Thread-1是之前获得过锁，但条件不满足进入WAITING状态的线程。

注意：

• synchronized必须是进入同一个对象的monitor才有上述的效果
• 不加synchronized的对象不会关联监视器，不遵从以上规则