src/os_cpu/linux_zero/vm/thread_linux_zero.hpp

Thu, 15 Apr 2010 02:40:12 -0700

author
twisti
date
Thu, 15 Apr 2010 02:40:12 -0700
changeset 1814
f9271ff9d324
parent 1445
354d3184f6b2
child 1860
0c5b3cf3c1f5
permissions
-rw-r--r--

6941224: Improved stack overflow handling for Zero
Summary: Adding stack overflow checking to Shark brought to light a bunch of deficiencies in Zero's stack overflow code.
Reviewed-by: twisti
Contributed-by: Gary Benson <gbenson@redhat.com>

never@1445 1 /*
never@1445 2 * Copyright 2000-2007 Sun Microsystems, Inc. All Rights Reserved.
twisti@1814 3 * Copyright 2007, 2008, 2009, 2010 Red Hat, Inc.
never@1445 4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
never@1445 5 *
never@1445 6 * This code is free software; you can redistribute it and/or modify it
never@1445 7 * under the terms of the GNU General Public License version 2 only, as
never@1445 8 * published by the Free Software Foundation.
never@1445 9 *
never@1445 10 * This code is distributed in the hope that it will be useful, but WITHOUT
never@1445 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
never@1445 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
never@1445 13 * version 2 for more details (a copy is included in the LICENSE file that
never@1445 14 * accompanied this code).
never@1445 15 *
never@1445 16 * You should have received a copy of the GNU General Public License version
never@1445 17 * 2 along with this work; if not, write to the Free Software Foundation,
never@1445 18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
never@1445 19 *
never@1445 20 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
never@1445 21 * CA 95054 USA or visit www.sun.com if you need additional information or
never@1445 22 * have any questions.
never@1445 23 *
never@1445 24 */
never@1445 25
never@1445 26 private:
never@1445 27 ZeroStack _zero_stack;
never@1445 28 ZeroFrame* _top_zero_frame;
never@1445 29
never@1445 30 void pd_initialize() {
never@1445 31 _top_zero_frame = NULL;
never@1445 32 }
never@1445 33
never@1445 34 public:
never@1445 35 ZeroStack *zero_stack() {
never@1445 36 return &_zero_stack;
never@1445 37 }
never@1445 38
never@1445 39 public:
never@1445 40 ZeroFrame *top_zero_frame() {
never@1445 41 return _top_zero_frame;
never@1445 42 }
never@1445 43 void push_zero_frame(ZeroFrame *frame) {
never@1445 44 *(ZeroFrame **) frame = _top_zero_frame;
never@1445 45 _top_zero_frame = frame;
never@1445 46 }
never@1445 47 void pop_zero_frame() {
never@1445 48 zero_stack()->set_sp((intptr_t *) _top_zero_frame + 1);
never@1445 49 _top_zero_frame = *(ZeroFrame **) _top_zero_frame;
never@1445 50 }
never@1445 51
never@1445 52 public:
never@1445 53 static ByteSize zero_stack_offset() {
never@1445 54 return byte_offset_of(JavaThread, _zero_stack);
never@1445 55 }
never@1445 56 static ByteSize top_zero_frame_offset() {
never@1445 57 return byte_offset_of(JavaThread, _top_zero_frame);
never@1445 58 }
never@1445 59
never@1445 60 public:
never@1445 61 void record_base_of_stack_pointer() {
never@1445 62 assert(top_zero_frame() == NULL, "junk on stack prior to Java call");
never@1445 63 }
never@1445 64 void set_base_of_stack_pointer(intptr_t* base_sp) {
never@1445 65 assert(base_sp == NULL, "should be");
never@1445 66 assert(top_zero_frame() == NULL, "junk on stack after Java call");
never@1445 67 }
never@1445 68
never@1445 69 public:
never@1445 70 void set_last_Java_frame() {
twisti@1814 71 set_last_Java_frame(top_zero_frame());
never@1445 72 }
never@1445 73 void reset_last_Java_frame() {
twisti@1814 74 set_last_Java_frame(NULL);
twisti@1814 75 }
twisti@1814 76 void set_last_Java_frame(ZeroFrame* frame) {
twisti@1814 77 frame_anchor()->set_last_Java_sp((intptr_t *) frame);
never@1445 78 }
never@1445 79
never@1445 80 private:
never@1445 81 frame pd_last_frame() {
never@1445 82 assert(has_last_Java_frame(), "must have last_Java_sp() when suspended");
never@1445 83 return frame(last_Java_sp(), zero_stack()->sp());
never@1445 84 }
never@1445 85
never@1445 86 public:
never@1445 87 // Check for pending suspend requests and pending asynchronous
never@1445 88 // exceptions. There are separate accessors for these, but
never@1445 89 // _suspend_flags is volatile so using them would be unsafe.
never@1445 90 bool has_special_condition_for_native_trans() {
never@1445 91 return _suspend_flags != 0;
never@1445 92 }
never@1445 93
never@1445 94 public:
never@1445 95 bool pd_get_top_frame_for_signal_handler(frame* fr_addr,
never@1445 96 void* ucontext,
never@1445 97 bool isInJava) {
never@1445 98 ShouldNotCallThis();
never@1445 99 }
never@1445 100
never@1445 101 // These routines are only used on cpu architectures that
never@1445 102 // have separate register stacks (Itanium).
never@1445 103 static bool register_stack_overflow() { return false; }
never@1445 104 static void enable_register_stack_guard() {}
never@1445 105 static void disable_register_stack_guard() {}

mercurial