Java的wait和notify学习三部曲之三：修改JVM源码控制抢锁顺序

最新推荐文章于 2022-07-23 16:19:40 发布

程序员欣宸

最新推荐文章于 2022-07-23 16:19:40 发布

阅读量393

点赞数

本文链接：https://blog.csdn.net/boling_cavalry/article/details/101369204

版权

这是《Java的wait()、notify()三部曲》系列的最后一章，前两章请看《

在前两章我们先阅读分析和同步相关的JVM源码，再修改源码把关键参数Policy和QMode打印出来，对锁的抢占和释放有了清楚认识，这里结合NotifyDemo.java源码对我们之前的分析做个回顾，NotifyDemo.java源码在github上，地址是：https://github.com/zq2599/blog_demos，里面有多个工程，这次实战用的是下图红框中这个：

640?wx_fmt=png

对Demo执行的总结如下：

一、线程B持有锁；

二、线程A在wait的时候被唤醒，进入EntryList队列(Policy等于2时的逻辑)；三、线程C抢不到锁，进入cxq队列；

四、线程Ｂ释放锁的时候，从EntryList中取出A唤醒，A竞争锁（QMode等于0时的逻辑）；

五、线程A释放锁的时候，EntryList中为空，所以从_cxq中取出C唤醒，C竞争锁（QMode等于0时的逻辑）;

从上述分析可以看出，从wait中醒来的A总是比BLOCKING的C先抢占到锁，是因为QMode等于0时JVM先从_EntryList中取线程去竞争锁导致的，我们先来回顾一下QMode的值决定的逻辑：

QMode = 2的操作最特殊：取_cxq队列首元素唤醒；

QMode等于其他值的操作如下：

一、QMode = 3，把cxq队列的首元素放入EntryList尾部，再执行步骤四；

二、QMode = 4，把cxq队列的首元素放入EntryList头部，再执行步骤四；

三、QMode = 0，不做什么，执行步骤4；四、如果EntryList非空，就取首元素唤醒，否则取cxq的首元素唤醒；

现状是这样的：A在EntryList列，C在cxq队列；

综上所述，如果QMode=2，就会直接从_cxq中取出C线程唤醒，这样C就比A先拿到锁了！

开始行动吧，启动docker，打开objectMonitor.cpp文件，找到void ATTR ObjectMonitor::exit(bool notsuspended, TRAPS)方法，找到“int QMode = KnobQMode ;”这段代码，在下面加一行"QMode = 2;"，如下图所示：

640?wx_fmt=png