阅读 172

Java的wait()、notify()学习三部曲之二:修改JVM源码看参数

原文链接: blog.csdn.net

在上一章《 Java的wait()、notify()学习三部曲之一:JVM源码分析》中,我们通过JVM源码分析了线程同步的相关操作,但还是留下了一些疑惑未解:在notify()和释放锁的时候,对等待锁的线程的处理有多个分支,具体走到哪个分支视Policy和QMode的值而定,今天我们实战一次,修改JVM源码将这两个参数在虚拟机运行的时候打印出来看看;

编译JVM源码需要搭建编译环境,推荐使用docker,因为我已准备好了一个完善的编译环境镜像,详情请参照《极速体验编译openjdk8(docker环境》)

如果您用的是linxu或Mac操作系统,那么可直接安装官方docker软件;
如果您用的是win10专业版,也能直接安装官方docker软件;
如果是win10家庭版是无法安装docker的,这时可以装vmware,再安装linux系统,推荐centos7,再在centos7上安装docker,参考[《极速体验编译openjdk8(docker环境) 》](blog.csdn.net/boling_cava…
);

在docker上启动了bolingcavalry/bolingcavalryopenjdk:0.0.1镜像后:
a. 执行docker exec -it compilejdk/bin/bash进入容器;
b. 执行 vi /usr/local/openjdk/hotspot/src/share/vm/runtime/objectMonitor.cpp打开要修改的文件;
c. 找到方法 void ObjectMonitor::notify(TRAPS),找到方法内代码:“int Policy = Knob_MoveNotifyee ;”,在下面新增一行“printf(“*** Policy : %d\n”, Policy);”,如下图:

这里写图片描述

d. 找到方法 void ATTR ObjectMonitor::exit(bool not_suspended, TRAPS),找到方法内代码”int QMode = Knob_QMode ;”,在下面新增一行“printf(“*** QMode : %d\n”, QMode);”,如下图:

这里写图片描述

e. 在/usl/local/openjdk/目录下执行 ./configure –with-debug-level=slowdebug完成配置检查;
f. 在/usl/local/openjdk/目录下执行 bluemake all ZIP_DEBUGINFO_FILES=0 DISABLE_HOTSPOT_OS_VERSION_CHECK=OK CONF=linux-x86_64-normal-server-slowdebug开始编译,大约20分钟,编译完成,如下图:

这里写图片描述

g. 编译完成后进入目录,创建文件NotifyDemo.java文件,内容如下:

public class NotifyDemo {

    private static void sleep(long sleepVal){
        try{
            Thread.sleep(sleepVal);
        }catch(Exception e){
            e.printStackTrace();
        }
    }

    private static void log(String desc){
        System.out.println(Thread.currentThread().getName() + " : " + desc);
    }

    Object lock = new Object();

    public void startThreadA(){
        new Thread(() -> {
            synchronized (lock){
                log("get lock");
                startThreadB();
                log("start wait");
                try {
                    lock.wait();
                }catch(InterruptedException e){
                    e.printStackTrace();
                }

                log("get lock after wait");
                log("release lock");
            }
        }, "thread-A").start();
    }

    public void startThreadB(){
        new Thread(()->{
            synchronized (lock){
                log("get lock");
                startThreadC();
                sleep(100);
                log("start notify");
                lock.notify();
                log("release lock");

            }
        },"thread-B").start();
    }

    public void startThreadC(){
        new Thread(() -> {
            synchronized (lock){
                log("get lock");
                log("release lock");
            }
        }, "thread-C").start();
    }

    public static void main(String[] args){
        new NotifyDemo().startThreadA();
    }
}复制代码

h. 在此目录下执行./javac NotifyDemo.java编译源码; i. 在此目录下执行./java NotifyDemo执行class,可以看到输出如下图:

这里写图片描述

如上图所示,已将运行时的Policy和QMode打印出来,我们来分析一下吧:

首先,Policy=2,表示线程A从等待队列_WaitSet中被取出,又因为_EntryList为空,所以A放入了_EntryList首位,BlOCKING状态的线程C在_cxq,所以A和C放在不同的队列中:

这里写图片描述

其次,QMode=0,在ObjectMonitor::exit方法中,对QMode等于1、2、3、4的时候都有特殊处理(例如从_EntryList中取出数据),但是对QMode等于0没有特殊处理,而是依次从_EntryList中取出线程来唤醒,如下图,由于A放在_EntryList中,所以A总是先唤醒;

这里写图片描述

通过日志确定参数值,在结合代码分析,我们把上一章的遗留问题已经搞清楚了,在下一章中,我们会继续修改源码,操控线程A和C对锁的抢占顺序。