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

src/share/vm/interpreter/abstractInterpreter.hpp@98cb887364d3 (annotated)

src/share/vm/interpreter/abstractInterpreter.hpp

Fri, 27 Feb 2009 13:27:09 -0800

author

twisti

date

Fri, 27 Feb 2009 13:27:09 -0800

changeset 1040

98cb887364d3

parent 435

a61af66fc99e

child 1145

e5b0439ef4ae

permissions

-rw-r--r--

6810672: Comment typos
Summary: I have collected some typos I have found while looking at the code.
Reviewed-by: kvn, never

duke@435	1	/*
duke@435	2	* Copyright 1997-2007 Sun Microsystems, Inc. All Rights Reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
duke@435	19	* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435	20	* CA 95054 USA or visit www.sun.com if you need additional information or
duke@435	21	* have any questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
twisti@1040	25	// This file contains the platform-independent parts
duke@435	26	// of the abstract interpreter and the abstract interpreter generator.
duke@435	27
duke@435	28	// Organization of the interpreter(s). There exists two different interpreters in hotpot
duke@435	29	// an assembly language version (aka template interpreter) and a high level language version
duke@435	30	// (aka c++ interpreter). Th division of labor is as follows:
duke@435	31
duke@435	32	// Template Interpreter C++ Interpreter Functionality
duke@435	33	//
duke@435	34	// templateTable* bytecodeInterpreter* actual interpretation of bytecodes
duke@435	35	//
duke@435	36	// templateInterpreter* cppInterpreter* generation of assembly code that creates
duke@435	37	// and manages interpreter runtime frames.
duke@435	38	// Also code for populating interpreter
duke@435	39	// frames created during deoptimization.
duke@435	40	//
duke@435	41	// For both template and c++ interpreter. There are common files for aspects of the interpreter
duke@435	42	// that are generic to both interpreters. This is the layout:
duke@435	43	//
duke@435	44	// abstractInterpreter.hpp: generic description of the interpreter.
duke@435	45	// interpreter*: generic frame creation and handling.
duke@435	46	//
duke@435	47
duke@435	48	//------------------------------------------------------------------------------------------------------------------------
duke@435	49	// The C++ interface to the bytecode interpreter(s).
duke@435	50
duke@435	51	class AbstractInterpreter: AllStatic {
duke@435	52	friend class VMStructs;
duke@435	53	friend class Interpreter;
duke@435	54	friend class CppInterpreterGenerator;
duke@435	55	public:
duke@435	56	enum MethodKind {
duke@435	57	zerolocals, // method needs locals initialization
duke@435	58	zerolocals_synchronized, // method needs locals initialization & is synchronized
duke@435	59	native, // native method
duke@435	60	native_synchronized, // native method & is synchronized
duke@435	61	empty, // empty method (code: _return)
duke@435	62	accessor, // accessor method (code: _aload_0, _getfield, _(a|i)return)
duke@435	63	abstract, // abstract method (throws an AbstractMethodException)
duke@435	64	java_lang_math_sin, // implementation of java.lang.Math.sin (x)
duke@435	65	java_lang_math_cos, // implementation of java.lang.Math.cos (x)
duke@435	66	java_lang_math_tan, // implementation of java.lang.Math.tan (x)
duke@435	67	java_lang_math_abs, // implementation of java.lang.Math.abs (x)
duke@435	68	java_lang_math_sqrt, // implementation of java.lang.Math.sqrt (x)
duke@435	69	java_lang_math_log, // implementation of java.lang.Math.log (x)
duke@435	70	java_lang_math_log10, // implementation of java.lang.Math.log10 (x)
duke@435	71	number_of_method_entries,
duke@435	72	invalid = -1
duke@435	73	};
duke@435	74
duke@435	75	enum SomeConstants {
duke@435	76	number_of_result_handlers = 10 // number of result handlers for native calls
duke@435	77	};
duke@435	78
duke@435	79	protected:
duke@435	80	static StubQueue* _code; // the interpreter code (codelets)
duke@435	81
duke@435	82	static bool _notice_safepoints; // true if safepoints are activated
duke@435	83
duke@435	84	static address _native_entry_begin; // Region for native entry code
duke@435	85	static address _native_entry_end;
duke@435	86
duke@435	87	// method entry points
duke@435	88	static address _entry_table[number_of_method_entries]; // entry points for a given method
duke@435	89	static address _native_abi_to_tosca[number_of_result_handlers]; // for native method result handlers
duke@435	90	static address _slow_signature_handler; // the native method generic (slow) signature handler
duke@435	91
duke@435	92	static address _rethrow_exception_entry; // rethrows an activation in previous frame
duke@435	93
duke@435	94
duke@435	95
duke@435	96	friend class AbstractInterpreterGenerator;
duke@435	97	friend class InterpreterGenerator;
duke@435	98	friend class InterpreterMacroAssembler;
duke@435	99
duke@435	100	public:
duke@435	101	// Initialization/debugging
duke@435	102	static void initialize();
duke@435	103	static StubQueue* code() { return _code; }
duke@435	104
duke@435	105
duke@435	106	// Method activation
duke@435	107	static MethodKind method_kind(methodHandle m);
duke@435	108	static address entry_for_kind(MethodKind k) { assert(0 <= k && k < number_of_method_entries, "illegal kind"); return _entry_table[k]; }
duke@435	109	static address entry_for_method(methodHandle m) { return _entry_table[method_kind(m)]; }
duke@435	110
duke@435	111	static void print_method_kind(MethodKind kind) PRODUCT_RETURN;
duke@435	112
duke@435	113	// Runtime support
duke@435	114
duke@435	115	// length = invoke bytecode length (to advance to next bytecode)
duke@435	116	static address deopt_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
duke@435	117	static address return_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
duke@435	118
duke@435	119	static address rethrow_exception_entry() { return _rethrow_exception_entry; }
duke@435	120
duke@435	121	// Activation size in words for a method that is just being called.
duke@435	122	// Parameters haven't been pushed so count them too.
duke@435	123	static int size_top_interpreter_activation(methodOop method);
duke@435	124
duke@435	125	// Deoptimization support
duke@435	126	static address continuation_for(methodOop method,
duke@435	127	address bcp,
duke@435	128	int callee_parameters,
duke@435	129	bool is_top_frame,
duke@435	130	bool& use_next_mdp);
duke@435	131
duke@435	132	// share implementation of size_activation and layout_activation:
duke@435	133	static int size_activation(methodOop method,
duke@435	134	int temps,
duke@435	135	int popframe_args,
duke@435	136	int monitors,
duke@435	137	int callee_params,
duke@435	138	int callee_locals,
duke@435	139	bool is_top_frame);
duke@435	140
duke@435	141	static int layout_activation(methodOop method,
duke@435	142	int temps,
duke@435	143	int popframe_args,
duke@435	144	int monitors,
duke@435	145	int callee_params,
duke@435	146	int callee_locals,
duke@435	147	frame* caller,
duke@435	148	frame* interpreter_frame,
duke@435	149	bool is_top_frame);
duke@435	150
duke@435	151	// Runtime support
duke@435	152	static bool is_not_reached( methodHandle method, int bci);
duke@435	153	// Safepoint support
duke@435	154	static void notice_safepoints() { ShouldNotReachHere(); } // stops the thread when reaching a safepoint
duke@435	155	static void ignore_safepoints() { ShouldNotReachHere(); } // ignores safepoints
duke@435	156
duke@435	157	// Support for native calls
duke@435	158	static address slow_signature_handler() { return _slow_signature_handler; }
duke@435	159	static address result_handler(BasicType type) { return _native_abi_to_tosca[BasicType_as_index(type)]; }
duke@435	160	static int BasicType_as_index(BasicType type); // computes index into result_handler_by_index table
duke@435	161	static bool in_native_entry(address pc) { return _native_entry_begin <= pc && pc < _native_entry_end; }
duke@435	162	// Debugging/printing
duke@435	163	static void print(); // prints the interpreter code
duke@435	164
duke@435	165	// Support for Tagged Stacks
duke@435	166	//
duke@435	167	// Tags are stored on the Java Expression stack above the value:
duke@435	168	//
duke@435	169	// tag
duke@435	170	// value
duke@435	171	//
duke@435	172	// For double values:
duke@435	173	//
duke@435	174	// tag2
duke@435	175	// high word
duke@435	176	// tag1
duke@435	177	// low word
duke@435	178
duke@435	179	public:
duke@435	180	static int stackElementWords() { return TaggedStackInterpreter ? 2 : 1; }
duke@435	181	static int stackElementSize() { return stackElementWords()*wordSize; }
duke@435	182	static int logStackElementSize() { return
duke@435	183	TaggedStackInterpreter? LogBytesPerWord+1 : LogBytesPerWord; }
duke@435	184
duke@435	185	// Tag is at pointer, value is one below for a stack growing down
duke@435	186	// (or above for stack growing up)
duke@435	187	static int value_offset_in_bytes() {
duke@435	188	return TaggedStackInterpreter ?
duke@435	189	frame::interpreter_frame_expression_stack_direction() * wordSize : 0;
duke@435	190	}
duke@435	191	static int tag_offset_in_bytes() {
duke@435	192	assert(TaggedStackInterpreter, "should not call this");
duke@435	193	return 0;
duke@435	194	}
duke@435	195
duke@435	196	// Tagged Locals
duke@435	197	// Locals are stored relative to Llocals:
duke@435	198	//
duke@435	199	// tag <- Llocals[n]
duke@435	200	// value
duke@435	201	//
duke@435	202	// Category 2 types are indexed as:
duke@435	203	//
duke@435	204	// tag <- Llocals[-n]
duke@435	205	// high word
duke@435	206	// tag <- Llocals[-n+1]
duke@435	207	// low word
duke@435	208	//
duke@435	209
duke@435	210	// Local values relative to locals[n]
duke@435	211	static int local_offset_in_bytes(int n) {
duke@435	212	return ((frame::interpreter_frame_expression_stack_direction() * n) *
duke@435	213	stackElementSize()) + value_offset_in_bytes();
duke@435	214	}
duke@435	215	static int local_tag_offset_in_bytes(int n) {
duke@435	216	assert(TaggedStackInterpreter, "should not call this");
duke@435	217	return ((frame::interpreter_frame_expression_stack_direction() * n) *
duke@435	218	stackElementSize()) + tag_offset_in_bytes();
duke@435	219	}
duke@435	220
duke@435	221	};
duke@435	222
duke@435	223	//------------------------------------------------------------------------------------------------------------------------
duke@435	224	// The interpreter generator.
duke@435	225
duke@435	226	class Template;
duke@435	227	class AbstractInterpreterGenerator: public StackObj {
duke@435	228	protected:
duke@435	229	InterpreterMacroAssembler* _masm;
duke@435	230
duke@435	231	// shared code sequences
duke@435	232	// Converter for native abi result to tosca result
duke@435	233	address generate_result_handler_for(BasicType type);
duke@435	234	address generate_slow_signature_handler();
duke@435	235
duke@435	236	// entry point generator
duke@435	237	address generate_method_entry(AbstractInterpreter::MethodKind kind);
duke@435	238
duke@435	239	void bang_stack_shadow_pages(bool native_call);
duke@435	240
duke@435	241	void generate_all();
duke@435	242
duke@435	243	public:
duke@435	244	AbstractInterpreterGenerator(StubQueue* _code);
duke@435	245	};