annotate src/share/vm/ci/ciObject.cpp @ 666:ebebd376f657

6805522: Server VM fails with assertion (block1->start() != block2->start(),"successors have unique bcis") Reviewed-by: kvn
author never
date Mon, 23 Mar 2009 13:58:58 -0700
parents a61af66fc99e
children 148e5441d916
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/_ciObject.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // This class represents an oop in the HotSpot virtual machine.
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // Its subclasses are structured in a hierarchy which mirrors
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // an aggregate of the VM's oop and klass hierarchies (see
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // oopHierarchy.hpp). Each instance of ciObject holds a handle
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // to a corresponding oop on the VM side and provides routines
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // for accessing the information in its oop. By using the ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // hierarchy for accessing oops in the VM, the compiler ensures
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // that it is safe with respect to garbage collection; that is,
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // GC and compilation can proceed independently without
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // interference.
a61af66fc99e Initial load
duke
parents:
diff changeset
40 //
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // Within the VM, the oop and klass hierarchies are separate.
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // The compiler interface does not preserve this separation --
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // the distinction between `klassOop' and `Klass' are not
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // reflected in the interface and instead the Klass hierarchy
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // is directly modeled as the subclasses of ciKlass.
a61af66fc99e Initial load
duke
parents:
diff changeset
46
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // ciObject::ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
49 ciObject::ciObject(oop o) {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
51 if (ciObjectFactory::is_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _handle = JNIHandles::make_local(o);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
54 _handle = JNIHandles::make_global(o);
a61af66fc99e Initial load
duke
parents:
diff changeset
55 }
a61af66fc99e Initial load
duke
parents:
diff changeset
56 _klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
57 _ident = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
58 }
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // ciObject::ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
62 //
a61af66fc99e Initial load
duke
parents:
diff changeset
63 ciObject::ciObject(Handle h) {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 if (ciObjectFactory::is_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 _handle = JNIHandles::make_local(h());
a61af66fc99e Initial load
duke
parents:
diff changeset
67 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
68 _handle = JNIHandles::make_global(h);
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 _klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 _ident = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 }
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // ciObject::ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
76 //
a61af66fc99e Initial load
duke
parents:
diff changeset
77 // Unloaded klass/method variant. `klass' is the klass of the unloaded
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // klass/method, if that makes sense.
a61af66fc99e Initial load
duke
parents:
diff changeset
79 ciObject::ciObject(ciKlass* klass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
80 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
81 assert(klass != NULL, "must supply klass");
a61af66fc99e Initial load
duke
parents:
diff changeset
82 _handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
83 _klass = klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
84 _ident = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // ciObject::ciObject
a61af66fc99e Initial load
duke
parents:
diff changeset
89 //
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // NULL variant. Used only by ciNullObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
91 ciObject::ciObject() {
a61af66fc99e Initial load
duke
parents:
diff changeset
92 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
93 _handle = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
94 _klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
95 _ident = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
96 }
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // ciObject::klass
a61af66fc99e Initial load
duke
parents:
diff changeset
100 //
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // Get the ciKlass of this ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
102 ciKlass* ciObject::klass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
103 if (_klass == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
104 if (_handle == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // When both _klass and _handle are NULL, we are dealing
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // with the distinguished instance of ciNullObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // No one should ask it for its klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
108 assert(is_null_object(), "must be null object");
a61af66fc99e Initial load
duke
parents:
diff changeset
109 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
110 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 }
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 GUARDED_VM_ENTRY(
a61af66fc99e Initial load
duke
parents:
diff changeset
114 oop o = get_oop();
a61af66fc99e Initial load
duke
parents:
diff changeset
115 _klass = CURRENT_ENV->get_object(o->klass())->as_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
116 );
a61af66fc99e Initial load
duke
parents:
diff changeset
117 }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 return _klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
119 }
a61af66fc99e Initial load
duke
parents:
diff changeset
120
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // ciObject::set_ident
a61af66fc99e Initial load
duke
parents:
diff changeset
123 //
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // Set the unique identity number of a ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
125 void ciObject::set_ident(uint id) {
a61af66fc99e Initial load
duke
parents:
diff changeset
126 assert((_ident >> FLAG_BITS) == 0, "must only initialize once");
a61af66fc99e Initial load
duke
parents:
diff changeset
127 assert( id < ((uint)1 << (BitsPerInt-FLAG_BITS)), "id too big");
a61af66fc99e Initial load
duke
parents:
diff changeset
128 _ident = _ident + (id << FLAG_BITS);
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // ciObject::ident
a61af66fc99e Initial load
duke
parents:
diff changeset
133 //
a61af66fc99e Initial load
duke
parents:
diff changeset
134 // Report the unique identity number of a ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
135 uint ciObject::ident() {
a61af66fc99e Initial load
duke
parents:
diff changeset
136 uint id = _ident >> FLAG_BITS;
a61af66fc99e Initial load
duke
parents:
diff changeset
137 assert(id != 0, "must be initialized");
a61af66fc99e Initial load
duke
parents:
diff changeset
138 return id;
a61af66fc99e Initial load
duke
parents:
diff changeset
139 }
a61af66fc99e Initial load
duke
parents:
diff changeset
140
a61af66fc99e Initial load
duke
parents:
diff changeset
141 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
142 // ciObject::equals
a61af66fc99e Initial load
duke
parents:
diff changeset
143 //
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // Are two ciObjects equal?
a61af66fc99e Initial load
duke
parents:
diff changeset
145 bool ciObject::equals(ciObject* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
146 return (this == obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
147 }
a61af66fc99e Initial load
duke
parents:
diff changeset
148
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // ciObject::hash
a61af66fc99e Initial load
duke
parents:
diff changeset
151 //
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // A hash value for the convenience of compilers.
a61af66fc99e Initial load
duke
parents:
diff changeset
153 //
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // Implementation note: we use the address of the ciObject as the
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // basis for the hash. Use the _ident field, which is well-behaved.
a61af66fc99e Initial load
duke
parents:
diff changeset
156 int ciObject::hash() {
a61af66fc99e Initial load
duke
parents:
diff changeset
157 return ident() * 31;
a61af66fc99e Initial load
duke
parents:
diff changeset
158 }
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // ciObject::encoding
a61af66fc99e Initial load
duke
parents:
diff changeset
162 //
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // The address which the compiler should embed into the
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // generated code to represent this oop. This address
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // is not the true address of the oop -- it will get patched
a61af66fc99e Initial load
duke
parents:
diff changeset
166 // during nmethod creation.
a61af66fc99e Initial load
duke
parents:
diff changeset
167 //
a61af66fc99e Initial load
duke
parents:
diff changeset
168 //
a61af66fc99e Initial load
duke
parents:
diff changeset
169 //
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // Implementation note: we use the handle as the encoding. The
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // nmethod constructor resolves the handle and patches in the oop.
a61af66fc99e Initial load
duke
parents:
diff changeset
172 //
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // This method should be changed to return an generified address
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // to discourage use of the JNI handle.
a61af66fc99e Initial load
duke
parents:
diff changeset
175 jobject ciObject::encoding() {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 assert(is_null_object() || handle() != NULL, "cannot embed null pointer");
a61af66fc99e Initial load
duke
parents:
diff changeset
177 assert(has_encoding(), "oop must be NULL or perm");
a61af66fc99e Initial load
duke
parents:
diff changeset
178 return handle();
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 // ciObject::has_encoding
a61af66fc99e Initial load
duke
parents:
diff changeset
183 bool ciObject::has_encoding() {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 return handle() == NULL || is_perm();
a61af66fc99e Initial load
duke
parents:
diff changeset
185 }
a61af66fc99e Initial load
duke
parents:
diff changeset
186
a61af66fc99e Initial load
duke
parents:
diff changeset
187
a61af66fc99e Initial load
duke
parents:
diff changeset
188 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
189 // ciObject::print
a61af66fc99e Initial load
duke
parents:
diff changeset
190 //
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // Print debugging output about this ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
192 //
a61af66fc99e Initial load
duke
parents:
diff changeset
193 // Implementation note: dispatch to the virtual print_impl behavior
a61af66fc99e Initial load
duke
parents:
diff changeset
194 // for this ciObject.
a61af66fc99e Initial load
duke
parents:
diff changeset
195 void ciObject::print(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
196 st->print("<%s", type_string());
a61af66fc99e Initial load
duke
parents:
diff changeset
197 GUARDED_VM_ENTRY(print_impl(st);)
a61af66fc99e Initial load
duke
parents:
diff changeset
198 st->print(" ident=%d %s address=0x%x>", ident(),
a61af66fc99e Initial load
duke
parents:
diff changeset
199 is_perm() ? "PERM" : "",
a61af66fc99e Initial load
duke
parents:
diff changeset
200 (address)this);
a61af66fc99e Initial load
duke
parents:
diff changeset
201 }
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // ciObject::print_oop
a61af66fc99e Initial load
duke
parents:
diff changeset
205 //
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // Print debugging output about the oop this ciObject represents.
a61af66fc99e Initial load
duke
parents:
diff changeset
207 void ciObject::print_oop(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
208 if (is_null_object()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
209 st->print_cr("NULL");
a61af66fc99e Initial load
duke
parents:
diff changeset
210 } else if (!is_loaded()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
211 st->print_cr("UNLOADED");
a61af66fc99e Initial load
duke
parents:
diff changeset
212 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
213 GUARDED_VM_ENTRY(get_oop()->print_on(st);)
a61af66fc99e Initial load
duke
parents:
diff changeset
214 }
a61af66fc99e Initial load
duke
parents:
diff changeset
215 }