1 /*
2 * Copyright (c) 2003, 2015, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef SHARE_VM_OOPS_CONSTMETHODOOP_HPP
26 #define SHARE_VM_OOPS_CONSTMETHODOOP_HPP
27
28 #include "oops/oop.hpp"
29
30 // An ConstMethod represents portions of a Java method which are not written to after
31 // the classfile is parsed(*see below). This part of the method can be shared across
32 // processes in a read-only section with Class Data Sharing (CDS). It's important
33 // that this class doesn't have virtual functions because the vptr cannot be shared
34 // with CDS.
35 //
36 // Note that most applications load thousands of methods, so keeping the size of this
37 // structure small has a big impact on footprint.
38
39 // The actual bytecodes are inlined after the end of the ConstMethod struct.
40 //
41 // The line number table is compressed and inlined following the byte codes. It is
42 // found as the first byte following the byte codes. Note that accessing the line
43 // number and local variable tables is not performance critical at all.
44 //
45 // The checked exceptions table and the local variable table are inlined after the
46 // line number table, and indexed from the end of the method. We do not compress the
47 // checked exceptions table since the average length is less than 2, and it is used
48 // by reflection so access should be fast. We do not bother to compress the local
49 // variable table either since it is mostly absent.
50 //
51 //
52 // ConstMethod embedded field layout (after declared fields):
53 // [EMBEDDED byte codes]
54 // [EMBEDDED compressed linenumber table]
55 // (see class CompressedLineNumberReadStream)
56 // (note that length is unknown until decompressed)
57 // (access flags bit tells whether table is present)
58 // (indexed from start of ConstMethod)
59 // (elements not necessarily sorted!)
60 // [EMBEDDED localvariable table elements + length (length last)]
61 // (length is u2, elements are 6-tuples of u2)
62 // (see class LocalVariableTableElement)
63 // (access flags bit tells whether table is present)
64 // (indexed from end of ConstMethod*)
65 // [EMBEDDED exception table + length (length last)]
66 // (length is u2, elements are 4-tuples of u2)
67 // (see class ExceptionTableElement)
68 // (access flags bit tells whether table is present)
69 // (indexed from end of ConstMethod*)
70 // [EMBEDDED checked exceptions elements + length (length last)]
71 // (length is u2, elements are u2)
72 // (see class CheckedExceptionElement)
73 // (access flags bit tells whether table is present)
74 // (indexed from end of ConstMethod*)
75 // [EMBEDDED method parameters elements + length (length last)]
76 // (length is u2, elements are u2, u4 structures)
77 // (see class MethodParametersElement)
78 // (access flags bit tells whether table is present)
79 // (indexed from end of ConstMethod*)
80 // [EMBEDDED generic signature index (u2)]
81 // (indexed from end of constMethodOop)
82 // [EMBEDDED annotations arrays - method, parameter, type, default]
83 // pointer to Array<u1> if annotation is present
84 //
85 // IMPORTANT: If anything gets added here, there need to be changes to
86 // ensure that ServicabilityAgent doesn't get broken as a result!
87
88
89 // Utility class describing elements in checked exceptions table inlined in Method*.
90 class CheckedExceptionElement VALUE_OBJ_CLASS_SPEC {
91 public:
92 u2 class_cp_index;
93 };
94
95
96 // Utility class describing elements in local variable table inlined in Method*.
97 class LocalVariableTableElement VALUE_OBJ_CLASS_SPEC {
98 public:
99 u2 start_bci;
100 u2 length;
101 u2 name_cp_index;
102 u2 descriptor_cp_index;
103 u2 signature_cp_index;
104 u2 slot;
105 };
106
107 // Utility class describing elements in exception table
108 class ExceptionTableElement VALUE_OBJ_CLASS_SPEC {
109 public:
110 u2 start_pc;
111 u2 end_pc;
112 u2 handler_pc;
113 u2 catch_type_index;
114 };
115
116 // Utility class describing elements in method parameters
117 class MethodParametersElement VALUE_OBJ_CLASS_SPEC {
118 public:
119 u2 name_cp_index;
120 u2 flags;
121 };
122
123 class KlassSizeStats;
124
125 // Class to collect the sizes of ConstMethod inline tables
126 #define INLINE_TABLES_DO(do_element) \
127 do_element(localvariable_table_length) \
128 do_element(compressed_linenumber_size) \
129 do_element(exception_table_length) \
130 do_element(checked_exceptions_length) \
131 do_element(method_parameters_length) \
132 do_element(generic_signature_index) \
133 do_element(method_annotations_length) \
134 do_element(parameter_annotations_length) \
135 do_element(type_annotations_length) \
136 do_element(default_annotations_length)
137
138 #define INLINE_TABLE_DECLARE(sym) int _##sym;
139 #define INLINE_TABLE_PARAM(sym) int sym,
140 #define INLINE_TABLE_INIT(sym) _##sym(sym),
141 #define INLINE_TABLE_NULL(sym) _##sym(0),
142 #define INLINE_TABLE_ACCESSOR(sym) int sym() const { return _##sym; }
143
144 class InlineTableSizes : StackObj {
145 // declarations
146 INLINE_TABLES_DO(INLINE_TABLE_DECLARE)
147 int _end;
148 public:
149 InlineTableSizes(
150 INLINE_TABLES_DO(INLINE_TABLE_PARAM)
151 int end) :
152 INLINE_TABLES_DO(INLINE_TABLE_INIT)
153 _end(end) {}
154
155 // Default constructor for no inlined tables
156 InlineTableSizes() :
157 INLINE_TABLES_DO(INLINE_TABLE_NULL)
158 _end(0) {}
159
160 // Accessors
161 INLINE_TABLES_DO(INLINE_TABLE_ACCESSOR)
162 };
163 #undef INLINE_TABLE_ACCESSOR
164 #undef INLINE_TABLE_NULL
165 #undef INLINE_TABLE_INIT
166 #undef INLINE_TABLE_PARAM
167 #undef INLINE_TABLE_DECLARE
168
169 class ConstMethod : public MetaspaceObj {
170 friend class VMStructs;
171 friend class JVMCIVMStructs;
172
173 public:
174 typedef enum { NORMAL, OVERPASS } MethodType;
175
176 private:
177 enum {
178 _has_linenumber_table = 0x0001,
179 _has_checked_exceptions = 0x0002,
180 _has_localvariable_table = 0x0004,
181 _has_exception_table = 0x0008,
182 _has_generic_signature = 0x0010,
183 _has_method_parameters = 0x0020,
184 _is_overpass = 0x0040,
185 _has_method_annotations = 0x0080,
186 _has_parameter_annotations = 0x0100,
187 _has_type_annotations = 0x0200,
188 _has_default_annotations = 0x0400
189 };
190
191 // Bit vector of signature
192 // Callers interpret 0=not initialized yet and
193 // -1=too many args to fix, must parse the slow way.
194 // The real initial value is special to account for nonatomicity of 64 bit
195 // loads and stores. This value may updated and read without a lock by
196 // multiple threads, so is volatile.
197 volatile uint64_t _fingerprint;
198
199 ConstantPool* _constants; // Constant pool
200
201 // Raw stackmap data for the method
202 Array<u1>* _stackmap_data;
203
204 int _constMethod_size;
205 u2 _flags;
206
207 // Size of Java bytecodes allocated immediately after Method*.
208 u2 _code_size;
209 u2 _name_index; // Method name (index in constant pool)
210 u2 _signature_index; // Method signature (index in constant pool)
211 u2 _method_idnum; // unique identification number for the method within the class
212 // initially corresponds to the index into the methods array.
213 // but this may change with redefinition
214 u2 _max_stack; // Maximum number of entries on the expression stack
215 u2 _max_locals; // Number of local variables used by this method
216 u2 _size_of_parameters; // size of the parameter block (receiver + arguments) in words
217 u2 _orig_method_idnum; // Original unique identification number for the method
218
219 // Constructor
220 ConstMethod(int byte_code_size,
221 InlineTableSizes* sizes,
222 MethodType is_overpass,
223 int size);
224 public:
225
226 static ConstMethod* allocate(ClassLoaderData* loader_data,
227 int byte_code_size,
228 InlineTableSizes* sizes,
229 MethodType mt,
230 TRAPS);
231
232 bool is_constMethod() const { return true; }
233
234 // Inlined tables
235 void set_inlined_tables_length(InlineTableSizes* sizes);
236
237 bool has_generic_signature() const
238 { return (_flags & _has_generic_signature) != 0; }
239
240 bool has_linenumber_table() const
241 { return (_flags & _has_linenumber_table) != 0; }
242
243 bool has_checked_exceptions() const
244 { return (_flags & _has_checked_exceptions) != 0; }
245
246 bool has_localvariable_table() const
247 { return (_flags & _has_localvariable_table) != 0; }
248
249 bool has_exception_handler() const
250 { return (_flags & _has_exception_table) != 0; }
251
252 bool has_method_parameters() const
253 { return (_flags & _has_method_parameters) != 0; }
254
255 MethodType method_type() const {
256 return ((_flags & _is_overpass) == 0) ? NORMAL : OVERPASS;
257 }
258
259 void set_method_type(MethodType mt) {
260 if (mt == NORMAL) {
261 _flags &= ~(_is_overpass);
262 } else {
263 _flags |= _is_overpass;
264 }
265 }
266
267 // constant pool
268 ConstantPool* constants() const { return _constants; }
269 void set_constants(ConstantPool* c) { _constants = c; }
270
271 Method* method() const;
272
273 // stackmap table data
274 Array<u1>* stackmap_data() const { return _stackmap_data; }
275 void set_stackmap_data(Array<u1>* sd) { _stackmap_data = sd; }
276 void copy_stackmap_data(ClassLoaderData* loader_data, u1* sd, int length, TRAPS);
277 bool has_stackmap_table() const { return _stackmap_data != NULL; }
278
279 void init_fingerprint() {
280 const uint64_t initval = UCONST64(0x8000000000000000);
281 _fingerprint = initval;
282 }
283
284 uint64_t fingerprint() const {
285 // Since reads aren't atomic for 64 bits, if any of the high or low order
286 // word is the initial value, return 0. See init_fingerprint for initval.
287 uint high_fp = (uint)(_fingerprint >> 32);
288 if ((int) _fingerprint == 0 || high_fp == 0x80000000) {
289 return 0L;
290 } else {
291 return _fingerprint;
292 }
293 }
294
295 uint64_t set_fingerprint(uint64_t new_fingerprint) {
296 #ifdef ASSERT
297 // Assert only valid if complete/valid 64 bit _fingerprint value is read.
298 uint64_t oldfp = fingerprint();
299 #endif // ASSERT
300 _fingerprint = new_fingerprint;
301 assert(oldfp == 0L || new_fingerprint == oldfp,
302 "fingerprint cannot change");
303 assert(((new_fingerprint >> 32) != 0x80000000) && (int)new_fingerprint !=0,
304 "fingerprint should call init to set initial value");
305 return new_fingerprint;
306 }
307
308 // name
309 int name_index() const { return _name_index; }
310 void set_name_index(int index) { _name_index = index; }
311
312 // signature
313 int signature_index() const { return _signature_index; }
314 void set_signature_index(int index) { _signature_index = index; }
315
316 // generics support
317 int generic_signature_index() const {
318 if (has_generic_signature()) {
319 return *generic_signature_index_addr();
320 } else {
321 return 0;
322 }
323 }
324 void set_generic_signature_index(u2 index) {
325 assert(has_generic_signature(), "");
326 u2* addr = generic_signature_index_addr();
327 *addr = index;
328 }
329
330 // Sizing
331 static int header_size() { return sizeof(ConstMethod)/wordSize; }
332
333 // Size needed
334 static int size(int code_size, InlineTableSizes* sizes);
335
336 int size() const { return _constMethod_size;}
337 void set_constMethod_size(int size) { _constMethod_size = size; }
338 #if INCLUDE_SERVICES
339 void collect_statistics(KlassSizeStats *sz) const;
340 #endif
341
342 // code size
343 int code_size() const { return _code_size; }
344 void set_code_size(int size) {
345 assert(max_method_code_size < (1 << 16),
346 "u2 is too small to hold method code size in general");
347 assert(0 <= size && size <= max_method_code_size, "invalid code size");
348 _code_size = size;
349 }
350
351 // linenumber table - note that length is unknown until decompression,
352 // see class CompressedLineNumberReadStream.
353 u_char* compressed_linenumber_table() const; // not preserved by gc
354 u2* generic_signature_index_addr() const;
355 u2* checked_exceptions_length_addr() const;
356 u2* localvariable_table_length_addr() const;
357 u2* exception_table_length_addr() const;
358 u2* method_parameters_length_addr() const;
359
360 // checked exceptions
361 int checked_exceptions_length() const;
362 CheckedExceptionElement* checked_exceptions_start() const;
363
364 // localvariable table
365 int localvariable_table_length() const;
366 LocalVariableTableElement* localvariable_table_start() const;
367
368 // exception table
369 int exception_table_length() const;
370 ExceptionTableElement* exception_table_start() const;
371
372 // method parameters table
373
374 // This returns -1 if no parameters are present, a non-negative
375 // value otherwise. Note: sometimes, there are 0-length parameters
376 // attributes that must be reported up to the reflection API all the
377 // same.
378 int method_parameters_length() const;
379 MethodParametersElement* method_parameters_start() const;
380
381 // method annotations
382 bool has_method_annotations() const
383 { return (_flags & _has_method_annotations) != 0; }
384
385 bool has_parameter_annotations() const
386 { return (_flags & _has_parameter_annotations) != 0; }
387
388 bool has_type_annotations() const
389 { return (_flags & _has_type_annotations) != 0; }
390
391 bool has_default_annotations() const
392 { return (_flags & _has_default_annotations) != 0; }
393
394
395 AnnotationArray** method_annotations_addr() const;
396 AnnotationArray* method_annotations() const {
397 return has_method_annotations() ? *(method_annotations_addr()) : NULL;
398 }
399 void set_method_annotations(AnnotationArray* anno) {
400 *(method_annotations_addr()) = anno;
401 }
402
403 AnnotationArray** parameter_annotations_addr() const;
404 AnnotationArray* parameter_annotations() const {
405 return has_parameter_annotations() ? *(parameter_annotations_addr()) : NULL;
406 }
407 void set_parameter_annotations(AnnotationArray* anno) {
408 *(parameter_annotations_addr()) = anno;
409 }
410
411 AnnotationArray** type_annotations_addr() const;
412 AnnotationArray* type_annotations() const {
413 return has_type_annotations() ? *(type_annotations_addr()) : NULL;
414 }
415 void set_type_annotations(AnnotationArray* anno) {
416 *(type_annotations_addr()) = anno;
417 }
418
419 AnnotationArray** default_annotations_addr() const;
420 AnnotationArray* default_annotations() const {
421 return has_default_annotations() ? *(default_annotations_addr()) : NULL;
422 }
423 void set_default_annotations(AnnotationArray* anno) {
424 *(default_annotations_addr()) = anno;
425 }
426
427 int method_annotations_length() const {
428 return has_method_annotations() ? method_annotations()->length() : 0;
429 }
430 int parameter_annotations_length() const {
431 return has_parameter_annotations() ? parameter_annotations()->length() : 0;
432 }
433 int type_annotations_length() const {
434 return has_type_annotations() ? type_annotations()->length() : 0;
435 }
436 int default_annotations_length() const {
437 return has_default_annotations() ? default_annotations()->length() : 0;
438 }
439
440 // Copy annotations from other ConstMethod
441 void copy_annotations_from(ConstMethod* cm);
442
443 // byte codes
444 void set_code(address code) {
445 if (code_size() > 0) {
446 memcpy(code_base(), code, code_size());
447 }
448 }
449 address code_base() const { return (address) (this+1); }
450 address code_end() const { return code_base() + code_size(); }
451 bool contains(address bcp) const { return code_base() <= bcp
452 && bcp < code_end(); }
453 // Offset to bytecodes
454 static ByteSize codes_offset()
455 { return in_ByteSize(sizeof(ConstMethod)); }
456
457 static ByteSize constants_offset()
458 { return byte_offset_of(ConstMethod, _constants); }
459
460 static ByteSize max_stack_offset()
461 { return byte_offset_of(ConstMethod, _max_stack); }
462 static ByteSize size_of_locals_offset()
463 { return byte_offset_of(ConstMethod, _max_locals); }
464 static ByteSize size_of_parameters_offset()
465 { return byte_offset_of(ConstMethod, _size_of_parameters); }
466
467
468 // Unique id for the method
469 static const u2 MAX_IDNUM;
470 static const u2 UNSET_IDNUM;
471 u2 method_idnum() const { return _method_idnum; }
472 void set_method_idnum(u2 idnum) { _method_idnum = idnum; }
473
474 u2 orig_method_idnum() const { return _orig_method_idnum; }
475 void set_orig_method_idnum(u2 idnum) { _orig_method_idnum = idnum; }
476
477 // max stack
478 int max_stack() const { return _max_stack; }
479 void set_max_stack(int size) { _max_stack = size; }
480
481 // max locals
482 int max_locals() const { return _max_locals; }
483 void set_max_locals(int size) { _max_locals = size; }
484
485 // size of parameters
486 int size_of_parameters() const { return _size_of_parameters; }
487 void set_size_of_parameters(int size) { _size_of_parameters = size; }
488
489 // Deallocation for RedefineClasses
490 void deallocate_contents(ClassLoaderData* loader_data);
491 bool is_klass() const { return false; }
492 DEBUG_ONLY(bool on_stack() { return false; })
493
494 private:
495 // Since the size of the compressed line number table is unknown, the
496 // offsets of the other variable sized sections are computed backwards
497 // from the end of the ConstMethod*.
498
499 // First byte after ConstMethod*
500 address constMethod_end() const
501 { return (address)((intptr_t*)this + _constMethod_size); }
502
503 // Last short in ConstMethod*
504 u2* last_u2_element() const;
505
506 public:
507 // Printing
508 void print_on (outputStream* st) const;
509 void print_value_on(outputStream* st) const;
510
511 const char* internal_name() const { return "{constMethod}"; }
512
513 // Verify
514 void verify_on(outputStream* st);
515 };
516
517 #endif // SHARE_VM_OOPS_CONSTMETHODOOP_HPP
--- EOF ---