Mercurial > hg > truffle
annotate src/share/vm/interpreter/linkResolver.hpp @ 1716:be3f9c242c9d
6948538: CMS: BOT walkers can fall into object allocation and initialization cracks
Summary: GC workers now recognize an intermediate transient state of blocks which are allocated but have not yet completed initialization. blk_start() calls do not attempt to determine the size of a block in the transient state, rather waiting for the block to become initialized so that it is safe to query its size. Audited and ensured the order of initialization of object fields (klass, free bit and size) to respect block state transition protocol. Also included some new assertion checking code enabled in debug mode.
Reviewed-by: chrisphi, johnc, poonam
| author | ysr |
|---|---|
| date | Mon, 16 Aug 2010 15:58:42 -0700 |
| parents | 083fde3b838e |
| children | f95d63e2154a |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1508
diff
changeset
|
2 * Copyright (c) 1997, 2009, Oracle and/or its affiliates. All rights reserved. |
| 0 | 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 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1508
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1508
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1508
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 25 // All the necessary definitions for run-time link resolution. | |
| 26 | |
| 27 // LinkInfo & its subclasses provide all the information gathered | |
| 28 // for a particular link after resolving it. A link is any reference | |
| 29 // made from within the bytecodes of a method to an object outside of | |
| 30 // that method. If the info is invalid, the link has not been resolved | |
| 31 // successfully. | |
| 32 | |
| 33 class LinkInfo VALUE_OBJ_CLASS_SPEC { | |
| 34 }; | |
| 35 | |
| 36 | |
| 37 // Link information for getfield/putfield & getstatic/putstatic bytecodes. | |
| 38 | |
| 39 class FieldAccessInfo: public LinkInfo { | |
| 40 protected: | |
| 41 KlassHandle _klass; | |
| 42 symbolHandle _name; | |
| 43 AccessFlags _access_flags; | |
| 44 int _field_index; // original index in the klass | |
| 45 int _field_offset; | |
| 46 BasicType _field_type; | |
| 47 | |
| 48 public: | |
| 49 void set(KlassHandle klass, symbolHandle name, int field_index, int field_offset, | |
| 50 BasicType field_type, AccessFlags access_flags); | |
| 51 KlassHandle klass() const { return _klass; } | |
| 52 symbolHandle name() const { return _name; } | |
| 53 int field_index() const { return _field_index; } | |
| 54 int field_offset() const { return _field_offset; } | |
| 55 BasicType field_type() const { return _field_type; } | |
| 56 AccessFlags access_flags() const { return _access_flags; } | |
| 57 | |
| 58 // debugging | |
| 59 void print() PRODUCT_RETURN; | |
| 60 }; | |
| 61 | |
| 62 | |
| 63 // Link information for all calls. | |
| 64 | |
| 65 class CallInfo: public LinkInfo { | |
| 66 private: | |
| 67 KlassHandle _resolved_klass; // static receiver klass | |
| 68 KlassHandle _selected_klass; // dynamic receiver class (same as static, or subklass) | |
| 69 methodHandle _resolved_method; // static target method | |
| 70 methodHandle _selected_method; // dynamic (actual) target method | |
| 71 int _vtable_index; // vtable index of selected method | |
| 72 | |
| 73 void set_static( KlassHandle resolved_klass, methodHandle resolved_method , TRAPS); | |
| 74 void set_interface(KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method , TRAPS); | |
| 75 void set_virtual( KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method, int vtable_index, TRAPS); | |
|
1660
083fde3b838e
6964498: JSR 292 invokedynamic sites need local bootstrap methods
jrose
parents:
1552
diff
changeset
|
76 void set_dynamic( methodHandle resolved_method, TRAPS); |
| 0 | 77 void set_common( KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method, int vtable_index, TRAPS); |
| 78 | |
| 79 friend class LinkResolver; | |
| 80 | |
| 81 public: | |
| 82 KlassHandle resolved_klass() const { return _resolved_klass; } | |
| 83 KlassHandle selected_klass() const { return _selected_klass; } | |
| 84 methodHandle resolved_method() const { return _resolved_method; } | |
| 85 methodHandle selected_method() const { return _selected_method; } | |
| 86 | |
| 87 BasicType result_type() const { return selected_method()->result_type(); } | |
| 88 bool has_vtable_index() const { return _vtable_index >= 0; } | |
| 89 bool is_statically_bound() const { return _vtable_index == methodOopDesc::nonvirtual_vtable_index; } | |
| 90 int vtable_index() const { | |
| 91 // Even for interface calls the vtable index could be non-negative. | |
| 92 // See CallInfo::set_interface. | |
| 93 assert(has_vtable_index() || is_statically_bound(), ""); | |
| 94 return _vtable_index; | |
| 95 } | |
| 96 }; | |
| 97 | |
| 98 | |
| 99 // The LinkResolver is used to resolve constant-pool references at run-time. | |
| 100 // It does all necessary link-time checks & throws exceptions if necessary. | |
| 101 | |
| 102 class LinkResolver: AllStatic { | |
| 103 private: | |
| 104 static void lookup_method_in_klasses (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); | |
| 105 static void lookup_instance_method_in_klasses (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); | |
| 106 static void lookup_method_in_interfaces (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); | |
|
1508
2ffde6cfe049
6939196: method handle signatures off the boot class path get linkage errors
jrose
parents:
1135
diff
changeset
|
107 static void lookup_implicit_method (methodHandle& result, KlassHandle klass, symbolHandle name, symbolHandle signature, |
|
2ffde6cfe049
6939196: method handle signatures off the boot class path get linkage errors
jrose
parents:
1135
diff
changeset
|
108 KlassHandle current_klass, TRAPS); |
| 0 | 109 |
| 110 static int vtable_index_of_miranda_method(KlassHandle klass, symbolHandle name, symbolHandle signature, TRAPS); | |
| 111 | |
| 112 static void resolve_klass (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); | |
| 113 static void resolve_klass_no_update (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); // no update of constantPool entry | |
| 114 | |
| 115 static void resolve_pool (KlassHandle& resolved_klass, symbolHandle& method_name, symbolHandle& method_signature, KlassHandle& current_klass, constantPoolHandle pool, int index, TRAPS); | |
| 116 | |
| 117 static void resolve_interface_method(methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 118 static void resolve_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 119 | |
| 120 static void linktime_resolve_static_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 121 static void linktime_resolve_special_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 122 static void linktime_resolve_virtual_method (methodHandle &resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature,KlassHandle current_klass, bool check_access, TRAPS); | |
| 123 static void linktime_resolve_interface_method (methodHandle& resolved_method, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 124 | |
| 125 static void runtime_resolve_special_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, KlassHandle current_klass, bool check_access, TRAPS); | |
| 126 static void runtime_resolve_virtual_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); | |
| 127 static void runtime_resolve_interface_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, Handle recv, KlassHandle recv_klass, bool check_null_and_abstract, TRAPS); | |
| 128 | |
| 129 static void check_field_accessability (KlassHandle ref_klass, KlassHandle resolved_klass, KlassHandle sel_klass, fieldDescriptor& fd, TRAPS); | |
| 130 static void check_method_accessability (KlassHandle ref_klass, KlassHandle resolved_klass, KlassHandle sel_klass, methodHandle sel_method, TRAPS); | |
| 131 | |
| 132 public: | |
| 133 // constant pool resolving | |
| 134 static void check_klass_accessability(KlassHandle ref_klass, KlassHandle sel_klass, TRAPS); | |
| 135 | |
| 136 // static resolving for all calls except interface calls | |
| 137 static void resolve_method (methodHandle& method_result, KlassHandle& klass_result, constantPoolHandle pool, int index, TRAPS); | |
|
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
726
diff
changeset
|
138 static void resolve_dynamic_method (methodHandle& resolved_method, KlassHandle& resolved_klass, constantPoolHandle pool, int index, TRAPS); |
| 0 | 139 static void resolve_interface_method(methodHandle& method_result, KlassHandle& klass_result, constantPoolHandle pool, int index, TRAPS); |
| 140 | |
| 141 // runtime/static resolving for fields | |
| 142 static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, TRAPS); | |
| 143 // takes an extra bool argument "update_pool" to decide whether to update the constantPool during klass resolution. | |
| 144 static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, bool update_pool, TRAPS); | |
| 145 | |
| 146 // runtime resolving: | |
| 147 // resolved_klass = specified class (i.e., static receiver class) | |
| 148 // current_klass = sending method holder (i.e., class containing the method containing the call being resolved) | |
| 149 static void resolve_static_call (CallInfo& result, KlassHandle& resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool initialize_klass, TRAPS); | |
| 150 static void resolve_special_call (CallInfo& result, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, TRAPS); | |
| 151 static void resolve_virtual_call (CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); | |
| 152 static void resolve_interface_call(CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); | |
| 153 | |
| 154 // same as above for compile-time resolution; but returns null handle instead of throwing an exception on error | |
| 155 // also, does not initialize klass (i.e., no side effects) | |
| 156 static methodHandle resolve_virtual_call_or_null (KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); | |
| 157 static methodHandle resolve_interface_call_or_null(KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); | |
| 158 static methodHandle resolve_static_call_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); | |
| 159 static methodHandle resolve_special_call_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); | |
| 160 | |
| 161 // same as above for compile-time resolution; returns vtable_index if current_klass if linked | |
| 162 static int resolve_virtual_vtable_index (KlassHandle receiver_klass, KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass); | |
| 163 | |
| 164 // static resolving for compiler (does not throw exceptions, returns null handle if unsuccessful) | |
| 165 static methodHandle linktime_resolve_virtual_method_or_null (KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access); | |
| 166 static methodHandle linktime_resolve_interface_method_or_null(KlassHandle resolved_klass, symbolHandle method_name, symbolHandle method_signature, KlassHandle current_klass, bool check_access); | |
| 167 | |
| 168 // runtime resolving from constant pool | |
| 169 static void resolve_invokestatic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); | |
| 170 static void resolve_invokespecial (CallInfo& result, constantPoolHandle pool, int index, TRAPS); | |
| 171 static void resolve_invokevirtual (CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); | |
| 172 static void resolve_invokeinterface(CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); | |
|
726
be93aad57795
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
710
diff
changeset
|
173 static void resolve_invokedynamic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
| 0 | 174 |
| 175 static void resolve_invoke (CallInfo& result, Handle recv, constantPoolHandle pool, int index, Bytecodes::Code byte, TRAPS); | |
| 176 }; |