author | jiangli |
Tue, 26 Jun 2012 19:08:44 -0400 | |
changeset 13282 | 9872915dd78d |
parent 8921 | 14bfe81f2a9d |
child 13391 | 30245956af37 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
8921
14bfe81f2a9d
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
8076
diff
changeset
|
2 |
* Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved. |
1 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5421
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5421
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5421
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#ifndef SHARE_VM_INTERPRETER_LINKRESOLVER_HPP |
26 |
#define SHARE_VM_INTERPRETER_LINKRESOLVER_HPP |
|
27 |
||
28 |
#include "oops/methodOop.hpp" |
|
29 |
#include "utilities/top.hpp" |
|
30 |
||
1 | 31 |
// All the necessary definitions for run-time link resolution. |
32 |
||
33 |
// LinkInfo & its subclasses provide all the information gathered |
|
34 |
// for a particular link after resolving it. A link is any reference |
|
35 |
// made from within the bytecodes of a method to an object outside of |
|
36 |
// that method. If the info is invalid, the link has not been resolved |
|
37 |
// successfully. |
|
38 |
||
39 |
class LinkInfo VALUE_OBJ_CLASS_SPEC { |
|
40 |
}; |
|
41 |
||
42 |
||
43 |
// Link information for getfield/putfield & getstatic/putstatic bytecodes. |
|
44 |
||
45 |
class FieldAccessInfo: public LinkInfo { |
|
46 |
protected: |
|
47 |
KlassHandle _klass; |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
48 |
Symbol* _name; |
1 | 49 |
AccessFlags _access_flags; |
50 |
int _field_index; // original index in the klass |
|
51 |
int _field_offset; |
|
52 |
BasicType _field_type; |
|
53 |
||
54 |
public: |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
55 |
void set(KlassHandle klass, Symbol* name, int field_index, int field_offset, |
1 | 56 |
BasicType field_type, AccessFlags access_flags); |
57 |
KlassHandle klass() const { return _klass; } |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
58 |
Symbol* name() const { return _name; } |
1 | 59 |
int field_index() const { return _field_index; } |
60 |
int field_offset() const { return _field_offset; } |
|
61 |
BasicType field_type() const { return _field_type; } |
|
62 |
AccessFlags access_flags() const { return _access_flags; } |
|
63 |
||
64 |
// debugging |
|
65 |
void print() PRODUCT_RETURN; |
|
66 |
}; |
|
67 |
||
68 |
||
69 |
// Link information for all calls. |
|
70 |
||
71 |
class CallInfo: public LinkInfo { |
|
72 |
private: |
|
73 |
KlassHandle _resolved_klass; // static receiver klass |
|
74 |
KlassHandle _selected_klass; // dynamic receiver class (same as static, or subklass) |
|
75 |
methodHandle _resolved_method; // static target method |
|
76 |
methodHandle _selected_method; // dynamic (actual) target method |
|
77 |
int _vtable_index; // vtable index of selected method |
|
78 |
||
79 |
void set_static( KlassHandle resolved_klass, methodHandle resolved_method , TRAPS); |
|
80 |
void set_interface(KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method , TRAPS); |
|
81 |
void set_virtual( KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method, int vtable_index, TRAPS); |
|
6062
bab93afe9df7
6964498: JSR 292 invokedynamic sites need local bootstrap methods
jrose
parents:
5547
diff
changeset
|
82 |
void set_dynamic( methodHandle resolved_method, TRAPS); |
1 | 83 |
void set_common( KlassHandle resolved_klass, KlassHandle selected_klass, methodHandle resolved_method, methodHandle selected_method, int vtable_index, TRAPS); |
84 |
||
85 |
friend class LinkResolver; |
|
86 |
||
87 |
public: |
|
88 |
KlassHandle resolved_klass() const { return _resolved_klass; } |
|
89 |
KlassHandle selected_klass() const { return _selected_klass; } |
|
90 |
methodHandle resolved_method() const { return _resolved_method; } |
|
91 |
methodHandle selected_method() const { return _selected_method; } |
|
92 |
||
93 |
BasicType result_type() const { return selected_method()->result_type(); } |
|
94 |
bool has_vtable_index() const { return _vtable_index >= 0; } |
|
95 |
bool is_statically_bound() const { return _vtable_index == methodOopDesc::nonvirtual_vtable_index; } |
|
96 |
int vtable_index() const { |
|
97 |
// Even for interface calls the vtable index could be non-negative. |
|
98 |
// See CallInfo::set_interface. |
|
99 |
assert(has_vtable_index() || is_statically_bound(), ""); |
|
100 |
return _vtable_index; |
|
101 |
} |
|
102 |
}; |
|
103 |
||
104 |
||
105 |
// The LinkResolver is used to resolve constant-pool references at run-time. |
|
106 |
// It does all necessary link-time checks & throws exceptions if necessary. |
|
107 |
||
108 |
class LinkResolver: AllStatic { |
|
109 |
private: |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
110 |
static void lookup_method_in_klasses (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
111 |
static void lookup_instance_method_in_klasses (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
112 |
static void lookup_method_in_interfaces (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
113 |
static void lookup_implicit_method (methodHandle& result, KlassHandle klass, Symbol* name, Symbol* signature, |
5421
e294db54fc0d
6939196: method handle signatures off the boot class path get linkage errors
jrose
parents:
4564
diff
changeset
|
114 |
KlassHandle current_klass, TRAPS); |
1 | 115 |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
116 |
static int vtable_index_of_miranda_method(KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); |
1 | 117 |
|
118 |
static void resolve_klass (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); |
|
119 |
static void resolve_klass_no_update (KlassHandle& result, constantPoolHandle pool, int index, TRAPS); // no update of constantPool entry |
|
120 |
||
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
121 |
static void resolve_pool (KlassHandle& resolved_klass, Symbol*& method_name, Symbol*& method_signature, KlassHandle& current_klass, constantPoolHandle pool, int index, TRAPS); |
1 | 122 |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
123 |
static void resolve_interface_method(methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
124 |
static void resolve_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
1 | 125 |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
126 |
static void linktime_resolve_static_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
127 |
static void linktime_resolve_special_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
128 |
static void linktime_resolve_virtual_method (methodHandle &resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature,KlassHandle current_klass, bool check_access, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
129 |
static void linktime_resolve_interface_method (methodHandle& resolved_method, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
1 | 130 |
|
131 |
static void runtime_resolve_special_method (CallInfo& result, methodHandle resolved_method, KlassHandle resolved_klass, KlassHandle current_klass, bool check_access, TRAPS); |
|
132 |
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); |
|
133 |
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); |
|
134 |
||
135 |
static void check_field_accessability (KlassHandle ref_klass, KlassHandle resolved_klass, KlassHandle sel_klass, fieldDescriptor& fd, TRAPS); |
|
136 |
static void check_method_accessability (KlassHandle ref_klass, KlassHandle resolved_klass, KlassHandle sel_klass, methodHandle sel_method, TRAPS); |
|
137 |
||
138 |
public: |
|
139 |
// constant pool resolving |
|
140 |
static void check_klass_accessability(KlassHandle ref_klass, KlassHandle sel_klass, TRAPS); |
|
141 |
||
142 |
// static resolving for all calls except interface calls |
|
143 |
static void resolve_method (methodHandle& method_result, KlassHandle& klass_result, constantPoolHandle pool, int index, TRAPS); |
|
4564
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
2570
diff
changeset
|
144 |
static void resolve_dynamic_method (methodHandle& resolved_method, KlassHandle& resolved_klass, constantPoolHandle pool, int index, TRAPS); |
1 | 145 |
static void resolve_interface_method(methodHandle& method_result, KlassHandle& klass_result, constantPoolHandle pool, int index, TRAPS); |
146 |
||
147 |
// runtime/static resolving for fields |
|
148 |
static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, TRAPS); |
|
149 |
// takes an extra bool argument "update_pool" to decide whether to update the constantPool during klass resolution. |
|
150 |
static void resolve_field(FieldAccessInfo& result, constantPoolHandle pool, int index, Bytecodes::Code byte, bool check_only, bool update_pool, TRAPS); |
|
151 |
||
152 |
// runtime resolving: |
|
153 |
// resolved_klass = specified class (i.e., static receiver class) |
|
154 |
// current_klass = sending method holder (i.e., class containing the method containing the call being resolved) |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
155 |
static void resolve_static_call (CallInfo& result, KlassHandle& resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool initialize_klass, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
156 |
static void resolve_special_call (CallInfo& result, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
157 |
static void resolve_virtual_call (CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
158 |
static void resolve_interface_call(CallInfo& result, Handle recv, KlassHandle recv_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access, bool check_null_and_abstract, TRAPS); |
1 | 159 |
|
160 |
// same as above for compile-time resolution; but returns null handle instead of throwing an exception on error |
|
161 |
// also, does not initialize klass (i.e., no side effects) |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
162 |
static methodHandle resolve_virtual_call_or_null (KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
163 |
static methodHandle resolve_interface_call_or_null(KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
164 |
static methodHandle resolve_static_call_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
165 |
static methodHandle resolve_special_call_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
1 | 166 |
|
167 |
// same as above for compile-time resolution; returns vtable_index if current_klass if linked |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
168 |
static int resolve_virtual_vtable_index (KlassHandle receiver_klass, KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass); |
1 | 169 |
|
170 |
// static resolving for compiler (does not throw exceptions, returns null handle if unsuccessful) |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
171 |
static methodHandle linktime_resolve_virtual_method_or_null (KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7397
diff
changeset
|
172 |
static methodHandle linktime_resolve_interface_method_or_null(KlassHandle resolved_klass, Symbol* method_name, Symbol* method_signature, KlassHandle current_klass, bool check_access); |
1 | 173 |
|
174 |
// runtime resolving from constant pool |
|
175 |
static void resolve_invokestatic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
|
176 |
static void resolve_invokespecial (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
|
177 |
static void resolve_invokevirtual (CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); |
|
178 |
static void resolve_invokeinterface(CallInfo& result, Handle recv, constantPoolHandle pool, int index, TRAPS); |
|
2570
ecc7862946d4
6655646: dynamic languages need dynamically linked call sites
jrose
parents:
2534
diff
changeset
|
179 |
static void resolve_invokedynamic (CallInfo& result, constantPoolHandle pool, int index, TRAPS); |
1 | 180 |
|
181 |
static void resolve_invoke (CallInfo& result, Handle recv, constantPoolHandle pool, int index, Bytecodes::Code byte, TRAPS); |
|
182 |
}; |
|
7397 | 183 |
|
184 |
#endif // SHARE_VM_INTERPRETER_LINKRESOLVER_HPP |