1 /*
2 * Copyright (c) 1997, 2026, 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_OOPS_INSTANCEKLASS_HPP
26 #define SHARE_OOPS_INSTANCEKLASS_HPP
27
28 #include "code/vmreg.hpp"
29 #include "memory/allocation.hpp"
30 #include "memory/referenceType.hpp"
31 #include "oops/annotations.hpp"
32 #include "oops/arrayKlass.hpp"
33 #include "oops/constMethod.hpp"
34 #include "oops/fieldInfo.hpp"
35 #include "oops/instanceKlassFlags.hpp"
36 #include "oops/instanceOop.hpp"
37 #include "oops/refArrayKlass.hpp"
38 #include "runtime/handles.hpp"
39 #include "runtime/javaThread.hpp"
40 #include "utilities/accessFlags.hpp"
41 #include "utilities/align.hpp"
42 #include "utilities/growableArray.hpp"
43 #include "utilities/macros.hpp"
44 #if INCLUDE_JFR
45 #include "jfr/support/jfrKlassExtension.hpp"
46 #endif
47
48 class ConstantPool;
49 class DeoptimizationScope;
50 class klassItable;
51 class RecordComponent;
52
53 // An InstanceKlass is the VM level representation of a Java class.
54 // It contains all information needed for at class at execution runtime.
55
56 // InstanceKlass embedded field layout (after declared fields):
57 // [EMBEDDED Java vtable ] size in words = vtable_len
58 // [EMBEDDED nonstatic oop-map blocks] size in words = nonstatic_oop_map_size
59 // The embedded nonstatic oop-map blocks are short pairs (offset, length)
60 // indicating where oops are located in instances of this klass.
61 // [EMBEDDED implementor of the interface] only exist for interface
62 // [EMBEDDED InlineKlass::Members] only if is an InlineKlass instance
63
64
65 // forward declaration for class -- see below for definition
66 #if INCLUDE_JVMTI
67 class BreakpointInfo;
68 #endif
69 class ClassFileParser;
70 class ClassFileStream;
71 class KlassDepChange;
72 class DependencyContext;
73 class fieldDescriptor;
74 class JNIid;
75 class JvmtiCachedClassFieldMap;
76 class nmethodBucket;
77 class OopMapCache;
78 class BufferedInlineTypeBlob;
79 class InterpreterOopMap;
80 class PackageEntry;
81 class ModuleEntry;
82
83 // This is used in iterators below.
84 class FieldClosure: public StackObj {
85 public:
86 virtual void do_field(fieldDescriptor* fd) = 0;
87 };
88
89 // Print fields.
90 // If "obj" argument to constructor is null, prints fields as if they are static fields,
91 // otherwise prints non-static fields. It is possible to print non-static fields the same
92 // way as static fields when no oops are available, such as when debug printing classes.
93 class FieldPrinter: public FieldClosure {
94 oop _obj;
95 outputStream* _st;
96 int _indent;
97 int _base_offset;
98 public:
99 FieldPrinter(outputStream* st, oop obj = nullptr, int indent = 0, int base_offset = 0) :
100 _obj(obj), _st(st), _indent(indent), _base_offset(base_offset) {}
101 void do_field(fieldDescriptor* fd);
102 };
103
104 // Describes where oops are located in instances of this klass.
105 class OopMapBlock {
106 public:
107 // Byte offset of the first oop mapped by this block.
108 int offset() const { return _offset; }
109 void set_offset(int offset) { _offset = offset; }
110
111 // Number of oops in this block.
112 uint count() const { return _count; }
113 void set_count(uint count) { _count = count; }
114
115 void increment_count(int diff) { _count += diff; }
116
117 int offset_span() const { return _count * heapOopSize; }
118
119 int end_offset() const {
120 return offset() + offset_span();
121 }
122
123 bool is_contiguous(int another_offset) const {
124 return another_offset == end_offset();
125 }
126
127 // sizeof(OopMapBlock) in words.
128 static int size_in_words() {
129 return align_up((int)sizeof(OopMapBlock), wordSize) >>
130 LogBytesPerWord;
131 }
132
133 static int compare_offset(const OopMapBlock* a, const OopMapBlock* b) {
134 return a->offset() - b->offset();
135 }
136
137 private:
138 int _offset;
139 uint _count;
140 };
141
142 struct JvmtiCachedClassFileData;
143
144 class InlineLayoutInfo : public MetaspaceObj {
145 InlineKlass* _klass;
146 LayoutKind _kind;
147 int _null_marker_offset; // null marker offset for this field, relative to the beginning of the current container
148
149 public:
150 InlineLayoutInfo(): _klass(nullptr), _kind(LayoutKind::UNKNOWN), _null_marker_offset(-1) {}
151 InlineLayoutInfo(InlineKlass* ik, LayoutKind kind, int size, int nm_offset):
152 _klass(ik), _kind(kind), _null_marker_offset(nm_offset) {}
153
154 InlineKlass* klass() const { return _klass; }
155 void set_klass(InlineKlass* k) { _klass = k; }
156
157 LayoutKind kind() const {
158 assert(_kind != LayoutKind::UNKNOWN, "Not set");
159 return _kind;
160 }
161 void set_kind(LayoutKind lk) { _kind = lk; }
162
163 int null_marker_offset() const {
164 assert(_null_marker_offset != -1, "Not set");
165 return _null_marker_offset;
166 }
167 void set_null_marker_offset(int o) { _null_marker_offset = o; }
168
169 void metaspace_pointers_do(MetaspaceClosure* it);
170 MetaspaceObj::Type type() const { return InlineLayoutInfoType; }
171
172 static ByteSize klass_offset() { return byte_offset_of(InlineLayoutInfo, _klass); }
173 static ByteSize null_marker_offset_offset() { return byte_offset_of(InlineLayoutInfo, _null_marker_offset); }
174
175 // Print
176 void print() const;
177 void print_on(outputStream* st) const;
178 };
179
180 class InstanceKlass: public Klass {
181 friend class VMStructs;
182 friend class JVMCIVMStructs;
183 friend class ClassFileParser;
184 friend class CompileReplay;
185 friend class TemplateTable;
186
187 public:
188 static const KlassKind Kind = InstanceKlassKind;
189
190 protected:
191 InstanceKlass(const ClassFileParser& parser, KlassKind kind = Kind, markWord prototype = markWord::prototype(), ReferenceType reference_type = REF_NONE);
192
193 public:
194 InstanceKlass();
195
196 // See "The Java Virtual Machine Specification" section 2.16.2-5 for a detailed description
197 // of the class loading & initialization procedure, and the use of the states.
198 enum ClassState : u1 {
199 allocated, // allocated (but not yet linked)
200 loaded, // loaded and inserted in class hierarchy (but not linked yet)
201 linked, // successfully linked/verified (but not initialized yet)
202 being_initialized, // currently running class initializer
203 fully_initialized, // initialized (successful final state)
204 initialization_error // error happened during initialization
205 };
206
207 private:
208 static InstanceKlass* allocate_instance_klass(const ClassFileParser& parser, TRAPS);
209
210 protected:
211 // If you add a new field that points to any metaspace object, you
212 // must add this field to InstanceKlass::metaspace_pointers_do().
213
214 // Annotations for this class
215 Annotations* _annotations;
216 // Package this class is defined in
217 PackageEntry* _package_entry;
218 // Array classes holding elements of this class.
219 ObjArrayKlass* volatile _array_klasses;
220 // Constant pool for this class.
221 ConstantPool* _constants;
222 // The InnerClasses attribute and EnclosingMethod attribute. The
223 // _inner_classes is an array of shorts. If the class has InnerClasses
224 // attribute, then the _inner_classes array begins with 4-tuples of shorts
225 // [inner_class_info_index, outer_class_info_index,
226 // inner_name_index, inner_class_access_flags] for the InnerClasses
227 // attribute. If the EnclosingMethod attribute exists, it occupies the
228 // last two shorts [class_index, method_index] of the array. If only
229 // the InnerClasses attribute exists, the _inner_classes array length is
230 // number_of_inner_classes * 4. If the class has both InnerClasses
231 // and EnclosingMethod attributes the _inner_classes array length is
232 // number_of_inner_classes * 4 + enclosing_method_attribute_size.
233 Array<jushort>* _inner_classes;
234
235 // The NestMembers attribute. An array of shorts, where each is a
236 // class info index for the class that is a nest member. This data
237 // has not been validated.
238 Array<jushort>* _nest_members;
239
240 // Resolved nest-host klass: either true nest-host or self if we are not
241 // nested, or an error occurred resolving or validating the nominated
242 // nest-host. Can also be set directly by JDK API's that establish nest
243 // relationships.
244 // By always being set it makes nest-member access checks simpler.
245 InstanceKlass* _nest_host;
246
247 // The PermittedSubclasses attribute. An array of shorts, where each is a
248 // class info index for the class that is a permitted subclass.
249 Array<jushort>* _permitted_subclasses;
250
251 // The contents of the Record attribute.
252 Array<RecordComponent*>* _record_components;
253
254 // the source debug extension for this klass, null if not specified.
255 // Specified as UTF-8 string without terminating zero byte in the classfile,
256 // it is stored in the instanceklass as a null-terminated UTF-8 string
257 const char* _source_debug_extension;
258
259 // Number of heapOopSize words used by non-static fields in this klass
260 // (including inherited fields but after header_size()).
261 int _nonstatic_field_size;
262 int _static_field_size; // number words used by static fields (oop and non-oop) in this klass
263 int _nonstatic_oop_map_size; // size in words of nonstatic oop map blocks
264 int _itable_len; // length of Java itable (in words)
265
266 // The NestHost attribute. The class info index for the class
267 // that is the nest-host of this class. This data has not been validated.
268 u2 _nest_host_index;
269 u2 _this_class_index; // constant pool entry
270 u2 _static_oop_field_count; // number of static oop fields in this klass
271
272 volatile u2 _idnum_allocated_count; // JNI/JVMTI: increments with the addition of methods, old ids don't change
273
274 // Class states are defined as ClassState (see above).
275 // Place the _init_state here to utilize the unused 2-byte after
276 // _idnum_allocated_count.
277 volatile ClassState _init_state; // state of class
278
279 u1 _reference_type; // reference type
280 int _acmp_maps_offset; // offset to injected static field storing .acmp_maps for values classes
281 // unfortunately, abstract values need one too so it cannot be stored in
282 // the InlineKlass::Members that only exist for InlineKlass.
283
284 AccessFlags _access_flags; // Access flags. The class/interface distinction is stored here.
285
286 // State is set either at parse time or while executing, atomically to not disturb other state
287 InstanceKlassFlags _misc_flags;
288
289 JavaThread* volatile _init_thread; // Pointer to current thread doing initialization (to handle recursive initialization)
290
291 OopMapCache* volatile _oop_map_cache; // OopMapCache for all methods in the klass (allocated lazily)
292 JNIid* _jni_ids; // First JNI identifier for static fields in this class
293 jmethodID* volatile _methods_jmethod_ids; // jmethodIDs corresponding to method_idnum, or null if none
294 nmethodBucket* volatile _dep_context; // packed DependencyContext structure
295 uint64_t volatile _dep_context_last_cleaned;
296 nmethod* _osr_nmethods_head; // Head of list of on-stack replacement nmethods for this class
297 #if INCLUDE_JVMTI
298 BreakpointInfo* _breakpoints; // bpt lists, managed by Method*
299 // Linked instanceKlasses of previous versions
300 InstanceKlass* _previous_versions;
301 // JVMTI fields can be moved to their own structure - see 6315920
302 // JVMTI: cached class file, before retransformable agent modified it in CFLH
303 JvmtiCachedClassFileData* _cached_class_file;
304 #endif
305
306 #if INCLUDE_JVMTI
307 JvmtiCachedClassFieldMap* _jvmti_cached_class_field_map; // JVMTI: used during heap iteration
308 #endif
309
310 NOT_PRODUCT(int _verify_count;) // to avoid redundant verifies
311 NOT_PRODUCT(volatile int _shared_class_load_count;) // ensure a shared class is loaded only once
312
313 // Method array.
314 Array<Method*>* _methods;
315 // Default Method Array, concrete methods inherited from interfaces
316 Array<Method*>* _default_methods;
317 // Interfaces (InstanceKlass*s) this class declares locally to implement.
318 Array<InstanceKlass*>* _local_interfaces;
319 // Interfaces (InstanceKlass*s) this class implements transitively.
320 Array<InstanceKlass*>* _transitive_interfaces;
321 // Int array containing the original order of method in the class file (for JVMTI).
322 Array<int>* _method_ordering;
323 // Int array containing the vtable_indices for default_methods
324 // offset matches _default_methods offset
325 Array<int>* _default_vtable_indices;
326
327 // Fields information is stored in an UNSIGNED5 encoded stream (see fieldInfo.hpp)
328 Array<u1>* _fieldinfo_stream;
329 Array<u1>* _fieldinfo_search_table;
330 Array<FieldStatus>* _fields_status;
331
332 Array<InlineLayoutInfo>* _inline_layout_info_array;
333 Array<u2>* _loadable_descriptors;
334 Array<int>* _acmp_maps_array; // Metadata copy of the acmp_maps oop used in value classes.
335 // When loading an inline klass from the CDS/AOT archive
336 // this copy can be used to regenerate the ".acmp_maps" oop
337 // if it is not stored in the archive.
338
339 // Located here because sub-klasses can't have their own C++ fields
340 address _adr_inline_klass_members;
341
342 // embedded Java vtable follows here
343 // embedded Java itables follows here
344 // embedded static fields follows here
345 // embedded nonstatic oop-map blocks follows here
346 // embedded implementor of this interface follows here
347 // The embedded implementor only exists if the current klass is an
348 // interface. The possible values of the implementor fall into following
349 // three cases:
350 // null: no implementor.
351 // A Klass* that's not itself: one implementor.
352 // Itself: more than one implementors.
353 //
354
355 friend class SystemDictionary;
356
357 static bool _disable_method_binary_search;
358
359 // Controls finalizer registration
360 static bool _finalization_enabled;
361
362 public:
363
364 // Queries finalization state
365 static bool is_finalization_enabled() { return _finalization_enabled; }
366
367 // Sets finalization state
368 static void set_finalization_enabled(bool val) { _finalization_enabled = val; }
369
370 // Access flags
371 AccessFlags access_flags() const { return _access_flags; }
372 void set_access_flags(AccessFlags flags) { _access_flags = flags; }
373
374 bool is_public() const { return _access_flags.is_public(); }
375 bool is_final() const { return _access_flags.is_final(); }
376 bool is_interface() const override { return _access_flags.is_interface(); }
377 bool is_abstract() const override { return _access_flags.is_abstract(); }
378 bool is_synthetic() const { return _access_flags.is_synthetic(); }
379 void set_is_synthetic() { _access_flags.set_is_synthetic(); }
380 bool is_identity_class() const override { return _access_flags.is_identity_class(); }
381
382 static ByteSize access_flags_offset() { return byte_offset_of(InstanceKlass, _access_flags); }
383
384 void set_is_cloneable();
385
386 // Quick checks for the loader that defined this class (without switching on this->class_loader())
387 bool defined_by_boot_loader() const { return _misc_flags.defined_by_boot_loader(); }
388 bool defined_by_platform_loader() const { return _misc_flags.defined_by_platform_loader(); }
389 bool defined_by_app_loader() const { return _misc_flags.defined_by_app_loader(); }
390 bool defined_by_other_loaders() const { return _misc_flags.defined_by_other_loaders(); }
391 void set_class_loader_type() { _misc_flags.set_class_loader_type(_class_loader_data); }
392
393 bool shared_loading_failed() const { return _misc_flags.shared_loading_failed(); }
394
395 void set_shared_loading_failed() { _misc_flags.set_shared_loading_failed(true); }
396
397 bool has_nonstatic_fields() const { return _misc_flags.has_nonstatic_fields(); }
398 void set_has_nonstatic_fields(bool b) { _misc_flags.set_has_nonstatic_fields(b); }
399
400 bool has_localvariable_table() const { return _misc_flags.has_localvariable_table(); }
401 void set_has_localvariable_table(bool b) { _misc_flags.set_has_localvariable_table(b); }
402
403 bool has_inlined_fields() const { return _misc_flags.has_inlined_fields(); }
404 void set_has_inlined_fields() { _misc_flags.set_has_inlined_fields(true); }
405
406 bool is_naturally_atomic(bool null_free) const;
407 void set_is_naturally_atomic() { _misc_flags.set_is_naturally_atomic(true); }
408
409 // Query if this class has atomicity requirements (default is yes)
410 // This bit can occur anywhere, but is only significant
411 // for inline classes *and* their super types.
412 // It inherits from supers.
413 // Its value depends on the ForceNonTearable VM option, the LooselyConsistentValue annotation
414 // and the presence of flat fields with atomicity requirements
415 bool must_be_atomic() const { return _misc_flags.must_be_atomic(); }
416 void set_must_be_atomic() { _misc_flags.set_must_be_atomic(true); }
417
418 // field sizes
419 int nonstatic_field_size() const { return _nonstatic_field_size; }
420 void set_nonstatic_field_size(int size) { _nonstatic_field_size = size; }
421
422 int static_field_size() const { return _static_field_size; }
423 void set_static_field_size(int size) { _static_field_size = size; }
424
425 int static_oop_field_count() const { return (int)_static_oop_field_count; }
426 void set_static_oop_field_count(u2 size) { _static_oop_field_count = size; }
427
428 bool trust_final_fields() { return _misc_flags.trust_final_fields(); }
429 void set_trust_final_fields(bool value) { _misc_flags.set_trust_final_fields(value); }
430
431 // Java itable
432 int itable_length() const { return _itable_len; }
433 void set_itable_length(int len) { _itable_len = len; }
434
435 // array klasses
436 ObjArrayKlass* array_klasses() const { return _array_klasses; }
437 inline ObjArrayKlass* array_klasses_acquire() const; // load with acquire semantics
438 inline void release_set_array_klasses(ObjArrayKlass* k); // store with release semantics
439 void set_array_klasses(ObjArrayKlass* k) { _array_klasses = k; }
440
441 // methods
442 Array<Method*>* methods() const { return _methods; }
443 void set_methods(Array<Method*>* a) { _methods = a; }
444 Method* method_with_idnum(int idnum) const;
445 Method* method_with_orig_idnum(int idnum) const;
446 Method* method_with_orig_idnum(int idnum, int version) const;
447
448 // method ordering
449 Array<int>* method_ordering() const { return _method_ordering; }
450 void set_method_ordering(Array<int>* m) { _method_ordering = m; }
451 void copy_method_ordering(const intArray* m, TRAPS);
452
453 // default_methods
454 Array<Method*>* default_methods() const { return _default_methods; }
455 void set_default_methods(Array<Method*>* a) { _default_methods = a; }
456
457 // default method vtable_indices
458 Array<int>* default_vtable_indices() const { return _default_vtable_indices; }
459 void set_default_vtable_indices(Array<int>* v) { _default_vtable_indices = v; }
460 Array<int>* create_new_default_vtable_indices(int len, TRAPS);
461
462 // interfaces
463 Array<InstanceKlass*>* local_interfaces() const { return _local_interfaces; }
464 void set_local_interfaces(Array<InstanceKlass*>* a) {
465 guarantee(_local_interfaces == nullptr || a == nullptr, "Just checking");
466 _local_interfaces = a; }
467
468 Array<InstanceKlass*>* transitive_interfaces() const { return _transitive_interfaces; }
469 void set_transitive_interfaces(Array<InstanceKlass*>* a) {
470 guarantee(_transitive_interfaces == nullptr || a == nullptr, "Just checking");
471 _transitive_interfaces = a;
472 }
473
474 private:
475 friend class fieldDescriptor;
476 FieldInfo field(int index) const;
477
478 public:
479 int field_offset (int index) const { return field(index).offset(); }
480 int field_access_flags(int index) const { return field(index).access_flags().as_field_flags(); }
481 FieldInfo::FieldFlags field_flags(int index) const { return field(index).field_flags(); }
482 FieldStatus field_status(int index) const { return fields_status()->at(index); }
483 inline Symbol* field_name (int index) const;
484 inline Symbol* field_signature (int index) const;
485 bool field_is_flat(int index) const { return field_flags(index).is_flat(); }
486 bool field_has_null_marker(int index) const { return field_flags(index).has_null_marker(); }
487 bool field_is_null_free_inline_type(int index) const;
488 bool is_class_in_loadable_descriptors_attribute(Symbol* name) const;
489
490 int field_null_marker_offset(int index) const { return inline_layout_info(index).null_marker_offset(); }
491
492 // Number of Java declared fields
493 int java_fields_count() const;
494 int total_fields_count() const;
495
496 Array<u1>* fieldinfo_stream() const { return _fieldinfo_stream; }
497 void set_fieldinfo_stream(Array<u1>* fis) { _fieldinfo_stream = fis; }
498
499 Array<u1>* fieldinfo_search_table() const { return _fieldinfo_search_table; }
500 void set_fieldinfo_search_table(Array<u1>* table) { _fieldinfo_search_table = table; }
501
502 Array<FieldStatus>* fields_status() const {return _fields_status; }
503 void set_fields_status(Array<FieldStatus>* array) { _fields_status = array; }
504
505 Array<u2>* loadable_descriptors() const { return _loadable_descriptors; }
506 void set_loadable_descriptors(Array<u2>* c) { _loadable_descriptors = c; }
507
508 Array<int>* acmp_maps_array() const { return _acmp_maps_array; }
509 void set_acmp_maps_array(Array<int>* array) { _acmp_maps_array = array; }
510
511 // inner classes
512 Array<u2>* inner_classes() const { return _inner_classes; }
513 void set_inner_classes(Array<u2>* f) { _inner_classes = f; }
514
515 // nest members
516 Array<u2>* nest_members() const { return _nest_members; }
517 void set_nest_members(Array<u2>* m) { _nest_members = m; }
518
519 // nest-host index
520 jushort nest_host_index() const { return _nest_host_index; }
521 void set_nest_host_index(u2 i) { _nest_host_index = i; }
522 // dynamic nest member support
523 void set_nest_host(InstanceKlass* host);
524
525 // record components
526 Array<RecordComponent*>* record_components() const { return _record_components; }
527 void set_record_components(Array<RecordComponent*>* record_components) {
528 _record_components = record_components;
529 }
530 bool is_record() const;
531
532 // test for enum class (or possibly an anonymous subclass within a sealed enum)
533 bool is_enum_subclass() const;
534
535 // permitted subclasses
536 Array<u2>* permitted_subclasses() const { return _permitted_subclasses; }
537 void set_permitted_subclasses(Array<u2>* s) { _permitted_subclasses = s; }
538
539 private:
540 // Called to verify that k is a member of this nest - does not look at k's nest-host,
541 // nor does it resolve any CP entries or load any classes.
542 bool has_nest_member(JavaThread* current, InstanceKlass* k) const;
543
544 public:
545 // Call this only if you know that the nest host has been initialized.
546 InstanceKlass* nest_host_not_null() {
547 assert(_nest_host != nullptr, "must be");
548 return _nest_host;
549 }
550 InstanceKlass* nest_host_or_null() {
551 return _nest_host;
552 }
553 // Used to construct informative IllegalAccessError messages at a higher level,
554 // if there was an issue resolving or validating the nest host.
555 // Returns null if there was no error.
556 const char* nest_host_error();
557 // Returns nest-host class, resolving and validating it if needed.
558 // Returns null if resolution is not possible from the calling context.
559 InstanceKlass* nest_host(TRAPS);
560 // Check if this klass is a nestmate of k - resolves this nest-host and k's
561 bool has_nestmate_access_to(InstanceKlass* k, TRAPS);
562
563 // Called to verify that k is a permitted subclass of this class.
564 // The incoming stringStream is used for logging, and for the caller to create
565 // a detailed exception message on failure.
566 bool has_as_permitted_subclass(const InstanceKlass* k, stringStream& ss) const;
567
568 enum InnerClassAttributeOffset {
569 // From http://mirror.eng/products/jdk/1.1/docs/guide/innerclasses/spec/innerclasses.doc10.html#18814
570 inner_class_inner_class_info_offset = 0,
571 inner_class_outer_class_info_offset = 1,
572 inner_class_inner_name_offset = 2,
573 inner_class_access_flags_offset = 3,
574 inner_class_next_offset = 4
575 };
576
577 enum EnclosingMethodAttributeOffset {
578 enclosing_method_class_index_offset = 0,
579 enclosing_method_method_index_offset = 1,
580 enclosing_method_attribute_size = 2
581 };
582
583 // package
584 PackageEntry* package() const override { return _package_entry; }
585 ModuleEntry* module() const override;
586 bool in_javabase_module() const;
587 bool in_unnamed_package() const { return (_package_entry == nullptr); }
588 void set_package(ClassLoaderData* loader_data, PackageEntry* pkg_entry, TRAPS);
589 // If the package for the InstanceKlass is in the boot loader's package entry
590 // table then sets the classpath_index field so that
591 // get_system_package() will know to return a non-null value for the
592 // package's location. And, so that the package will be added to the list of
593 // packages returned by get_system_packages().
594 // For packages whose classes are loaded from the boot loader class path, the
595 // classpath_index indicates which entry on the boot loader class path.
596 void set_classpath_index(s2 path_index);
597 bool is_same_class_package(const Klass* class2) const;
598 bool is_same_class_package(oop other_class_loader, const Symbol* other_class_name) const;
599
600 // find an enclosing class
601 InstanceKlass* compute_enclosing_class(bool* inner_is_member, TRAPS) const;
602
603 // Find InnerClasses attribute and return outer_class_info_index & inner_name_index.
604 bool find_inner_classes_attr(int* ooff, int* noff, TRAPS) const;
605
606 // Check if this klass can be null-free
607 static void check_can_be_annotated_with_NullRestricted(InstanceKlass* type, Symbol* container_klass_name, TRAPS);
608
609 private:
610 // Check prohibited package ("java/" only loadable by boot or platform loaders)
611 static void check_prohibited_package(Symbol* class_name,
612 ClassLoaderData* loader_data,
613 TRAPS);
614
615 JavaThread* init_thread() { return AtomicAccess::load(&_init_thread); }
616 const char* init_thread_name() {
617 return init_thread()->name_raw();
618 }
619
620 public:
621 // initialization state
622 bool is_loaded() const { return init_state() >= loaded; }
623 bool is_linked() const { return init_state() >= linked; }
624 bool is_initialized() const { return init_state() == fully_initialized; }
625 bool is_not_initialized() const { return init_state() < being_initialized; }
626 bool is_being_initialized() const { return init_state() == being_initialized; }
627 bool is_in_error_state() const { return init_state() == initialization_error; }
628 bool is_reentrant_initialization(Thread *thread) { return thread == _init_thread; }
629 ClassState init_state() const { return AtomicAccess::load_acquire(&_init_state); }
630 const char* init_state_name() const;
631 bool is_rewritten() const { return _misc_flags.rewritten(); }
632
633 // is this a sealed class
634 bool is_sealed() const;
635
636 // defineClass specified verification
637 bool should_verify_class() const { return _misc_flags.should_verify_class(); }
638 void set_should_verify_class(bool value) { _misc_flags.set_should_verify_class(value); }
639
640 // marking
641 bool is_marked_dependent() const { return _misc_flags.is_marked_dependent(); }
642 void set_is_marked_dependent(bool value) { _misc_flags.set_is_marked_dependent(value); }
643
644 static ByteSize kind_offset() { return byte_offset_of(InstanceKlass, _kind); }
645 static ByteSize misc_flags_offset() { return byte_offset_of(InstanceKlass, _misc_flags); }
646
647 // initialization (virtuals from Klass)
648 bool should_be_initialized() const override; // means that initialize should be called
649 void initialize_with_aot_initialized_mirror(bool early_init, TRAPS);
650 void assert_no_clinit_will_run_for_aot_initialized_class() const NOT_DEBUG_RETURN;
651 void initialize(TRAPS) override;
652 void initialize_preemptable(TRAPS) override;
653 void link_class(TRAPS);
654 bool link_class_or_fail(TRAPS); // returns false on failure
655 void rewrite_class(TRAPS);
656 void link_methods(TRAPS);
657 Method* class_initializer() const;
658 bool interface_needs_clinit_execution_as_super(bool also_check_supers=true) const;
659
660 // reference type
661 ReferenceType reference_type() const { return (ReferenceType)_reference_type; }
662
663 bool has_acmp_maps_offset() const {
664 return _acmp_maps_offset != 0;
665 }
666
667 int acmp_maps_offset() const {
668 assert(_acmp_maps_offset != 0, "Not initialized");
669 return _acmp_maps_offset;
670 }
671 void set_acmp_maps_offset(int offset) { _acmp_maps_offset = offset; }
672 static ByteSize acmp_maps_offset_offset() { return byte_offset_of(InstanceKlass, _acmp_maps_offset); }
673
674 // this class cp index
675 u2 this_class_index() const { return _this_class_index; }
676 void set_this_class_index(u2 index) { _this_class_index = index; }
677
678 static ByteSize reference_type_offset() { return byte_offset_of(InstanceKlass, _reference_type); }
679
680 // find local field, returns true if found
681 bool find_local_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const;
682 // find field in direct superinterfaces, returns the interface in which the field is defined
683 Klass* find_interface_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const;
684 // find field according to JVM spec 5.4.3.2, returns the klass in which the field is defined
685 Klass* find_field(Symbol* name, Symbol* sig, fieldDescriptor* fd) const override;
686 // find instance or static fields according to JVM spec 5.4.3.2, returns the klass in which the field is defined
687 Klass* find_field(Symbol* name, Symbol* sig, bool is_static, fieldDescriptor* fd) const;
688
689 // find a non-static or static field given its offset within the class.
690 bool contains_field_offset(int offset);
691
692 bool find_local_field_from_offset(int offset, bool is_static, fieldDescriptor* fd) const;
693 bool find_field_from_offset(int offset, bool is_static, fieldDescriptor* fd) const;
694
695 bool find_local_flat_field_containing_offset(int offset, fieldDescriptor* fd) const;
696 bool find_flat_field_containing_offset(int offset, fieldDescriptor* fd) const;
697
698 private:
699 inline static int quick_search(const Array<Method*>* methods, const Symbol* name);
700
701 public:
702 static void disable_method_binary_search() {
703 _disable_method_binary_search = true;
704 }
705
706 // find a local method (returns null if not found)
707 Method* find_method(const Symbol* name, const Symbol* signature) const;
708 static Method* find_method(const Array<Method*>* methods,
709 const Symbol* name,
710 const Symbol* signature);
711
712 // find a local method, but skip static methods
713 Method* find_instance_method(const Symbol* name, const Symbol* signature,
714 PrivateLookupMode private_mode) const;
715 static Method* find_instance_method(const Array<Method*>* methods,
716 const Symbol* name,
717 const Symbol* signature,
718 PrivateLookupMode private_mode);
719
720 // find a local method (returns null if not found)
721 Method* find_local_method(const Symbol* name,
722 const Symbol* signature,
723 OverpassLookupMode overpass_mode,
724 StaticLookupMode static_mode,
725 PrivateLookupMode private_mode) const;
726
727 // find a local method from given methods array (returns null if not found)
728 static Method* find_local_method(const Array<Method*>* methods,
729 const Symbol* name,
730 const Symbol* signature,
731 OverpassLookupMode overpass_mode,
732 StaticLookupMode static_mode,
733 PrivateLookupMode private_mode);
734
735 // find a local method index in methods or default_methods (returns -1 if not found)
736 static int find_method_index(const Array<Method*>* methods,
737 const Symbol* name,
738 const Symbol* signature,
739 OverpassLookupMode overpass_mode,
740 StaticLookupMode static_mode,
741 PrivateLookupMode private_mode);
742
743 // lookup operation (returns null if not found)
744 Method* uncached_lookup_method(const Symbol* name,
745 const Symbol* signature,
746 OverpassLookupMode overpass_mode,
747 PrivateLookupMode private_mode = PrivateLookupMode::find) const override;
748
749 // lookup a method in all the interfaces that this class implements
750 // (returns null if not found)
751 Method* lookup_method_in_all_interfaces(Symbol* name, Symbol* signature, DefaultsLookupMode defaults_mode) const;
752
753 // lookup a method in local defaults then in all interfaces
754 // (returns null if not found)
755 Method* lookup_method_in_ordered_interfaces(Symbol* name, Symbol* signature) const;
756
757 // Find method indices by name. If a method with the specified name is
758 // found the index to the first method is returned, and 'end' is filled in
759 // with the index of first non-name-matching method. If no method is found
760 // -1 is returned.
761 int find_method_by_name(const Symbol* name, int* end) const;
762 static int find_method_by_name(const Array<Method*>* methods,
763 const Symbol* name, int* end);
764
765 // constant pool
766 ConstantPool* constants() const { return _constants; }
767 void set_constants(ConstantPool* c) { _constants = c; }
768
769 // protection domain
770 oop protection_domain() const override;
771
772 // signers
773 objArrayOop signers() const;
774
775 bool is_contended() const { return _misc_flags.is_contended(); }
776 void set_is_contended(bool value) { _misc_flags.set_is_contended(value); }
777
778 // source file name
779 Symbol* source_file_name() const;
780 u2 source_file_name_index() const;
781 void set_source_file_name_index(u2 sourcefile_index);
782
783 // minor and major version numbers of class file
784 u2 minor_version() const;
785 void set_minor_version(u2 minor_version);
786 u2 major_version() const;
787 void set_major_version(u2 major_version);
788
789 bool supports_inline_types() const;
790
791 // source debug extension
792 const char* source_debug_extension() const { return _source_debug_extension; }
793 void set_source_debug_extension(const char* array, int length);
794
795 // nonstatic oop-map blocks
796 static int nonstatic_oop_map_size(unsigned int oop_map_count) {
797 return oop_map_count * OopMapBlock::size_in_words();
798 }
799 unsigned int nonstatic_oop_map_count() const {
800 return _nonstatic_oop_map_size / OopMapBlock::size_in_words();
801 }
802 int nonstatic_oop_map_size() const { return _nonstatic_oop_map_size; }
803 void set_nonstatic_oop_map_size(int words) {
804 _nonstatic_oop_map_size = words;
805 }
806
807 bool has_contended_annotations() const { return _misc_flags.has_contended_annotations(); }
808 void set_has_contended_annotations(bool value) { _misc_flags.set_has_contended_annotations(value); }
809
810 #if INCLUDE_JVMTI
811 // Redefinition locking. Class can only be redefined by one thread at a time.
812 bool is_being_redefined() const { return _misc_flags.is_being_redefined(); }
813 void set_is_being_redefined(bool value) { _misc_flags.set_is_being_redefined(value); }
814
815 // RedefineClasses() support for previous versions:
816 void add_previous_version(InstanceKlass* ik, int emcp_method_count);
817 void purge_previous_version_list();
818
819 InstanceKlass* previous_versions() const { return _previous_versions; }
820 #else
821 InstanceKlass* previous_versions() const { return nullptr; }
822 #endif
823
824 const InstanceKlass* get_klass_version(int version) const;
825
826 bool has_been_redefined() const { return _misc_flags.has_been_redefined(); }
827 void set_has_been_redefined() { _misc_flags.set_has_been_redefined(true); }
828
829 bool is_scratch_class() const { return _misc_flags.is_scratch_class(); }
830 void set_is_scratch_class() { _misc_flags.set_is_scratch_class(true); }
831
832 bool has_resolved_methods() const { return _misc_flags.has_resolved_methods(); }
833 void set_has_resolved_methods() { _misc_flags.set_has_resolved_methods(true); }
834 void set_has_resolved_methods(bool value) { _misc_flags.set_has_resolved_methods(value); }
835
836 public:
837 #if INCLUDE_JVMTI
838
839 void init_previous_versions() {
840 _previous_versions = nullptr;
841 }
842
843 private:
844 static bool _should_clean_previous_versions;
845 public:
846 static void purge_previous_versions(InstanceKlass* ik) {
847 if (ik->has_been_redefined()) {
848 ik->purge_previous_version_list();
849 }
850 }
851
852 static bool should_clean_previous_versions_and_reset();
853 static bool should_clean_previous_versions() { return _should_clean_previous_versions; }
854
855 // JVMTI: Support for caching a class file before it is modified by an agent that can do retransformation
856 void set_cached_class_file(JvmtiCachedClassFileData *data) {
857 _cached_class_file = data;
858 }
859 JvmtiCachedClassFileData * get_cached_class_file();
860 jint get_cached_class_file_len();
861 unsigned char * get_cached_class_file_bytes();
862
863 // JVMTI: Support for caching of field indices, types, and offsets
864 void set_jvmti_cached_class_field_map(JvmtiCachedClassFieldMap* descriptor) {
865 _jvmti_cached_class_field_map = descriptor;
866 }
867 JvmtiCachedClassFieldMap* jvmti_cached_class_field_map() const {
868 return _jvmti_cached_class_field_map;
869 }
870 #else // INCLUDE_JVMTI
871
872 static void purge_previous_versions(InstanceKlass* ik) { return; };
873 static bool should_clean_previous_versions_and_reset() { return false; }
874
875 void set_cached_class_file(JvmtiCachedClassFileData *data) {
876 assert(data == nullptr, "unexpected call with JVMTI disabled");
877 }
878 JvmtiCachedClassFileData * get_cached_class_file() { return (JvmtiCachedClassFileData *)nullptr; }
879
880 #endif // INCLUDE_JVMTI
881
882 bool has_nonstatic_concrete_methods() const { return _misc_flags.has_nonstatic_concrete_methods(); }
883 void set_has_nonstatic_concrete_methods(bool b) { _misc_flags.set_has_nonstatic_concrete_methods(b); }
884
885 bool declares_nonstatic_concrete_methods() const { return _misc_flags.declares_nonstatic_concrete_methods(); }
886 void set_declares_nonstatic_concrete_methods(bool b) { _misc_flags.set_declares_nonstatic_concrete_methods(b); }
887
888 bool has_miranda_methods () const { return _misc_flags.has_miranda_methods(); }
889 void set_has_miranda_methods() { _misc_flags.set_has_miranda_methods(true); }
890 bool has_final_method() const { return _misc_flags.has_final_method(); }
891 void set_has_final_method() { _misc_flags.set_has_final_method(true); }
892
893 // for adding methods, ConstMethod::UNSET_IDNUM means no more ids available
894 inline u2 next_method_idnum();
895 void set_initial_method_idnum(u2 value) { _idnum_allocated_count = value; }
896
897 // runtime support for strict statics
898 bool has_strict_static_fields() const { return _misc_flags.has_strict_static_fields(); }
899 void set_has_strict_static_fields(bool b) { _misc_flags.set_has_strict_static_fields(b); }
900 void notify_strict_static_access(int field_index, bool is_writing, TRAPS);
901 const char* format_strict_static_message(Symbol* field_name, const char* doing_what = nullptr);
902 void throw_strict_static_exception(Symbol* field_name, const char* when, TRAPS);
903
904 // generics support
905 Symbol* generic_signature() const;
906 u2 generic_signature_index() const;
907 void set_generic_signature_index(u2 sig_index);
908
909 u2 enclosing_method_data(int offset) const;
910 u2 enclosing_method_class_index() const {
911 return enclosing_method_data(enclosing_method_class_index_offset);
912 }
913 u2 enclosing_method_method_index() {
914 return enclosing_method_data(enclosing_method_method_index_offset);
915 }
916 void set_enclosing_method_indices(u2 class_index,
917 u2 method_index);
918
919 // jmethodID support
920 jmethodID get_jmethod_id(Method* method);
921 void make_methods_jmethod_ids();
922 jmethodID jmethod_id_or_null(Method* method);
923 void update_methods_jmethod_cache();
924
925 // annotations support
926 Annotations* annotations() const { return _annotations; }
927 void set_annotations(Annotations* anno) { _annotations = anno; }
928
929 AnnotationArray* class_annotations() const {
930 return (_annotations != nullptr) ? _annotations->class_annotations() : nullptr;
931 }
932 Array<AnnotationArray*>* fields_annotations() const {
933 return (_annotations != nullptr) ? _annotations->fields_annotations() : nullptr;
934 }
935 AnnotationArray* class_type_annotations() const {
936 return (_annotations != nullptr) ? _annotations->class_type_annotations() : nullptr;
937 }
938 Array<AnnotationArray*>* fields_type_annotations() const {
939 return (_annotations != nullptr) ? _annotations->fields_type_annotations() : nullptr;
940 }
941 // allocation
942 instanceOop allocate_instance(TRAPS);
943 static instanceOop allocate_instance(oop cls, TRAPS);
944
945 // additional member function to return a handle
946 instanceHandle allocate_instance_handle(TRAPS);
947
948 // Helper function
949 static instanceOop register_finalizer(instanceOop i, TRAPS);
950
951 // Check whether reflection/jni/jvm code is allowed to instantiate this class;
952 // if not, throw either an Error or an Exception.
953 void check_valid_for_instantiation(bool throwError, TRAPS) override;
954
955 // initialization
956 void call_class_initializer(TRAPS);
957 void set_initialization_state_and_notify(ClassState state, TRAPS);
958
959 // OopMapCache support
960 OopMapCache* oop_map_cache() { return _oop_map_cache; }
961 void set_oop_map_cache(OopMapCache *cache) { _oop_map_cache = cache; }
962 void mask_for(const methodHandle& method, int bci, InterpreterOopMap* entry);
963
964 // JNI identifier support (for static fields - for jni performance)
965 JNIid* jni_ids() { return _jni_ids; }
966 void set_jni_ids(JNIid* ids) { _jni_ids = ids; }
967 JNIid* jni_id_for(int offset);
968
969 public:
970 // maintenance of deoptimization dependencies
971 inline DependencyContext dependencies();
972 void mark_dependent_nmethods(DeoptimizationScope* deopt_scope, KlassDepChange& changes);
973 void add_dependent_nmethod(nmethod* nm);
974 void clean_dependency_context();
975 // Setup link to hierarchy and deoptimize
976 void add_to_hierarchy(JavaThread* current);
977
978 // On-stack replacement support
979 nmethod* osr_nmethods_head() const { return _osr_nmethods_head; };
980 void set_osr_nmethods_head(nmethod* h) { _osr_nmethods_head = h; };
981 void add_osr_nmethod(nmethod* n);
982 bool remove_osr_nmethod(nmethod* n);
983 int mark_osr_nmethods(DeoptimizationScope* deopt_scope, const Method* m);
984 nmethod* lookup_osr_nmethod(const Method* m, int bci, int level, bool match_level) const;
985
986 #if INCLUDE_JVMTI
987 // Breakpoint support (see methods on Method* for details)
988 BreakpointInfo* breakpoints() const { return _breakpoints; };
989 void set_breakpoints(BreakpointInfo* bps) { _breakpoints = bps; };
990 #endif
991
992 // support for stub routines
993 static ByteSize init_state_offset() { return byte_offset_of(InstanceKlass, _init_state); }
994 JFR_ONLY(DEFINE_KLASS_TRACE_ID_OFFSET;)
995 static ByteSize init_thread_offset() { return byte_offset_of(InstanceKlass, _init_thread); }
996
997 static ByteSize inline_layout_info_array_offset() { return byte_offset_of(InstanceKlass, _inline_layout_info_array); }
998 static ByteSize adr_inline_klass_members_offset() { return byte_offset_of(InstanceKlass, _adr_inline_klass_members); }
999
1000 // subclass/subinterface checks
1001 bool implements_interface(Klass* k) const;
1002 bool is_same_or_direct_interface(Klass* k) const;
1003
1004 #ifdef ASSERT
1005 // check whether this class or one of its superclasses was redefined
1006 bool has_redefined_this_or_super() const;
1007 #endif
1008
1009 // Access to the implementor of an interface.
1010 InstanceKlass* implementor() const;
1011 void set_implementor(InstanceKlass* ik);
1012 int nof_implementors() const;
1013 void add_implementor(InstanceKlass* ik); // ik is a new class that implements this interface
1014 void init_implementor(); // initialize
1015
1016 private:
1017 // link this class into the implementors list of every interface it implements
1018 void process_interfaces();
1019
1020 public:
1021 // virtual operations from Klass
1022 GrowableArray<Klass*>* compute_secondary_supers(int num_extra_slots,
1023 Array<InstanceKlass*>* transitive_interfaces) override;
1024 bool can_be_primary_super_slow() const override;
1025 size_t oop_size(oop obj) const override { return size_helper(); }
1026 // slow because it's a virtual call and used for verifying the layout_helper.
1027 // Using the layout_helper bits, we can call is_instance_klass without a virtual call.
1028 DEBUG_ONLY(bool is_instance_klass_slow() const override { return true; })
1029
1030 // Iterators
1031 void do_local_static_fields(FieldClosure* cl);
1032 void do_nonstatic_fields(FieldClosure* cl); // including inherited fields
1033 void do_local_static_fields(void f(fieldDescriptor*, Handle, TRAPS), Handle, TRAPS);
1034 void print_nonstatic_fields(FieldClosure* cl); // including inherited and injected fields
1035
1036 void methods_do(void f(Method* method));
1037
1038 static InstanceKlass* cast(Klass* k) {
1039 return const_cast<InstanceKlass*>(cast(const_cast<const Klass*>(k)));
1040 }
1041
1042 static const InstanceKlass* cast(const Klass* k) {
1043 assert(k != nullptr, "k should not be null");
1044 assert(k->is_instance_klass(), "cast to InstanceKlass");
1045 return static_cast<const InstanceKlass*>(k);
1046 }
1047
1048 // This hides Klass::super(). The _super of an InstanceKlass is
1049 // always an InstanceKlass (or nullptr)
1050 InstanceKlass* super() const {
1051 return (Klass::super() == nullptr) ? nullptr : InstanceKlass::cast(Klass::super());
1052 }
1053
1054 InstanceKlass* java_super() const override {
1055 return InstanceKlass::super();
1056 }
1057
1058 // Sizing (in words)
1059 static int header_size() { return sizeof(InstanceKlass) / wordSize; }
1060
1061 static int size(int vtable_length,
1062 int itable_length,
1063 int nonstatic_oop_map_size,
1064 bool is_interface,
1065 bool is_inline_type);
1066
1067 int size() const override;
1068
1069
1070 inline intptr_t* start_of_itable() const;
1071 inline intptr_t* end_of_itable() const;
1072 inline oop static_field_base_raw();
1073 bool bounds_check(address addr, bool edge_ok = false, intptr_t size_in_bytes = -1) const PRODUCT_RETURN0;
1074
1075 inline OopMapBlock* start_of_nonstatic_oop_maps() const;
1076 inline Klass** end_of_nonstatic_oop_maps() const;
1077
1078 inline InstanceKlass* volatile* adr_implementor() const;
1079
1080 // The end of the memory block that belongs to this InstanceKlass.
1081 // Sub-klasses can place their fields after this address.
1082 inline address end_of_instance_klass() const;
1083
1084 void set_inline_layout_info_array(Array<InlineLayoutInfo>* array) { _inline_layout_info_array = array; }
1085 Array<InlineLayoutInfo>* inline_layout_info_array() const { return _inline_layout_info_array; }
1086
1087 InlineLayoutInfo inline_layout_info(int index) const {
1088 assert(_inline_layout_info_array != nullptr, "Array not created");
1089 return _inline_layout_info_array->at(index);
1090 }
1091
1092 InlineLayoutInfo* inline_layout_info_adr(int index) {
1093 assert(_inline_layout_info_array != nullptr, "Array not created");
1094 return _inline_layout_info_array->adr_at(index);
1095 }
1096
1097 inline InlineKlass* get_inline_type_field_klass(int idx) const ;
1098 inline InlineKlass* get_inline_type_field_klass_or_null(int idx) const;
1099
1100 // Use this to return the size of an instance in heap words:
1101 int size_helper() const {
1102 return layout_helper_to_size_helper(layout_helper());
1103 }
1104
1105 // This bit is initialized in classFileParser.cpp.
1106 // It is false under any of the following conditions:
1107 // - the class is abstract (including any interface)
1108 // - the class size is larger than FastAllocateSizeLimit
1109 // - the class is java/lang/Class, which cannot be allocated directly
1110 bool can_be_fastpath_allocated() const {
1111 return !layout_helper_needs_slow_path(layout_helper());
1112 }
1113
1114 // Java itable
1115 klassItable itable() const; // return klassItable wrapper
1116 Method* method_at_itable(InstanceKlass* holder, int index, TRAPS);
1117 Method* method_at_itable_or_null(InstanceKlass* holder, int index, bool& itable_entry_found);
1118 int vtable_index_of_interface_method(Method* method);
1119
1120 #if INCLUDE_JVMTI
1121 void adjust_default_methods(bool* trace_name_printed);
1122 #endif // INCLUDE_JVMTI
1123
1124 void clean_weak_instanceklass_links();
1125 private:
1126 void clean_implementors_list();
1127 void clean_method_data();
1128
1129 public:
1130 // Explicit metaspace deallocation of fields
1131 // For RedefineClasses and class file parsing errors, we need to deallocate
1132 // instanceKlasses and the metadata they point to.
1133 void deallocate_contents(ClassLoaderData* loader_data);
1134 static void deallocate_methods(ClassLoaderData* loader_data,
1135 Array<Method*>* methods);
1136 void static deallocate_interfaces(ClassLoaderData* loader_data,
1137 const InstanceKlass* super_klass,
1138 Array<InstanceKlass*>* local_interfaces,
1139 Array<InstanceKlass*>* transitive_interfaces);
1140 void static deallocate_record_components(ClassLoaderData* loader_data,
1141 Array<RecordComponent*>* record_component);
1142
1143 bool on_stack() const override;
1144
1145 // callbacks for actions during class unloading
1146 static void unload_class(InstanceKlass* ik);
1147
1148 void release_C_heap_structures(bool release_sub_metadata = true) override;
1149
1150 // Naming
1151 const char* signature_name() const override;
1152 const char* signature_name_of_carrier(char c) const;
1153
1154 // Oop fields (and metadata) iterators
1155 //
1156 // The InstanceKlass iterators also visits the Object's klass.
1157
1158 // Forward iteration
1159 public:
1160 // Iterate over all oop fields in the oop maps.
1161 template <typename T, class OopClosureType>
1162 inline void oop_oop_iterate_oop_maps(oop obj, OopClosureType* closure);
1163
1164 // Iterate over all oop fields and metadata.
1165 template <typename T, class OopClosureType>
1166 inline void oop_oop_iterate(oop obj, OopClosureType* closure);
1167
1168 // Iterate over all oop fields in one oop map.
1169 template <typename T, class OopClosureType>
1170 inline void oop_oop_iterate_oop_map(OopMapBlock* map, oop obj, OopClosureType* closure);
1171
1172
1173 // Reverse iteration
1174 // Iterate over all oop fields and metadata.
1175 template <typename T, class OopClosureType>
1176 inline void oop_oop_iterate_reverse(oop obj, OopClosureType* closure);
1177
1178 private:
1179 // Iterate over all oop fields in the oop maps.
1180 template <typename T, class OopClosureType>
1181 inline void oop_oop_iterate_oop_maps_reverse(oop obj, OopClosureType* closure);
1182
1183 // Iterate over all oop fields in one oop map.
1184 template <typename T, class OopClosureType>
1185 inline void oop_oop_iterate_oop_map_reverse(OopMapBlock* map, oop obj, OopClosureType* closure);
1186
1187
1188 // Bounded range iteration
1189 public:
1190 // Iterate over all oop fields in the oop maps.
1191 template <typename T, class OopClosureType>
1192 inline void oop_oop_iterate_oop_maps_bounded(oop obj, OopClosureType* closure, MemRegion mr);
1193
1194 // Iterate over all oop fields and metadata.
1195 template <typename T, class OopClosureType>
1196 inline void oop_oop_iterate_bounded(oop obj, OopClosureType* closure, MemRegion mr);
1197
1198 private:
1199 // Iterate over all oop fields in one oop map.
1200 template <typename T, class OopClosureType>
1201 inline void oop_oop_iterate_oop_map_bounded(OopMapBlock* map, oop obj, OopClosureType* closure, MemRegion mr);
1202
1203
1204 public:
1205 u2 idnum_allocated_count() const { return _idnum_allocated_count; }
1206
1207 private:
1208 // initialization state
1209 void set_init_state(ClassState state);
1210 void set_rewritten() { _misc_flags.set_rewritten(true); }
1211 void set_init_thread(JavaThread *thread) {
1212 assert((thread == JavaThread::current() && _init_thread == nullptr) ||
1213 (thread == nullptr && _init_thread == JavaThread::current()), "Only one thread is allowed to own initialization");
1214 AtomicAccess::store(&_init_thread, thread);
1215 }
1216
1217 jmethodID* methods_jmethod_ids_acquire() const;
1218 void release_set_methods_jmethod_ids(jmethodID* jmeths);
1219 // This nulls out obsolete jmethodIDs for all methods in 'klass'.
1220 static void clear_obsolete_jmethod_ids(InstanceKlass* klass);
1221 jmethodID update_jmethod_id(jmethodID* jmeths, Method* method, int idnum);
1222
1223 public:
1224 // Lock for (1) initialization; (2) access to the ConstantPool of this class.
1225 // Must be one per class and it has to be a VM internal object so java code
1226 // cannot lock it (like the mirror).
1227 // It has to be an object not a Mutex because it's held through java calls.
1228 oop init_lock() const;
1229
1230 // Returns the array class for the n'th dimension
1231 ArrayKlass* array_klass(int n, TRAPS) override;
1232 ArrayKlass* array_klass_or_null(int n) override;
1233
1234 // Returns the array class with this class as element type
1235 ArrayKlass* array_klass(TRAPS) override;
1236 ArrayKlass* array_klass_or_null() override;
1237
1238 static void clean_initialization_error_table();
1239 private:
1240 void fence_and_clear_init_lock();
1241
1242 bool link_class_impl (TRAPS);
1243 bool verify_code (TRAPS);
1244 void initialize_impl (TRAPS);
1245 void initialize_super_interfaces (TRAPS);
1246
1247 void add_initialization_error(JavaThread* current, Handle exception);
1248 oop get_initialization_error(JavaThread* current);
1249
1250 // find a local method (returns null if not found)
1251 Method* find_method_impl(const Symbol* name,
1252 const Symbol* signature,
1253 OverpassLookupMode overpass_mode,
1254 StaticLookupMode static_mode,
1255 PrivateLookupMode private_mode) const;
1256
1257 static Method* find_method_impl(const Array<Method*>* methods,
1258 const Symbol* name,
1259 const Symbol* signature,
1260 OverpassLookupMode overpass_mode,
1261 StaticLookupMode static_mode,
1262 PrivateLookupMode private_mode);
1263
1264 #if INCLUDE_JVMTI
1265 // RedefineClasses support
1266 void link_previous_versions(InstanceKlass* pv) { _previous_versions = pv; }
1267 void mark_newly_obsolete_methods(Array<Method*>* old_methods, int emcp_method_count);
1268 #endif
1269 public:
1270
1271 #if INCLUDE_CDS
1272 // CDS support - remove and restore oops from metadata. Oops are not shared.
1273 void remove_unshareable_info() override;
1274 void remove_unshareable_flags();
1275 void remove_java_mirror() override;
1276 virtual void restore_unshareable_info(ClassLoaderData* loader_data, Handle protection_domain, PackageEntry* pkg_entry, TRAPS);
1277 void init_shared_package_entry();
1278 bool can_be_verified_at_dumptime() const;
1279 void compute_has_loops_flag_for_methods();
1280 #endif
1281 bool has_init_deps_processed() const { return _misc_flags.has_init_deps_processed(); }
1282 void set_has_init_deps_processed() {
1283 assert(is_initialized(), "");
1284 assert(!has_init_deps_processed(), "already set"); // one-off action
1285 _misc_flags.set_has_init_deps_processed(true);
1286 }
1287
1288 u2 compute_modifier_flags() const override;
1289
1290 public:
1291 // JVMTI support
1292 jint jvmti_class_status() const override;
1293
1294 void metaspace_pointers_do(MetaspaceClosure* iter) override;
1295
1296 public:
1297 // Printing
1298 void print_on(outputStream* st) const override;
1299 void print_value_on(outputStream* st) const override;
1300
1301 void oop_print_value_on(oop obj, outputStream* st) override;
1302
1303 void oop_print_on (oop obj, outputStream* st) override { oop_print_on(obj, st, 0, 0); }
1304 void oop_print_on (oop obj, outputStream* st, int indent = 0, int base_offset = 0);
1305
1306 #ifndef PRODUCT
1307 void print_dependent_nmethods(bool verbose = false);
1308 bool is_dependent_nmethod(nmethod* nm);
1309 bool verify_itable_index(int index);
1310 #endif
1311
1312 const char* internal_name() const override;
1313
1314 template<typename T, typename TClosureType>
1315 static void print_array_on(outputStream* st, Array<T>* array, TClosureType elem_printer);
1316
1317 // Verification
1318 void verify_on(outputStream* st) override;
1319
1320 void oop_verify_on(oop obj, outputStream* st) override;
1321
1322 // Logging
1323 void print_class_load_logging(ClassLoaderData* loader_data,
1324 const ModuleEntry* module_entry,
1325 const ClassFileStream* cfs) const;
1326 private:
1327 void print_class_load_cause_logging() const;
1328 void print_class_load_helper(ClassLoaderData* loader_data,
1329 const ModuleEntry* module_entry,
1330 const ClassFileStream* cfs) const;
1331 };
1332
1333 // for adding methods
1334 // UNSET_IDNUM return means no more ids available
1335 inline u2 InstanceKlass::next_method_idnum() {
1336 if (_idnum_allocated_count == ConstMethod::MAX_IDNUM) {
1337 return ConstMethod::UNSET_IDNUM; // no more ids available
1338 } else {
1339 return _idnum_allocated_count++;
1340 }
1341 }
1342
1343 class PrintClassClosure : public KlassClosure {
1344 private:
1345 outputStream* _st;
1346 bool _verbose;
1347 public:
1348 PrintClassClosure(outputStream* st, bool verbose);
1349
1350 void do_klass(Klass* k);
1351 };
1352
1353 /* JNIid class for jfieldIDs only */
1354 class JNIid: public CHeapObj<mtClass> {
1355 friend class VMStructs;
1356 private:
1357 InstanceKlass* _holder;
1358 JNIid* _next;
1359 int _offset;
1360 #ifdef ASSERT
1361 bool _is_static_field_id;
1362 #endif
1363
1364 public:
1365 // Accessors
1366 InstanceKlass* holder() const { return _holder; }
1367 int offset() const { return _offset; }
1368 JNIid* next() { return _next; }
1369 // Constructor
1370 JNIid(InstanceKlass* holder, int offset, JNIid* next);
1371 // Identifier lookup
1372 JNIid* find(int offset);
1373
1374 bool find_local_field(fieldDescriptor* fd) {
1375 return InstanceKlass::cast(holder())->find_local_field_from_offset(offset(), true, fd);
1376 }
1377
1378 static void deallocate(JNIid* id);
1379 // Debugging
1380 #ifdef ASSERT
1381 bool is_static_field_id() const { return _is_static_field_id; }
1382 void set_is_static_field_id() { _is_static_field_id = true; }
1383 #endif
1384 void verify(InstanceKlass* holder);
1385 };
1386
1387 // An iterator that's used to access the inner classes indices in the
1388 // InstanceKlass::_inner_classes array.
1389 class InnerClassesIterator : public StackObj {
1390 private:
1391 Array<jushort>* _inner_classes;
1392 int _length;
1393 int _idx;
1394 public:
1395
1396 InnerClassesIterator(const InstanceKlass* k) {
1397 _inner_classes = k->inner_classes();
1398 if (k->inner_classes() != nullptr) {
1399 _length = _inner_classes->length();
1400 // The inner class array's length should be the multiple of
1401 // inner_class_next_offset if it only contains the InnerClasses
1402 // attribute data, or it should be
1403 // n*inner_class_next_offset+enclosing_method_attribute_size
1404 // if it also contains the EnclosingMethod data.
1405 assert((_length % InstanceKlass::inner_class_next_offset == 0 ||
1406 _length % InstanceKlass::inner_class_next_offset == InstanceKlass::enclosing_method_attribute_size),
1407 "just checking");
1408 // Remove the enclosing_method portion if exists.
1409 if (_length % InstanceKlass::inner_class_next_offset == InstanceKlass::enclosing_method_attribute_size) {
1410 _length -= InstanceKlass::enclosing_method_attribute_size;
1411 }
1412 } else {
1413 _length = 0;
1414 }
1415 _idx = 0;
1416 }
1417
1418 int length() const {
1419 return _length;
1420 }
1421
1422 void next() {
1423 _idx += InstanceKlass::inner_class_next_offset;
1424 }
1425
1426 bool done() const {
1427 return (_idx >= _length);
1428 }
1429
1430 u2 inner_class_info_index() const {
1431 return _inner_classes->at(
1432 _idx + InstanceKlass::inner_class_inner_class_info_offset);
1433 }
1434
1435 void set_inner_class_info_index(u2 index) {
1436 _inner_classes->at_put(
1437 _idx + InstanceKlass::inner_class_inner_class_info_offset, index);
1438 }
1439
1440 u2 outer_class_info_index() const {
1441 return _inner_classes->at(
1442 _idx + InstanceKlass::inner_class_outer_class_info_offset);
1443 }
1444
1445 void set_outer_class_info_index(u2 index) {
1446 _inner_classes->at_put(
1447 _idx + InstanceKlass::inner_class_outer_class_info_offset, index);
1448 }
1449
1450 u2 inner_name_index() const {
1451 return _inner_classes->at(
1452 _idx + InstanceKlass::inner_class_inner_name_offset);
1453 }
1454
1455 void set_inner_name_index(u2 index) {
1456 _inner_classes->at_put(
1457 _idx + InstanceKlass::inner_class_inner_name_offset, index);
1458 }
1459
1460 u2 inner_access_flags() const {
1461 return _inner_classes->at(
1462 _idx + InstanceKlass::inner_class_access_flags_offset);
1463 }
1464 };
1465
1466 // Iterator over class hierarchy under a particular class. Implements depth-first pre-order traversal.
1467 // Usage:
1468 // for (ClassHierarchyIterator iter(root_klass); !iter.done(); iter.next()) {
1469 // Klass* k = iter.klass();
1470 // ...
1471 // }
1472 class ClassHierarchyIterator : public StackObj {
1473 private:
1474 InstanceKlass* _root;
1475 Klass* _current;
1476 bool _visit_subclasses;
1477
1478 public:
1479 ClassHierarchyIterator(InstanceKlass* root) : _root(root), _current(root), _visit_subclasses(true) {
1480 assert(_root == _current, "required"); // initial state
1481 }
1482
1483 bool done() {
1484 return (_current == nullptr);
1485 }
1486
1487 // Make a step iterating over the class hierarchy under the root class.
1488 // Skips subclasses if requested.
1489 void next();
1490
1491 Klass* klass() {
1492 assert(!done(), "sanity");
1493 return _current;
1494 }
1495
1496 // Skip subclasses of the current class.
1497 void skip_subclasses() {
1498 _visit_subclasses = false;
1499 }
1500 };
1501
1502 #endif // SHARE_OOPS_INSTANCEKLASS_HPP