annotate src/share/vm/ci/ciObjectFactory.cpp @ 4977:532be189cf09

Reducing diff to hsx24
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 27 Feb 2012 17:06:18 +0100
parents 04b9a2566eec
children 957c266d8bc5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
2357
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2177
diff changeset
2 * Copyright (c) 1999, 2011, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1507
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1507
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: 1507
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
26 #include "ci/ciCPCache.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
27 #include "ci/ciCallSite.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
28 #include "ci/ciInstance.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
29 #include "ci/ciInstanceKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
30 #include "ci/ciInstanceKlassKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
31 #include "ci/ciMethod.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
32 #include "ci/ciMethodData.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
33 #include "ci/ciMethodHandle.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
34 #include "ci/ciMethodKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
35 #include "ci/ciNullObject.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
36 #include "ci/ciObjArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
37 #include "ci/ciObjArrayKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
38 #include "ci/ciObjArrayKlassKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
39 #include "ci/ciObjectFactory.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
40 #include "ci/ciSymbol.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
41 #include "ci/ciTypeArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
42 #include "ci/ciTypeArrayKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
43 #include "ci/ciTypeArrayKlassKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
44 #include "ci/ciUtilities.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
45 #include "classfile/systemDictionary.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
46 #include "gc_interface/collectedHeap.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
47 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
48 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
49 #include "oops/oop.inline2.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1602
diff changeset
50 #include "runtime/fieldType.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
53 //
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // This class handles requests for the creation of new instances
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // of ciObject and its subclasses. It contains a caching mechanism
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // which ensures that for each oop, at most one ciObject is created.
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // This invariant allows more efficient implementation of ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
58 //
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Implementation note: the oop->ciObject mapping is represented as
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // a table stored in an array. Even though objects are moved
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // by the garbage collector, the compactor preserves their relative
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // order; address comparison of oops (in perm space) is safe so long
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // as we prohibit GC during our comparisons. We currently use binary
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // search to find the oop in the table, and inserting a new oop
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // into the table may be costly. If this cost ends up being
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // problematic the underlying data structure can be switched to some
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // sort of balanced binary tree.
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 GrowableArray<ciObject*>* ciObjectFactory::_shared_ci_objects = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 ciSymbol* ciObjectFactory::_shared_ci_symbols[vmSymbols::SID_LIMIT];
a61af66fc99e Initial load
duke
parents:
diff changeset
71 int ciObjectFactory::_shared_ident_limit = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 volatile bool ciObjectFactory::_initialized = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // ciObjectFactory::ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
77 ciObjectFactory::ciObjectFactory(Arena* arena,
a61af66fc99e Initial load
duke
parents:
diff changeset
78 int expected_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 for (int i = 0; i < NON_PERM_BUCKETS; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
81 _non_perm_bucket[i] = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
82 }
a61af66fc99e Initial load
duke
parents:
diff changeset
83 _non_perm_count = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 _next_ident = _shared_ident_limit;
a61af66fc99e Initial load
duke
parents:
diff changeset
86 _arena = arena;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 _ci_objects = new (arena) GrowableArray<ciObject*>(arena, expected_size, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // If the shared ci objects exist append them to this factory's objects
4977
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
90 #ifndef GRAAL
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
91 if (_shared_ci_objects != NULL) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
92 _ci_objects->appendAll(_shared_ci_objects);
4977
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
93 }
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
94 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 _unloaded_methods = new (arena) GrowableArray<ciMethod*>(arena, 4, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
97 _unloaded_klasses = new (arena) GrowableArray<ciKlass*>(arena, 8, 0, NULL);
1602
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
98 _unloaded_instances = new (arena) GrowableArray<ciInstance*>(arena, 4, 0, NULL);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
99 _return_addresses =
a61af66fc99e Initial load
duke
parents:
diff changeset
100 new (arena) GrowableArray<ciReturnAddress*>(arena, 8, 0, NULL);
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
101
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
102 _symbols = new (arena) GrowableArray<ciSymbol*>(arena, 100, 0, NULL);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
103 }
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // ciObjectFactory::ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
107 void ciObjectFactory::initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
108 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 JavaThread* thread = JavaThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
110 HandleMark handle_mark(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // This Arena is long lived and exists in the resource mark of the
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // compiler thread that initializes the initial ciObjectFactory which
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // creates the shared ciObjects that all later ciObjectFactories use.
a61af66fc99e Initial load
duke
parents:
diff changeset
115 Arena* arena = new Arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
116 ciEnv initial(arena);
a61af66fc99e Initial load
duke
parents:
diff changeset
117 ciEnv* env = ciEnv::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
118 env->_factory->init_shared_objects();
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 _initialized = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122 }
a61af66fc99e Initial load
duke
parents:
diff changeset
123
a61af66fc99e Initial load
duke
parents:
diff changeset
124 void ciObjectFactory::init_shared_objects() {
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 _next_ident = 1; // start numbering CI objects at 1
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // Create the shared symbols, but not in _shared_ci_objects.
a61af66fc99e Initial load
duke
parents:
diff changeset
130 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
131 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
132 Symbol* vmsym = vmSymbols::symbol_at((vmSymbols::SID) i);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
133 assert(vmSymbols::find_sid(vmsym) == i, "1-1 mapping");
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
134 ciSymbol* sym = new (_arena) ciSymbol(vmsym, (vmSymbols::SID) i);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
135 init_ident_of(sym);
a61af66fc99e Initial load
duke
parents:
diff changeset
136 _shared_ci_symbols[i] = sym;
a61af66fc99e Initial load
duke
parents:
diff changeset
137 }
a61af66fc99e Initial load
duke
parents:
diff changeset
138 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
139 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
140 Symbol* vmsym = vmSymbols::symbol_at((vmSymbols::SID) i);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
141 ciSymbol* sym = vm_symbol_at((vmSymbols::SID) i);
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
142 assert(sym->get_symbol() == vmsym, "oop must match");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
143 }
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
144 assert(ciSymbol::void_class_signature()->get_symbol() == vmSymbols::void_class_signature(), "spot check");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
145 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
146 }
a61af66fc99e Initial load
duke
parents:
diff changeset
147
a61af66fc99e Initial load
duke
parents:
diff changeset
148 _ci_objects = new (_arena) GrowableArray<ciObject*>(_arena, 64, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
149
a61af66fc99e Initial load
duke
parents:
diff changeset
150 for (int i = T_BOOLEAN; i <= T_CONFLICT; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 BasicType t = (BasicType)i;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
152 if (type2name(t) != NULL && t != T_OBJECT && t != T_ARRAY && t != T_NARROWOOP) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
153 ciType::_basic_types[t] = new (_arena) ciType(t);
a61af66fc99e Initial load
duke
parents:
diff changeset
154 init_ident_of(ciType::_basic_types[t]);
a61af66fc99e Initial load
duke
parents:
diff changeset
155 }
a61af66fc99e Initial load
duke
parents:
diff changeset
156 }
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 ciEnv::_null_object_instance = new (_arena) ciNullObject();
a61af66fc99e Initial load
duke
parents:
diff changeset
159 init_ident_of(ciEnv::_null_object_instance);
a61af66fc99e Initial load
duke
parents:
diff changeset
160 ciEnv::_method_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
161 get(Universe::methodKlassObj())->as_method_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
162 ciEnv::_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
163 get(Universe::klassKlassObj())->as_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
164 ciEnv::_instance_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
165 get(Universe::instanceKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
166 ->as_instance_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
167 ciEnv::_type_array_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
168 get(Universe::typeArrayKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
169 ->as_type_array_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
170 ciEnv::_obj_array_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
171 get(Universe::objArrayKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
172 ->as_obj_array_klass_klass();
1142
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
173
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
174 #define WK_KLASS_DEFN(name, ignore_s, opt) \
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
175 if (SystemDictionary::name() != NULL) \
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
176 ciEnv::_##name = get(SystemDictionary::name())->as_instance_klass();
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
177
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
178 WK_KLASSES_DO(WK_KLASS_DEFN)
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
179 #undef WK_KLASS_DEFN
0
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 for (int len = -1; len != _ci_objects->length(); ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
182 len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
183 for (int i2 = 0; i2 < len; i2++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 ciObject* obj = _ci_objects->at(i2);
a61af66fc99e Initial load
duke
parents:
diff changeset
185 if (obj->is_loaded() && obj->is_instance_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 obj->as_instance_klass()->compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
187 }
a61af66fc99e Initial load
duke
parents:
diff changeset
188 }
a61af66fc99e Initial load
duke
parents:
diff changeset
189 }
a61af66fc99e Initial load
duke
parents:
diff changeset
190
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
191 ciEnv::_unloaded_cisymbol = ciObjectFactory::get_symbol(vmSymbols::dummy_symbol());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
192 // Create dummy instanceKlass and objArrayKlass object and assign them idents
a61af66fc99e Initial load
duke
parents:
diff changeset
193 ciEnv::_unloaded_ciinstance_klass = new (_arena) ciInstanceKlass(ciEnv::_unloaded_cisymbol, NULL, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
194 init_ident_of(ciEnv::_unloaded_ciinstance_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
195 ciEnv::_unloaded_ciobjarrayklass = new (_arena) ciObjArrayKlass(ciEnv::_unloaded_cisymbol, ciEnv::_unloaded_ciinstance_klass, 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
196 init_ident_of(ciEnv::_unloaded_ciobjarrayklass);
a61af66fc99e Initial load
duke
parents:
diff changeset
197 assert(ciEnv::_unloaded_ciobjarrayklass->is_obj_array_klass(), "just checking");
a61af66fc99e Initial load
duke
parents:
diff changeset
198
a61af66fc99e Initial load
duke
parents:
diff changeset
199 get(Universe::boolArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
200 get(Universe::charArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
201 get(Universe::singleArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
202 get(Universe::doubleArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
203 get(Universe::byteArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
204 get(Universe::shortArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
205 get(Universe::intArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
206 get(Universe::longArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208
a61af66fc99e Initial load
duke
parents:
diff changeset
209
a61af66fc99e Initial load
duke
parents:
diff changeset
210 assert(_non_perm_count == 0, "no shared non-perm objects");
a61af66fc99e Initial load
duke
parents:
diff changeset
211
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // The shared_ident_limit is the first ident number that will
a61af66fc99e Initial load
duke
parents:
diff changeset
213 // be used for non-shared objects. That is, numbers less than
a61af66fc99e Initial load
duke
parents:
diff changeset
214 // this limit are permanently assigned to shared CI objects,
a61af66fc99e Initial load
duke
parents:
diff changeset
215 // while the higher numbers are recycled afresh by each new ciEnv.
a61af66fc99e Initial load
duke
parents:
diff changeset
216
a61af66fc99e Initial load
duke
parents:
diff changeset
217 _shared_ident_limit = _next_ident;
a61af66fc99e Initial load
duke
parents:
diff changeset
218 _shared_ci_objects = _ci_objects;
a61af66fc99e Initial load
duke
parents:
diff changeset
219 }
a61af66fc99e Initial load
duke
parents:
diff changeset
220
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
221
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
222 ciSymbol* ciObjectFactory::get_symbol(Symbol* key) {
4977
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
223 #ifndef GRAAL
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
224 vmSymbols::SID sid = vmSymbols::find_sid(key);
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
225 if (sid != vmSymbols::NO_SID) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
226 // do not pollute the main cache with it
4977
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
227 return vm_symbol_at(sid);
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
228 }
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
229
4977
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
230 assert(vmSymbols::find_sid(key) == vmSymbols::NO_SID, "");
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
231 #endif
532be189cf09 Reducing diff to hsx24
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 4137
diff changeset
232
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
233 ciSymbol* s = new (arena()) ciSymbol(key, vmSymbols::NO_SID);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
234 _symbols->push(s);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
235 return s;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
236 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
237
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
238 // Decrement the refcount when done on symbols referenced by this compilation.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
239 void ciObjectFactory::remove_symbols() {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
240 for (int i = 0; i < _symbols->length(); i++) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
241 ciSymbol* s = _symbols->at(i);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
242 s->get_symbol()->decrement_refcount();
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
243 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
244 // Since _symbols is resource allocated we're not allowed to delete it
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
245 // but it'll go away just the same.
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
246 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
247
0
a61af66fc99e Initial load
duke
parents:
diff changeset
248 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
249 // ciObjectFactory::get
a61af66fc99e Initial load
duke
parents:
diff changeset
250 //
a61af66fc99e Initial load
duke
parents:
diff changeset
251 // Get the ciObject corresponding to some oop. If the ciObject has
a61af66fc99e Initial load
duke
parents:
diff changeset
252 // already been created, it is returned. Otherwise, a new ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
253 // is created.
a61af66fc99e Initial load
duke
parents:
diff changeset
254 ciObject* ciObjectFactory::get(oop key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
255 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
256
a61af66fc99e Initial load
duke
parents:
diff changeset
257 #ifdef ASSERT
909
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
258 if (CIObjectFactoryVerify) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
259 oop last = NULL;
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
260 for (int j = 0; j< _ci_objects->length(); j++) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
261 oop o = _ci_objects->at(j)->get_oop();
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
262 assert(last < o, "out of order");
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
263 last = o;
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
264 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
265 }
a61af66fc99e Initial load
duke
parents:
diff changeset
266 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
267 int len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
268 int index = find(key, _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
269 #ifdef ASSERT
909
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
270 if (CIObjectFactoryVerify) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
271 for (int i=0; i<_ci_objects->length(); i++) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
272 if (_ci_objects->at(i)->get_oop() == key) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
273 assert(index == i, " bad lookup");
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
274 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
275 }
a61af66fc99e Initial load
duke
parents:
diff changeset
276 }
a61af66fc99e Initial load
duke
parents:
diff changeset
277 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
278 if (!is_found_at(index, key, _ci_objects)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
279 // Check in the non-perm area before putting it in the list.
a61af66fc99e Initial load
duke
parents:
diff changeset
280 NonPermObject* &bucket = find_non_perm(key);
a61af66fc99e Initial load
duke
parents:
diff changeset
281 if (bucket != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
282 return bucket->object();
a61af66fc99e Initial load
duke
parents:
diff changeset
283 }
a61af66fc99e Initial load
duke
parents:
diff changeset
284
a61af66fc99e Initial load
duke
parents:
diff changeset
285 // The ciObject does not yet exist. Create it and insert it
a61af66fc99e Initial load
duke
parents:
diff changeset
286 // into the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
287 Handle keyHandle(key);
a61af66fc99e Initial load
duke
parents:
diff changeset
288 ciObject* new_object = create_new_object(keyHandle());
a61af66fc99e Initial load
duke
parents:
diff changeset
289 assert(keyHandle() == new_object->get_oop(), "must be properly recorded");
a61af66fc99e Initial load
duke
parents:
diff changeset
290 init_ident_of(new_object);
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 909
diff changeset
291 if (!new_object->is_perm()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // Not a perm-space object.
a61af66fc99e Initial load
duke
parents:
diff changeset
293 insert_non_perm(bucket, keyHandle(), new_object);
a61af66fc99e Initial load
duke
parents:
diff changeset
294 return new_object;
a61af66fc99e Initial load
duke
parents:
diff changeset
295 }
a61af66fc99e Initial load
duke
parents:
diff changeset
296 if (len != _ci_objects->length()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
297 // creating the new object has recursively entered new objects
a61af66fc99e Initial load
duke
parents:
diff changeset
298 // into the table. We need to recompute our index.
a61af66fc99e Initial load
duke
parents:
diff changeset
299 index = find(keyHandle(), _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
300 }
a61af66fc99e Initial load
duke
parents:
diff changeset
301 assert(!is_found_at(index, keyHandle(), _ci_objects), "no double insert");
a61af66fc99e Initial load
duke
parents:
diff changeset
302 insert(index, new_object, _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
303 return new_object;
a61af66fc99e Initial load
duke
parents:
diff changeset
304 }
a61af66fc99e Initial load
duke
parents:
diff changeset
305 return _ci_objects->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
306 }
a61af66fc99e Initial load
duke
parents:
diff changeset
307
a61af66fc99e Initial load
duke
parents:
diff changeset
308 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
309 // ciObjectFactory::create_new_object
a61af66fc99e Initial load
duke
parents:
diff changeset
310 //
a61af66fc99e Initial load
duke
parents:
diff changeset
311 // Create a new ciObject from an oop.
a61af66fc99e Initial load
duke
parents:
diff changeset
312 //
a61af66fc99e Initial load
duke
parents:
diff changeset
313 // Implementation note: this functionality could be virtual behavior
a61af66fc99e Initial load
duke
parents:
diff changeset
314 // of the oop itself. For now, we explicitly marshal the object.
a61af66fc99e Initial load
duke
parents:
diff changeset
315 ciObject* ciObjectFactory::create_new_object(oop o) {
a61af66fc99e Initial load
duke
parents:
diff changeset
316 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
317
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
318 if (o->is_klass()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
319 KlassHandle h_k(THREAD, (klassOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
320 Klass* k = ((klassOop)o)->klass_part();
a61af66fc99e Initial load
duke
parents:
diff changeset
321 if (k->oop_is_instance()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
322 return new (arena()) ciInstanceKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
323 } else if (k->oop_is_objArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
324 return new (arena()) ciObjArrayKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
325 } else if (k->oop_is_typeArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
326 return new (arena()) ciTypeArrayKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
327 } else if (k->oop_is_method()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
328 return new (arena()) ciMethodKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
329 } else if (k->oop_is_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
330 if (k->oop_is_objArrayKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
331 return new (arena()) ciObjArrayKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
332 } else if (k->oop_is_typeArrayKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
333 return new (arena()) ciTypeArrayKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
334 } else if (k->oop_is_instanceKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
335 return new (arena()) ciInstanceKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
336 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
337 assert(o == Universe::klassKlassObj(), "bad klassKlass");
a61af66fc99e Initial load
duke
parents:
diff changeset
338 return new (arena()) ciKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
339 }
a61af66fc99e Initial load
duke
parents:
diff changeset
340 }
a61af66fc99e Initial load
duke
parents:
diff changeset
341 } else if (o->is_method()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
342 methodHandle h_m(THREAD, (methodOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
343 return new (arena()) ciMethod(h_m);
a61af66fc99e Initial load
duke
parents:
diff changeset
344 } else if (o->is_methodData()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
345 methodDataHandle h_md(THREAD, (methodDataOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
346 return new (arena()) ciMethodData(h_md);
a61af66fc99e Initial load
duke
parents:
diff changeset
347 } else if (o->is_instance()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
348 instanceHandle h_i(THREAD, (instanceOop)o);
2357
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2177
diff changeset
349 if (java_lang_invoke_CallSite::is_instance(o))
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1137
diff changeset
350 return new (arena()) ciCallSite(h_i);
2357
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2177
diff changeset
351 else if (java_lang_invoke_MethodHandle::is_instance(o))
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1137
diff changeset
352 return new (arena()) ciMethodHandle(h_i);
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1137
diff changeset
353 else
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 1137
diff changeset
354 return new (arena()) ciInstance(h_i);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
355 } else if (o->is_objArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
356 objArrayHandle h_oa(THREAD, (objArrayOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
357 return new (arena()) ciObjArray(h_oa);
a61af66fc99e Initial load
duke
parents:
diff changeset
358 } else if (o->is_typeArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
359 typeArrayHandle h_ta(THREAD, (typeArrayOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
360 return new (arena()) ciTypeArray(h_ta);
1137
97125851f396 6829187: compiler optimizations required for JSR 292
twisti
parents: 1080
diff changeset
361 } else if (o->is_constantPoolCache()) {
97125851f396 6829187: compiler optimizations required for JSR 292
twisti
parents: 1080
diff changeset
362 constantPoolCacheHandle h_cpc(THREAD, (constantPoolCacheOop) o);
97125851f396 6829187: compiler optimizations required for JSR 292
twisti
parents: 1080
diff changeset
363 return new (arena()) ciCPCache(h_cpc);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
364 }
a61af66fc99e Initial load
duke
parents:
diff changeset
365
a61af66fc99e Initial load
duke
parents:
diff changeset
366 // The oop is of some type not supported by the compiler interface.
a61af66fc99e Initial load
duke
parents:
diff changeset
367 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
369 }
a61af66fc99e Initial load
duke
parents:
diff changeset
370
a61af66fc99e Initial load
duke
parents:
diff changeset
371 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
372 // ciObjectFactory::get_unloaded_method
a61af66fc99e Initial load
duke
parents:
diff changeset
373 //
a61af66fc99e Initial load
duke
parents:
diff changeset
374 // Get the ciMethod representing an unloaded/unfound method.
a61af66fc99e Initial load
duke
parents:
diff changeset
375 //
a61af66fc99e Initial load
duke
parents:
diff changeset
376 // Implementation note: unloaded methods are currently stored in
a61af66fc99e Initial load
duke
parents:
diff changeset
377 // an unordered array, requiring a linear-time lookup for each
a61af66fc99e Initial load
duke
parents:
diff changeset
378 // unloaded method. This may need to change.
a61af66fc99e Initial load
duke
parents:
diff changeset
379 ciMethod* ciObjectFactory::get_unloaded_method(ciInstanceKlass* holder,
a61af66fc99e Initial load
duke
parents:
diff changeset
380 ciSymbol* name,
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
381 ciSymbol* signature,
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
382 ciInstanceKlass* accessor) {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
383 ciSignature* that = NULL;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
384 for (int i = 0; i < _unloaded_methods->length(); i++) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
385 ciMethod* entry = _unloaded_methods->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
386 if (entry->holder()->equals(holder) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
387 entry->name()->equals(name) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
388 entry->signature()->as_symbol()->equals(signature)) {
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
389 // Short-circuit slow resolve.
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
390 if (entry->signature()->accessing_klass() == accessor) {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
391 // We've found a match.
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
392 return entry;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
393 } else {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
394 // Lazily create ciSignature
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
395 if (that == NULL) that = new (arena()) ciSignature(accessor, constantPoolHandle(), signature);
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
396 if (entry->signature()->equals(that)) {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
397 // We've found a match.
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
398 return entry;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
399 }
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
400 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
401 }
a61af66fc99e Initial load
duke
parents:
diff changeset
402 }
a61af66fc99e Initial load
duke
parents:
diff changeset
403
a61af66fc99e Initial load
duke
parents:
diff changeset
404 // This is a new unloaded method. Create it and stick it in
a61af66fc99e Initial load
duke
parents:
diff changeset
405 // the cache.
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 2376
diff changeset
406 ciMethod* new_method = new (arena()) ciMethod(holder, name, signature, accessor);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
407
a61af66fc99e Initial load
duke
parents:
diff changeset
408 init_ident_of(new_method);
a61af66fc99e Initial load
duke
parents:
diff changeset
409 _unloaded_methods->append(new_method);
a61af66fc99e Initial load
duke
parents:
diff changeset
410
a61af66fc99e Initial load
duke
parents:
diff changeset
411 return new_method;
a61af66fc99e Initial load
duke
parents:
diff changeset
412 }
a61af66fc99e Initial load
duke
parents:
diff changeset
413
a61af66fc99e Initial load
duke
parents:
diff changeset
414 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
415 // ciObjectFactory::get_unloaded_klass
a61af66fc99e Initial load
duke
parents:
diff changeset
416 //
a61af66fc99e Initial load
duke
parents:
diff changeset
417 // Get a ciKlass representing an unloaded klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
418 //
a61af66fc99e Initial load
duke
parents:
diff changeset
419 // Implementation note: unloaded klasses are currently stored in
a61af66fc99e Initial load
duke
parents:
diff changeset
420 // an unordered array, requiring a linear-time lookup for each
a61af66fc99e Initial load
duke
parents:
diff changeset
421 // unloaded klass. This may need to change.
a61af66fc99e Initial load
duke
parents:
diff changeset
422 ciKlass* ciObjectFactory::get_unloaded_klass(ciKlass* accessing_klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
423 ciSymbol* name,
a61af66fc99e Initial load
duke
parents:
diff changeset
424 bool create_if_not_found) {
a61af66fc99e Initial load
duke
parents:
diff changeset
425 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
426 oop loader = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
427 oop domain = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
428 if (accessing_klass != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
429 loader = accessing_klass->loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
430 domain = accessing_klass->protection_domain();
a61af66fc99e Initial load
duke
parents:
diff changeset
431 }
a61af66fc99e Initial load
duke
parents:
diff changeset
432 for (int i=0; i<_unloaded_klasses->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
433 ciKlass* entry = _unloaded_klasses->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
434 if (entry->name()->equals(name) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
435 entry->loader() == loader &&
a61af66fc99e Initial load
duke
parents:
diff changeset
436 entry->protection_domain() == domain) {
a61af66fc99e Initial load
duke
parents:
diff changeset
437 // We've found a match.
a61af66fc99e Initial load
duke
parents:
diff changeset
438 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
439 }
a61af66fc99e Initial load
duke
parents:
diff changeset
440 }
a61af66fc99e Initial load
duke
parents:
diff changeset
441
a61af66fc99e Initial load
duke
parents:
diff changeset
442 if (!create_if_not_found)
a61af66fc99e Initial load
duke
parents:
diff changeset
443 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
444
a61af66fc99e Initial load
duke
parents:
diff changeset
445 // This is a new unloaded klass. Create it and stick it in
a61af66fc99e Initial load
duke
parents:
diff changeset
446 // the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
447 ciKlass* new_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
448
a61af66fc99e Initial load
duke
parents:
diff changeset
449 // Two cases: this is an unloaded objArrayKlass or an
a61af66fc99e Initial load
duke
parents:
diff changeset
450 // unloaded instanceKlass. Deal with both.
a61af66fc99e Initial load
duke
parents:
diff changeset
451 if (name->byte_at(0) == '[') {
a61af66fc99e Initial load
duke
parents:
diff changeset
452 // Decompose the name.'
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
453 FieldArrayInfo fd;
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
454 BasicType element_type = FieldType::get_array_info(name->get_symbol(),
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
455 fd, THREAD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
456 if (HAS_PENDING_EXCEPTION) {
a61af66fc99e Initial load
duke
parents:
diff changeset
457 CLEAR_PENDING_EXCEPTION;
a61af66fc99e Initial load
duke
parents:
diff changeset
458 CURRENT_THREAD_ENV->record_out_of_memory_failure();
a61af66fc99e Initial load
duke
parents:
diff changeset
459 return ciEnv::_unloaded_ciobjarrayklass;
a61af66fc99e Initial load
duke
parents:
diff changeset
460 }
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
461 int dimension = fd.dimension();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
462 assert(element_type != T_ARRAY, "unsuccessful decomposition");
a61af66fc99e Initial load
duke
parents:
diff changeset
463 ciKlass* element_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
464 if (element_type == T_OBJECT) {
a61af66fc99e Initial load
duke
parents:
diff changeset
465 ciEnv *env = CURRENT_THREAD_ENV;
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
466 ciSymbol* ci_name = env->get_symbol(fd.object_key());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
467 element_klass =
a61af66fc99e Initial load
duke
parents:
diff changeset
468 env->get_klass_by_name(accessing_klass, ci_name, false)->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
469 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
470 assert(dimension > 1, "one dimensional type arrays are always loaded.");
a61af66fc99e Initial load
duke
parents:
diff changeset
471
a61af66fc99e Initial load
duke
parents:
diff changeset
472 // The type array itself takes care of one of the dimensions.
a61af66fc99e Initial load
duke
parents:
diff changeset
473 dimension--;
a61af66fc99e Initial load
duke
parents:
diff changeset
474
a61af66fc99e Initial load
duke
parents:
diff changeset
475 // The element klass is a typeArrayKlass.
a61af66fc99e Initial load
duke
parents:
diff changeset
476 element_klass = ciTypeArrayKlass::make(element_type);
a61af66fc99e Initial load
duke
parents:
diff changeset
477 }
a61af66fc99e Initial load
duke
parents:
diff changeset
478 new_klass = new (arena()) ciObjArrayKlass(name, element_klass, dimension);
a61af66fc99e Initial load
duke
parents:
diff changeset
479 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
480 jobject loader_handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
481 jobject domain_handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
482 if (accessing_klass != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
483 loader_handle = accessing_klass->loader_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
484 domain_handle = accessing_klass->protection_domain_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
485 }
a61af66fc99e Initial load
duke
parents:
diff changeset
486 new_klass = new (arena()) ciInstanceKlass(name, loader_handle, domain_handle);
a61af66fc99e Initial load
duke
parents:
diff changeset
487 }
a61af66fc99e Initial load
duke
parents:
diff changeset
488 init_ident_of(new_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
489 _unloaded_klasses->append(new_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
490
a61af66fc99e Initial load
duke
parents:
diff changeset
491 return new_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
492 }
a61af66fc99e Initial load
duke
parents:
diff changeset
493
1602
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
494
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
495 //------------------------------------------------------------------
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
496 // ciObjectFactory::get_unloaded_instance
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
497 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
498 // Get a ciInstance representing an as-yet undetermined instance of a given class.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
499 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
500 ciInstance* ciObjectFactory::get_unloaded_instance(ciInstanceKlass* instance_klass) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
501 for (int i=0; i<_unloaded_instances->length(); i++) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
502 ciInstance* entry = _unloaded_instances->at(i);
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
503 if (entry->klass()->equals(instance_klass)) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
504 // We've found a match.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
505 return entry;
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
506 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
507 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
508
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
509 // This is a new unloaded instance. Create it and stick it in
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
510 // the cache.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
511 ciInstance* new_instance = new (arena()) ciInstance(instance_klass);
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
512
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
513 init_ident_of(new_instance);
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
514 _unloaded_instances->append(new_instance);
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
515
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
516 // make sure it looks the way we want:
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
517 assert(!new_instance->is_loaded(), "");
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
518 assert(new_instance->klass() == instance_klass, "");
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
519
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
520 return new_instance;
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
521 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
522
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
523
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
524 //------------------------------------------------------------------
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
525 // ciObjectFactory::get_unloaded_klass_mirror
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
526 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
527 // Get a ciInstance representing an unresolved klass mirror.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
528 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
529 // Currently, this ignores the parameters and returns a unique unloaded instance.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
530 ciInstance* ciObjectFactory::get_unloaded_klass_mirror(ciKlass* type) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
531 assert(ciEnv::_Class_klass != NULL, "");
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
532 return get_unloaded_instance(ciEnv::_Class_klass->as_instance_klass());
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
533 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
534
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
535 //------------------------------------------------------------------
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
536 // ciObjectFactory::get_unloaded_method_handle_constant
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
537 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
538 // Get a ciInstance representing an unresolved method handle constant.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
539 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
540 // Currently, this ignores the parameters and returns a unique unloaded instance.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
541 ciInstance* ciObjectFactory::get_unloaded_method_handle_constant(ciKlass* holder,
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
542 ciSymbol* name,
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
543 ciSymbol* signature,
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
544 int ref_kind) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
545 if (ciEnv::_MethodHandle_klass == NULL) return NULL;
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
546 return get_unloaded_instance(ciEnv::_MethodHandle_klass->as_instance_klass());
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
547 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
548
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
549 //------------------------------------------------------------------
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
550 // ciObjectFactory::get_unloaded_method_type_constant
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
551 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
552 // Get a ciInstance representing an unresolved method type constant.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
553 //
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
554 // Currently, this ignores the parameters and returns a unique unloaded instance.
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
555 ciInstance* ciObjectFactory::get_unloaded_method_type_constant(ciSymbol* signature) {
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
556 if (ciEnv::_MethodType_klass == NULL) return NULL;
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
557 return get_unloaded_instance(ciEnv::_MethodType_klass->as_instance_klass());
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
558 }
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
559
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
560
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
561
0
a61af66fc99e Initial load
duke
parents:
diff changeset
562 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
563 // ciObjectFactory::get_empty_methodData
a61af66fc99e Initial load
duke
parents:
diff changeset
564 //
a61af66fc99e Initial load
duke
parents:
diff changeset
565 // Get the ciMethodData representing the methodData for a method with
a61af66fc99e Initial load
duke
parents:
diff changeset
566 // none.
a61af66fc99e Initial load
duke
parents:
diff changeset
567 ciMethodData* ciObjectFactory::get_empty_methodData() {
a61af66fc99e Initial load
duke
parents:
diff changeset
568 ciMethodData* new_methodData = new (arena()) ciMethodData();
a61af66fc99e Initial load
duke
parents:
diff changeset
569 init_ident_of(new_methodData);
a61af66fc99e Initial load
duke
parents:
diff changeset
570 return new_methodData;
a61af66fc99e Initial load
duke
parents:
diff changeset
571 }
a61af66fc99e Initial load
duke
parents:
diff changeset
572
a61af66fc99e Initial load
duke
parents:
diff changeset
573 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
574 // ciObjectFactory::get_return_address
a61af66fc99e Initial load
duke
parents:
diff changeset
575 //
a61af66fc99e Initial load
duke
parents:
diff changeset
576 // Get a ciReturnAddress for a specified bci.
a61af66fc99e Initial load
duke
parents:
diff changeset
577 ciReturnAddress* ciObjectFactory::get_return_address(int bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
578 for (int i=0; i<_return_addresses->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
579 ciReturnAddress* entry = _return_addresses->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
580 if (entry->bci() == bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
581 // We've found a match.
a61af66fc99e Initial load
duke
parents:
diff changeset
582 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
583 }
a61af66fc99e Initial load
duke
parents:
diff changeset
584 }
a61af66fc99e Initial load
duke
parents:
diff changeset
585
a61af66fc99e Initial load
duke
parents:
diff changeset
586 ciReturnAddress* new_ret_addr = new (arena()) ciReturnAddress(bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
587 init_ident_of(new_ret_addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
588 _return_addresses->append(new_ret_addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
589 return new_ret_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
590 }
a61af66fc99e Initial load
duke
parents:
diff changeset
591
a61af66fc99e Initial load
duke
parents:
diff changeset
592 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
593 // ciObjectFactory::init_ident_of
a61af66fc99e Initial load
duke
parents:
diff changeset
594 void ciObjectFactory::init_ident_of(ciObject* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
595 obj->set_ident(_next_ident++);
a61af66fc99e Initial load
duke
parents:
diff changeset
596 }
a61af66fc99e Initial load
duke
parents:
diff changeset
597
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
598 void ciObjectFactory::init_ident_of(ciSymbol* obj) {
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
599 obj->set_ident(_next_ident++);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
600 }
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
601
0
a61af66fc99e Initial load
duke
parents:
diff changeset
602
a61af66fc99e Initial load
duke
parents:
diff changeset
603 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
604 // ciObjectFactory::find
a61af66fc99e Initial load
duke
parents:
diff changeset
605 //
a61af66fc99e Initial load
duke
parents:
diff changeset
606 // Use binary search to find the position of this oop in the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
607 // If there is no entry in the cache corresponding to this oop, return
a61af66fc99e Initial load
duke
parents:
diff changeset
608 // the position at which the oop should be inserted.
a61af66fc99e Initial load
duke
parents:
diff changeset
609 int ciObjectFactory::find(oop key, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
610 int min = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
611 int max = objects->length()-1;
a61af66fc99e Initial load
duke
parents:
diff changeset
612
a61af66fc99e Initial load
duke
parents:
diff changeset
613 // print_contents();
a61af66fc99e Initial load
duke
parents:
diff changeset
614
a61af66fc99e Initial load
duke
parents:
diff changeset
615 while (max >= min) {
a61af66fc99e Initial load
duke
parents:
diff changeset
616 int mid = (max + min) / 2;
a61af66fc99e Initial load
duke
parents:
diff changeset
617 oop value = objects->at(mid)->get_oop();
a61af66fc99e Initial load
duke
parents:
diff changeset
618 if (value < key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
619 min = mid + 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
620 } else if (value > key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
621 max = mid - 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
622 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
623 return mid;
a61af66fc99e Initial load
duke
parents:
diff changeset
624 }
a61af66fc99e Initial load
duke
parents:
diff changeset
625 }
a61af66fc99e Initial load
duke
parents:
diff changeset
626 return min;
a61af66fc99e Initial load
duke
parents:
diff changeset
627 }
a61af66fc99e Initial load
duke
parents:
diff changeset
628
a61af66fc99e Initial load
duke
parents:
diff changeset
629 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
630 // ciObjectFactory::is_found_at
a61af66fc99e Initial load
duke
parents:
diff changeset
631 //
a61af66fc99e Initial load
duke
parents:
diff changeset
632 // Verify that the binary seach found the given key.
a61af66fc99e Initial load
duke
parents:
diff changeset
633 bool ciObjectFactory::is_found_at(int index, oop key, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
634 return (index < objects->length() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
635 objects->at(index)->get_oop() == key);
a61af66fc99e Initial load
duke
parents:
diff changeset
636 }
a61af66fc99e Initial load
duke
parents:
diff changeset
637
a61af66fc99e Initial load
duke
parents:
diff changeset
638
a61af66fc99e Initial load
duke
parents:
diff changeset
639 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
640 // ciObjectFactory::insert
a61af66fc99e Initial load
duke
parents:
diff changeset
641 //
a61af66fc99e Initial load
duke
parents:
diff changeset
642 // Insert a ciObject into the table at some index.
a61af66fc99e Initial load
duke
parents:
diff changeset
643 void ciObjectFactory::insert(int index, ciObject* obj, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
644 int len = objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
645 if (len == index) {
a61af66fc99e Initial load
duke
parents:
diff changeset
646 objects->append(obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
647 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
648 objects->append(objects->at(len-1));
a61af66fc99e Initial load
duke
parents:
diff changeset
649 int pos;
a61af66fc99e Initial load
duke
parents:
diff changeset
650 for (pos = len-2; pos >= index; pos--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
651 objects->at_put(pos+1,objects->at(pos));
a61af66fc99e Initial load
duke
parents:
diff changeset
652 }
a61af66fc99e Initial load
duke
parents:
diff changeset
653 objects->at_put(index, obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
654 }
a61af66fc99e Initial load
duke
parents:
diff changeset
655 #ifdef ASSERT
909
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
656 if (CIObjectFactoryVerify) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
657 oop last = NULL;
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
658 for (int j = 0; j< objects->length(); j++) {
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
659 oop o = objects->at(j)->get_oop();
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
660 assert(last < o, "out of order");
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
661 last = o;
b32a809aab08 6866585: debug code in ciObjectFactory too slow for large objects
jcoomes
parents: 196
diff changeset
662 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
663 }
a61af66fc99e Initial load
duke
parents:
diff changeset
664 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
665 }
a61af66fc99e Initial load
duke
parents:
diff changeset
666
a61af66fc99e Initial load
duke
parents:
diff changeset
667 static ciObjectFactory::NonPermObject* emptyBucket = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
668
a61af66fc99e Initial load
duke
parents:
diff changeset
669 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
670 // ciObjectFactory::find_non_perm
a61af66fc99e Initial load
duke
parents:
diff changeset
671 //
a61af66fc99e Initial load
duke
parents:
diff changeset
672 // Use a small hash table, hashed on the klass of the key.
a61af66fc99e Initial load
duke
parents:
diff changeset
673 // If there is no entry in the cache corresponding to this oop, return
a61af66fc99e Initial load
duke
parents:
diff changeset
674 // the null tail of the bucket into which the oop should be inserted.
a61af66fc99e Initial load
duke
parents:
diff changeset
675 ciObjectFactory::NonPermObject* &ciObjectFactory::find_non_perm(oop key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
676 // Be careful: is_perm might change from false to true.
a61af66fc99e Initial load
duke
parents:
diff changeset
677 // Thus, there might be a matching perm object in the table.
a61af66fc99e Initial load
duke
parents:
diff changeset
678 // If there is, this probe must find it.
a61af66fc99e Initial load
duke
parents:
diff changeset
679 if (key->is_perm() && _non_perm_count == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
680 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
681 } else if (key->is_instance()) {
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
682 if (key->klass() == SystemDictionary::Class_klass() && JavaObjectsInPerm) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
683 // class mirror instances are always perm
a61af66fc99e Initial load
duke
parents:
diff changeset
684 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
685 }
a61af66fc99e Initial load
duke
parents:
diff changeset
686 // fall through to probe
a61af66fc99e Initial load
duke
parents:
diff changeset
687 } else if (key->is_array()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
688 // fall through to probe
a61af66fc99e Initial load
duke
parents:
diff changeset
689 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
690 // not an array or instance
a61af66fc99e Initial load
duke
parents:
diff changeset
691 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
692 }
a61af66fc99e Initial load
duke
parents:
diff changeset
693
a61af66fc99e Initial load
duke
parents:
diff changeset
694 ciObject* klass = get(key->klass());
a61af66fc99e Initial load
duke
parents:
diff changeset
695 NonPermObject* *bp = &_non_perm_bucket[(unsigned) klass->hash() % NON_PERM_BUCKETS];
a61af66fc99e Initial load
duke
parents:
diff changeset
696 for (NonPermObject* p; (p = (*bp)) != NULL; bp = &p->next()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
697 if (is_equal(p, key)) break;
a61af66fc99e Initial load
duke
parents:
diff changeset
698 }
a61af66fc99e Initial load
duke
parents:
diff changeset
699 return (*bp);
a61af66fc99e Initial load
duke
parents:
diff changeset
700 }
a61af66fc99e Initial load
duke
parents:
diff changeset
701
a61af66fc99e Initial load
duke
parents:
diff changeset
702
a61af66fc99e Initial load
duke
parents:
diff changeset
703
a61af66fc99e Initial load
duke
parents:
diff changeset
704 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
705 // Code for for NonPermObject
a61af66fc99e Initial load
duke
parents:
diff changeset
706 //
a61af66fc99e Initial load
duke
parents:
diff changeset
707 inline ciObjectFactory::NonPermObject::NonPermObject(ciObjectFactory::NonPermObject* &bucket, oop key, ciObject* object) {
a61af66fc99e Initial load
duke
parents:
diff changeset
708 assert(ciObjectFactory::is_initialized(), "");
a61af66fc99e Initial load
duke
parents:
diff changeset
709 _object = object;
a61af66fc99e Initial load
duke
parents:
diff changeset
710 _next = bucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
711 bucket = this;
a61af66fc99e Initial load
duke
parents:
diff changeset
712 }
a61af66fc99e Initial load
duke
parents:
diff changeset
713
a61af66fc99e Initial load
duke
parents:
diff changeset
714
a61af66fc99e Initial load
duke
parents:
diff changeset
715
a61af66fc99e Initial load
duke
parents:
diff changeset
716 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
717 // ciObjectFactory::insert_non_perm
a61af66fc99e Initial load
duke
parents:
diff changeset
718 //
a61af66fc99e Initial load
duke
parents:
diff changeset
719 // Insert a ciObject into the non-perm table.
a61af66fc99e Initial load
duke
parents:
diff changeset
720 void ciObjectFactory::insert_non_perm(ciObjectFactory::NonPermObject* &where, oop key, ciObject* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
721 assert(&where != &emptyBucket, "must not try to fill empty bucket");
a61af66fc99e Initial load
duke
parents:
diff changeset
722 NonPermObject* p = new (arena()) NonPermObject(where, key, obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
723 assert(where == p && is_equal(p, key) && p->object() == obj, "entry must match");
a61af66fc99e Initial load
duke
parents:
diff changeset
724 assert(find_non_perm(key) == p, "must find the same spot");
a61af66fc99e Initial load
duke
parents:
diff changeset
725 ++_non_perm_count;
a61af66fc99e Initial load
duke
parents:
diff changeset
726 }
a61af66fc99e Initial load
duke
parents:
diff changeset
727
a61af66fc99e Initial load
duke
parents:
diff changeset
728 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
729 // ciObjectFactory::vm_symbol_at
a61af66fc99e Initial load
duke
parents:
diff changeset
730 // Get the ciSymbol corresponding to some index in vmSymbols.
a61af66fc99e Initial load
duke
parents:
diff changeset
731 ciSymbol* ciObjectFactory::vm_symbol_at(int index) {
a61af66fc99e Initial load
duke
parents:
diff changeset
732 assert(index >= vmSymbols::FIRST_SID && index < vmSymbols::SID_LIMIT, "oob");
a61af66fc99e Initial load
duke
parents:
diff changeset
733 return _shared_ci_symbols[index];
a61af66fc99e Initial load
duke
parents:
diff changeset
734 }
a61af66fc99e Initial load
duke
parents:
diff changeset
735
a61af66fc99e Initial load
duke
parents:
diff changeset
736 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
737 // ciObjectFactory::print_contents_impl
a61af66fc99e Initial load
duke
parents:
diff changeset
738 void ciObjectFactory::print_contents_impl() {
a61af66fc99e Initial load
duke
parents:
diff changeset
739 int len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
740 tty->print_cr("ciObjectFactory (%d) oop contents:", len);
a61af66fc99e Initial load
duke
parents:
diff changeset
741 for (int i=0; i<len; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
742 _ci_objects->at(i)->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
743 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
744 }
a61af66fc99e Initial load
duke
parents:
diff changeset
745 }
a61af66fc99e Initial load
duke
parents:
diff changeset
746
a61af66fc99e Initial load
duke
parents:
diff changeset
747 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
748 // ciObjectFactory::print_contents
a61af66fc99e Initial load
duke
parents:
diff changeset
749 void ciObjectFactory::print_contents() {
a61af66fc99e Initial load
duke
parents:
diff changeset
750 print();
a61af66fc99e Initial load
duke
parents:
diff changeset
751 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
752 GUARDED_VM_ENTRY(print_contents_impl();)
a61af66fc99e Initial load
duke
parents:
diff changeset
753 }
a61af66fc99e Initial load
duke
parents:
diff changeset
754
a61af66fc99e Initial load
duke
parents:
diff changeset
755 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
756 // ciObjectFactory::print
a61af66fc99e Initial load
duke
parents:
diff changeset
757 //
a61af66fc99e Initial load
duke
parents:
diff changeset
758 // Print debugging information about the object factory
a61af66fc99e Initial load
duke
parents:
diff changeset
759 void ciObjectFactory::print() {
1602
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
760 tty->print("<ciObjectFactory oops=%d unloaded_methods=%d unloaded_instances=%d unloaded_klasses=%d>",
0
a61af66fc99e Initial load
duke
parents:
diff changeset
761 _ci_objects->length(), _unloaded_methods->length(),
1602
136b78722a08 6939203: JSR 292 needs method handle constants
jrose
parents: 1552
diff changeset
762 _unloaded_instances->length(),
0
a61af66fc99e Initial load
duke
parents:
diff changeset
763 _unloaded_klasses->length());
a61af66fc99e Initial load
duke
parents:
diff changeset
764 }