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

src/cpu/zero/vm/frame_zero.cpp@f9271ff9d324 (annotated)

src/cpu/zero/vm/frame_zero.cpp

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

author

twisti

date

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

changeset 1814

f9271ff9d324

parent 1513

8e7adf982378

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.
never@1445	3	* Copyright 2007, 2008, 2009 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	#include "incls/_precompiled.incl"
never@1445	27	#include "incls/_frame_zero.cpp.incl"
never@1445	28
never@1445	29	#ifdef ASSERT
never@1445	30	void RegisterMap::check_location_valid() {
never@1445	31	ShouldNotCallThis();
never@1445	32	}
never@1445	33	#endif
never@1445	34
never@1445	35	bool frame::is_interpreted_frame() const {
never@1445	36	return zeroframe()->is_interpreter_frame();
never@1445	37	}
never@1445	38
never@1445	39	frame frame::sender_for_entry_frame(RegisterMap *map) const {
twisti@1513	40	assert(zeroframe()->is_entry_frame(), "wrong type of frame");
never@1445	41	assert(map != NULL, "map must be set");
never@1445	42	assert(!entry_frame_is_first(), "next Java fp must be non zero");
never@1445	43	assert(entry_frame_call_wrapper()->anchor()->last_Java_sp() == sender_sp(),
never@1445	44	"sender should be next Java frame");
never@1445	45	map->clear();
never@1445	46	assert(map->include_argument_oops(), "should be set by clear");
never@1445	47	return frame(sender_sp(), sp() + 1);
never@1445	48	}
never@1445	49
twisti@1513	50	frame frame::sender_for_nonentry_frame(RegisterMap *map) const {
twisti@1513	51	assert(zeroframe()->is_interpreter_frame() ||
twisti@1513	52	zeroframe()->is_shark_frame() ||
twisti@1513	53	zeroframe()->is_fake_stub_frame(), "wrong type of frame");
never@1445	54	return frame(sender_sp(), sp() + 1);
never@1445	55	}
never@1445	56
never@1445	57	frame frame::sender(RegisterMap* map) const {
never@1445	58	// Default is not to follow arguments; the various
never@1445	59	// sender_for_xxx methods update this accordingly.
never@1445	60	map->set_include_argument_oops(false);
never@1445	61
never@1445	62	if (is_entry_frame())
never@1445	63	return sender_for_entry_frame(map);
twisti@1513	64	else
twisti@1513	65	return sender_for_nonentry_frame(map);
never@1445	66	}
never@1445	67
never@1445	68	#ifdef CC_INTERP
never@1445	69	BasicObjectLock* frame::interpreter_frame_monitor_begin() const {
never@1445	70	return get_interpreterState()->monitor_base();
never@1445	71	}
never@1445	72
never@1445	73	BasicObjectLock* frame::interpreter_frame_monitor_end() const {
never@1445	74	return (BasicObjectLock*) get_interpreterState()->stack_base();
never@1445	75	}
never@1445	76	#endif // CC_INTERP
never@1445	77
never@1445	78	void frame::patch_pc(Thread* thread, address pc) {
never@1445	79	// We borrow this call to set the thread pointer in the interpreter
never@1445	80	// state; the hook to set up deoptimized frames isn't supplied it.
never@1445	81	assert(pc == NULL, "should be");
never@1445	82	get_interpreterState()->set_thread((JavaThread *) thread);
never@1445	83	}
never@1445	84
never@1445	85	bool frame::safe_for_sender(JavaThread *thread) {
never@1445	86	ShouldNotCallThis();
never@1445	87	}
never@1445	88
never@1445	89	void frame::pd_gc_epilog() {
never@1445	90	}
never@1445	91
never@1445	92	bool frame::is_interpreted_frame_valid(JavaThread *thread) const {
never@1445	93	ShouldNotCallThis();
never@1445	94	}
never@1445	95
never@1445	96	BasicType frame::interpreter_frame_result(oop* oop_result,
never@1445	97	jvalue* value_result) {
never@1445	98	assert(is_interpreted_frame(), "interpreted frame expected");
never@1445	99	methodOop method = interpreter_frame_method();
never@1445	100	BasicType type = method->result_type();
never@1445	101	intptr_t* tos_addr = (intptr_t *) interpreter_frame_tos_address();
never@1445	102	oop obj;
never@1445	103
never@1445	104	switch (type) {
never@1445	105	case T_VOID:
never@1445	106	break;
never@1445	107	case T_BOOLEAN:
never@1445	108	value_result->z = *(jboolean *) tos_addr;
never@1445	109	break;
never@1445	110	case T_BYTE:
never@1445	111	value_result->b = *(jbyte *) tos_addr;
never@1445	112	break;
never@1445	113	case T_CHAR:
never@1445	114	value_result->c = *(jchar *) tos_addr;
never@1445	115	break;
never@1445	116	case T_SHORT:
never@1445	117	value_result->s = *(jshort *) tos_addr;
never@1445	118	break;
never@1445	119	case T_INT:
never@1445	120	value_result->i = *(jint *) tos_addr;
never@1445	121	break;
never@1445	122	case T_LONG:
never@1445	123	value_result->j = *(jlong *) tos_addr;
never@1445	124	break;
never@1445	125	case T_FLOAT:
never@1445	126	value_result->f = *(jfloat *) tos_addr;
never@1445	127	break;
never@1445	128	case T_DOUBLE:
never@1445	129	value_result->d = *(jdouble *) tos_addr;
never@1445	130	break;
never@1445	131
never@1445	132	case T_OBJECT:
never@1445	133	case T_ARRAY:
never@1445	134	if (method->is_native()) {
never@1445	135	obj = get_interpreterState()->oop_temp();
never@1445	136	}
never@1445	137	else {
never@1445	138	oop* obj_p = (oop *) tos_addr;
never@1445	139	obj = (obj_p == NULL) ? (oop) NULL : *obj_p;
never@1445	140	}
never@1445	141	assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
never@1445	142	*oop_result = obj;
never@1445	143	break;
never@1445	144
never@1445	145	default:
never@1445	146	ShouldNotReachHere();
never@1445	147	}
never@1445	148
never@1445	149	return type;
never@1445	150	}
never@1445	151
never@1445	152	int frame::frame_size(RegisterMap* map) const {
never@1445	153	#ifdef PRODUCT
never@1445	154	ShouldNotCallThis();
never@1445	155	#else
never@1445	156	return 0; // make javaVFrame::print_value work
never@1445	157	#endif // PRODUCT
never@1445	158	}
never@1445	159
never@1445	160	intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
never@1445	161	int index = (Interpreter::expr_offset_in_bytes(offset) / wordSize);
never@1445	162	return &interpreter_frame_tos_address()[index];
never@1445	163	}
never@1445	164
never@1445	165	void frame::zero_print_on_error(int frame_index,
never@1445	166	outputStream* st,
never@1445	167	char* buf,
never@1445	168	int buflen) const {
never@1445	169	// Divide the buffer between the field and the value
never@1445	170	buflen >>= 1;
never@1445	171	char *fieldbuf = buf;
never@1445	172	char *valuebuf = buf + buflen;
never@1445	173
never@1445	174	// Print each word of the frame
never@1445	175	for (intptr_t *addr = fp(); addr <= sp(); addr++) {
never@1445	176	int offset = sp() - addr;
never@1445	177
never@1445	178	// Fill in default values, then try and improve them
never@1445	179	snprintf(fieldbuf, buflen, "word[%d]", offset);
never@1445	180	snprintf(valuebuf, buflen, PTR_FORMAT, *addr);
never@1445	181	zeroframe()->identify_word(frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	182	fieldbuf[buflen - 1] = '\0';
never@1445	183	valuebuf[buflen - 1] = '\0';
never@1445	184
never@1445	185	// Print the result
never@1445	186	st->print_cr(" " PTR_FORMAT ": %-21s = %s", addr, fieldbuf, valuebuf);
never@1445	187	}
never@1445	188	}
never@1445	189
never@1445	190	void ZeroFrame::identify_word(int frame_index,
never@1445	191	int offset,
never@1445	192	char* fieldbuf,
never@1445	193	char* valuebuf,
never@1445	194	int buflen) const {
never@1445	195	switch (offset) {
never@1445	196	case next_frame_off:
never@1445	197	strncpy(fieldbuf, "next_frame", buflen);
never@1445	198	break;
never@1445	199
never@1445	200	case frame_type_off:
never@1445	201	strncpy(fieldbuf, "frame_type", buflen);
never@1445	202	if (is_entry_frame())
never@1445	203	strncpy(valuebuf, "ENTRY_FRAME", buflen);
never@1445	204	else if (is_interpreter_frame())
never@1445	205	strncpy(valuebuf, "INTERPRETER_FRAME", buflen);
never@1445	206	else if (is_shark_frame())
never@1445	207	strncpy(valuebuf, "SHARK_FRAME", buflen);
never@1445	208	else if (is_fake_stub_frame())
never@1445	209	strncpy(valuebuf, "FAKE_STUB_FRAME", buflen);
never@1445	210	break;
never@1445	211
never@1445	212	default:
never@1445	213	if (is_entry_frame()) {
never@1445	214	as_entry_frame()->identify_word(
never@1445	215	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	216	}
never@1445	217	else if (is_interpreter_frame()) {
never@1445	218	as_interpreter_frame()->identify_word(
never@1445	219	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	220	}
never@1445	221	else if (is_shark_frame()) {
never@1445	222	as_shark_frame()->identify_word(
never@1445	223	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	224	}
never@1445	225	else if (is_fake_stub_frame()) {
never@1445	226	as_fake_stub_frame()->identify_word(
never@1445	227	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	228	}
never@1445	229	}
never@1445	230	}
never@1445	231
never@1445	232	void EntryFrame::identify_word(int frame_index,
never@1445	233	int offset,
never@1445	234	char* fieldbuf,
never@1445	235	char* valuebuf,
never@1445	236	int buflen) const {
never@1445	237	switch (offset) {
never@1445	238	case call_wrapper_off:
never@1445	239	strncpy(fieldbuf, "call_wrapper", buflen);
never@1445	240	break;
never@1445	241
never@1445	242	default:
never@1445	243	snprintf(fieldbuf, buflen, "local[%d]", offset - 3);
never@1445	244	}
never@1445	245	}
never@1445	246
never@1445	247	void InterpreterFrame::identify_word(int frame_index,
never@1445	248	int offset,
never@1445	249	char* fieldbuf,
never@1445	250	char* valuebuf,
never@1445	251	int buflen) const {
never@1445	252	interpreterState istate = interpreter_state();
never@1445	253	bool is_valid = istate->self_link() == istate;
never@1445	254	intptr_t *addr = addr_of_word(offset);
never@1445	255
never@1445	256	// Fixed part
never@1445	257	if (addr >= (intptr_t *) istate) {
never@1445	258	const char *field = istate->name_of_field_at_address((address) addr);
never@1445	259	if (field) {
never@1445	260	if (is_valid && !strcmp(field, "_method")) {
never@1445	261	istate->method()->name_and_sig_as_C_string(valuebuf, buflen);
never@1445	262	}
never@1445	263	else if (is_valid && !strcmp(field, "_bcp") && istate->bcp()) {
never@1445	264	snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
never@1445	265	(intptr_t) istate->bcp(),
never@1445	266	istate->method()->bci_from(istate->bcp()));
never@1445	267	}
never@1445	268	snprintf(fieldbuf, buflen, "%sistate->%s",
never@1445	269	field[strlen(field) - 1] == ')' ? "(": "", field);
never@1445	270	}
never@1445	271	else if (addr == (intptr_t *) istate) {
never@1445	272	strncpy(fieldbuf, "(vtable for istate)", buflen);
never@1445	273	}
never@1445	274	return;
never@1445	275	}
never@1445	276
never@1445	277	// Variable part
never@1445	278	if (!is_valid)
never@1445	279	return;
never@1445	280
never@1445	281	// JNI stuff
never@1445	282	if (istate->method()->is_native() && addr < istate->stack_base()) {
never@1445	283	address hA = istate->method()->signature_handler();
never@1445	284	if (hA != NULL) {
never@1445	285	if (hA != (address) InterpreterRuntime::slow_signature_handler) {
never@1445	286	InterpreterRuntime::SignatureHandler *handler =
never@1445	287	InterpreterRuntime::SignatureHandler::from_handlerAddr(hA);
never@1445	288
never@1445	289	intptr_t *params = istate->stack_base() - handler->argument_count();
never@1445	290	if (addr >= params) {
never@1445	291	int param = addr - params;
never@1445	292	const char *desc = "";
never@1445	293	if (param == 0)
never@1445	294	desc = " (JNIEnv)";
never@1445	295	else if (param == 1) {
never@1445	296	if (istate->method()->is_static())
never@1445	297	desc = " (mirror)";
never@1445	298	else
never@1445	299	desc = " (this)";
never@1445	300	}
never@1445	301	snprintf(fieldbuf, buflen, "parameter[%d]%s", param, desc);
never@1445	302	return;
never@1445	303	}
never@1445	304
never@1445	305	for (int i = 0; i < handler->argument_count(); i++) {
never@1445	306	if (params[i] == (intptr_t) addr) {
never@1445	307	snprintf(fieldbuf, buflen, "unboxed parameter[%d]", i);
never@1445	308	return;
never@1445	309	}
never@1445	310	}
never@1445	311	}
never@1445	312	}
never@1445	313	return;
never@1445	314	}
never@1445	315
never@1445	316	// Monitors and stack
never@1445	317	identify_vp_word(frame_index, addr,
never@1445	318	(intptr_t *) istate->monitor_base(),
never@1445	319	istate->stack_base(),
never@1445	320	fieldbuf, buflen);
never@1445	321	}
never@1445	322
never@1445	323	void SharkFrame::identify_word(int frame_index,
never@1445	324	int offset,
never@1445	325	char* fieldbuf,
never@1445	326	char* valuebuf,
never@1445	327	int buflen) const {
never@1445	328	// Fixed part
never@1445	329	switch (offset) {
never@1445	330	case pc_off:
never@1445	331	strncpy(fieldbuf, "pc", buflen);
never@1445	332	if (method()->is_oop()) {
never@1445	333	nmethod *code = method()->code();
never@1445	334	if (code && code->pc_desc_at(pc())) {
never@1445	335	SimpleScopeDesc ssd(code, pc());
never@1445	336	snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
never@1445	337	(intptr_t) pc(), ssd.bci());
never@1445	338	}
never@1445	339	}
never@1445	340	return;
never@1445	341
never@1445	342	case unextended_sp_off:
never@1445	343	strncpy(fieldbuf, "unextended_sp", buflen);
never@1445	344	return;
never@1445	345
never@1445	346	case method_off:
never@1445	347	strncpy(fieldbuf, "method", buflen);
never@1445	348	if (method()->is_oop()) {
never@1445	349	method()->name_and_sig_as_C_string(valuebuf, buflen);
never@1445	350	}
never@1445	351	return;
never@1445	352
never@1445	353	case oop_tmp_off:
never@1445	354	strncpy(fieldbuf, "oop_tmp", buflen);
never@1445	355	return;
never@1445	356	}
never@1445	357
never@1445	358	// Variable part
never@1445	359	if (method()->is_oop()) {
never@1445	360	identify_vp_word(frame_index, addr_of_word(offset),
never@1445	361	addr_of_word(header_words + 1),
never@1445	362	unextended_sp() + method()->max_stack(),
never@1445	363	fieldbuf, buflen);
never@1445	364	}
never@1445	365	}
never@1445	366
never@1445	367	void ZeroFrame::identify_vp_word(int frame_index,
never@1445	368	intptr_t* addr,
never@1445	369	intptr_t* monitor_base,
never@1445	370	intptr_t* stack_base,
never@1445	371	char* fieldbuf,
never@1445	372	int buflen) const {
never@1445	373	// Monitors
never@1445	374	if (addr >= stack_base && addr < monitor_base) {
never@1445	375	int monitor_size = frame::interpreter_frame_monitor_size();
never@1445	376	int last_index = (monitor_base - stack_base) / monitor_size - 1;
never@1445	377	int index = last_index - (addr - stack_base) / monitor_size;
never@1445	378	intptr_t monitor = (intptr_t) (
never@1445	379	(BasicObjectLock *) monitor_base - 1 - index);
never@1445	380	intptr_t offset = (intptr_t) addr - monitor;
never@1445	381
never@1445	382	if (offset == BasicObjectLock::obj_offset_in_bytes())
never@1445	383	snprintf(fieldbuf, buflen, "monitor[%d]->_obj", index);
never@1445	384	else if (offset == BasicObjectLock::lock_offset_in_bytes())
never@1445	385	snprintf(fieldbuf, buflen, "monitor[%d]->_lock", index);
never@1445	386
never@1445	387	return;
never@1445	388	}
never@1445	389
never@1445	390	// Expression stack
never@1445	391	if (addr < stack_base) {
never@1445	392	snprintf(fieldbuf, buflen, "%s[%d]",
never@1445	393	frame_index == 0 ? "stack_word" : "local",
never@1445	394	(int) (stack_base - addr - 1));
never@1445	395	return;
never@1445	396	}
never@1445	397	}