Fri, 03 Sep 2010 17:51:07 -0700
6953144: Tiered compilation
Summary: Infrastructure for tiered compilation support (interpreter + c1 + c2) for 32 and 64 bit. Simple tiered policy implementation.
Reviewed-by: kvn, never, phh, twisti
1 /*
2 * Copyright (c) 1997, 2010, 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 */
25 // AccessFlags is an abstraction over Java access flags.
28 enum {
29 // See jvm.h for shared JVM_ACC_XXX access flags
31 // HotSpot-specific access flags
33 // flags actually put in .class file
34 JVM_ACC_WRITTEN_FLAGS = 0x00007FFF,
36 // methodOop flags
37 JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match
38 JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes
39 JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops
40 JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized
41 JVM_ACC_QUEUED = 0x01000000, // Queued for compilation
42 JVM_ACC_NOT_C2_COMPILABLE = 0x02000000,
43 JVM_ACC_NOT_C1_COMPILABLE = 0x04000000,
44 JVM_ACC_NOT_OSR_COMPILABLE = 0x08000000,
45 JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000,
46 JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000,
47 JVM_ACC_HAS_JSRS = 0x00800000,
48 JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method
49 JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete
50 JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method
52 JVM_MH_INVOKE_BITS // = 0x10001100 // MethodHandle.invoke quasi-native
53 = (JVM_ACC_NATIVE | JVM_ACC_SYNTHETIC | JVM_ACC_MONITOR_MATCH),
55 // klassOop flags
56 JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable
57 JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor
58 JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method
59 JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface
60 JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method
62 // klassOop and methodOop flags
63 JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000,
65 JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass
67 // field flags
68 // Note: these flags must be defined in the low order 16 bits because
69 // instanceKlass only stores a ushort worth of information from the
70 // AccessFlags value.
71 // These bits must not conflict with any other field-related access flags
72 // (e.g., ACC_ENUM).
73 // Note that the class-related ACC_ANNOTATION bit conflicts with these flags.
74 JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI
75 JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI
77 // flags accepted by set_field_flags()
78 JVM_ACC_FIELD_FLAGS = 0x00008000 | JVM_ACC_WRITTEN_FLAGS
80 };
83 class AccessFlags VALUE_OBJ_CLASS_SPEC {
84 friend class VMStructs;
85 private:
86 jint _flags;
88 public:
89 // Java access flags
90 bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; }
91 bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; }
92 bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; }
93 bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; }
94 bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; }
95 bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; }
96 bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; }
97 bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; }
98 bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; }
99 bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; }
100 bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; }
101 bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; }
102 bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; }
104 // Attribute flags
105 bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; }
107 // methodOop flags
108 bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; }
109 bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; }
110 bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; }
111 bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; }
112 bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; }
113 bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; }
114 bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; }
115 bool is_not_osr_compilable () const { return (_flags & JVM_ACC_NOT_OSR_COMPILABLE ) != 0; }
116 bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; }
117 bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; }
118 bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; }
119 bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; }
120 bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; }
121 bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; }
123 // JSR 292: A method of the form MethodHandle.invoke(A...)R method is
124 // neither bytecoded nor a JNI native, but rather a fast call through
125 // a lightweight method handle object. Because it is not bytecoded,
126 // it has the native bit set, but the monitor-match bit is also set
127 // to distinguish it from a JNI native (which never has the match bit set).
128 // The synthetic bit is also present, because such a method is never
129 // explicitly defined in Java code.
130 bool is_method_handle_invoke () const { return (_flags & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS; }
132 // klassOop flags
133 bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; }
134 bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; }
135 bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; }
136 bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; }
137 bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; }
138 // klassOop and methodOop flags
139 bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; }
140 void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
141 void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); }
143 // field flags
144 bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; }
145 bool is_field_modification_watched() const
146 { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; }
148 // get .class file flags
149 jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); }
151 // Initialization
152 void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); }
153 void set_field_flags(jint flags) { _flags = (flags & JVM_ACC_FIELD_FLAGS); }
154 void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); }
156 void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); }
157 void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); }
159 // Atomic update of flags
160 void atomic_set_bits(jint bits);
161 void atomic_clear_bits(jint bits);
163 private:
164 friend class methodOopDesc;
165 friend class Klass;
166 friend class ClassFileParser;
167 // the functions below should only be called on the _access_flags inst var directly,
168 // otherwise they are just changing a copy of the flags
170 // attribute flags
171 void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); }
173 // methodOop flags
174 void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); }
175 void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); }
176 void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); }
177 void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); }
178 void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); }
179 void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); }
180 void set_not_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_OSR_COMPILABLE); }
181 void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); }
182 void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); }
183 void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); }
184 void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); }
185 void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); }
186 void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); }
188 // klassOop flags
189 void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); }
190 void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); }
191 void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); }
192 void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); }
193 void set_has_miranda_methods() { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS); }
195 public:
196 // field flags
197 void set_is_field_access_watched(const bool value)
198 {
199 if (value) {
200 atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
201 } else {
202 atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED);
203 }
204 }
205 void set_is_field_modification_watched(const bool value)
206 {
207 if (value) {
208 atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
209 } else {
210 atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED);
211 }
212 }
214 // Conversion
215 jshort as_short() { return (jshort)_flags; }
216 jint as_int() { return _flags; }
218 inline friend AccessFlags accessFlags_from(jint flags);
220 // Printing/debugging
221 void print_on(outputStream* st) const PRODUCT_RETURN;
222 };
224 inline AccessFlags accessFlags_from(jint flags) {
225 AccessFlags af;
226 af._flags = flags;
227 return af;
228 }