Thread の一時停止処理の枠組み (Safepoint 処理) ：停止する側の処理

Safepoint 停止に関する機能は SafepointSynchronize クラスの以下のメソッドに定義されている (See: SafepointSynchronize).

備考(Notes)

SafepointSynchronize::begin() と SafepointSynchronize::end() は (ほとんど) VMThread からしか呼び出されない. ただし, 例外的に ConcurrentGCThread からは呼ばれるパスが存在する.

(一瞬だけ stop the world しないといけない処理のために使っている模様) (See: ConcurrentGCThread::stopWorldAndDo())

処理の流れ (概要)(Execution Flows : Summary)

SafepointSynchronize::begin() の処理

SafepointSynchronize::begin()
-> (1) Threads_lock をロックしておく. (これは SafepointSynchronize::end() の中で開放する)
       -> Monitor::lock()

   (1) SafepointSynchronize::_state を _synchronizing に変更

   (1) serialize page のメモリプロテクションを変化させる.
       -> os::serialize_thread_states()

   (1) インタープリタ実行中のスレッドを止めるための処理を行う (dispatch table を Safepoint 用のものに置き換える, 等)
       -> Interpreter::notice_safepoints() (またはそれをサブクラスがオーバーライドしたもの)

   (1) Safepoint Polling page をアクセス不可にしておく.
       -> os::make_polling_page_unreadable()

   (1) 全ての JavaThread の ThreadSafepointState が running 以外の状態に変わるまで待機
       -> ThreadSafepointState::examine_state_of_thread()
       -> ThreadSafepointState::is_running()
       -> SpinPause()  or  os::NakedYield()  or  os::yield_all()

   (1) _waiting_to_block が 0 になるまで待機
       -> Monitior::wait()  (Safepoint_lock に対して. 起こす処理は SafepointSynchronize::block() で行われる)

   (1) SafepointSynchronize::_state を _synchronized に変更

   (1) 様々なクリーンアップ処理を実行
       -> SafepointSynchronize::do_cleanup_tasks()
          -> ObjectSynchronizer::deflate_idle_monitors()
          -> InlineCacheBuffer::update_inline_caches()
          -> CompilationPolicy::do_safepoint_work() (を各サブクラスがオーバーライドしたもの)
          -> NMethodSweeper::scan_stacks()

SafepointSynchronize::end() の処理

SafepointSynchronize::end()
-> (1) Safepoint Polling page をアクセス可能な状態に戻す
       -> os::make_polling_page_readable()

   (1) インタープリタ実行中のスレッドを再開させるための処理を行う (dispatch table を通常時用のものに戻す, 等)
       -> Interpreter::ignore_safepoints() (またはそれをサブクラスがオーバーライドしたもの)

   (1) SafepointSynchronize::_state を _not_synchronized に戻す.

   (1) 全ての JavaThread を起床させる.
       -> ThreadSafepointState::restart()

   (1) Threads_lock のロックを解除する.
       -> Monitor::unlock()

Thread の一時停止処理の枠組み (Safepoint 処理) ： 停止する側の処理

概要(Summary)

備考(Notes)

処理の流れ (概要)(Execution Flows : Summary)

SafepointSynchronize::begin() の処理

SafepointSynchronize::end() の処理

処理の流れ (詳細)(Execution Flows : Details)

SafepointSynchronize::begin()

SafepointSynchronize::deferred_initialize_stat()

os::serialize_thread_states()

TemplateInterpreter::notice_safepoints()

copy_table()

CppInterpreter::notice_safepoints()

os::make_polling_page_unreadable() (Linux の場合)

os::make_polling_page_unreadable() (Solaris の場合)

os::make_polling_page_unreadable() (Windows の場合)

ThreadSafepointState::is_running()

ThreadSafepointState::examine_state_of_thread()

SafepointSynchronize::safepoint_safe()

ThreadSafepointState::roll_forward()

SafepointSynchronize::signal_thread_at_safepoint()

ThreadSafepointState::set_has_called_back()

SpinPause() (Linux x86-32 の場合)

SpinPause() (Linux x86-64 の場合)

SpinPause() (Linux Sparc の場合)

SpinPause() (Linux zero の場合)

SpinPause() (Solaris Sparc の場合)

SpinPause() (Solaris x86 の場合)

SpinPause() (Windows x86 の場合)

os::NakedYield() (Linux の場合)

os::NakedYield() (Solaris の場合)

os::NakedYield() (Windows の場合)

os::yield_all() (Linux の場合)

os::yield_all() (Solaris の場合)

os::yield_all() (Windows の場合)

RuntimeService::record_safepoint_begin()

RuntimeService::record_safepoint_synchronized()

SafepointSynchronize::begin_statistics()

SafepointSynchronize::update_statistics_on_spin_end()

SafepointSynchronize::update_statistics_on_sync_end()

SafepointSynchronize::update_statistics_on_cleanup_end()

SafepointSynchronize::do_cleanup_tasks()

SimpleThresholdPolicy::do_safepoint_work()

NonTieredCompPolicy::do_safepoint_work()

SafepointSynchronize::end()

SafepointSynchronize::end_statistics()

os::make_polling_page_readable() (Linux の場合)

os::make_polling_page_readable() (Solaris の場合)

os::make_polling_page_readable() (Windows の場合)

TemplateInterpreter::ignore_safepoints()

CppInterpreter::ignore_safepoints()

Thread の一時停止処理の枠組み (Safepoint 処理) ：停止する側の処理