• file
• revisions
• annotate
• diff
• comparison
• raw

src/cpu/zero/vm/stack_zero.hpp@f9271ff9d324 (annotated)

src/cpu/zero/vm/stack_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 2003-2007 Sun Microsystems, Inc. All Rights Reserved.
twisti@1814	3	* Copyright 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	class ZeroStack {
never@1445	27	private:
never@1445	28	intptr_t *_base; // the last available word
never@1445	29	intptr_t *_top; // the word past the end of the stack
never@1445	30	intptr_t *_sp; // the top word on the stack
never@1445	31
twisti@1814	32	private:
twisti@1814	33	int _shadow_pages_size; // how much ABI stack must we keep free?
twisti@1814	34
never@1445	35	public:
never@1445	36	ZeroStack()
twisti@1814	37	: _base(NULL), _top(NULL), _sp(NULL) {
twisti@1814	38	_shadow_pages_size = StackShadowPages * os::vm_page_size();
twisti@1814	39	}
never@1445	40
never@1445	41	bool needs_setup() const {
never@1445	42	return _base == NULL;
never@1445	43	}
never@1445	44
never@1445	45	void setup(void *mem, size_t size) {
never@1445	46	assert(needs_setup(), "already set up");
never@1445	47	assert(!(size & WordAlignmentMask), "unaligned");
never@1445	48
never@1445	49	_base = (intptr_t *) mem;
never@1445	50	_top = _base + (size >> LogBytesPerWord);
never@1445	51	_sp = _top;
never@1445	52	}
never@1445	53	void teardown() {
never@1445	54	assert(!needs_setup(), "not set up");
never@1445	55	assert(_sp == _top, "stuff on stack at teardown");
never@1445	56
never@1445	57	_base = NULL;
never@1445	58	_top = NULL;
never@1445	59	_sp = NULL;
never@1445	60	}
never@1445	61
never@1445	62	intptr_t *sp() const {
never@1445	63	return _sp;
never@1445	64	}
never@1445	65	void set_sp(intptr_t *new_sp) {
never@1445	66	assert(_top >= new_sp && new_sp >= _base, "bad stack pointer");
never@1445	67	_sp = new_sp;
never@1445	68	}
never@1445	69
never@1445	70	int available_words() const {
never@1445	71	return _sp - _base;
never@1445	72	}
never@1445	73
never@1445	74	void push(intptr_t value) {
never@1445	75	assert(_sp > _base, "stack overflow");
never@1445	76	*(--_sp) = value;
never@1445	77	}
never@1445	78	intptr_t pop() {
never@1445	79	assert(_sp < _top, "stack underflow");
never@1445	80	return *(_sp++);
never@1445	81	}
never@1445	82
never@1445	83	void *alloc(size_t size) {
never@1445	84	int count = align_size_up(size, wordSize) >> LogBytesPerWord;
never@1445	85	assert(count <= available_words(), "stack overflow");
never@1445	86	return _sp -= count;
never@1445	87	}
never@1445	88
twisti@1814	89	int shadow_pages_size() const {
twisti@1814	90	return _shadow_pages_size;
twisti@1814	91	}
twisti@1814	92
twisti@1814	93	public:
twisti@1814	94	void overflow_check(int required_words, TRAPS);
twisti@1814	95	static void handle_overflow(TRAPS);
twisti@1814	96
never@1445	97	public:
never@1445	98	static ByteSize base_offset() {
never@1445	99	return byte_offset_of(ZeroStack, _base);
never@1445	100	}
never@1445	101	static ByteSize top_offset() {
never@1445	102	return byte_offset_of(ZeroStack, _top);
never@1445	103	}
never@1445	104	static ByteSize sp_offset() {
never@1445	105	return byte_offset_of(ZeroStack, _sp);
never@1445	106	}
never@1445	107	};
never@1445	108
never@1445	109
never@1445	110	class EntryFrame;
never@1445	111	class InterpreterFrame;
never@1445	112	class SharkFrame;
never@1445	113	class FakeStubFrame;
never@1445	114
never@1445	115	//
never@1445	116	// | ... |
never@1445	117	// +--------------------+ ------------------
never@1445	118	// | ... | low addresses
never@1445	119	// | frame_type |
never@1445	120	// | next_frame | high addresses
never@1445	121	// +--------------------+ ------------------
never@1445	122	// | ... |
never@1445	123
never@1445	124	class ZeroFrame {
never@1445	125	friend class frame;
never@1445	126	friend class ZeroStackPrinter;
never@1445	127
never@1445	128	protected:
never@1445	129	ZeroFrame() {
never@1445	130	ShouldNotCallThis();
never@1445	131	}
never@1445	132
never@1445	133	enum Layout {
never@1445	134	next_frame_off,
never@1445	135	frame_type_off,
never@1445	136	jf_header_words
never@1445	137	};
never@1445	138
never@1445	139	enum FrameType {
never@1445	140	ENTRY_FRAME = 1,
never@1445	141	INTERPRETER_FRAME,
never@1445	142	SHARK_FRAME,
never@1445	143	FAKE_STUB_FRAME
never@1445	144	};
never@1445	145
never@1445	146	protected:
never@1445	147	intptr_t *addr_of_word(int offset) const {
never@1445	148	return (intptr_t *) this - offset;
never@1445	149	}
never@1445	150	intptr_t value_of_word(int offset) const {
never@1445	151	return *addr_of_word(offset);
never@1445	152	}
never@1445	153
never@1445	154	public:
never@1445	155	ZeroFrame *next() const {
never@1445	156	return (ZeroFrame *) value_of_word(next_frame_off);
never@1445	157	}
never@1445	158
never@1445	159	protected:
never@1445	160	FrameType type() const {
never@1445	161	return (FrameType) value_of_word(frame_type_off);
never@1445	162	}
never@1445	163
never@1445	164	public:
never@1445	165	bool is_entry_frame() const {
never@1445	166	return type() == ENTRY_FRAME;
never@1445	167	}
never@1445	168	bool is_interpreter_frame() const {
never@1445	169	return type() == INTERPRETER_FRAME;
never@1445	170	}
never@1445	171	bool is_shark_frame() const {
never@1445	172	return type() == SHARK_FRAME;
never@1445	173	}
never@1445	174	bool is_fake_stub_frame() const {
never@1445	175	return type() == FAKE_STUB_FRAME;
never@1445	176	}
never@1445	177
never@1445	178	public:
never@1445	179	EntryFrame *as_entry_frame() const {
never@1445	180	assert(is_entry_frame(), "should be");
never@1445	181	return (EntryFrame *) this;
never@1445	182	}
never@1445	183	InterpreterFrame *as_interpreter_frame() const {
never@1445	184	assert(is_interpreter_frame(), "should be");
never@1445	185	return (InterpreterFrame *) this;
never@1445	186	}
never@1445	187	SharkFrame *as_shark_frame() const {
never@1445	188	assert(is_shark_frame(), "should be");
never@1445	189	return (SharkFrame *) this;
never@1445	190	}
never@1445	191	FakeStubFrame *as_fake_stub_frame() const {
never@1445	192	assert(is_fake_stub_frame(), "should be");
never@1445	193	return (FakeStubFrame *) this;
never@1445	194	}
never@1445	195
never@1445	196	public:
never@1445	197	void identify_word(int frame_index,
never@1445	198	int offset,
never@1445	199	char* fieldbuf,
never@1445	200	char* valuebuf,
never@1445	201	int buflen) const;
never@1445	202
never@1445	203	protected:
never@1445	204	void identify_vp_word(int frame_index,
never@1445	205	intptr_t* addr,
never@1445	206	intptr_t* monitor_base,
never@1445	207	intptr_t* stack_base,
never@1445	208	char* fieldbuf,
never@1445	209	int buflen) const;
never@1445	210	};