0
|
1 /*
|
|
2 * Copyright 2003-2006 Sun Microsystems, Inc. All Rights Reserved.
|
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
|
4 *
|
|
5 * This code is free software; you can redistribute it and/or modify it
|
|
6 * under the terms of the GNU General Public License version 2 only, as
|
|
7 * published by the Free Software Foundation.
|
|
8 *
|
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT
|
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
12 * version 2 for more details (a copy is included in the LICENSE file that
|
|
13 * accompanied this code).
|
|
14 *
|
|
15 * You should have received a copy of the GNU General Public License version
|
|
16 * 2 along with this work; if not, write to the Free Software Foundation,
|
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
18 *
|
|
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
|
|
20 * CA 95054 USA or visit www.sun.com if you need additional information or
|
|
21 * have any questions.
|
|
22 *
|
|
23 */
|
|
24
|
|
25 // An constMethodOop represents portions of a Java method which
|
|
26 // do not vary.
|
|
27 //
|
|
28 // Memory layout (each line represents a word). Note that most
|
|
29 // applications load thousands of methods, so keeping the size of this
|
|
30 // structure small has a big impact on footprint.
|
|
31 //
|
|
32 // |------------------------------------------------------|
|
|
33 // | header |
|
|
34 // | klass |
|
|
35 // |------------------------------------------------------|
|
|
36 // | fingerprint 1 |
|
|
37 // | fingerprint 2 |
|
|
38 // | method (oop) |
|
|
39 // | stackmap_data (oop) |
|
|
40 // | exception_table (oop) |
|
|
41 // | constMethod_size |
|
|
42 // | interp_kind | flags | code_size |
|
|
43 // | name index | signature index |
|
|
44 // | method_idnum | generic_signature_index |
|
|
45 // |------------------------------------------------------|
|
|
46 // | |
|
|
47 // | byte codes |
|
|
48 // | |
|
|
49 // |------------------------------------------------------|
|
|
50 // | compressed linenumber table |
|
|
51 // | (see class CompressedLineNumberReadStream) |
|
|
52 // | (note that length is unknown until decompressed) |
|
|
53 // | (access flags bit tells whether table is present) |
|
|
54 // | (indexed from start of constMethodOop) |
|
|
55 // | (elements not necessarily sorted!) |
|
|
56 // |------------------------------------------------------|
|
|
57 // | localvariable table elements + length (length last) |
|
|
58 // | (length is u2, elements are 6-tuples of u2) |
|
|
59 // | (see class LocalVariableTableElement) |
|
|
60 // | (access flags bit tells whether table is present) |
|
|
61 // | (indexed from end of contMethodOop) |
|
|
62 // |------------------------------------------------------|
|
|
63 // | checked exceptions elements + length (length last) |
|
|
64 // | (length is u2, elements are u2) |
|
|
65 // | (see class CheckedExceptionElement) |
|
|
66 // | (access flags bit tells whether table is present) |
|
|
67 // | (indexed from end of constMethodOop) |
|
|
68 // |------------------------------------------------------|
|
|
69
|
|
70
|
|
71 // Utitily class decribing elements in checked exceptions table inlined in methodOop.
|
|
72 class CheckedExceptionElement VALUE_OBJ_CLASS_SPEC {
|
|
73 public:
|
|
74 u2 class_cp_index;
|
|
75 };
|
|
76
|
|
77
|
|
78 // Utitily class decribing elements in local variable table inlined in methodOop.
|
|
79 class LocalVariableTableElement VALUE_OBJ_CLASS_SPEC {
|
|
80 public:
|
|
81 u2 start_bci;
|
|
82 u2 length;
|
|
83 u2 name_cp_index;
|
|
84 u2 descriptor_cp_index;
|
|
85 u2 signature_cp_index;
|
|
86 u2 slot;
|
|
87 };
|
|
88
|
|
89
|
|
90 class constMethodOopDesc : public oopDesc {
|
|
91 friend class constMethodKlass;
|
|
92 friend class VMStructs;
|
|
93 private:
|
|
94 enum {
|
|
95 _has_linenumber_table = 1,
|
|
96 _has_checked_exceptions = 2,
|
|
97 _has_localvariable_table = 4
|
|
98 };
|
|
99
|
|
100 // Bit vector of signature
|
|
101 // Callers interpret 0=not initialized yet and
|
|
102 // -1=too many args to fix, must parse the slow way.
|
|
103 // The real initial value is special to account for nonatomicity of 64 bit
|
|
104 // loads and stores. This value may updated and read without a lock by
|
|
105 // multiple threads, so is volatile.
|
|
106 volatile uint64_t _fingerprint;
|
|
107
|
|
108 public:
|
|
109 oop* oop_block_beg() const { return adr_method(); }
|
|
110 oop* oop_block_end() const { return adr_exception_table() + 1; }
|
|
111
|
|
112 private:
|
|
113 //
|
|
114 // The oop block. See comment in klass.hpp before making changes.
|
|
115 //
|
|
116
|
|
117 // Backpointer to non-const methodOop (needed for some JVMTI operations)
|
|
118 methodOop _method;
|
|
119
|
|
120 // Raw stackmap data for the method
|
|
121 typeArrayOop _stackmap_data;
|
|
122
|
|
123 // The exception handler table. 4-tuples of ints [start_pc, end_pc,
|
|
124 // handler_pc, catch_type index] For methods with no exceptions the
|
|
125 // table is pointing to Universe::the_empty_int_array
|
|
126 typeArrayOop _exception_table;
|
|
127
|
|
128 //
|
|
129 // End of the oop block.
|
|
130 //
|
|
131
|
|
132 int _constMethod_size;
|
|
133 jbyte _interpreter_kind;
|
|
134 jbyte _flags;
|
|
135
|
|
136 // Size of Java bytecodes allocated immediately after methodOop.
|
|
137 u2 _code_size;
|
|
138 u2 _name_index; // Method name (index in constant pool)
|
|
139 u2 _signature_index; // Method signature (index in constant pool)
|
|
140 u2 _method_idnum; // unique identification number for the method within the class
|
|
141 // initially corresponds to the index into the methods array.
|
|
142 // but this may change with redefinition
|
|
143 u2 _generic_signature_index; // Generic signature (index in constant pool, 0 if absent)
|
|
144
|
|
145 public:
|
|
146 // Inlined tables
|
|
147 void set_inlined_tables_length(int checked_exceptions_len,
|
|
148 int compressed_line_number_size,
|
|
149 int localvariable_table_len);
|
|
150
|
|
151 bool has_linenumber_table() const
|
|
152 { return (_flags & _has_linenumber_table) != 0; }
|
|
153
|
|
154 bool has_checked_exceptions() const
|
|
155 { return (_flags & _has_checked_exceptions) != 0; }
|
|
156
|
|
157 bool has_localvariable_table() const
|
|
158 { return (_flags & _has_localvariable_table) != 0; }
|
|
159
|
|
160 void set_interpreter_kind(int kind) { _interpreter_kind = kind; }
|
|
161 int interpreter_kind(void) const { return _interpreter_kind; }
|
|
162
|
|
163 // backpointer to non-const methodOop
|
|
164 methodOop method() const { return _method; }
|
|
165 void set_method(methodOop m) { oop_store_without_check((oop*)&_method, (oop) m); }
|
|
166
|
|
167
|
|
168 // stackmap table data
|
|
169 typeArrayOop stackmap_data() const { return _stackmap_data; }
|
|
170 void set_stackmap_data(typeArrayOop sd) {
|
|
171 oop_store_without_check((oop*)&_stackmap_data, (oop)sd);
|
|
172 }
|
|
173 bool has_stackmap_table() const { return _stackmap_data != NULL; }
|
|
174
|
|
175 // exception handler table
|
|
176 typeArrayOop exception_table() const { return _exception_table; }
|
|
177 void set_exception_table(typeArrayOop e) { oop_store_without_check((oop*) &_exception_table, (oop) e); }
|
|
178 bool has_exception_handler() const { return exception_table() != NULL && exception_table()->length() > 0; }
|
|
179
|
|
180 void init_fingerprint() {
|
|
181 const uint64_t initval = CONST64(0x8000000000000000);
|
|
182 _fingerprint = initval;
|
|
183 }
|
|
184
|
|
185 uint64_t fingerprint() const {
|
|
186 // Since reads aren't atomic for 64 bits, if any of the high or low order
|
|
187 // word is the initial value, return 0. See init_fingerprint for initval.
|
|
188 uint high_fp = (uint)(_fingerprint >> 32);
|
|
189 if ((int) _fingerprint == 0 || high_fp == 0x80000000) {
|
|
190 return 0L;
|
|
191 } else {
|
|
192 return _fingerprint;
|
|
193 }
|
|
194 }
|
|
195
|
|
196 uint64_t set_fingerprint(uint64_t new_fingerprint) {
|
|
197 #ifdef ASSERT
|
|
198 // Assert only valid if complete/valid 64 bit _fingerprint value is read.
|
|
199 uint64_t oldfp = fingerprint();
|
|
200 #endif // ASSERT
|
|
201 _fingerprint = new_fingerprint;
|
|
202 assert(oldfp == 0L || new_fingerprint == oldfp,
|
|
203 "fingerprint cannot change");
|
|
204 assert(((new_fingerprint >> 32) != 0x80000000) && (int)new_fingerprint !=0,
|
|
205 "fingerprint should call init to set initial value");
|
|
206 return new_fingerprint;
|
|
207 }
|
|
208
|
|
209 // name
|
|
210 int name_index() const { return _name_index; }
|
|
211 void set_name_index(int index) { _name_index = index; }
|
|
212
|
|
213 // signature
|
|
214 int signature_index() const { return _signature_index; }
|
|
215 void set_signature_index(int index) { _signature_index = index; }
|
|
216
|
|
217 // generics support
|
|
218 int generic_signature_index() const { return _generic_signature_index; }
|
|
219 void set_generic_signature_index(int index) { _generic_signature_index = index; }
|
|
220
|
|
221 // Sizing
|
|
222 static int header_size() {
|
|
223 return sizeof(constMethodOopDesc)/HeapWordSize;
|
|
224 }
|
|
225
|
|
226 // Object size needed
|
|
227 static int object_size(int code_size, int compressed_line_number_size,
|
|
228 int local_variable_table_length,
|
|
229 int checked_exceptions_length);
|
|
230
|
|
231 int object_size() const { return _constMethod_size; }
|
|
232 void set_constMethod_size(int size) { _constMethod_size = size; }
|
|
233 // Is object parsable by gc
|
|
234 bool object_is_parsable() { return object_size() > 0; }
|
|
235
|
|
236 // code size
|
|
237 int code_size() const { return _code_size; }
|
|
238 void set_code_size(int size) {
|
|
239 assert(max_method_code_size < (1 << 16),
|
|
240 "u2 is too small to hold method code size in general");
|
|
241 assert(0 <= size && size <= max_method_code_size, "invalid code size");
|
|
242 _code_size = size;
|
|
243 }
|
|
244
|
|
245 // linenumber table - note that length is unknown until decompression,
|
|
246 // see class CompressedLineNumberReadStream.
|
|
247 u_char* compressed_linenumber_table() const; // not preserved by gc
|
|
248 u2* checked_exceptions_length_addr() const;
|
|
249 u2* localvariable_table_length_addr() const;
|
|
250
|
|
251 // checked exceptions
|
|
252 int checked_exceptions_length() const;
|
|
253 CheckedExceptionElement* checked_exceptions_start() const;
|
|
254
|
|
255 // localvariable table
|
|
256 int localvariable_table_length() const;
|
|
257 LocalVariableTableElement* localvariable_table_start() const;
|
|
258
|
|
259 // byte codes
|
|
260 address code_base() const { return (address) (this+1); }
|
|
261 address code_end() const { return code_base() + code_size(); }
|
|
262 bool contains(address bcp) const { return code_base() <= bcp
|
|
263 && bcp < code_end(); }
|
|
264 // Offset to bytecodes
|
|
265 static ByteSize codes_offset()
|
|
266 { return in_ByteSize(sizeof(constMethodOopDesc)); }
|
|
267
|
|
268 // interpreter support
|
|
269 static ByteSize exception_table_offset()
|
|
270 { return byte_offset_of(constMethodOopDesc, _exception_table); }
|
|
271
|
|
272 // Garbage collection support
|
|
273 oop* adr_method() const { return (oop*)&_method; }
|
|
274 oop* adr_stackmap_data() const { return (oop*)&_stackmap_data; }
|
|
275 oop* adr_exception_table() const { return (oop*)&_exception_table; }
|
|
276
|
|
277 // Unique id for the method
|
|
278 static const u2 MAX_IDNUM;
|
|
279 static const u2 UNSET_IDNUM;
|
|
280 u2 method_idnum() const { return _method_idnum; }
|
|
281 void set_method_idnum(u2 idnum) { _method_idnum = idnum; }
|
|
282
|
|
283 private:
|
|
284 // Since the size of the compressed line number table is unknown, the
|
|
285 // offsets of the other variable sized sections are computed backwards
|
|
286 // from the end of the constMethodOop.
|
|
287
|
|
288 // First byte after constMethodOop
|
|
289 address constMethod_end() const
|
|
290 { return (address)((oop*)this + _constMethod_size); }
|
|
291
|
|
292 // Last short in constMethodOop
|
|
293 u2* last_u2_element() const
|
|
294 { return (u2*)constMethod_end() - 1; }
|
|
295 };
|