'intrinsify'是否意味着JVM的源代码有些“保守”,但JVM编译器可以在JVM预热时进行一些优化? 例如,
UNSAFE_ENTRY(void, Unsafe_SetOrderedObject(JNIEnv *env, jobject unsafe, jobject obj, jlong offset, jobject x_h))
UnsafeWrapper("Unsafe_SetOrderedObject");
oop x = JNIHandles::resolve(x_h);
oop p = JNIHandles::resolve(obj);
void* addr = index_oop_from_field_offset_long(p, offset);
OrderAccess::release();
if (UseCompressedOops) {
oop_store((narrowOop*)addr, x);
} else {
oop_store((oop*)addr, x);
}
OrderAccess::fence(); <==There is a full memory barrier to ensure visibility which is NOT strictly required
UNSAFE_END
putOrderedObject不需要确保immediate visiblity
,但是我们可以看到存储将一个完整的内存屏障附加到指定的对象,所以我说JVM是conservative
,但是JIT编译器可以在运行时优化这个内存屏障,这就是所谓的instrinsify
,我是对的吗?
答案 0 :(得分:7)
JVM内在函数是JDK中的方法,JIT为其发出特殊的机器指令序列,这些指令可以直接内联到调用者中。例如,在x86 Integer.bitCount(int)
上可以用POPCNT
指令替换。
纯Java实现可能过于复杂而无法通过窥孔优化识别 - 例如,与模拟 - 旋转 - 移位不同 - 并且JNI开销会因使用手工组件进行单个操作而无法获得任何性能提升。
许多不安全的方法也是内在的,因此这些方法调用不是优化器的黑盒子(就像JNI方法那样),是的,它允许它不那么保守。但这只是内在化的一个子属性。
(这些基本上是“热点内在函数”的顶级谷歌搜索结果)