8215879: AArch64: ReservedStackAccess may leave stack guard in inconsistent state
Reviewed-by: aph, dholmes
Contributed-by: Andrey Petushkov <andrey.petushkov@gmail.com>
--- a/src/hotspot/os_cpu/linux_aarch64/os_linux_aarch64.cpp Fri Dec 21 17:14:46 2018 +0000
+++ b/src/hotspot/os_cpu/linux_aarch64/os_linux_aarch64.cpp Fri Dec 21 18:26:55 2018 +0000
@@ -370,7 +370,6 @@
if (thread->on_local_stack(addr)) {
// stack overflow
if (thread->in_stack_yellow_reserved_zone(addr)) {
- thread->disable_stack_yellow_reserved_zone();
if (thread->thread_state() == _thread_in_Java) {
if (thread->in_stack_reserved_zone(addr)) {
frame fr;
@@ -392,9 +391,11 @@
}
// Throw a stack overflow exception. Guard pages will be reenabled
// while unwinding the stack.
+ thread->disable_stack_yellow_reserved_zone();
stub = SharedRuntime::continuation_for_implicit_exception(thread, pc, SharedRuntime::STACK_OVERFLOW);
} else {
// Thread was in the vm or native code. Return and try to finish.
+ thread->disable_stack_yellow_reserved_zone();
return 1;
}
} else if (thread->in_stack_red_zone(addr)) {
--- a/src/hotspot/share/runtime/thread.cpp Fri Dec 21 17:14:46 2018 +0000
+++ b/src/hotspot/share/runtime/thread.cpp Fri Dec 21 18:26:55 2018 +0000
@@ -2603,8 +2603,7 @@
}
void JavaThread::enable_stack_reserved_zone() {
- assert(_stack_guard_state != stack_guard_unused, "must be using guard pages.");
- assert(_stack_guard_state != stack_guard_enabled, "already enabled");
+ assert(_stack_guard_state == stack_guard_reserved_disabled, "inconsistent state");
// The base notation is from the stack's point of view, growing downward.
// We need to adjust it to work correctly with guard_memory()
@@ -2622,11 +2621,10 @@
}
void JavaThread::disable_stack_reserved_zone() {
- assert(_stack_guard_state != stack_guard_unused, "must be using guard pages.");
- assert(_stack_guard_state != stack_guard_reserved_disabled, "already disabled");
+ assert(_stack_guard_state == stack_guard_enabled, "inconsistent state");
// Simply return if called for a thread that does not use guard pages.
- if (_stack_guard_state == stack_guard_unused) return;
+ if (_stack_guard_state != stack_guard_enabled) return;
// The base notation is from the stack's point of view, growing downward.
// We need to adjust it to work correctly with guard_memory()