8285595: Assert frame anchor doesn't change in safepoints/handshakes

Reviewed-by: rehn, coleenp
openjdk · Apr 28, 2022 · d7514b0 · d7514b0 · openjdk-notifier · Apr 28, 2022
1 parent 5629c75
commit d7514b0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/hotspot/share/runtime/safepointMechanism.cpp b/src/hotspot/share/runtime/safepointMechanism.cpp
@@ -112,6 +112,7 @@ void SafepointMechanism::update_poll_values(JavaThread* thread) {
 }
 
 void SafepointMechanism::process(JavaThread *thread, bool allow_suspend, bool check_async_exception) {
+  DEBUG_ONLY(intptr_t* sp_before = thread->last_Java_sp();)
   // Read global poll and has_handshake after local poll
   OrderAccess::loadload();
 
@@ -140,6 +141,7 @@ void SafepointMechanism::process(JavaThread *thread, bool allow_suspend, bool ch
 
   update_poll_values(thread);
   OrderAccess::cross_modify_fence();
+  assert(sp_before == thread->last_Java_sp(), "Anchor has changed");
 }
 
 void SafepointMechanism::initialize_header(JavaThread* thread) {