了解 HotSpot 中的通知方法

Question

我试图了解 notify 如何唤醒一个线程并面临一些关于热点 (jdk8) 中的实现细节的误解。

我们在Object 中声明了wait/notify 作为本机方法，它们在此处实现：wait 和notify。由于static int Knob_MoveNotifyee = 2 ; 我预计the following code 负责执行唤醒：

 if (Policy == 2) {      // prepend to cxq
     // prepend to cxq
     if (List == NULL) {
         iterator->_next = iterator->_prev = NULL ;
         _EntryList = iterator ;
     } else {
        iterator->TState = ObjectWaiter::TS_CXQ ;
        for (;;) {
            ObjectWaiter * Front = _cxq ;
            iterator->_next = Front ;
            if (Atomic::cmpxchg_ptr (iterator, &_cxq, Front) == Front) {
                break ;
            }
        }
     }
 }

但问题是 void ObjectWaiter::notify 方法被包装到 Thread::SpinAcquire (&_WaitSetLock, "WaitSet - notify"); /Thread::SpinRelease (&_WaitSetLock) ; 中。

1. 为什么我们在将等待队列中的出队线程预置到 cxq 时会有 CAS？因为我们已经收购了_WaitSetLock，所以那里似乎没有争用。

2. 谁来修改JavaThread 状态？我们有iterator->wait_reenter_begin(this);at the end of void ObjectWaiter::notify，但这不像wait_reenter_end中那样set_thread_status(java_thread, java_lang_Thread::RUNNABLE);

Answer 1

1. _WaitSetLock 仅保护_WaitSet（该对象监视器上称为wait 的线程列表）。同时_cxq不仅可以被notify并发访问，还可以被其他函数同时访问，特别是ObjectMonitor::enter和exit。

2. notify 不会修改线程状态。当目标线程离开JVM_MonitorWait 时状态会发生变化。它由 JavaThreadInObjectWaitState 析构函数完成，它隐式调用 ~JavaThreadStatusChanger()。