为什么有JVM指令`monitorenter/monitorexit`但没有`wait/notifyAll`(它们是本机调用)？

Question

当我们编写时,synchronized(some_object){}我们可以看到两个JVM指令monitorenter/monitorexit作为字节代码发出.

当我们编写时,synchronized(some_object){some_object.wait()}我希望看到特殊的JVM指令wait,但是没有 - 而是wait/notify实现为本机C函数.

为什么会出现这种不一致(要么将它们全部作为JNI还是作为java字节代码)？是否存在特定(历史)原因或仅仅是品味问题？

上下文:我对此感兴趣,因为monitorenter/monitorexit/wait/notify在字节码中包含所有内容将允许"不处理JNI的JavaByteCode程序正确性验证程序"来验证不使用JNI的并发Java程序.目前,这种假设工具必须解决等待/通知.

Answer 1

我希望看到特殊的JVM指令 wait

我不会.这在我看来是不一致的 - 在源代码中,你只是调用一个方法,所以你只是在字节码中调用一个方法也是有意义的.否则,编译器必须具有这些方法的特殊知识,而目前它们并不存在.

可以说,通过方法调用也会更有意义monitorenter和monitorexit实现(例如,在.NET中).某些方法总是本机的并且与JVM本身密切相关 - 我没有看到任何不合理的东西,我不希望每个方法都通过单独的字节码操作来实现.但是,考虑到它是一种语言结构(比如),而不仅仅是常规的方法调用,我没有太多的问题需要synchronized特殊的字节码支持它try/catch/finally.