annotate src/share/vm/ci/ciObjectFactory.cpp @ 113:ba764ed4b6f2

6420645: Create a vm that uses compressed oops for up to 32gb heapsizes Summary: Compressed oops in instances, arrays, and headers. Code contributors are coleenp, phh, never, swamyv Reviewed-by: jmasa, kamg, acorn, tbell, kvn, rasbold
author coleenp
date Sun, 13 Apr 2008 17:43:42 -0400
parents a61af66fc99e
children d1605aabd0a1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1999-2007 Sun Microsystems, Inc. All Rights Reserved.
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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_ciObjectFactory.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // This class handles requests for the creation of new instances
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // of ciObject and its subclasses. It contains a caching mechanism
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // which ensures that for each oop, at most one ciObject is created.
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // This invariant allows more efficient implementation of ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
34 //
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // Implementation note: the oop->ciObject mapping is represented as
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // a table stored in an array. Even though objects are moved
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // by the garbage collector, the compactor preserves their relative
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // order; address comparison of oops (in perm space) is safe so long
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // as we prohibit GC during our comparisons. We currently use binary
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // search to find the oop in the table, and inserting a new oop
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // into the table may be costly. If this cost ends up being
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // problematic the underlying data structure can be switched to some
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // sort of balanced binary tree.
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 GrowableArray<ciObject*>* ciObjectFactory::_shared_ci_objects = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 ciSymbol* ciObjectFactory::_shared_ci_symbols[vmSymbols::SID_LIMIT];
a61af66fc99e Initial load
duke
parents:
diff changeset
47 int ciObjectFactory::_shared_ident_limit = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
48 volatile bool ciObjectFactory::_initialized = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // ciObjectFactory::ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
53 ciObjectFactory::ciObjectFactory(Arena* arena,
a61af66fc99e Initial load
duke
parents:
diff changeset
54 int expected_size) {
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 for (int i = 0; i < NON_PERM_BUCKETS; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 _non_perm_bucket[i] = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
58 }
a61af66fc99e Initial load
duke
parents:
diff changeset
59 _non_perm_count = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
60
a61af66fc99e Initial load
duke
parents:
diff changeset
61 _next_ident = _shared_ident_limit;
a61af66fc99e Initial load
duke
parents:
diff changeset
62 _arena = arena;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 _ci_objects = new (arena) GrowableArray<ciObject*>(arena, expected_size, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // If the shared ci objects exist append them to this factory's objects
a61af66fc99e Initial load
duke
parents:
diff changeset
66
a61af66fc99e Initial load
duke
parents:
diff changeset
67 if (_shared_ci_objects != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
68 _ci_objects->appendAll(_shared_ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 _unloaded_methods = new (arena) GrowableArray<ciMethod*>(arena, 4, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
72 _unloaded_klasses = new (arena) GrowableArray<ciKlass*>(arena, 8, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
73 _return_addresses =
a61af66fc99e Initial load
duke
parents:
diff changeset
74 new (arena) GrowableArray<ciReturnAddress*>(arena, 8, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // ciObjectFactory::ciObjectFactory
a61af66fc99e Initial load
duke
parents:
diff changeset
79 void ciObjectFactory::initialize() {
a61af66fc99e Initial load
duke
parents:
diff changeset
80 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
81 JavaThread* thread = JavaThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
82 HandleMark handle_mark(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // This Arena is long lived and exists in the resource mark of the
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // compiler thread that initializes the initial ciObjectFactory which
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // creates the shared ciObjects that all later ciObjectFactories use.
a61af66fc99e Initial load
duke
parents:
diff changeset
87 Arena* arena = new Arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
88 ciEnv initial(arena);
a61af66fc99e Initial load
duke
parents:
diff changeset
89 ciEnv* env = ciEnv::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
90 env->_factory->init_shared_objects();
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 _initialized = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 }
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 void ciObjectFactory::init_shared_objects() {
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 _next_ident = 1; // start numbering CI objects at 1
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // Create the shared symbols, but not in _shared_ci_objects.
a61af66fc99e Initial load
duke
parents:
diff changeset
102 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
103 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 symbolHandle sym_handle = vmSymbolHandles::symbol_handle_at((vmSymbols::SID) i);
a61af66fc99e Initial load
duke
parents:
diff changeset
105 assert(vmSymbols::find_sid(sym_handle()) == i, "1-1 mapping");
a61af66fc99e Initial load
duke
parents:
diff changeset
106 ciSymbol* sym = new (_arena) ciSymbol(sym_handle);
a61af66fc99e Initial load
duke
parents:
diff changeset
107 init_ident_of(sym);
a61af66fc99e Initial load
duke
parents:
diff changeset
108 _shared_ci_symbols[i] = sym;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
111 for (i = vmSymbols::FIRST_SID; i < vmSymbols::SID_LIMIT; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
112 symbolHandle sym_handle = vmSymbolHandles::symbol_handle_at((vmSymbols::SID) i);
a61af66fc99e Initial load
duke
parents:
diff changeset
113 ciSymbol* sym = vm_symbol_at((vmSymbols::SID) i);
a61af66fc99e Initial load
duke
parents:
diff changeset
114 assert(sym->get_oop() == sym_handle(), "oop must match");
a61af66fc99e Initial load
duke
parents:
diff changeset
115 }
a61af66fc99e Initial load
duke
parents:
diff changeset
116 assert(ciSymbol::void_class_signature()->get_oop() == vmSymbols::void_class_signature(), "spot check");
a61af66fc99e Initial load
duke
parents:
diff changeset
117 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
118 }
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 _ci_objects = new (_arena) GrowableArray<ciObject*>(_arena, 64, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
121
a61af66fc99e Initial load
duke
parents:
diff changeset
122 for (int i = T_BOOLEAN; i <= T_CONFLICT; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
123 BasicType t = (BasicType)i;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
124 if (type2name(t) != NULL && t != T_OBJECT && t != T_ARRAY && t != T_NARROWOOP) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
125 ciType::_basic_types[t] = new (_arena) ciType(t);
a61af66fc99e Initial load
duke
parents:
diff changeset
126 init_ident_of(ciType::_basic_types[t]);
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128 }
a61af66fc99e Initial load
duke
parents:
diff changeset
129
a61af66fc99e Initial load
duke
parents:
diff changeset
130 ciEnv::_null_object_instance = new (_arena) ciNullObject();
a61af66fc99e Initial load
duke
parents:
diff changeset
131 init_ident_of(ciEnv::_null_object_instance);
a61af66fc99e Initial load
duke
parents:
diff changeset
132 ciEnv::_method_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
133 get(Universe::methodKlassObj())->as_method_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 ciEnv::_symbol_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
135 get(Universe::symbolKlassObj())->as_symbol_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
136 ciEnv::_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
137 get(Universe::klassKlassObj())->as_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
138 ciEnv::_instance_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
139 get(Universe::instanceKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
140 ->as_instance_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
141 ciEnv::_type_array_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
142 get(Universe::typeArrayKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
143 ->as_type_array_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
144 ciEnv::_obj_array_klass_klass_instance =
a61af66fc99e Initial load
duke
parents:
diff changeset
145 get(Universe::objArrayKlassKlassObj())
a61af66fc99e Initial load
duke
parents:
diff changeset
146 ->as_obj_array_klass_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
147 ciEnv::_ArrayStoreException =
a61af66fc99e Initial load
duke
parents:
diff changeset
148 get(SystemDictionary::ArrayStoreException_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
149 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
150 ciEnv::_Class =
a61af66fc99e Initial load
duke
parents:
diff changeset
151 get(SystemDictionary::class_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
152 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
153 ciEnv::_ClassCastException =
a61af66fc99e Initial load
duke
parents:
diff changeset
154 get(SystemDictionary::ClassCastException_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
155 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
156 ciEnv::_Object =
a61af66fc99e Initial load
duke
parents:
diff changeset
157 get(SystemDictionary::object_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
158 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
159 ciEnv::_Throwable =
a61af66fc99e Initial load
duke
parents:
diff changeset
160 get(SystemDictionary::throwable_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
161 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
162 ciEnv::_Thread =
a61af66fc99e Initial load
duke
parents:
diff changeset
163 get(SystemDictionary::thread_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
164 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
165 ciEnv::_OutOfMemoryError =
a61af66fc99e Initial load
duke
parents:
diff changeset
166 get(SystemDictionary::OutOfMemoryError_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
167 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
168 ciEnv::_String =
a61af66fc99e Initial load
duke
parents:
diff changeset
169 get(SystemDictionary::string_klass())
a61af66fc99e Initial load
duke
parents:
diff changeset
170 ->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
171
a61af66fc99e Initial load
duke
parents:
diff changeset
172 for (int len = -1; len != _ci_objects->length(); ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
173 len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
174 for (int i2 = 0; i2 < len; i2++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
175 ciObject* obj = _ci_objects->at(i2);
a61af66fc99e Initial load
duke
parents:
diff changeset
176 if (obj->is_loaded() && obj->is_instance_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
177 obj->as_instance_klass()->compute_nonstatic_fields();
a61af66fc99e Initial load
duke
parents:
diff changeset
178 }
a61af66fc99e Initial load
duke
parents:
diff changeset
179 }
a61af66fc99e Initial load
duke
parents:
diff changeset
180 }
a61af66fc99e Initial load
duke
parents:
diff changeset
181
a61af66fc99e Initial load
duke
parents:
diff changeset
182 ciEnv::_unloaded_cisymbol = (ciSymbol*) ciObjectFactory::get(vmSymbols::dummy_symbol_oop());
a61af66fc99e Initial load
duke
parents:
diff changeset
183 // Create dummy instanceKlass and objArrayKlass object and assign them idents
a61af66fc99e Initial load
duke
parents:
diff changeset
184 ciEnv::_unloaded_ciinstance_klass = new (_arena) ciInstanceKlass(ciEnv::_unloaded_cisymbol, NULL, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
185 init_ident_of(ciEnv::_unloaded_ciinstance_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
186 ciEnv::_unloaded_ciobjarrayklass = new (_arena) ciObjArrayKlass(ciEnv::_unloaded_cisymbol, ciEnv::_unloaded_ciinstance_klass, 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
187 init_ident_of(ciEnv::_unloaded_ciobjarrayklass);
a61af66fc99e Initial load
duke
parents:
diff changeset
188 assert(ciEnv::_unloaded_ciobjarrayklass->is_obj_array_klass(), "just checking");
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 get(Universe::boolArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
191 get(Universe::charArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
192 get(Universe::singleArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
193 get(Universe::doubleArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
194 get(Universe::byteArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
195 get(Universe::shortArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
196 get(Universe::intArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
197 get(Universe::longArrayKlassObj());
a61af66fc99e Initial load
duke
parents:
diff changeset
198
a61af66fc99e Initial load
duke
parents:
diff changeset
199
a61af66fc99e Initial load
duke
parents:
diff changeset
200
a61af66fc99e Initial load
duke
parents:
diff changeset
201 assert(_non_perm_count == 0, "no shared non-perm objects");
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // The shared_ident_limit is the first ident number that will
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // be used for non-shared objects. That is, numbers less than
a61af66fc99e Initial load
duke
parents:
diff changeset
205 // this limit are permanently assigned to shared CI objects,
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // while the higher numbers are recycled afresh by each new ciEnv.
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208 _shared_ident_limit = _next_ident;
a61af66fc99e Initial load
duke
parents:
diff changeset
209 _shared_ci_objects = _ci_objects;
a61af66fc99e Initial load
duke
parents:
diff changeset
210 }
a61af66fc99e Initial load
duke
parents:
diff changeset
211
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
213 // ciObjectFactory::get
a61af66fc99e Initial load
duke
parents:
diff changeset
214 //
a61af66fc99e Initial load
duke
parents:
diff changeset
215 // Get the ciObject corresponding to some oop. If the ciObject has
a61af66fc99e Initial load
duke
parents:
diff changeset
216 // already been created, it is returned. Otherwise, a new ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
217 // is created.
a61af66fc99e Initial load
duke
parents:
diff changeset
218 ciObject* ciObjectFactory::get(oop key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
219 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
220
a61af66fc99e Initial load
duke
parents:
diff changeset
221 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
222 oop last = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
223 for (int j = 0; j< _ci_objects->length(); j++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
224 oop o = _ci_objects->at(j)->get_oop();
a61af66fc99e Initial load
duke
parents:
diff changeset
225 assert(last < o, "out of order");
a61af66fc99e Initial load
duke
parents:
diff changeset
226 last = o;
a61af66fc99e Initial load
duke
parents:
diff changeset
227 }
a61af66fc99e Initial load
duke
parents:
diff changeset
228 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
229 int len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
230 int index = find(key, _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
231 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
232 for (int i=0; i<_ci_objects->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
233 if (_ci_objects->at(i)->get_oop() == key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
234 assert(index == i, " bad lookup");
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236 }
a61af66fc99e Initial load
duke
parents:
diff changeset
237 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
238 if (!is_found_at(index, key, _ci_objects)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
239
a61af66fc99e Initial load
duke
parents:
diff changeset
240 // Check in the non-perm area before putting it in the list.
a61af66fc99e Initial load
duke
parents:
diff changeset
241 NonPermObject* &bucket = find_non_perm(key);
a61af66fc99e Initial load
duke
parents:
diff changeset
242 if (bucket != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
243 return bucket->object();
a61af66fc99e Initial load
duke
parents:
diff changeset
244 }
a61af66fc99e Initial load
duke
parents:
diff changeset
245
a61af66fc99e Initial load
duke
parents:
diff changeset
246 // Check in the shared symbol area before putting it in the list.
a61af66fc99e Initial load
duke
parents:
diff changeset
247 if (key->is_symbol()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
248 vmSymbols::SID sid = vmSymbols::find_sid((symbolOop)key);
a61af66fc99e Initial load
duke
parents:
diff changeset
249 if (sid != vmSymbols::NO_SID) {
a61af66fc99e Initial load
duke
parents:
diff changeset
250 // do not pollute the main cache with it
a61af66fc99e Initial load
duke
parents:
diff changeset
251 return vm_symbol_at(sid);
a61af66fc99e Initial load
duke
parents:
diff changeset
252 }
a61af66fc99e Initial load
duke
parents:
diff changeset
253 }
a61af66fc99e Initial load
duke
parents:
diff changeset
254
a61af66fc99e Initial load
duke
parents:
diff changeset
255 // The ciObject does not yet exist. Create it and insert it
a61af66fc99e Initial load
duke
parents:
diff changeset
256 // into the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
257 Handle keyHandle(key);
a61af66fc99e Initial load
duke
parents:
diff changeset
258 ciObject* new_object = create_new_object(keyHandle());
a61af66fc99e Initial load
duke
parents:
diff changeset
259 assert(keyHandle() == new_object->get_oop(), "must be properly recorded");
a61af66fc99e Initial load
duke
parents:
diff changeset
260 init_ident_of(new_object);
a61af66fc99e Initial load
duke
parents:
diff changeset
261 if (!keyHandle->is_perm()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
262 // Not a perm-space object.
a61af66fc99e Initial load
duke
parents:
diff changeset
263 insert_non_perm(bucket, keyHandle(), new_object);
a61af66fc99e Initial load
duke
parents:
diff changeset
264 return new_object;
a61af66fc99e Initial load
duke
parents:
diff changeset
265 }
a61af66fc99e Initial load
duke
parents:
diff changeset
266 new_object->set_perm();
a61af66fc99e Initial load
duke
parents:
diff changeset
267 if (len != _ci_objects->length()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
268 // creating the new object has recursively entered new objects
a61af66fc99e Initial load
duke
parents:
diff changeset
269 // into the table. We need to recompute our index.
a61af66fc99e Initial load
duke
parents:
diff changeset
270 index = find(keyHandle(), _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
271 }
a61af66fc99e Initial load
duke
parents:
diff changeset
272 assert(!is_found_at(index, keyHandle(), _ci_objects), "no double insert");
a61af66fc99e Initial load
duke
parents:
diff changeset
273 insert(index, new_object, _ci_objects);
a61af66fc99e Initial load
duke
parents:
diff changeset
274 return new_object;
a61af66fc99e Initial load
duke
parents:
diff changeset
275 }
a61af66fc99e Initial load
duke
parents:
diff changeset
276 return _ci_objects->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
277 }
a61af66fc99e Initial load
duke
parents:
diff changeset
278
a61af66fc99e Initial load
duke
parents:
diff changeset
279 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
280 // ciObjectFactory::create_new_object
a61af66fc99e Initial load
duke
parents:
diff changeset
281 //
a61af66fc99e Initial load
duke
parents:
diff changeset
282 // Create a new ciObject from an oop.
a61af66fc99e Initial load
duke
parents:
diff changeset
283 //
a61af66fc99e Initial load
duke
parents:
diff changeset
284 // Implementation note: this functionality could be virtual behavior
a61af66fc99e Initial load
duke
parents:
diff changeset
285 // of the oop itself. For now, we explicitly marshal the object.
a61af66fc99e Initial load
duke
parents:
diff changeset
286 ciObject* ciObjectFactory::create_new_object(oop o) {
a61af66fc99e Initial load
duke
parents:
diff changeset
287 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
288
a61af66fc99e Initial load
duke
parents:
diff changeset
289 if (o->is_symbol()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
290 symbolHandle h_o(THREAD, (symbolOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
291 return new (arena()) ciSymbol(h_o);
a61af66fc99e Initial load
duke
parents:
diff changeset
292 } else if (o->is_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
293 KlassHandle h_k(THREAD, (klassOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
294 Klass* k = ((klassOop)o)->klass_part();
a61af66fc99e Initial load
duke
parents:
diff changeset
295 if (k->oop_is_instance()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
296 return new (arena()) ciInstanceKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
297 } else if (k->oop_is_objArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
298 return new (arena()) ciObjArrayKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
299 } else if (k->oop_is_typeArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
300 return new (arena()) ciTypeArrayKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
301 } else if (k->oop_is_method()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
302 return new (arena()) ciMethodKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
303 } else if (k->oop_is_symbol()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
304 return new (arena()) ciSymbolKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
305 } else if (k->oop_is_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
306 if (k->oop_is_objArrayKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
307 return new (arena()) ciObjArrayKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
308 } else if (k->oop_is_typeArrayKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
309 return new (arena()) ciTypeArrayKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
310 } else if (k->oop_is_instanceKlass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
311 return new (arena()) ciInstanceKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
312 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
313 assert(o == Universe::klassKlassObj(), "bad klassKlass");
a61af66fc99e Initial load
duke
parents:
diff changeset
314 return new (arena()) ciKlassKlass(h_k);
a61af66fc99e Initial load
duke
parents:
diff changeset
315 }
a61af66fc99e Initial load
duke
parents:
diff changeset
316 }
a61af66fc99e Initial load
duke
parents:
diff changeset
317 } else if (o->is_method()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
318 methodHandle h_m(THREAD, (methodOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
319 return new (arena()) ciMethod(h_m);
a61af66fc99e Initial load
duke
parents:
diff changeset
320 } else if (o->is_methodData()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
321 methodDataHandle h_md(THREAD, (methodDataOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
322 return new (arena()) ciMethodData(h_md);
a61af66fc99e Initial load
duke
parents:
diff changeset
323 } else if (o->is_instance()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
324 instanceHandle h_i(THREAD, (instanceOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
325 return new (arena()) ciInstance(h_i);
a61af66fc99e Initial load
duke
parents:
diff changeset
326 } else if (o->is_objArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
327 objArrayHandle h_oa(THREAD, (objArrayOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
328 return new (arena()) ciObjArray(h_oa);
a61af66fc99e Initial load
duke
parents:
diff changeset
329 } else if (o->is_typeArray()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
330 typeArrayHandle h_ta(THREAD, (typeArrayOop)o);
a61af66fc99e Initial load
duke
parents:
diff changeset
331 return new (arena()) ciTypeArray(h_ta);
a61af66fc99e Initial load
duke
parents:
diff changeset
332 }
a61af66fc99e Initial load
duke
parents:
diff changeset
333
a61af66fc99e Initial load
duke
parents:
diff changeset
334 // The oop is of some type not supported by the compiler interface.
a61af66fc99e Initial load
duke
parents:
diff changeset
335 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
336 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
337 }
a61af66fc99e Initial load
duke
parents:
diff changeset
338
a61af66fc99e Initial load
duke
parents:
diff changeset
339 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
340 // ciObjectFactory::get_unloaded_method
a61af66fc99e Initial load
duke
parents:
diff changeset
341 //
a61af66fc99e Initial load
duke
parents:
diff changeset
342 // Get the ciMethod representing an unloaded/unfound method.
a61af66fc99e Initial load
duke
parents:
diff changeset
343 //
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // Implementation note: unloaded methods are currently stored in
a61af66fc99e Initial load
duke
parents:
diff changeset
345 // an unordered array, requiring a linear-time lookup for each
a61af66fc99e Initial load
duke
parents:
diff changeset
346 // unloaded method. This may need to change.
a61af66fc99e Initial load
duke
parents:
diff changeset
347 ciMethod* ciObjectFactory::get_unloaded_method(ciInstanceKlass* holder,
a61af66fc99e Initial load
duke
parents:
diff changeset
348 ciSymbol* name,
a61af66fc99e Initial load
duke
parents:
diff changeset
349 ciSymbol* signature) {
a61af66fc99e Initial load
duke
parents:
diff changeset
350 for (int i=0; i<_unloaded_methods->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
351 ciMethod* entry = _unloaded_methods->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
352 if (entry->holder()->equals(holder) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
353 entry->name()->equals(name) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
354 entry->signature()->as_symbol()->equals(signature)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
355 // We've found a match.
a61af66fc99e Initial load
duke
parents:
diff changeset
356 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
357 }
a61af66fc99e Initial load
duke
parents:
diff changeset
358 }
a61af66fc99e Initial load
duke
parents:
diff changeset
359
a61af66fc99e Initial load
duke
parents:
diff changeset
360 // This is a new unloaded method. Create it and stick it in
a61af66fc99e Initial load
duke
parents:
diff changeset
361 // the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
362 ciMethod* new_method = new (arena()) ciMethod(holder, name, signature);
a61af66fc99e Initial load
duke
parents:
diff changeset
363
a61af66fc99e Initial load
duke
parents:
diff changeset
364 init_ident_of(new_method);
a61af66fc99e Initial load
duke
parents:
diff changeset
365 _unloaded_methods->append(new_method);
a61af66fc99e Initial load
duke
parents:
diff changeset
366
a61af66fc99e Initial load
duke
parents:
diff changeset
367 return new_method;
a61af66fc99e Initial load
duke
parents:
diff changeset
368 }
a61af66fc99e Initial load
duke
parents:
diff changeset
369
a61af66fc99e Initial load
duke
parents:
diff changeset
370 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
371 // ciObjectFactory::get_unloaded_klass
a61af66fc99e Initial load
duke
parents:
diff changeset
372 //
a61af66fc99e Initial load
duke
parents:
diff changeset
373 // Get a ciKlass representing an unloaded klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
374 //
a61af66fc99e Initial load
duke
parents:
diff changeset
375 // Implementation note: unloaded klasses are currently stored in
a61af66fc99e Initial load
duke
parents:
diff changeset
376 // an unordered array, requiring a linear-time lookup for each
a61af66fc99e Initial load
duke
parents:
diff changeset
377 // unloaded klass. This may need to change.
a61af66fc99e Initial load
duke
parents:
diff changeset
378 ciKlass* ciObjectFactory::get_unloaded_klass(ciKlass* accessing_klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
379 ciSymbol* name,
a61af66fc99e Initial load
duke
parents:
diff changeset
380 bool create_if_not_found) {
a61af66fc99e Initial load
duke
parents:
diff changeset
381 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
382 oop loader = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
383 oop domain = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
384 if (accessing_klass != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
385 loader = accessing_klass->loader();
a61af66fc99e Initial load
duke
parents:
diff changeset
386 domain = accessing_klass->protection_domain();
a61af66fc99e Initial load
duke
parents:
diff changeset
387 }
a61af66fc99e Initial load
duke
parents:
diff changeset
388 for (int i=0; i<_unloaded_klasses->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
389 ciKlass* entry = _unloaded_klasses->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
390 if (entry->name()->equals(name) &&
a61af66fc99e Initial load
duke
parents:
diff changeset
391 entry->loader() == loader &&
a61af66fc99e Initial load
duke
parents:
diff changeset
392 entry->protection_domain() == domain) {
a61af66fc99e Initial load
duke
parents:
diff changeset
393 // We've found a match.
a61af66fc99e Initial load
duke
parents:
diff changeset
394 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
395 }
a61af66fc99e Initial load
duke
parents:
diff changeset
396 }
a61af66fc99e Initial load
duke
parents:
diff changeset
397
a61af66fc99e Initial load
duke
parents:
diff changeset
398 if (!create_if_not_found)
a61af66fc99e Initial load
duke
parents:
diff changeset
399 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
400
a61af66fc99e Initial load
duke
parents:
diff changeset
401 // This is a new unloaded klass. Create it and stick it in
a61af66fc99e Initial load
duke
parents:
diff changeset
402 // the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
403 ciKlass* new_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
404
a61af66fc99e Initial load
duke
parents:
diff changeset
405 // Two cases: this is an unloaded objArrayKlass or an
a61af66fc99e Initial load
duke
parents:
diff changeset
406 // unloaded instanceKlass. Deal with both.
a61af66fc99e Initial load
duke
parents:
diff changeset
407 if (name->byte_at(0) == '[') {
a61af66fc99e Initial load
duke
parents:
diff changeset
408 // Decompose the name.'
a61af66fc99e Initial load
duke
parents:
diff changeset
409 jint dimension = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
410 symbolOop element_name = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
411 BasicType element_type= FieldType::get_array_info(name->get_symbolOop(),
a61af66fc99e Initial load
duke
parents:
diff changeset
412 &dimension,
a61af66fc99e Initial load
duke
parents:
diff changeset
413 &element_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
414 THREAD);
a61af66fc99e Initial load
duke
parents:
diff changeset
415 if (HAS_PENDING_EXCEPTION) {
a61af66fc99e Initial load
duke
parents:
diff changeset
416 CLEAR_PENDING_EXCEPTION;
a61af66fc99e Initial load
duke
parents:
diff changeset
417 CURRENT_THREAD_ENV->record_out_of_memory_failure();
a61af66fc99e Initial load
duke
parents:
diff changeset
418 return ciEnv::_unloaded_ciobjarrayklass;
a61af66fc99e Initial load
duke
parents:
diff changeset
419 }
a61af66fc99e Initial load
duke
parents:
diff changeset
420 assert(element_type != T_ARRAY, "unsuccessful decomposition");
a61af66fc99e Initial load
duke
parents:
diff changeset
421 ciKlass* element_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
422 if (element_type == T_OBJECT) {
a61af66fc99e Initial load
duke
parents:
diff changeset
423 ciEnv *env = CURRENT_THREAD_ENV;
a61af66fc99e Initial load
duke
parents:
diff changeset
424 ciSymbol* ci_name = env->get_object(element_name)->as_symbol();
a61af66fc99e Initial load
duke
parents:
diff changeset
425 element_klass =
a61af66fc99e Initial load
duke
parents:
diff changeset
426 env->get_klass_by_name(accessing_klass, ci_name, false)->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
427 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
428 assert(dimension > 1, "one dimensional type arrays are always loaded.");
a61af66fc99e Initial load
duke
parents:
diff changeset
429
a61af66fc99e Initial load
duke
parents:
diff changeset
430 // The type array itself takes care of one of the dimensions.
a61af66fc99e Initial load
duke
parents:
diff changeset
431 dimension--;
a61af66fc99e Initial load
duke
parents:
diff changeset
432
a61af66fc99e Initial load
duke
parents:
diff changeset
433 // The element klass is a typeArrayKlass.
a61af66fc99e Initial load
duke
parents:
diff changeset
434 element_klass = ciTypeArrayKlass::make(element_type);
a61af66fc99e Initial load
duke
parents:
diff changeset
435 }
a61af66fc99e Initial load
duke
parents:
diff changeset
436 new_klass = new (arena()) ciObjArrayKlass(name, element_klass, dimension);
a61af66fc99e Initial load
duke
parents:
diff changeset
437 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
438 jobject loader_handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
439 jobject domain_handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
440 if (accessing_klass != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
441 loader_handle = accessing_klass->loader_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
442 domain_handle = accessing_klass->protection_domain_handle();
a61af66fc99e Initial load
duke
parents:
diff changeset
443 }
a61af66fc99e Initial load
duke
parents:
diff changeset
444 new_klass = new (arena()) ciInstanceKlass(name, loader_handle, domain_handle);
a61af66fc99e Initial load
duke
parents:
diff changeset
445 }
a61af66fc99e Initial load
duke
parents:
diff changeset
446 init_ident_of(new_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
447 _unloaded_klasses->append(new_klass);
a61af66fc99e Initial load
duke
parents:
diff changeset
448
a61af66fc99e Initial load
duke
parents:
diff changeset
449 return new_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
450 }
a61af66fc99e Initial load
duke
parents:
diff changeset
451
a61af66fc99e Initial load
duke
parents:
diff changeset
452 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
453 // ciObjectFactory::get_empty_methodData
a61af66fc99e Initial load
duke
parents:
diff changeset
454 //
a61af66fc99e Initial load
duke
parents:
diff changeset
455 // Get the ciMethodData representing the methodData for a method with
a61af66fc99e Initial load
duke
parents:
diff changeset
456 // none.
a61af66fc99e Initial load
duke
parents:
diff changeset
457 ciMethodData* ciObjectFactory::get_empty_methodData() {
a61af66fc99e Initial load
duke
parents:
diff changeset
458 ciMethodData* new_methodData = new (arena()) ciMethodData();
a61af66fc99e Initial load
duke
parents:
diff changeset
459 init_ident_of(new_methodData);
a61af66fc99e Initial load
duke
parents:
diff changeset
460 return new_methodData;
a61af66fc99e Initial load
duke
parents:
diff changeset
461 }
a61af66fc99e Initial load
duke
parents:
diff changeset
462
a61af66fc99e Initial load
duke
parents:
diff changeset
463 //------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
464 // ciObjectFactory::get_return_address
a61af66fc99e Initial load
duke
parents:
diff changeset
465 //
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // Get a ciReturnAddress for a specified bci.
a61af66fc99e Initial load
duke
parents:
diff changeset
467 ciReturnAddress* ciObjectFactory::get_return_address(int bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
468 for (int i=0; i<_return_addresses->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
469 ciReturnAddress* entry = _return_addresses->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
470 if (entry->bci() == bci) {
a61af66fc99e Initial load
duke
parents:
diff changeset
471 // We've found a match.
a61af66fc99e Initial load
duke
parents:
diff changeset
472 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
473 }
a61af66fc99e Initial load
duke
parents:
diff changeset
474 }
a61af66fc99e Initial load
duke
parents:
diff changeset
475
a61af66fc99e Initial load
duke
parents:
diff changeset
476 ciReturnAddress* new_ret_addr = new (arena()) ciReturnAddress(bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
477 init_ident_of(new_ret_addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
478 _return_addresses->append(new_ret_addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
479 return new_ret_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
480 }
a61af66fc99e Initial load
duke
parents:
diff changeset
481
a61af66fc99e Initial load
duke
parents:
diff changeset
482 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
483 // ciObjectFactory::init_ident_of
a61af66fc99e Initial load
duke
parents:
diff changeset
484 void ciObjectFactory::init_ident_of(ciObject* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
485 obj->set_ident(_next_ident++);
a61af66fc99e Initial load
duke
parents:
diff changeset
486 }
a61af66fc99e Initial load
duke
parents:
diff changeset
487
a61af66fc99e Initial load
duke
parents:
diff changeset
488
a61af66fc99e Initial load
duke
parents:
diff changeset
489 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
490 // ciObjectFactory::find
a61af66fc99e Initial load
duke
parents:
diff changeset
491 //
a61af66fc99e Initial load
duke
parents:
diff changeset
492 // Use binary search to find the position of this oop in the cache.
a61af66fc99e Initial load
duke
parents:
diff changeset
493 // If there is no entry in the cache corresponding to this oop, return
a61af66fc99e Initial load
duke
parents:
diff changeset
494 // the position at which the oop should be inserted.
a61af66fc99e Initial load
duke
parents:
diff changeset
495 int ciObjectFactory::find(oop key, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
496 int min = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
497 int max = objects->length()-1;
a61af66fc99e Initial load
duke
parents:
diff changeset
498
a61af66fc99e Initial load
duke
parents:
diff changeset
499 // print_contents();
a61af66fc99e Initial load
duke
parents:
diff changeset
500
a61af66fc99e Initial load
duke
parents:
diff changeset
501 while (max >= min) {
a61af66fc99e Initial load
duke
parents:
diff changeset
502 int mid = (max + min) / 2;
a61af66fc99e Initial load
duke
parents:
diff changeset
503 oop value = objects->at(mid)->get_oop();
a61af66fc99e Initial load
duke
parents:
diff changeset
504 if (value < key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
505 min = mid + 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
506 } else if (value > key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
507 max = mid - 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
508 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
509 return mid;
a61af66fc99e Initial load
duke
parents:
diff changeset
510 }
a61af66fc99e Initial load
duke
parents:
diff changeset
511 }
a61af66fc99e Initial load
duke
parents:
diff changeset
512 return min;
a61af66fc99e Initial load
duke
parents:
diff changeset
513 }
a61af66fc99e Initial load
duke
parents:
diff changeset
514
a61af66fc99e Initial load
duke
parents:
diff changeset
515 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
516 // ciObjectFactory::is_found_at
a61af66fc99e Initial load
duke
parents:
diff changeset
517 //
a61af66fc99e Initial load
duke
parents:
diff changeset
518 // Verify that the binary seach found the given key.
a61af66fc99e Initial load
duke
parents:
diff changeset
519 bool ciObjectFactory::is_found_at(int index, oop key, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
520 return (index < objects->length() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
521 objects->at(index)->get_oop() == key);
a61af66fc99e Initial load
duke
parents:
diff changeset
522 }
a61af66fc99e Initial load
duke
parents:
diff changeset
523
a61af66fc99e Initial load
duke
parents:
diff changeset
524
a61af66fc99e Initial load
duke
parents:
diff changeset
525 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
526 // ciObjectFactory::insert
a61af66fc99e Initial load
duke
parents:
diff changeset
527 //
a61af66fc99e Initial load
duke
parents:
diff changeset
528 // Insert a ciObject into the table at some index.
a61af66fc99e Initial load
duke
parents:
diff changeset
529 void ciObjectFactory::insert(int index, ciObject* obj, GrowableArray<ciObject*>* objects) {
a61af66fc99e Initial load
duke
parents:
diff changeset
530 int len = objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
531 if (len == index) {
a61af66fc99e Initial load
duke
parents:
diff changeset
532 objects->append(obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
533 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
534 objects->append(objects->at(len-1));
a61af66fc99e Initial load
duke
parents:
diff changeset
535 int pos;
a61af66fc99e Initial load
duke
parents:
diff changeset
536 for (pos = len-2; pos >= index; pos--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
537 objects->at_put(pos+1,objects->at(pos));
a61af66fc99e Initial load
duke
parents:
diff changeset
538 }
a61af66fc99e Initial load
duke
parents:
diff changeset
539 objects->at_put(index, obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
540 }
a61af66fc99e Initial load
duke
parents:
diff changeset
541 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
542 oop last = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
543 for (int j = 0; j< objects->length(); j++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
544 oop o = objects->at(j)->get_oop();
a61af66fc99e Initial load
duke
parents:
diff changeset
545 assert(last < o, "out of order");
a61af66fc99e Initial load
duke
parents:
diff changeset
546 last = o;
a61af66fc99e Initial load
duke
parents:
diff changeset
547 }
a61af66fc99e Initial load
duke
parents:
diff changeset
548 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
549 }
a61af66fc99e Initial load
duke
parents:
diff changeset
550
a61af66fc99e Initial load
duke
parents:
diff changeset
551 static ciObjectFactory::NonPermObject* emptyBucket = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
552
a61af66fc99e Initial load
duke
parents:
diff changeset
553 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
554 // ciObjectFactory::find_non_perm
a61af66fc99e Initial load
duke
parents:
diff changeset
555 //
a61af66fc99e Initial load
duke
parents:
diff changeset
556 // Use a small hash table, hashed on the klass of the key.
a61af66fc99e Initial load
duke
parents:
diff changeset
557 // If there is no entry in the cache corresponding to this oop, return
a61af66fc99e Initial load
duke
parents:
diff changeset
558 // the null tail of the bucket into which the oop should be inserted.
a61af66fc99e Initial load
duke
parents:
diff changeset
559 ciObjectFactory::NonPermObject* &ciObjectFactory::find_non_perm(oop key) {
a61af66fc99e Initial load
duke
parents:
diff changeset
560 // Be careful: is_perm might change from false to true.
a61af66fc99e Initial load
duke
parents:
diff changeset
561 // Thus, there might be a matching perm object in the table.
a61af66fc99e Initial load
duke
parents:
diff changeset
562 // If there is, this probe must find it.
a61af66fc99e Initial load
duke
parents:
diff changeset
563 if (key->is_perm() && _non_perm_count == 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
564 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
565 } else if (key->is_instance()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
566 if (key->klass() == SystemDictionary::class_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
567 // class mirror instances are always perm
a61af66fc99e Initial load
duke
parents:
diff changeset
568 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
569 }
a61af66fc99e Initial load
duke
parents:
diff changeset
570 // fall through to probe
a61af66fc99e Initial load
duke
parents:
diff changeset
571 } else if (key->is_array()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
572 // fall through to probe
a61af66fc99e Initial load
duke
parents:
diff changeset
573 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
574 // not an array or instance
a61af66fc99e Initial load
duke
parents:
diff changeset
575 return emptyBucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
576 }
a61af66fc99e Initial load
duke
parents:
diff changeset
577
a61af66fc99e Initial load
duke
parents:
diff changeset
578 ciObject* klass = get(key->klass());
a61af66fc99e Initial load
duke
parents:
diff changeset
579 NonPermObject* *bp = &_non_perm_bucket[(unsigned) klass->hash() % NON_PERM_BUCKETS];
a61af66fc99e Initial load
duke
parents:
diff changeset
580 for (NonPermObject* p; (p = (*bp)) != NULL; bp = &p->next()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
581 if (is_equal(p, key)) break;
a61af66fc99e Initial load
duke
parents:
diff changeset
582 }
a61af66fc99e Initial load
duke
parents:
diff changeset
583 return (*bp);
a61af66fc99e Initial load
duke
parents:
diff changeset
584 }
a61af66fc99e Initial load
duke
parents:
diff changeset
585
a61af66fc99e Initial load
duke
parents:
diff changeset
586
a61af66fc99e Initial load
duke
parents:
diff changeset
587
a61af66fc99e Initial load
duke
parents:
diff changeset
588 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
589 // Code for for NonPermObject
a61af66fc99e Initial load
duke
parents:
diff changeset
590 //
a61af66fc99e Initial load
duke
parents:
diff changeset
591 inline ciObjectFactory::NonPermObject::NonPermObject(ciObjectFactory::NonPermObject* &bucket, oop key, ciObject* object) {
a61af66fc99e Initial load
duke
parents:
diff changeset
592 assert(ciObjectFactory::is_initialized(), "");
a61af66fc99e Initial load
duke
parents:
diff changeset
593 _object = object;
a61af66fc99e Initial load
duke
parents:
diff changeset
594 _next = bucket;
a61af66fc99e Initial load
duke
parents:
diff changeset
595 bucket = this;
a61af66fc99e Initial load
duke
parents:
diff changeset
596 }
a61af66fc99e Initial load
duke
parents:
diff changeset
597
a61af66fc99e Initial load
duke
parents:
diff changeset
598
a61af66fc99e Initial load
duke
parents:
diff changeset
599
a61af66fc99e Initial load
duke
parents:
diff changeset
600 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
601 // ciObjectFactory::insert_non_perm
a61af66fc99e Initial load
duke
parents:
diff changeset
602 //
a61af66fc99e Initial load
duke
parents:
diff changeset
603 // Insert a ciObject into the non-perm table.
a61af66fc99e Initial load
duke
parents:
diff changeset
604 void ciObjectFactory::insert_non_perm(ciObjectFactory::NonPermObject* &where, oop key, ciObject* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
605 assert(&where != &emptyBucket, "must not try to fill empty bucket");
a61af66fc99e Initial load
duke
parents:
diff changeset
606 NonPermObject* p = new (arena()) NonPermObject(where, key, obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
607 assert(where == p && is_equal(p, key) && p->object() == obj, "entry must match");
a61af66fc99e Initial load
duke
parents:
diff changeset
608 assert(find_non_perm(key) == p, "must find the same spot");
a61af66fc99e Initial load
duke
parents:
diff changeset
609 ++_non_perm_count;
a61af66fc99e Initial load
duke
parents:
diff changeset
610 }
a61af66fc99e Initial load
duke
parents:
diff changeset
611
a61af66fc99e Initial load
duke
parents:
diff changeset
612 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
613 // ciObjectFactory::vm_symbol_at
a61af66fc99e Initial load
duke
parents:
diff changeset
614 // Get the ciSymbol corresponding to some index in vmSymbols.
a61af66fc99e Initial load
duke
parents:
diff changeset
615 ciSymbol* ciObjectFactory::vm_symbol_at(int index) {
a61af66fc99e Initial load
duke
parents:
diff changeset
616 assert(index >= vmSymbols::FIRST_SID && index < vmSymbols::SID_LIMIT, "oob");
a61af66fc99e Initial load
duke
parents:
diff changeset
617 return _shared_ci_symbols[index];
a61af66fc99e Initial load
duke
parents:
diff changeset
618 }
a61af66fc99e Initial load
duke
parents:
diff changeset
619
a61af66fc99e Initial load
duke
parents:
diff changeset
620 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
621 // ciObjectFactory::print_contents_impl
a61af66fc99e Initial load
duke
parents:
diff changeset
622 void ciObjectFactory::print_contents_impl() {
a61af66fc99e Initial load
duke
parents:
diff changeset
623 int len = _ci_objects->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
624 tty->print_cr("ciObjectFactory (%d) oop contents:", len);
a61af66fc99e Initial load
duke
parents:
diff changeset
625 for (int i=0; i<len; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
626 _ci_objects->at(i)->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
627 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
628 }
a61af66fc99e Initial load
duke
parents:
diff changeset
629 }
a61af66fc99e Initial load
duke
parents:
diff changeset
630
a61af66fc99e Initial load
duke
parents:
diff changeset
631 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
632 // ciObjectFactory::print_contents
a61af66fc99e Initial load
duke
parents:
diff changeset
633 void ciObjectFactory::print_contents() {
a61af66fc99e Initial load
duke
parents:
diff changeset
634 print();
a61af66fc99e Initial load
duke
parents:
diff changeset
635 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
636 GUARDED_VM_ENTRY(print_contents_impl();)
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::print
a61af66fc99e Initial load
duke
parents:
diff changeset
641 //
a61af66fc99e Initial load
duke
parents:
diff changeset
642 // Print debugging information about the object factory
a61af66fc99e Initial load
duke
parents:
diff changeset
643 void ciObjectFactory::print() {
a61af66fc99e Initial load
duke
parents:
diff changeset
644 tty->print("<ciObjectFactory oops=%d unloaded_methods=%d unloaded_klasses=%d>",
a61af66fc99e Initial load
duke
parents:
diff changeset
645 _ci_objects->length(), _unloaded_methods->length(),
a61af66fc99e Initial load
duke
parents:
diff changeset
646 _unloaded_klasses->length());
a61af66fc99e Initial load
duke
parents:
diff changeset
647 }