1 /*
2 * Copyright (c) 2023, 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_INSTANCEKLASSFLAGS_HPP
26 #define SHARE_OOPS_INSTANCEKLASSFLAGS_HPP
27
28 #include "runtime/atomic.hpp"
29
30 class ClassLoaderData;
31
32 // The InstanceKlassFlags class contains the parse-time and writeable flags associated with
33 // an InstanceKlass, and their associated accessors.
34 // _flags are parse-time and constant in the InstanceKlass after that. _status are set at runtime and
35 // require atomic access.
36 // These flags are JVM internal and not part of the AccessFlags classfile specification.
37
38 class InstanceKlassFlags {
39 friend class VMStructs;
40 friend class JVMCIVMStructs;
41
42 #define IK_FLAGS_DO(flag) \
43 flag(rewritten , 1 << 0) /* methods rewritten. */ \
44 flag(has_nonstatic_fields , 1 << 1) /* for sizing with UseCompressedOops */ \
45 flag(should_verify_class , 1 << 2) /* allow caching of preverification */ \
46 flag(is_contended , 1 << 3) /* marked with contended annotation */ \
47 flag(has_nonstatic_concrete_methods , 1 << 4) /* class/superclass/implemented interfaces has non-static, concrete methods */ \
48 flag(declares_nonstatic_concrete_methods, 1 << 5) /* directly declares non-static, concrete methods */ \
49 flag(shared_loading_failed , 1 << 6) /* class has been loaded from shared archive */ \
50 flag(is_shared_boot_class , 1 << 7) /* defining class loader is boot class loader */ \
51 flag(is_shared_platform_class , 1 << 8) /* defining class loader is platform class loader */ \
52 flag(is_shared_app_class , 1 << 9) /* defining class loader is app class loader */ \
53 flag(has_contended_annotations , 1 << 10) /* has @Contended annotation */ \
54 flag(has_localvariable_table , 1 << 11) /* has localvariable information */ \
55 flag(has_miranda_methods , 1 << 12) /* True if this class has miranda methods in it's vtable */ \
56 flag(has_vanilla_constructor , 1 << 13) /* True if klass has a vanilla default constructor */ \
57 flag(has_final_method , 1 << 14) /* True if klass has final method */ \
58 flag(has_inline_type_fields , 1 << 15) /* has inline fields and related embedded section is not empty */ \
59 flag(is_empty_inline_type , 1 << 16) /* empty inline type (*) */ \
60 flag(is_naturally_atomic , 1 << 17) /* loaded/stored in one instruction */ \
61 flag(must_be_atomic , 1 << 18) /* doesn't allow tearing */ \
62 flag(has_loosely_consistent_annotation , 1 << 19) /* the class has the LooselyConsistentValue annotation WARNING: it doesn't automatically mean that the class allows tearing */ \
63 flag(is_implicitly_constructible , 1 << 20) /* the class has the ImplicitlyConstrutible annotation */
64 /* end of list */
65
66 /* (*) An inline type is considered empty if it contains no non-static fields or
67 if it contains only empty inline fields. Note that JITs have a slightly different
68 definition: empty inline fields must be flat otherwise the container won't
69 be considered empty */
70
71 #define IK_FLAGS_ENUM_NAME(name, value) _misc_##name = value,
72 enum {
73 IK_FLAGS_DO(IK_FLAGS_ENUM_NAME)
74 };
75 #undef IK_FLAGS_ENUM_NAME
76
77 #define IK_STATUS_DO(status) \
78 status(is_being_redefined , 1 << 0) /* True if the klass is being redefined */ \
79 status(has_resolved_methods , 1 << 1) /* True if the klass has resolved MethodHandle methods */ \
80 status(has_been_redefined , 1 << 2) /* class has been redefined */ \
81 status(is_scratch_class , 1 << 3) /* class is the redefined scratch class */ \
82 status(is_marked_dependent , 1 << 4) /* class is the redefined scratch class */ \
83 /* end of list */
84
85 #define IK_STATUS_ENUM_NAME(name, value) _misc_##name = value,
86 enum {
87 IK_STATUS_DO(IK_STATUS_ENUM_NAME)
88 };
89 #undef IK_STATUS_ENUM_NAME
90
91 u2 shared_loader_type_bits() const {
92 return _misc_is_shared_boot_class|_misc_is_shared_platform_class|_misc_is_shared_app_class;
93 }
94
95 // These flags are write-once before the class is published and then read-only so don't require atomic updates.
96 u4 _flags;
97
98 // These flags are written during execution so require atomic stores
99 u1 _status;
100
101 public:
102
103 InstanceKlassFlags() : _flags(0), _status(0) {}
104
105 // Create getters and setters for the flag values.
106 #define IK_FLAGS_GET_SET(name, ignore) \
107 bool name() const { return (_flags & _misc_##name) != 0; } \
108 void set_##name(bool b) { \
109 assert_is_safe(name()); \
110 if (b) _flags |= _misc_##name; \
111 }
112 IK_FLAGS_DO(IK_FLAGS_GET_SET)
113 #undef IK_FLAGS_GET_SET
114
115 bool is_shared_unregistered_class() const {
116 return (_flags & shared_loader_type_bits()) == 0;
117 }
118
119 void set_shared_class_loader_type(s2 loader_type);
120
121 void assign_class_loader_type(const ClassLoaderData* cld);
122
123 u4 flags() const { return _flags; }
124
125 static u4 is_empty_inline_type_value() {
126 return _misc_is_empty_inline_type;
127 }
128
129 void assert_is_safe(bool set) NOT_DEBUG_RETURN;
130
131 // Create getters and setters for the status values.
132 #define IK_STATUS_GET_SET(name, ignore) \
133 bool name() const { return (_status & _misc_##name) != 0; } \
134 void set_##name(bool b) { \
135 if (b) { \
136 atomic_set_bits(_misc_##name); \
137 } else { \
138 atomic_clear_bits(_misc_##name); \
139 } \
140 }
141 IK_STATUS_DO(IK_STATUS_GET_SET)
142 #undef IK_STATUS_GET_SET
143
144 void atomic_set_bits(u1 bits) { Atomic::fetch_then_or(&_status, bits); }
145 void atomic_clear_bits(u1 bits) { Atomic::fetch_then_and(&_status, (u1)(~bits)); }
146 void print_on(outputStream* st) const;
147 };
148
149 #endif // SHARE_OOPS_INSTANCEKLASSFLAGS_HPP