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
duke@435 | 1 | /* |
iveresov@2138 | 2 | * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
duke@435 | 25 | // AccessFlags is an abstraction over Java access flags. |
duke@435 | 26 | |
duke@435 | 27 | |
duke@435 | 28 | enum { |
duke@435 | 29 | // See jvm.h for shared JVM_ACC_XXX access flags |
duke@435 | 30 | |
duke@435 | 31 | // HotSpot-specific access flags |
duke@435 | 32 | |
duke@435 | 33 | // flags actually put in .class file |
duke@435 | 34 | JVM_ACC_WRITTEN_FLAGS = 0x00007FFF, |
duke@435 | 35 | |
duke@435 | 36 | // methodOop flags |
duke@435 | 37 | JVM_ACC_MONITOR_MATCH = 0x10000000, // True if we know that monitorenter/monitorexit bytecodes match |
duke@435 | 38 | JVM_ACC_HAS_MONITOR_BYTECODES = 0x20000000, // Method contains monitorenter/monitorexit bytecodes |
duke@435 | 39 | JVM_ACC_HAS_LOOPS = 0x40000000, // Method has loops |
duke@435 | 40 | JVM_ACC_LOOPS_FLAG_INIT = (int)0x80000000,// The loop flag has been initialized |
duke@435 | 41 | JVM_ACC_QUEUED = 0x01000000, // Queued for compilation |
iveresov@2138 | 42 | JVM_ACC_NOT_C2_COMPILABLE = 0x02000000, |
iveresov@2138 | 43 | JVM_ACC_NOT_C1_COMPILABLE = 0x04000000, |
duke@435 | 44 | JVM_ACC_NOT_OSR_COMPILABLE = 0x08000000, |
duke@435 | 45 | JVM_ACC_HAS_LINE_NUMBER_TABLE = 0x00100000, |
duke@435 | 46 | JVM_ACC_HAS_CHECKED_EXCEPTIONS = 0x00400000, |
duke@435 | 47 | JVM_ACC_HAS_JSRS = 0x00800000, |
duke@435 | 48 | JVM_ACC_IS_OLD = 0x00010000, // RedefineClasses() has replaced this method |
duke@435 | 49 | JVM_ACC_IS_OBSOLETE = 0x00020000, // RedefineClasses() has made method obsolete |
duke@435 | 50 | JVM_ACC_IS_PREFIXED_NATIVE = 0x00040000, // JVMTI has prefixed this native method |
iveresov@2138 | 51 | |
jrose@1145 | 52 | JVM_MH_INVOKE_BITS // = 0x10001100 // MethodHandle.invoke quasi-native |
jrose@1145 | 53 | = (JVM_ACC_NATIVE | JVM_ACC_SYNTHETIC | JVM_ACC_MONITOR_MATCH), |
duke@435 | 54 | |
duke@435 | 55 | // klassOop flags |
duke@435 | 56 | JVM_ACC_HAS_MIRANDA_METHODS = 0x10000000, // True if this class has miranda methods in it's vtable |
duke@435 | 57 | JVM_ACC_HAS_VANILLA_CONSTRUCTOR = 0x20000000, // True if klass has a vanilla default constructor |
duke@435 | 58 | JVM_ACC_HAS_FINALIZER = 0x40000000, // True if klass has a non-empty finalize() method |
duke@435 | 59 | JVM_ACC_IS_CLONEABLE = (int)0x80000000,// True if klass supports the Clonable interface |
duke@435 | 60 | JVM_ACC_HAS_FINAL_METHOD = 0x01000000, // True if klass has final method |
duke@435 | 61 | |
duke@435 | 62 | // klassOop and methodOop flags |
duke@435 | 63 | JVM_ACC_HAS_LOCAL_VARIABLE_TABLE= 0x00200000, |
duke@435 | 64 | |
duke@435 | 65 | JVM_ACC_PROMOTED_FLAGS = 0x00200000, // flags promoted from methods to the holding klass |
duke@435 | 66 | |
duke@435 | 67 | // field flags |
duke@435 | 68 | // Note: these flags must be defined in the low order 16 bits because |
duke@435 | 69 | // instanceKlass only stores a ushort worth of information from the |
duke@435 | 70 | // AccessFlags value. |
duke@435 | 71 | // These bits must not conflict with any other field-related access flags |
duke@435 | 72 | // (e.g., ACC_ENUM). |
duke@435 | 73 | // Note that the class-related ACC_ANNOTATION bit conflicts with these flags. |
duke@435 | 74 | JVM_ACC_FIELD_ACCESS_WATCHED = 0x00002000, // field access is watched by JVMTI |
duke@435 | 75 | JVM_ACC_FIELD_MODIFICATION_WATCHED = 0x00008000, // field modification is watched by JVMTI |
duke@435 | 76 | |
duke@435 | 77 | // flags accepted by set_field_flags() |
duke@435 | 78 | JVM_ACC_FIELD_FLAGS = 0x00008000 | JVM_ACC_WRITTEN_FLAGS |
jrose@1145 | 79 | |
duke@435 | 80 | }; |
duke@435 | 81 | |
duke@435 | 82 | |
duke@435 | 83 | class AccessFlags VALUE_OBJ_CLASS_SPEC { |
duke@435 | 84 | friend class VMStructs; |
duke@435 | 85 | private: |
duke@435 | 86 | jint _flags; |
duke@435 | 87 | |
duke@435 | 88 | public: |
duke@435 | 89 | // Java access flags |
duke@435 | 90 | bool is_public () const { return (_flags & JVM_ACC_PUBLIC ) != 0; } |
duke@435 | 91 | bool is_private () const { return (_flags & JVM_ACC_PRIVATE ) != 0; } |
duke@435 | 92 | bool is_protected () const { return (_flags & JVM_ACC_PROTECTED ) != 0; } |
duke@435 | 93 | bool is_static () const { return (_flags & JVM_ACC_STATIC ) != 0; } |
duke@435 | 94 | bool is_final () const { return (_flags & JVM_ACC_FINAL ) != 0; } |
duke@435 | 95 | bool is_synchronized() const { return (_flags & JVM_ACC_SYNCHRONIZED) != 0; } |
duke@435 | 96 | bool is_super () const { return (_flags & JVM_ACC_SUPER ) != 0; } |
duke@435 | 97 | bool is_volatile () const { return (_flags & JVM_ACC_VOLATILE ) != 0; } |
duke@435 | 98 | bool is_transient () const { return (_flags & JVM_ACC_TRANSIENT ) != 0; } |
duke@435 | 99 | bool is_native () const { return (_flags & JVM_ACC_NATIVE ) != 0; } |
duke@435 | 100 | bool is_interface () const { return (_flags & JVM_ACC_INTERFACE ) != 0; } |
duke@435 | 101 | bool is_abstract () const { return (_flags & JVM_ACC_ABSTRACT ) != 0; } |
duke@435 | 102 | bool is_strict () const { return (_flags & JVM_ACC_STRICT ) != 0; } |
duke@435 | 103 | |
duke@435 | 104 | // Attribute flags |
duke@435 | 105 | bool is_synthetic () const { return (_flags & JVM_ACC_SYNTHETIC ) != 0; } |
duke@435 | 106 | |
duke@435 | 107 | // methodOop flags |
duke@435 | 108 | bool is_monitor_matching () const { return (_flags & JVM_ACC_MONITOR_MATCH ) != 0; } |
duke@435 | 109 | bool has_monitor_bytecodes () const { return (_flags & JVM_ACC_HAS_MONITOR_BYTECODES ) != 0; } |
duke@435 | 110 | bool has_loops () const { return (_flags & JVM_ACC_HAS_LOOPS ) != 0; } |
duke@435 | 111 | bool loops_flag_init () const { return (_flags & JVM_ACC_LOOPS_FLAG_INIT ) != 0; } |
duke@435 | 112 | bool queued_for_compilation () const { return (_flags & JVM_ACC_QUEUED ) != 0; } |
iveresov@2138 | 113 | bool is_not_c1_compilable () const { return (_flags & JVM_ACC_NOT_C1_COMPILABLE ) != 0; } |
iveresov@2138 | 114 | bool is_not_c2_compilable () const { return (_flags & JVM_ACC_NOT_C2_COMPILABLE ) != 0; } |
duke@435 | 115 | bool is_not_osr_compilable () const { return (_flags & JVM_ACC_NOT_OSR_COMPILABLE ) != 0; } |
duke@435 | 116 | bool has_linenumber_table () const { return (_flags & JVM_ACC_HAS_LINE_NUMBER_TABLE ) != 0; } |
duke@435 | 117 | bool has_checked_exceptions () const { return (_flags & JVM_ACC_HAS_CHECKED_EXCEPTIONS ) != 0; } |
duke@435 | 118 | bool has_jsrs () const { return (_flags & JVM_ACC_HAS_JSRS ) != 0; } |
duke@435 | 119 | bool is_old () const { return (_flags & JVM_ACC_IS_OLD ) != 0; } |
duke@435 | 120 | bool is_obsolete () const { return (_flags & JVM_ACC_IS_OBSOLETE ) != 0; } |
duke@435 | 121 | bool is_prefixed_native () const { return (_flags & JVM_ACC_IS_PREFIXED_NATIVE ) != 0; } |
duke@435 | 122 | |
jrose@1145 | 123 | // JSR 292: A method of the form MethodHandle.invoke(A...)R method is |
jrose@1145 | 124 | // neither bytecoded nor a JNI native, but rather a fast call through |
jrose@1145 | 125 | // a lightweight method handle object. Because it is not bytecoded, |
jrose@1145 | 126 | // it has the native bit set, but the monitor-match bit is also set |
jrose@1145 | 127 | // to distinguish it from a JNI native (which never has the match bit set). |
jrose@1145 | 128 | // The synthetic bit is also present, because such a method is never |
jrose@1145 | 129 | // explicitly defined in Java code. |
jrose@1145 | 130 | bool is_method_handle_invoke () const { return (_flags & JVM_MH_INVOKE_BITS) == JVM_MH_INVOKE_BITS; } |
jrose@1145 | 131 | |
duke@435 | 132 | // klassOop flags |
duke@435 | 133 | bool has_miranda_methods () const { return (_flags & JVM_ACC_HAS_MIRANDA_METHODS ) != 0; } |
duke@435 | 134 | bool has_vanilla_constructor () const { return (_flags & JVM_ACC_HAS_VANILLA_CONSTRUCTOR) != 0; } |
duke@435 | 135 | bool has_finalizer () const { return (_flags & JVM_ACC_HAS_FINALIZER ) != 0; } |
duke@435 | 136 | bool has_final_method () const { return (_flags & JVM_ACC_HAS_FINAL_METHOD ) != 0; } |
duke@435 | 137 | bool is_cloneable () const { return (_flags & JVM_ACC_IS_CLONEABLE ) != 0; } |
duke@435 | 138 | // klassOop and methodOop flags |
duke@435 | 139 | bool has_localvariable_table () const { return (_flags & JVM_ACC_HAS_LOCAL_VARIABLE_TABLE) != 0; } |
duke@435 | 140 | void set_has_localvariable_table() { atomic_set_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } |
duke@435 | 141 | void clear_has_localvariable_table() { atomic_clear_bits(JVM_ACC_HAS_LOCAL_VARIABLE_TABLE); } |
duke@435 | 142 | |
duke@435 | 143 | // field flags |
duke@435 | 144 | bool is_field_access_watched() const { return (_flags & JVM_ACC_FIELD_ACCESS_WATCHED) != 0; } |
duke@435 | 145 | bool is_field_modification_watched() const |
duke@435 | 146 | { return (_flags & JVM_ACC_FIELD_MODIFICATION_WATCHED) != 0; } |
duke@435 | 147 | |
duke@435 | 148 | // get .class file flags |
duke@435 | 149 | jint get_flags () const { return (_flags & JVM_ACC_WRITTEN_FLAGS); } |
duke@435 | 150 | |
duke@435 | 151 | // Initialization |
duke@435 | 152 | void add_promoted_flags(jint flags) { _flags |= (flags & JVM_ACC_PROMOTED_FLAGS); } |
duke@435 | 153 | void set_field_flags(jint flags) { _flags = (flags & JVM_ACC_FIELD_FLAGS); } |
duke@435 | 154 | void set_flags(jint flags) { _flags = (flags & JVM_ACC_WRITTEN_FLAGS); } |
duke@435 | 155 | |
duke@435 | 156 | void set_queued_for_compilation() { atomic_set_bits(JVM_ACC_QUEUED); } |
duke@435 | 157 | void clear_queued_for_compilation() { atomic_clear_bits(JVM_ACC_QUEUED); } |
duke@435 | 158 | |
duke@435 | 159 | // Atomic update of flags |
duke@435 | 160 | void atomic_set_bits(jint bits); |
duke@435 | 161 | void atomic_clear_bits(jint bits); |
duke@435 | 162 | |
duke@435 | 163 | private: |
duke@435 | 164 | friend class methodOopDesc; |
duke@435 | 165 | friend class Klass; |
duke@435 | 166 | friend class ClassFileParser; |
duke@435 | 167 | // the functions below should only be called on the _access_flags inst var directly, |
duke@435 | 168 | // otherwise they are just changing a copy of the flags |
duke@435 | 169 | |
duke@435 | 170 | // attribute flags |
duke@435 | 171 | void set_is_synthetic() { atomic_set_bits(JVM_ACC_SYNTHETIC); } |
duke@435 | 172 | |
duke@435 | 173 | // methodOop flags |
duke@435 | 174 | void set_monitor_matching() { atomic_set_bits(JVM_ACC_MONITOR_MATCH); } |
duke@435 | 175 | void set_has_monitor_bytecodes() { atomic_set_bits(JVM_ACC_HAS_MONITOR_BYTECODES); } |
duke@435 | 176 | void set_has_loops() { atomic_set_bits(JVM_ACC_HAS_LOOPS); } |
duke@435 | 177 | void set_loops_flag_init() { atomic_set_bits(JVM_ACC_LOOPS_FLAG_INIT); } |
iveresov@2138 | 178 | void set_not_c1_compilable() { atomic_set_bits(JVM_ACC_NOT_C1_COMPILABLE); } |
iveresov@2138 | 179 | void set_not_c2_compilable() { atomic_set_bits(JVM_ACC_NOT_C2_COMPILABLE); } |
duke@435 | 180 | void set_not_osr_compilable() { atomic_set_bits(JVM_ACC_NOT_OSR_COMPILABLE); } |
duke@435 | 181 | void set_has_linenumber_table() { atomic_set_bits(JVM_ACC_HAS_LINE_NUMBER_TABLE); } |
duke@435 | 182 | void set_has_checked_exceptions() { atomic_set_bits(JVM_ACC_HAS_CHECKED_EXCEPTIONS); } |
duke@435 | 183 | void set_has_jsrs() { atomic_set_bits(JVM_ACC_HAS_JSRS); } |
duke@435 | 184 | void set_is_old() { atomic_set_bits(JVM_ACC_IS_OLD); } |
duke@435 | 185 | void set_is_obsolete() { atomic_set_bits(JVM_ACC_IS_OBSOLETE); } |
duke@435 | 186 | void set_is_prefixed_native() { atomic_set_bits(JVM_ACC_IS_PREFIXED_NATIVE); } |
duke@435 | 187 | |
duke@435 | 188 | // klassOop flags |
duke@435 | 189 | void set_has_vanilla_constructor() { atomic_set_bits(JVM_ACC_HAS_VANILLA_CONSTRUCTOR); } |
duke@435 | 190 | void set_has_finalizer() { atomic_set_bits(JVM_ACC_HAS_FINALIZER); } |
duke@435 | 191 | void set_has_final_method() { atomic_set_bits(JVM_ACC_HAS_FINAL_METHOD); } |
duke@435 | 192 | void set_is_cloneable() { atomic_set_bits(JVM_ACC_IS_CLONEABLE); } |
duke@435 | 193 | void set_has_miranda_methods() { atomic_set_bits(JVM_ACC_HAS_MIRANDA_METHODS); } |
duke@435 | 194 | |
duke@435 | 195 | public: |
duke@435 | 196 | // field flags |
duke@435 | 197 | void set_is_field_access_watched(const bool value) |
duke@435 | 198 | { |
duke@435 | 199 | if (value) { |
duke@435 | 200 | atomic_set_bits(JVM_ACC_FIELD_ACCESS_WATCHED); |
duke@435 | 201 | } else { |
duke@435 | 202 | atomic_clear_bits(JVM_ACC_FIELD_ACCESS_WATCHED); |
duke@435 | 203 | } |
duke@435 | 204 | } |
duke@435 | 205 | void set_is_field_modification_watched(const bool value) |
duke@435 | 206 | { |
duke@435 | 207 | if (value) { |
duke@435 | 208 | atomic_set_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED); |
duke@435 | 209 | } else { |
duke@435 | 210 | atomic_clear_bits(JVM_ACC_FIELD_MODIFICATION_WATCHED); |
duke@435 | 211 | } |
duke@435 | 212 | } |
duke@435 | 213 | |
duke@435 | 214 | // Conversion |
duke@435 | 215 | jshort as_short() { return (jshort)_flags; } |
duke@435 | 216 | jint as_int() { return _flags; } |
duke@435 | 217 | |
jrose@1145 | 218 | inline friend AccessFlags accessFlags_from(jint flags); |
jrose@1145 | 219 | |
duke@435 | 220 | // Printing/debugging |
duke@435 | 221 | void print_on(outputStream* st) const PRODUCT_RETURN; |
duke@435 | 222 | }; |
jrose@1145 | 223 | |
jrose@1145 | 224 | inline AccessFlags accessFlags_from(jint flags) { |
jrose@1145 | 225 | AccessFlags af; |
jrose@1145 | 226 | af._flags = flags; |
jrose@1145 | 227 | return af; |
jrose@1145 | 228 | } |