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

src/cpu/zero/vm/cppInterpreter_zero.cpp@747d26efc5fa (annotated)

src/cpu/zero/vm/cppInterpreter_zero.cpp

Tue, 30 Mar 2010 00:57:55 -0700

author

twisti

date

Tue, 30 Mar 2010 00:57:55 -0700

changeset 1780

747d26efc5fa

parent 1691

c09ee209b65c

child 1814

f9271ff9d324

permissions

-rw-r--r--

6939180: Zero locking fix
Summary: When Zero is running with Shark enabled threads can be left with their _do_not_unlock_if_synchronized flag incorrectly set.
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.
kvn@1691	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	#include "incls/_precompiled.incl"
never@1445	27	#include "incls/_cppInterpreter_zero.cpp.incl"
never@1445	28
never@1445	29	#ifdef CC_INTERP
never@1445	30
never@1445	31	#define fixup_after_potential_safepoint() \
never@1445	32	method = istate->method()
never@1445	33
never@1445	34	#define CALL_VM_NOCHECK(func) \
never@1445	35	thread->set_last_Java_frame(); \
never@1445	36	func; \
never@1445	37	thread->reset_last_Java_frame(); \
never@1445	38	fixup_after_potential_safepoint()
never@1445	39
never@1445	40	void CppInterpreter::normal_entry(methodOop method, intptr_t UNUSED, TRAPS) {
never@1445	41	JavaThread *thread = (JavaThread *) THREAD;
never@1445	42	ZeroStack *stack = thread->zero_stack();
never@1445	43
never@1445	44	// Adjust the caller's stack frame to accomodate any additional
never@1445	45	// local variables we have contiguously with our parameters.
never@1445	46	int extra_locals = method->max_locals() - method->size_of_parameters();
never@1445	47	if (extra_locals > 0) {
never@1445	48	if (extra_locals > stack->available_words()) {
never@1445	49	Unimplemented();
never@1445	50	}
never@1445	51	for (int i = 0; i < extra_locals; i++)
never@1445	52	stack->push(0);
never@1445	53	}
never@1445	54
never@1445	55	// Allocate and initialize our frame.
never@1445	56	InterpreterFrame *frame = InterpreterFrame::build(stack, method, thread);
never@1445	57	thread->push_zero_frame(frame);
never@1445	58
never@1445	59	// Execute those bytecodes!
never@1445	60	main_loop(0, THREAD);
never@1445	61	}
never@1445	62
never@1445	63	void CppInterpreter::main_loop(int recurse, TRAPS) {
never@1445	64	JavaThread *thread = (JavaThread *) THREAD;
never@1445	65	ZeroStack *stack = thread->zero_stack();
never@1445	66
never@1445	67	// If we are entering from a deopt we may need to call
never@1445	68	// ourself a few times in order to get to our frame.
never@1445	69	if (recurse)
never@1445	70	main_loop(recurse - 1, THREAD);
never@1445	71
never@1445	72	InterpreterFrame *frame = thread->top_zero_frame()->as_interpreter_frame();
never@1445	73	interpreterState istate = frame->interpreter_state();
never@1445	74	methodOop method = istate->method();
never@1445	75
never@1445	76	intptr_t *result = NULL;
never@1445	77	int result_slots = 0;
never@1445	78
never@1445	79	// Check we're not about to run out of stack
never@1445	80	if (stack_overflow_imminent(thread)) {
never@1445	81	CALL_VM_NOCHECK(InterpreterRuntime::throw_StackOverflowError(thread));
never@1445	82	goto unwind_and_return;
never@1445	83	}
never@1445	84
never@1445	85	while (true) {
never@1445	86	// We can set up the frame anchor with everything we want at
never@1445	87	// this point as we are thread_in_Java and no safepoints can
never@1445	88	// occur until we go to vm mode. We do have to clear flags
never@1445	89	// on return from vm but that is it.
never@1445	90	thread->set_last_Java_frame();
never@1445	91
never@1445	92	// Call the interpreter
never@1445	93	if (JvmtiExport::can_post_interpreter_events())
never@1445	94	BytecodeInterpreter::runWithChecks(istate);
never@1445	95	else
never@1445	96	BytecodeInterpreter::run(istate);
never@1445	97	fixup_after_potential_safepoint();
never@1445	98
never@1445	99	// Clear the frame anchor
never@1445	100	thread->reset_last_Java_frame();
never@1445	101
never@1445	102	// Examine the message from the interpreter to decide what to do
never@1445	103	if (istate->msg() == BytecodeInterpreter::call_method) {
never@1445	104	methodOop callee = istate->callee();
never@1445	105
never@1445	106	// Trim back the stack to put the parameters at the top
never@1445	107	stack->set_sp(istate->stack() + 1);
never@1445	108
never@1445	109	// Make the call
never@1445	110	Interpreter::invoke_method(callee, istate->callee_entry_point(), THREAD);
never@1445	111	fixup_after_potential_safepoint();
never@1445	112
never@1445	113	// Convert the result
never@1445	114	istate->set_stack(stack->sp() - 1);
never@1445	115
never@1445	116	// Restore the stack
never@1445	117	stack->set_sp(istate->stack_limit() + 1);
never@1445	118
never@1445	119	// Resume the interpreter
never@1445	120	istate->set_msg(BytecodeInterpreter::method_resume);
never@1445	121	}
never@1445	122	else if (istate->msg() == BytecodeInterpreter::more_monitors) {
never@1445	123	int monitor_words = frame::interpreter_frame_monitor_size();
never@1445	124
never@1445	125	// Allocate the space
never@1445	126	if (monitor_words > stack->available_words()) {
never@1445	127	Unimplemented();
never@1445	128	}
never@1445	129	stack->alloc(monitor_words * wordSize);
never@1445	130
never@1445	131	// Move the expression stack contents
never@1445	132	for (intptr_t *p = istate->stack() + 1; p < istate->stack_base(); p++)
never@1445	133	*(p - monitor_words) = *p;
never@1445	134
never@1445	135	// Move the expression stack pointers
never@1445	136	istate->set_stack_limit(istate->stack_limit() - monitor_words);
never@1445	137	istate->set_stack(istate->stack() - monitor_words);
never@1445	138	istate->set_stack_base(istate->stack_base() - monitor_words);
never@1445	139
never@1445	140	// Zero the new monitor so the interpreter can find it.
never@1445	141	((BasicObjectLock *) istate->stack_base())->set_obj(NULL);
never@1445	142
never@1445	143	// Resume the interpreter
never@1445	144	istate->set_msg(BytecodeInterpreter::got_monitors);
never@1445	145	}
never@1445	146	else if (istate->msg() == BytecodeInterpreter::return_from_method) {
never@1445	147	// Copy the result into the caller's frame
kvn@1691	148	result_slots = type2size[result_type_of(method)];
never@1445	149	assert(result_slots >= 0 && result_slots <= 2, "what?");
never@1445	150	result = istate->stack() + result_slots;
never@1445	151	break;
never@1445	152	}
never@1445	153	else if (istate->msg() == BytecodeInterpreter::throwing_exception) {
never@1445	154	assert(HAS_PENDING_EXCEPTION, "should do");
never@1445	155	break;
never@1445	156	}
never@1445	157	else if (istate->msg() == BytecodeInterpreter::do_osr) {
never@1445	158	// Unwind the current frame
never@1445	159	thread->pop_zero_frame();
never@1445	160
never@1445	161	// Remove any extension of the previous frame
never@1445	162	int extra_locals = method->max_locals() - method->size_of_parameters();
never@1445	163	stack->set_sp(stack->sp() + extra_locals);
never@1445	164
never@1445	165	// Jump into the OSR method
never@1445	166	Interpreter::invoke_osr(
never@1445	167	method, istate->osr_entry(), istate->osr_buf(), THREAD);
never@1445	168	return;
never@1445	169	}
never@1445	170	else {
never@1445	171	ShouldNotReachHere();
never@1445	172	}
never@1445	173	}
never@1445	174
never@1445	175	unwind_and_return:
never@1445	176
never@1445	177	// Unwind the current frame
never@1445	178	thread->pop_zero_frame();
never@1445	179
never@1445	180	// Pop our local variables
never@1445	181	stack->set_sp(stack->sp() + method->max_locals());
never@1445	182
never@1445	183	// Push our result
never@1445	184	for (int i = 0; i < result_slots; i++)
never@1445	185	stack->push(result[-i]);
never@1445	186	}
never@1445	187
never@1445	188	void CppInterpreter::native_entry(methodOop method, intptr_t UNUSED, TRAPS) {
never@1445	189	// Make sure method is native and not abstract
never@1445	190	assert(method->is_native() && !method->is_abstract(), "should be");
never@1445	191
never@1445	192	JavaThread *thread = (JavaThread *) THREAD;
never@1445	193	ZeroStack *stack = thread->zero_stack();
never@1445	194
never@1445	195	// Allocate and initialize our frame
never@1445	196	InterpreterFrame *frame = InterpreterFrame::build(stack, method, thread);
never@1445	197	thread->push_zero_frame(frame);
never@1445	198	interpreterState istate = frame->interpreter_state();
never@1445	199	intptr_t *locals = istate->locals();
never@1445	200
never@1445	201	// Check we're not about to run out of stack
never@1445	202	if (stack_overflow_imminent(thread)) {
never@1445	203	CALL_VM_NOCHECK(InterpreterRuntime::throw_StackOverflowError(thread));
never@1445	204	goto unwind_and_return;
never@1445	205	}
never@1445	206
twisti@1513	207	// Update the invocation counter
twisti@1513	208	if ((UseCompiler || CountCompiledCalls) && !method->is_synchronized()) {
twisti@1513	209	InvocationCounter *counter = method->invocation_counter();
twisti@1513	210	counter->increment();
twisti@1513	211	if (counter->reached_InvocationLimit()) {
twisti@1513	212	CALL_VM_NOCHECK(
twisti@1513	213	InterpreterRuntime::frequency_counter_overflow(thread, NULL));
twisti@1513	214	if (HAS_PENDING_EXCEPTION)
twisti@1513	215	goto unwind_and_return;
twisti@1513	216	}
twisti@1513	217	}
twisti@1513	218
never@1445	219	// Lock if necessary
never@1445	220	BasicObjectLock *monitor;
never@1445	221	monitor = NULL;
never@1445	222	if (method->is_synchronized()) {
never@1445	223	monitor = (BasicObjectLock*) istate->stack_base();
never@1445	224	oop lockee = monitor->obj();
never@1445	225	markOop disp = lockee->mark()->set_unlocked();
never@1445	226
never@1445	227	monitor->lock()->set_displaced_header(disp);
never@1445	228	if (Atomic::cmpxchg_ptr(monitor, lockee->mark_addr(), disp) != disp) {
never@1445	229	if (thread->is_lock_owned((address) disp->clear_lock_bits())) {
never@1445	230	monitor->lock()->set_displaced_header(NULL);
never@1445	231	}
never@1445	232	else {
never@1445	233	CALL_VM_NOCHECK(InterpreterRuntime::monitorenter(thread, monitor));
never@1445	234	if (HAS_PENDING_EXCEPTION)
never@1445	235	goto unwind_and_return;
never@1445	236	}
never@1445	237	}
never@1445	238	}
never@1445	239
never@1445	240	// Get the signature handler
never@1445	241	InterpreterRuntime::SignatureHandler *handler; {
never@1445	242	address handlerAddr = method->signature_handler();
never@1445	243	if (handlerAddr == NULL) {
never@1445	244	CALL_VM_NOCHECK(InterpreterRuntime::prepare_native_call(thread, method));
never@1445	245	if (HAS_PENDING_EXCEPTION)
never@1574	246	goto unlock_unwind_and_return;
never@1445	247
never@1445	248	handlerAddr = method->signature_handler();
never@1445	249	assert(handlerAddr != NULL, "eh?");
never@1445	250	}
never@1445	251	if (handlerAddr == (address) InterpreterRuntime::slow_signature_handler) {
never@1445	252	CALL_VM_NOCHECK(handlerAddr =
never@1445	253	InterpreterRuntime::slow_signature_handler(thread, method, NULL,NULL));
never@1445	254	if (HAS_PENDING_EXCEPTION)
never@1574	255	goto unlock_unwind_and_return;
never@1445	256	}
never@1445	257	handler = \
never@1445	258	InterpreterRuntime::SignatureHandler::from_handlerAddr(handlerAddr);
never@1445	259	}
never@1445	260
never@1445	261	// Get the native function entry point
never@1445	262	address function;
never@1445	263	function = method->native_function();
never@1445	264	assert(function != NULL, "should be set if signature handler is");
never@1445	265
never@1445	266	// Build the argument list
never@1445	267	if (handler->argument_count() * 2 > stack->available_words()) {
never@1445	268	Unimplemented();
never@1445	269	}
never@1445	270	void **arguments;
never@1445	271	void *mirror; {
never@1445	272	arguments =
never@1445	273	(void **) stack->alloc(handler->argument_count() * sizeof(void **));
never@1445	274	void **dst = arguments;
never@1445	275
never@1445	276	void *env = thread->jni_environment();
never@1445	277	*(dst++) = &env;
never@1445	278
never@1445	279	if (method->is_static()) {
never@1445	280	istate->set_oop_temp(
never@1445	281	method->constants()->pool_holder()->klass_part()->java_mirror());
never@1445	282	mirror = istate->oop_temp_addr();
never@1445	283	*(dst++) = &mirror;
never@1445	284	}
never@1445	285
never@1445	286	intptr_t *src = locals;
never@1445	287	for (int i = dst - arguments; i < handler->argument_count(); i++) {
never@1445	288	ffi_type *type = handler->argument_type(i);
never@1445	289	if (type == &ffi_type_pointer) {
never@1445	290	if (*src) {
never@1445	291	stack->push((intptr_t) src);
never@1445	292	*(dst++) = stack->sp();
never@1445	293	}
never@1445	294	else {
never@1445	295	*(dst++) = src;
never@1445	296	}
never@1445	297	src--;
never@1445	298	}
never@1445	299	else if (type->size == 4) {
never@1445	300	*(dst++) = src--;
never@1445	301	}
never@1445	302	else if (type->size == 8) {
never@1445	303	src--;
never@1445	304	*(dst++) = src--;
never@1445	305	}
never@1445	306	else {
never@1445	307	ShouldNotReachHere();
never@1445	308	}
never@1445	309	}
never@1445	310	}
never@1445	311
never@1445	312	// Set up the Java frame anchor
never@1445	313	thread->set_last_Java_frame();
never@1445	314
never@1445	315	// Change the thread state to _thread_in_native
never@1445	316	ThreadStateTransition::transition_from_java(thread, _thread_in_native);
never@1445	317
never@1445	318	// Make the call
never@1445	319	intptr_t result[4 - LogBytesPerWord];
never@1445	320	ffi_call(handler->cif(), (void (*)()) function, result, arguments);
never@1445	321
never@1445	322	// Change the thread state back to _thread_in_Java.
never@1445	323	// ThreadStateTransition::transition_from_native() cannot be used
never@1445	324	// here because it does not check for asynchronous exceptions.
never@1445	325	// We have to manage the transition ourself.
never@1445	326	thread->set_thread_state(_thread_in_native_trans);
never@1445	327
never@1445	328	// Make sure new state is visible in the GC thread
never@1445	329	if (os::is_MP()) {
never@1445	330	if (UseMembar) {
never@1445	331	OrderAccess::fence();
never@1445	332	}
never@1445	333	else {
never@1445	334	InterfaceSupport::serialize_memory(thread);
never@1445	335	}
never@1445	336	}
never@1445	337
never@1445	338	// Handle safepoint operations, pending suspend requests,
never@1445	339	// and pending asynchronous exceptions.
never@1445	340	if (SafepointSynchronize::do_call_back() ||
never@1445	341	thread->has_special_condition_for_native_trans()) {
never@1445	342	JavaThread::check_special_condition_for_native_trans(thread);
never@1445	343	CHECK_UNHANDLED_OOPS_ONLY(thread->clear_unhandled_oops());
never@1445	344	}
never@1445	345
never@1445	346	// Finally we can change the thread state to _thread_in_Java.
never@1445	347	thread->set_thread_state(_thread_in_Java);
never@1445	348	fixup_after_potential_safepoint();
never@1445	349
never@1445	350	// Clear the frame anchor
never@1445	351	thread->reset_last_Java_frame();
never@1445	352
never@1445	353	// If the result was an oop then unbox it and store it in
never@1445	354	// oop_temp where the garbage collector can see it before
never@1445	355	// we release the handle it might be protected by.
never@1445	356	if (handler->result_type() == &ffi_type_pointer) {
never@1445	357	if (result[0])
never@1445	358	istate->set_oop_temp(*(oop *) result[0]);
never@1445	359	else
never@1445	360	istate->set_oop_temp(NULL);
never@1445	361	}
never@1445	362
never@1445	363	// Reset handle block
never@1445	364	thread->active_handles()->clear();
never@1445	365
never@1574	366	unlock_unwind_and_return:
never@1574	367
never@1574	368	// Unlock if necessary
never@1574	369	if (monitor) {
never@1445	370	BasicLock *lock = monitor->lock();
never@1445	371	markOop header = lock->displaced_header();
never@1445	372	oop rcvr = monitor->obj();
never@1445	373	monitor->set_obj(NULL);
never@1445	374
never@1445	375	if (header != NULL) {
never@1445	376	if (Atomic::cmpxchg_ptr(header, rcvr->mark_addr(), lock) != lock) {
never@1445	377	monitor->set_obj(rcvr); {
never@1445	378	HandleMark hm(thread);
never@1445	379	CALL_VM_NOCHECK(InterpreterRuntime::monitorexit(thread, monitor));
never@1445	380	}
never@1445	381	}
never@1445	382	}
never@1445	383	}
never@1445	384
never@1445	385	unwind_and_return:
never@1445	386
never@1445	387	// Unwind the current activation
never@1445	388	thread->pop_zero_frame();
never@1445	389
never@1445	390	// Pop our parameters
never@1445	391	stack->set_sp(stack->sp() + method->size_of_parameters());
never@1445	392
never@1445	393	// Push our result
never@1445	394	if (!HAS_PENDING_EXCEPTION) {
kvn@1691	395	BasicType type = result_type_of(method);
kvn@1691	396	stack->set_sp(stack->sp() - type2size[type]);
never@1445	397
kvn@1691	398	switch (type) {
never@1445	399	case T_VOID:
never@1445	400	break;
never@1445	401
never@1445	402	case T_BOOLEAN:
never@1445	403	#ifndef VM_LITTLE_ENDIAN
never@1445	404	result[0] <<= (BitsPerWord - BitsPerByte);
never@1445	405	#endif
never@1445	406	SET_LOCALS_INT(*(jboolean *) result != 0, 0);
never@1445	407	break;
never@1445	408
never@1445	409	case T_CHAR:
never@1445	410	#ifndef VM_LITTLE_ENDIAN
never@1445	411	result[0] <<= (BitsPerWord - BitsPerShort);
never@1445	412	#endif
never@1445	413	SET_LOCALS_INT(*(jchar *) result, 0);
never@1445	414	break;
never@1445	415
never@1445	416	case T_BYTE:
never@1445	417	#ifndef VM_LITTLE_ENDIAN
never@1445	418	result[0] <<= (BitsPerWord - BitsPerByte);
never@1445	419	#endif
never@1445	420	SET_LOCALS_INT(*(jbyte *) result, 0);
never@1445	421	break;
never@1445	422
never@1445	423	case T_SHORT:
never@1445	424	#ifndef VM_LITTLE_ENDIAN
never@1445	425	result[0] <<= (BitsPerWord - BitsPerShort);
never@1445	426	#endif
never@1445	427	SET_LOCALS_INT(*(jshort *) result, 0);
never@1445	428	break;
never@1445	429
never@1445	430	case T_INT:
never@1445	431	#ifndef VM_LITTLE_ENDIAN
never@1445	432	result[0] <<= (BitsPerWord - BitsPerInt);
never@1445	433	#endif
never@1445	434	SET_LOCALS_INT(*(jint *) result, 0);
never@1445	435	break;
never@1445	436
never@1445	437	case T_LONG:
never@1445	438	SET_LOCALS_LONG(*(jlong *) result, 0);
never@1445	439	break;
never@1445	440
never@1445	441	case T_FLOAT:
never@1445	442	SET_LOCALS_FLOAT(*(jfloat *) result, 0);
never@1445	443	break;
never@1445	444
never@1445	445	case T_DOUBLE:
never@1445	446	SET_LOCALS_DOUBLE(*(jdouble *) result, 0);
never@1445	447	break;
never@1445	448
never@1445	449	case T_OBJECT:
never@1445	450	case T_ARRAY:
never@1445	451	SET_LOCALS_OBJECT(istate->oop_temp(), 0);
never@1445	452	break;
never@1445	453
never@1445	454	default:
never@1445	455	ShouldNotReachHere();
never@1445	456	}
never@1445	457	}
never@1445	458	}
never@1445	459
never@1445	460	void CppInterpreter::accessor_entry(methodOop method, intptr_t UNUSED, TRAPS) {
never@1445	461	JavaThread *thread = (JavaThread *) THREAD;
never@1445	462	ZeroStack *stack = thread->zero_stack();
never@1445	463	intptr_t *locals = stack->sp();
never@1445	464
never@1445	465	// Drop into the slow path if we need a safepoint check
never@1445	466	if (SafepointSynchronize::do_call_back()) {
never@1445	467	normal_entry(method, 0, THREAD);
never@1445	468	return;
never@1445	469	}
never@1445	470
never@1445	471	// Load the object pointer and drop into the slow path
never@1445	472	// if we have a NullPointerException
never@1445	473	oop object = LOCALS_OBJECT(0);
never@1445	474	if (object == NULL) {
never@1445	475	normal_entry(method, 0, THREAD);
never@1445	476	return;
never@1445	477	}
never@1445	478
never@1445	479	// Read the field index from the bytecode, which looks like this:
never@1445	480	// 0: aload_0
never@1445	481	// 1: getfield
never@1445	482	// 2: index
never@1445	483	// 3: index
never@1445	484	// 4: ireturn/areturn
never@1445	485	// NB this is not raw bytecode: index is in machine order
never@1445	486	u1 *code = method->code_base();
never@1445	487	assert(code[0] == Bytecodes::_aload_0 &&
never@1445	488	code[1] == Bytecodes::_getfield &&
never@1445	489	(code[4] == Bytecodes::_ireturn ||
never@1445	490	code[4] == Bytecodes::_areturn), "should do");
never@1445	491	u2 index = Bytes::get_native_u2(&code[2]);
never@1445	492
never@1445	493	// Get the entry from the constant pool cache, and drop into
never@1445	494	// the slow path if it has not been resolved
never@1445	495	constantPoolCacheOop cache = method->constants()->cache();
never@1445	496	ConstantPoolCacheEntry* entry = cache->entry_at(index);
never@1445	497	if (!entry->is_resolved(Bytecodes::_getfield)) {
never@1445	498	normal_entry(method, 0, THREAD);
never@1445	499	return;
never@1445	500	}
never@1445	501
never@1445	502	// Get the result and push it onto the stack
never@1445	503	switch (entry->flag_state()) {
never@1445	504	case ltos:
never@1445	505	case dtos:
never@1445	506	if (stack->available_words() < 1) {
never@1445	507	Unimplemented();
never@1445	508	}
never@1445	509	stack->alloc(wordSize);
never@1445	510	break;
never@1445	511	}
never@1445	512	if (entry->is_volatile()) {
never@1445	513	switch (entry->flag_state()) {
never@1445	514	case ctos:
never@1445	515	SET_LOCALS_INT(object->char_field_acquire(entry->f2()), 0);
never@1445	516	break;
never@1445	517
never@1445	518	case btos:
never@1445	519	SET_LOCALS_INT(object->byte_field_acquire(entry->f2()), 0);
never@1445	520	break;
never@1445	521
never@1445	522	case stos:
never@1445	523	SET_LOCALS_INT(object->short_field_acquire(entry->f2()), 0);
never@1445	524	break;
never@1445	525
never@1445	526	case itos:
never@1445	527	SET_LOCALS_INT(object->int_field_acquire(entry->f2()), 0);
never@1445	528	break;
never@1445	529
never@1445	530	case ltos:
never@1445	531	SET_LOCALS_LONG(object->long_field_acquire(entry->f2()), 0);
never@1445	532	break;
never@1445	533
never@1445	534	case ftos:
never@1445	535	SET_LOCALS_FLOAT(object->float_field_acquire(entry->f2()), 0);
never@1445	536	break;
never@1445	537
never@1445	538	case dtos:
never@1445	539	SET_LOCALS_DOUBLE(object->double_field_acquire(entry->f2()), 0);
never@1445	540	break;
never@1445	541
never@1445	542	case atos:
never@1445	543	SET_LOCALS_OBJECT(object->obj_field_acquire(entry->f2()), 0);
never@1445	544	break;
never@1445	545
never@1445	546	default:
never@1445	547	ShouldNotReachHere();
never@1445	548	}
never@1445	549	}
never@1445	550	else {
never@1445	551	switch (entry->flag_state()) {
never@1445	552	case ctos:
never@1445	553	SET_LOCALS_INT(object->char_field(entry->f2()), 0);
never@1445	554	break;
never@1445	555
never@1445	556	case btos:
never@1445	557	SET_LOCALS_INT(object->byte_field(entry->f2()), 0);
never@1445	558	break;
never@1445	559
never@1445	560	case stos:
never@1445	561	SET_LOCALS_INT(object->short_field(entry->f2()), 0);
never@1445	562	break;
never@1445	563
never@1445	564	case itos:
never@1445	565	SET_LOCALS_INT(object->int_field(entry->f2()), 0);
never@1445	566	break;
never@1445	567
never@1445	568	case ltos:
never@1445	569	SET_LOCALS_LONG(object->long_field(entry->f2()), 0);
never@1445	570	break;
never@1445	571
never@1445	572	case ftos:
never@1445	573	SET_LOCALS_FLOAT(object->float_field(entry->f2()), 0);
never@1445	574	break;
never@1445	575
never@1445	576	case dtos:
never@1445	577	SET_LOCALS_DOUBLE(object->double_field(entry->f2()), 0);
never@1445	578	break;
never@1445	579
never@1445	580	case atos:
never@1445	581	SET_LOCALS_OBJECT(object->obj_field(entry->f2()), 0);
never@1445	582	break;
never@1445	583
never@1445	584	default:
never@1445	585	ShouldNotReachHere();
never@1445	586	}
never@1445	587	}
never@1445	588	}
never@1445	589
never@1445	590	void CppInterpreter::empty_entry(methodOop method, intptr_t UNUSED, TRAPS) {
never@1445	591	JavaThread *thread = (JavaThread *) THREAD;
never@1445	592	ZeroStack *stack = thread->zero_stack();
never@1445	593
never@1445	594	// Drop into the slow path if we need a safepoint check
never@1445	595	if (SafepointSynchronize::do_call_back()) {
never@1445	596	normal_entry(method, 0, THREAD);
never@1445	597	return;
never@1445	598	}
never@1445	599
never@1445	600	// Pop our parameters
never@1445	601	stack->set_sp(stack->sp() + method->size_of_parameters());
never@1445	602	}
never@1445	603
never@1445	604	bool CppInterpreter::stack_overflow_imminent(JavaThread *thread) {
never@1445	605	// How is the ABI stack?
never@1445	606	address stack_top = thread->stack_base() - thread->stack_size();
never@1445	607	int free_stack = os::current_stack_pointer() - stack_top;
never@1445	608	if (free_stack < StackShadowPages * os::vm_page_size()) {
never@1445	609	return true;
never@1445	610	}
never@1445	611
never@1445	612	// How is the Zero stack?
never@1445	613	// Throwing a StackOverflowError involves a VM call, which means
never@1445	614	// we need a frame on the stack. We should be checking here to
never@1445	615	// ensure that methods we call have enough room to install the
never@1445	616	// largest possible frame, but that's more than twice the size
never@1445	617	// of the entire Zero stack we get by default, so we just check
never@1445	618	// we have *some* space instead...
never@1445	619	free_stack = thread->zero_stack()->available_words() * wordSize;
never@1445	620	if (free_stack < StackShadowPages * os::vm_page_size()) {
never@1445	621	return true;
never@1445	622	}
never@1445	623
never@1445	624	return false;
never@1445	625	}
never@1445	626
never@1445	627	InterpreterFrame *InterpreterFrame::build(ZeroStack* stack,
never@1445	628	const methodOop method,
never@1445	629	JavaThread* thread) {
never@1445	630	int monitor_words =
never@1445	631	method->is_synchronized() ? frame::interpreter_frame_monitor_size() : 0;
never@1445	632	int stack_words = method->is_native() ? 0 : method->max_stack();
never@1445	633
never@1445	634	if (header_words + monitor_words + stack_words > stack->available_words()) {
never@1445	635	Unimplemented();
never@1445	636	}
never@1445	637
never@1445	638	intptr_t *locals;
never@1445	639	if (method->is_native())
never@1445	640	locals = stack->sp() + (method->size_of_parameters() - 1);
never@1445	641	else
never@1445	642	locals = stack->sp() + (method->max_locals() - 1);
never@1445	643
never@1445	644	stack->push(0); // next_frame, filled in later
never@1445	645	intptr_t *fp = stack->sp();
never@1445	646	assert(fp - stack->sp() == next_frame_off, "should be");
never@1445	647
never@1445	648	stack->push(INTERPRETER_FRAME);
never@1445	649	assert(fp - stack->sp() == frame_type_off, "should be");
never@1445	650
never@1445	651	interpreterState istate =
never@1445	652	(interpreterState) stack->alloc(sizeof(BytecodeInterpreter));
never@1445	653	assert(fp - stack->sp() == istate_off, "should be");
never@1445	654
never@1445	655	istate->set_locals(locals);
never@1445	656	istate->set_method(method);
never@1445	657	istate->set_self_link(istate);
never@1445	658	istate->set_prev_link(NULL);
never@1445	659	istate->set_thread(thread);
never@1445	660	istate->set_bcp(method->is_native() ? NULL : method->code_base());
never@1445	661	istate->set_constants(method->constants()->cache());
never@1445	662	istate->set_msg(BytecodeInterpreter::method_entry);
never@1445	663	istate->set_oop_temp(NULL);
never@1445	664	istate->set_mdx(NULL);
never@1445	665	istate->set_callee(NULL);
never@1445	666
never@1445	667	istate->set_monitor_base((BasicObjectLock *) stack->sp());
never@1445	668	if (method->is_synchronized()) {
never@1445	669	BasicObjectLock *monitor =
never@1445	670	(BasicObjectLock *) stack->alloc(monitor_words * wordSize);
never@1445	671	oop object;
never@1445	672	if (method->is_static())
never@1445	673	object = method->constants()->pool_holder()->klass_part()->java_mirror();
never@1445	674	else
never@1445	675	object = (oop) locals[0];
never@1445	676	monitor->set_obj(object);
never@1445	677	}
never@1445	678
never@1445	679	istate->set_stack_base(stack->sp());
never@1445	680	istate->set_stack(stack->sp() - 1);
never@1445	681	if (stack_words)
never@1445	682	stack->alloc(stack_words * wordSize);
never@1445	683	istate->set_stack_limit(stack->sp() - 1);
never@1445	684
never@1445	685	return (InterpreterFrame *) fp;
never@1445	686	}
never@1445	687
never@1445	688	int AbstractInterpreter::BasicType_as_index(BasicType type) {
never@1445	689	int i = 0;
never@1445	690	switch (type) {
never@1445	691	case T_BOOLEAN: i = 0; break;
never@1445	692	case T_CHAR : i = 1; break;
never@1445	693	case T_BYTE : i = 2; break;
never@1445	694	case T_SHORT : i = 3; break;
never@1445	695	case T_INT : i = 4; break;
never@1445	696	case T_LONG : i = 5; break;
never@1445	697	case T_VOID : i = 6; break;
never@1445	698	case T_FLOAT : i = 7; break;
never@1445	699	case T_DOUBLE : i = 8; break;
never@1445	700	case T_OBJECT : i = 9; break;
never@1445	701	case T_ARRAY : i = 9; break;
never@1445	702	default : ShouldNotReachHere();
never@1445	703	}
never@1445	704	assert(0 <= i && i < AbstractInterpreter::number_of_result_handlers,
never@1445	705	"index out of bounds");
never@1445	706	return i;
never@1445	707	}
never@1445	708
kvn@1691	709	BasicType CppInterpreter::result_type_of(methodOop method) {
kvn@1691	710	BasicType t;
kvn@1691	711	switch (method->result_index()) {
kvn@1691	712	case 0 : t = T_BOOLEAN; break;
kvn@1691	713	case 1 : t = T_CHAR; break;
kvn@1691	714	case 2 : t = T_BYTE; break;
kvn@1691	715	case 3 : t = T_SHORT; break;
kvn@1691	716	case 4 : t = T_INT; break;
kvn@1691	717	case 5 : t = T_LONG; break;
kvn@1691	718	case 6 : t = T_VOID; break;
kvn@1691	719	case 7 : t = T_FLOAT; break;
kvn@1691	720	case 8 : t = T_DOUBLE; break;
kvn@1691	721	case 9 : t = T_OBJECT; break;
kvn@1691	722	default: ShouldNotReachHere();
kvn@1691	723	}
kvn@1691	724	assert(AbstractInterpreter::BasicType_as_index(t) == method->result_index(),
kvn@1691	725	"out of step with AbstractInterpreter::BasicType_as_index");
kvn@1691	726	return t;
kvn@1691	727	}
kvn@1691	728
never@1445	729	address InterpreterGenerator::generate_empty_entry() {
never@1445	730	if (!UseFastEmptyMethods)
never@1445	731	return NULL;
never@1445	732
never@1445	733	return generate_entry((address) CppInterpreter::empty_entry);
never@1445	734	}
never@1445	735
never@1445	736	address InterpreterGenerator::generate_accessor_entry() {
never@1445	737	if (!UseFastAccessorMethods)
never@1445	738	return NULL;
never@1445	739
never@1445	740	return generate_entry((address) CppInterpreter::accessor_entry);
never@1445	741	}
never@1445	742
never@1445	743	address InterpreterGenerator::generate_native_entry(bool synchronized) {
never@1445	744	assert(synchronized == false, "should be");
never@1445	745
never@1445	746	return generate_entry((address) CppInterpreter::native_entry);
never@1445	747	}
never@1445	748
never@1445	749	address InterpreterGenerator::generate_normal_entry(bool synchronized) {
never@1445	750	assert(synchronized == false, "should be");
never@1445	751
never@1445	752	return generate_entry((address) CppInterpreter::normal_entry);
never@1445	753	}
never@1445	754
never@1445	755	address AbstractInterpreterGenerator::generate_method_entry(
never@1445	756	AbstractInterpreter::MethodKind kind) {
never@1445	757	address entry_point = NULL;
never@1445	758
never@1445	759	switch (kind) {
never@1445	760	case Interpreter::zerolocals:
never@1445	761	case Interpreter::zerolocals_synchronized:
never@1445	762	break;
never@1445	763
never@1445	764	case Interpreter::native:
never@1445	765	entry_point = ((InterpreterGenerator*) this)->generate_native_entry(false);
never@1445	766	break;
never@1445	767
never@1445	768	case Interpreter::native_synchronized:
never@1445	769	entry_point = ((InterpreterGenerator*) this)->generate_native_entry(false);
never@1445	770	break;
never@1445	771
never@1445	772	case Interpreter::empty:
never@1445	773	entry_point = ((InterpreterGenerator*) this)->generate_empty_entry();
never@1445	774	break;
never@1445	775
never@1445	776	case Interpreter::accessor:
never@1445	777	entry_point = ((InterpreterGenerator*) this)->generate_accessor_entry();
never@1445	778	break;
never@1445	779
never@1445	780	case Interpreter::abstract:
never@1445	781	entry_point = ((InterpreterGenerator*) this)->generate_abstract_entry();
never@1445	782	break;
never@1445	783
never@1445	784	case Interpreter::method_handle:
never@1445	785	entry_point = ((InterpreterGenerator*) this)->generate_method_handle_entry();
never@1445	786	break;
never@1445	787
never@1445	788	case Interpreter::java_lang_math_sin:
never@1445	789	case Interpreter::java_lang_math_cos:
never@1445	790	case Interpreter::java_lang_math_tan:
never@1445	791	case Interpreter::java_lang_math_abs:
never@1445	792	case Interpreter::java_lang_math_log:
never@1445	793	case Interpreter::java_lang_math_log10:
never@1445	794	case Interpreter::java_lang_math_sqrt:
never@1445	795	entry_point = ((InterpreterGenerator*) this)->generate_math_entry(kind);
never@1445	796	break;
never@1445	797
never@1445	798	default:
never@1445	799	ShouldNotReachHere();
never@1445	800	}
never@1445	801
never@1445	802	if (entry_point == NULL)
never@1445	803	entry_point = ((InterpreterGenerator*) this)->generate_normal_entry(false);
never@1445	804
never@1445	805	return entry_point;
never@1445	806	}
never@1445	807
never@1445	808	InterpreterGenerator::InterpreterGenerator(StubQueue* code)
never@1445	809	: CppInterpreterGenerator(code) {
never@1445	810	generate_all();
never@1445	811	}
never@1445	812
never@1445	813	// Deoptimization helpers
never@1445	814
never@1445	815	InterpreterFrame *InterpreterFrame::build(ZeroStack* stack, int size) {
never@1445	816	int size_in_words = size >> LogBytesPerWord;
never@1445	817	assert(size_in_words * wordSize == size, "unaligned");
never@1445	818	assert(size_in_words >= header_words, "too small");
never@1445	819
never@1445	820	if (size_in_words > stack->available_words()) {
never@1445	821	Unimplemented();
never@1445	822	}
never@1445	823
never@1445	824	stack->push(0); // next_frame, filled in later
never@1445	825	intptr_t *fp = stack->sp();
never@1445	826	assert(fp - stack->sp() == next_frame_off, "should be");
never@1445	827
never@1445	828	stack->push(INTERPRETER_FRAME);
never@1445	829	assert(fp - stack->sp() == frame_type_off, "should be");
never@1445	830
never@1445	831	interpreterState istate =
never@1445	832	(interpreterState) stack->alloc(sizeof(BytecodeInterpreter));
never@1445	833	assert(fp - stack->sp() == istate_off, "should be");
never@1445	834	istate->set_self_link(NULL); // mark invalid
never@1445	835
never@1445	836	stack->alloc((size_in_words - header_words) * wordSize);
never@1445	837
never@1445	838	return (InterpreterFrame *) fp;
never@1445	839	}
never@1445	840
never@1445	841	int AbstractInterpreter::layout_activation(methodOop method,
never@1445	842	int tempcount,
never@1445	843	int popframe_extra_args,
never@1445	844	int moncount,
never@1445	845	int callee_param_count,
never@1445	846	int callee_locals,
never@1445	847	frame* caller,
never@1445	848	frame* interpreter_frame,
never@1445	849	bool is_top_frame) {
never@1445	850	assert(popframe_extra_args == 0, "what to do?");
never@1445	851	assert(!is_top_frame || (!callee_locals && !callee_param_count),
never@1445	852	"top frame should have no caller")
never@1445	853
never@1445	854	// This code must exactly match what InterpreterFrame::build
never@1445	855	// does (the full InterpreterFrame::build, that is, not the
never@1445	856	// one that creates empty frames for the deoptimizer).
never@1445	857	//
never@1445	858	// If interpreter_frame is not NULL then it will be filled in.
never@1445	859	// It's size is determined by a previous call to this method,
never@1445	860	// so it should be correct.
never@1445	861	//
never@1445	862	// Note that tempcount is the current size of the expression
never@1445	863	// stack. For top most frames we will allocate a full sized
never@1445	864	// expression stack and not the trimmed version that non-top
never@1445	865	// frames have.
never@1445	866
never@1445	867	int header_words = InterpreterFrame::header_words;
never@1445	868	int monitor_words = moncount * frame::interpreter_frame_monitor_size();
never@1445	869	int stack_words = is_top_frame ? method->max_stack() : tempcount;
never@1445	870	int callee_extra_locals = callee_locals - callee_param_count;
never@1445	871
never@1445	872	if (interpreter_frame) {
never@1445	873	intptr_t *locals = interpreter_frame->sp() + method->max_locals();
never@1445	874	interpreterState istate = interpreter_frame->get_interpreterState();
never@1445	875	intptr_t *monitor_base = (intptr_t*) istate;
never@1445	876	intptr_t *stack_base = monitor_base - monitor_words;
never@1445	877	intptr_t *stack = stack_base - tempcount - 1;
never@1445	878
never@1445	879	BytecodeInterpreter::layout_interpreterState(istate,
never@1445	880	caller,
never@1445	881	NULL,
never@1445	882	method,
never@1445	883	locals,
never@1445	884	stack,
never@1445	885	stack_base,
never@1445	886	monitor_base,
never@1445	887	NULL,
never@1445	888	is_top_frame);
never@1445	889	}
never@1445	890	return header_words + monitor_words + stack_words + callee_extra_locals;
never@1445	891	}
never@1445	892
never@1445	893	void BytecodeInterpreter::layout_interpreterState(interpreterState istate,
never@1445	894	frame* caller,
never@1445	895	frame* current,
never@1445	896	methodOop method,
never@1445	897	intptr_t* locals,
never@1445	898	intptr_t* stack,
never@1445	899	intptr_t* stack_base,
never@1445	900	intptr_t* monitor_base,
never@1445	901	intptr_t* frame_bottom,
never@1445	902	bool is_top_frame) {
never@1445	903	istate->set_locals(locals);
never@1445	904	istate->set_method(method);
never@1445	905	istate->set_self_link(istate);
never@1445	906	istate->set_prev_link(NULL);
never@1445	907	// thread will be set by a hacky repurposing of frame::patch_pc()
never@1445	908	// bcp will be set by vframeArrayElement::unpack_on_stack()
never@1445	909	istate->set_constants(method->constants()->cache());
never@1445	910	istate->set_msg(BytecodeInterpreter::method_resume);
never@1445	911	istate->set_bcp_advance(0);
never@1445	912	istate->set_oop_temp(NULL);
never@1445	913	istate->set_mdx(NULL);
never@1445	914	if (caller->is_interpreted_frame()) {
never@1445	915	interpreterState prev = caller->get_interpreterState();
never@1445	916	prev->set_callee(method);
never@1445	917	if (*prev->bcp() == Bytecodes::_invokeinterface)
never@1445	918	prev->set_bcp_advance(5);
never@1445	919	else
never@1445	920	prev->set_bcp_advance(3);
never@1445	921	}
never@1445	922	istate->set_callee(NULL);
never@1445	923	istate->set_monitor_base((BasicObjectLock *) monitor_base);
never@1445	924	istate->set_stack_base(stack_base);
never@1445	925	istate->set_stack(stack);
never@1445	926	istate->set_stack_limit(stack_base - method->max_stack() - 1);
never@1445	927	}
never@1445	928
never@1445	929	address CppInterpreter::return_entry(TosState state, int length) {
never@1445	930	ShouldNotCallThis();
never@1445	931	}
never@1445	932
never@1445	933	address CppInterpreter::deopt_entry(TosState state, int length) {
never@1445	934	return NULL;
never@1445	935	}
never@1445	936
never@1445	937	// Helper for (runtime) stack overflow checks
never@1445	938
never@1445	939	int AbstractInterpreter::size_top_interpreter_activation(methodOop method) {
never@1445	940	return 0;
never@1445	941	}
never@1445	942
never@1445	943	// Helper for figuring out if frames are interpreter frames
never@1445	944
never@1445	945	bool CppInterpreter::contains(address pc) {
never@1445	946	#ifdef PRODUCT
never@1445	947	ShouldNotCallThis();
never@1445	948	#else
never@1445	949	return false; // make frame::print_value_on work
never@1445	950	#endif // !PRODUCT
never@1445	951	}
never@1445	952
never@1445	953	// Result handlers and convertors
never@1445	954
never@1445	955	address CppInterpreterGenerator::generate_result_handler_for(
never@1445	956	BasicType type) {
never@1445	957	assembler()->advance(1);
never@1445	958	return ShouldNotCallThisStub();
never@1445	959	}
never@1445	960
never@1445	961	address CppInterpreterGenerator::generate_tosca_to_stack_converter(
never@1445	962	BasicType type) {
never@1445	963	assembler()->advance(1);
never@1445	964	return ShouldNotCallThisStub();
never@1445	965	}
never@1445	966
never@1445	967	address CppInterpreterGenerator::generate_stack_to_stack_converter(
never@1445	968	BasicType type) {
never@1445	969	assembler()->advance(1);
never@1445	970	return ShouldNotCallThisStub();
never@1445	971	}
never@1445	972
never@1445	973	address CppInterpreterGenerator::generate_stack_to_native_abi_converter(
never@1445	974	BasicType type) {
never@1445	975	assembler()->advance(1);
never@1445	976	return ShouldNotCallThisStub();
never@1445	977	}
never@1445	978
never@1445	979	#endif // CC_INTERP