Oracle JRockit

这小节提到Java字节码指令集里有monitorenter与monitorexit两条指令用于实现同步的功能。但这俩字节码主要用来实现synchronized块；synchronized方法却并没直接用这两条指令，而是在方法的元数据上记录它有ACC_SYNCHRONIZED属性。

JRockit internally translates all methods with an implicit monitor object into methods with an explicit one, similar to what is shown in the second part of example, in order to avoid the special case with the synchronized flag.

也就是说JRockit会在类加载的时候把synchronized方法改写为synchronized块的那种形式，使用monitorenter与monitorexit来显式标记出synchronized块的monitor对象和范围。这样，它的JIT编译器就不需要对带有ACC_SYNCHRONIZED属性的方法做特殊处理，因为都变成统一的字节码形式。顺带一提，HotSpot VM并没有做这种字节码改写，在解释器和JIT编译器里都会检查方法是否带有ACC_SYNCHRONIZED属性并做相应的特殊处理。

David Buck写了篇博文描述JRockit R28里一个关于finalizer的bug，配合书里的Finalizers这段来读特别有喜感 ;-) https://blogs.oracle.com/buck/entry/where_did_all_of_these

介绍了JRockit的对象布局。这里的介绍略为抽象，不过概念说得挺好。回头再补充细节