我很好奇 Object 类是如何实现的。例如
- 方法 hashCode() 或 wait()
- 内部状态如何表示。例如，内在锁或用于存储调用对象的 wait() 线程的数据结构。
为了找出这些，我下载了一个OpenJDK的源代码并开始挖掘。首先，我遇到的是\openjdksrc\jdk\src\share\native\java\lang\Object.c文件，其中包含其他：
static JNINativeMethod methods[] = {
{"hashCode", "()I", (void *)&JVM_IHashCode},
{"wait", "(J)V", (void *)&JVM_MonitorWait},
{"notify", "()V", (void *)&JVM_MonitorNotify},
{"notifyAll", "()V", (void *)&JVM_MonitorNotifyAll},
{"clone", "()Ljava/lang/Object;", (void *)&JVM_Clone},
};
JNIEXPORT void JNICALL
Java_java_lang_Object_registerNatives(JNIEnv *env, jclass cls)
{
(*env)->RegisterNatives(env, cls,
methods, sizeof(methods)/sizeof(methods[0]));
}
JNIEXPORT jclass JNICALL
Java_java_lang_Object_getClass(JNIEnv *env, jobject this)
{
if (this == NULL) {
JNU_ThrowNullPointerException(env, NULL);
return 0;
} else {
return (*env)->GetObjectClass(env, this);
}
}
据我了解，methods[] 数组定义了 Object 方法的本机实现之间的映射。例如，Object 的 hashCode() 映射到 JVM_IHashCode 函数。JVM_IHashCode 在 \openjdksrc\hotspot\src\share\vm\prims\jvm.cpp 中实现。这是我的第一个问题。为什么这已经是 VM 本身的一部分（它已经在 \openjdksrc\hotspot\src\share\vm 中定义）？ 但是让我们转到 JVM_IHashCode 的代码：
JVM_ENTRY(jint, JVM_IHashCode(JNIEnv* env, jobject handle))
JVMWrapper("JVM_IHashCode");
// as implemented in the classic virtual machine; return 0 if object is NULL
return handle == NULL ? 0 : ObjectSynchronizer::FastHashCode (THREAD, JNIHandles::resolve_non_null(handle)) ;
JVM_END
为什么如果 object 为 null，我们在这里返回 0？我想应该抛出一个NPE。否则，从 \openjdksrc\hotspot\src\share\vm\runtime\synchronizer.cpp 调用 FastHashCode，最终在某个时间点调用 get_next_hash 来计算实际值。 一旦计算出来，问题是它存储在哪里？
intptr_t ObjectSynchronizer::FastHashCode (Thread * Self, oop obj) {
...CUT...
ObjectMonitor* monitor = NULL;
markOop temp, test;
intptr_t hash;
markOop mark = ReadStableMark (obj);
...CUT...
if (mark->is_neutral()) {
hash = mark->hash(); // this is a normal header
if (hash) { // if it has hash, just return it
return hash;
}
hash = get_next_hash(Self, obj); // allocate a new hash code
temp = mark->copy_set_hash(hash); // merge the hash code into header
// use (machine word version) atomic operation to install the hash
test = (markOop) Atomic::cmpxchg_ptr(temp, obj->mark_addr(), mark);
if (test == mark) {
return hash;
}
// If atomic operation failed, we must inflate the header
// into heavy weight monitor. We could add more code here
// for fast path, but it does not worth the complexity.
}
...CUT...
return hash;
}
所以 oop 类/结构 ( ? ) 有一个 markOop 类/结构 ( ? ) 存储散列值。Funilly 我找不到这些类/结构。我所能找到的是：
class oopDesc {
friend class VMStructs;
private:
volatile markOop _mark;
...CUT...
在 \openjdksrc\hotspot\src\share\vm\oops\oop.hpp 中，它似乎在私有字段中有 markOop。但是，其余代码中提到的“oop”到底是什么？在哪里可以找到 markOop 定义？我找到了对应的：
class markOopDesc: public oopDesc
...CUT...
在 \openjdksrc\hotspot\src\share\vm\oops\markOop.hpp 但它只充满了枚举并且找不到可以存储哈希值的字段。如果有人至少能回答我的部分问题，我将不胜感激。谢谢！