Mercurial > hg > truffle
annotate src/share/vm/ci/ciObject.cpp @ 14518:d8041d695d19
Merged with jdk9/dev/hotspot changeset 3812c088b945
| author | twisti |
|---|---|
| date | Tue, 11 Mar 2014 18:45:59 -0700 |
| parents | e522a00b91aa |
| children | 52b4284cb496 |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved. |
| 0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| 4 * | |
| 5 * This code is free software; you can redistribute it and/or modify it | |
| 6 * under the terms of the GNU General Public License version 2 only, as | |
| 7 * published by the Free Software Foundation. | |
| 8 * | |
| 9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
| 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 12 * version 2 for more details (a copy is included in the LICENSE file that | |
| 13 * accompanied this code). | |
| 14 * | |
| 15 * You should have received a copy of the GNU General Public License version | |
| 16 * 2 along with this work; if not, write to the Free Software Foundation, | |
| 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| 18 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
989
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
989
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:
989
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #include "precompiled.hpp" |
| 26 #include "ci/ciObject.hpp" | |
| 27 #include "ci/ciUtilities.hpp" | |
| 28 #include "gc_interface/collectedHeap.inline.hpp" | |
| 29 #include "oops/oop.inline2.hpp" | |
| 0 | 30 |
| 31 // ciObject | |
| 32 // | |
| 33 // This class represents an oop in the HotSpot virtual machine. | |
| 34 // Its subclasses are structured in a hierarchy which mirrors | |
| 35 // an aggregate of the VM's oop and klass hierarchies (see | |
| 36 // oopHierarchy.hpp). Each instance of ciObject holds a handle | |
| 37 // to a corresponding oop on the VM side and provides routines | |
| 38 // for accessing the information in its oop. By using the ciObject | |
| 39 // hierarchy for accessing oops in the VM, the compiler ensures | |
| 40 // that it is safe with respect to garbage collection; that is, | |
| 41 // GC and compilation can proceed independently without | |
| 42 // interference. | |
| 43 // | |
| 44 // Within the VM, the oop and klass hierarchies are separate. | |
| 45 // The compiler interface does not preserve this separation -- | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
46 // the distinction between `Klass*' and `Klass' are not |
| 0 | 47 // reflected in the interface and instead the Klass hierarchy |
| 48 // is directly modeled as the subclasses of ciKlass. | |
| 49 | |
| 50 // ------------------------------------------------------------------ | |
| 51 // ciObject::ciObject | |
| 52 ciObject::ciObject(oop o) { | |
| 53 ASSERT_IN_VM; | |
| 54 if (ciObjectFactory::is_initialized()) { | |
| 55 _handle = JNIHandles::make_local(o); | |
| 56 } else { | |
| 57 _handle = JNIHandles::make_global(o); | |
| 58 } | |
| 59 _klass = NULL; | |
| 989 | 60 init_flags_from(o); |
| 0 | 61 } |
| 62 | |
| 63 // ------------------------------------------------------------------ | |
| 64 // ciObject::ciObject | |
| 65 // | |
| 66 ciObject::ciObject(Handle h) { | |
| 67 ASSERT_IN_VM; | |
| 68 if (ciObjectFactory::is_initialized()) { | |
| 69 _handle = JNIHandles::make_local(h()); | |
| 70 } else { | |
| 71 _handle = JNIHandles::make_global(h); | |
| 72 } | |
| 73 _klass = NULL; | |
| 989 | 74 init_flags_from(h()); |
| 0 | 75 } |
| 76 | |
| 77 // ------------------------------------------------------------------ | |
| 78 // ciObject::ciObject | |
| 79 // | |
| 80 // Unloaded klass/method variant. `klass' is the klass of the unloaded | |
| 81 // klass/method, if that makes sense. | |
| 82 ciObject::ciObject(ciKlass* klass) { | |
| 83 ASSERT_IN_VM; | |
| 84 assert(klass != NULL, "must supply klass"); | |
| 85 _handle = NULL; | |
| 86 _klass = klass; | |
| 87 } | |
| 88 | |
| 89 // ------------------------------------------------------------------ | |
| 90 // ciObject::ciObject | |
| 91 // | |
| 92 // NULL variant. Used only by ciNullObject. | |
| 93 ciObject::ciObject() { | |
| 94 ASSERT_IN_VM; | |
| 95 _handle = NULL; | |
| 96 _klass = NULL; | |
| 97 } | |
| 98 | |
| 99 // ------------------------------------------------------------------ | |
| 100 // ciObject::klass | |
| 101 // | |
| 102 // Get the ciKlass of this ciObject. | |
| 103 ciKlass* ciObject::klass() { | |
| 104 if (_klass == NULL) { | |
| 105 if (_handle == NULL) { | |
| 106 // When both _klass and _handle are NULL, we are dealing | |
| 107 // with the distinguished instance of ciNullObject. | |
| 108 // No one should ask it for its klass. | |
| 109 assert(is_null_object(), "must be null object"); | |
| 110 ShouldNotReachHere(); | |
| 111 return NULL; | |
| 112 } | |
| 113 | |
| 114 GUARDED_VM_ENTRY( | |
| 115 oop o = get_oop(); | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
116 _klass = CURRENT_ENV->get_klass(o->klass()); |
| 0 | 117 ); |
| 118 } | |
| 119 return _klass; | |
| 120 } | |
| 121 | |
| 122 // ------------------------------------------------------------------ | |
| 123 // ciObject::equals | |
| 124 // | |
| 125 // Are two ciObjects equal? | |
| 126 bool ciObject::equals(ciObject* obj) { | |
| 127 return (this == obj); | |
| 128 } | |
| 129 | |
| 130 // ------------------------------------------------------------------ | |
| 131 // ciObject::hash | |
| 132 // | |
| 133 // A hash value for the convenience of compilers. | |
| 134 // | |
| 135 // Implementation note: we use the address of the ciObject as the | |
| 136 // basis for the hash. Use the _ident field, which is well-behaved. | |
| 137 int ciObject::hash() { | |
| 138 return ident() * 31; | |
| 139 } | |
| 140 | |
| 141 // ------------------------------------------------------------------ | |
| 989 | 142 // ciObject::constant_encoding |
| 0 | 143 // |
| 144 // The address which the compiler should embed into the | |
| 145 // generated code to represent this oop. This address | |
| 146 // is not the true address of the oop -- it will get patched | |
| 147 // during nmethod creation. | |
| 148 // | |
| 149 // | |
| 150 // | |
| 151 // Implementation note: we use the handle as the encoding. The | |
| 152 // nmethod constructor resolves the handle and patches in the oop. | |
| 153 // | |
| 154 // This method should be changed to return an generified address | |
| 155 // to discourage use of the JNI handle. | |
| 989 | 156 jobject ciObject::constant_encoding() { |
| 0 | 157 assert(is_null_object() || handle() != NULL, "cannot embed null pointer"); |
| 989 | 158 assert(can_be_constant(), "oop must be NULL or perm"); |
| 0 | 159 return handle(); |
| 160 } | |
| 161 | |
| 162 // ------------------------------------------------------------------ | |
| 989 | 163 // ciObject::can_be_constant |
| 164 bool ciObject::can_be_constant() { | |
| 165 if (ScavengeRootsInCode >= 1) return true; // now everybody can encode as a constant | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
166 return handle() == NULL; |
| 989 | 167 } |
| 168 | |
| 169 // ------------------------------------------------------------------ | |
| 170 // ciObject::should_be_constant() | |
| 171 bool ciObject::should_be_constant() { | |
| 172 if (ScavengeRootsInCode >= 2) return true; // force everybody to be a constant | |
|
3905
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
173 if (is_null_object()) return true; |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
174 |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
175 ciEnv* env = CURRENT_ENV; |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
176 |
|
3283
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
177 // We want Strings and Classes to be embeddable by default since |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
178 // they used to be in the perm world. Not all Strings used to be |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
179 // embeddable but there's no easy way to distinguish the interned |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
180 // from the regulars ones so just treat them all that way. |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
181 if (klass() == env->String_klass() || klass() == env->Class_klass()) { |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
182 return true; |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
183 } |
|
3905
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
184 if (EnableInvokeDynamic && |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
185 (klass()->is_subclass_of(env->MethodHandle_klass()) || |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
186 klass()->is_subclass_of(env->CallSite_klass()))) { |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
187 assert(ScavengeRootsInCode >= 1, "must be"); |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
188 // We want to treat these aggressively. |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
189 return true; |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
190 } |
|
c26de9aef2ed
7071307: MethodHandle bimorphic inlining should consider the frequency
never
parents:
3402
diff
changeset
|
191 |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
192 return handle() == NULL; |
| 0 | 193 } |
| 194 | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
195 // ------------------------------------------------------------------ |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
196 // ciObject::should_be_constant() |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
197 void ciObject::init_flags_from(oop x) { |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
198 int flags = 0; |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
199 if (x != NULL) { |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
200 assert(Universe::heap()->is_in_reserved(x), "must be"); |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
201 if (x->is_scavengable()) |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
202 flags |= SCAVENGABLE_FLAG; |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
203 } |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
204 _ident |= flags; |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
205 } |
| 0 | 206 |
| 207 // ------------------------------------------------------------------ | |
| 208 // ciObject::print | |
| 209 // | |
| 210 // Print debugging output about this ciObject. | |
| 211 // | |
| 212 // Implementation note: dispatch to the virtual print_impl behavior | |
| 213 // for this ciObject. | |
| 214 void ciObject::print(outputStream* st) { | |
| 215 st->print("<%s", type_string()); | |
| 216 GUARDED_VM_ENTRY(print_impl(st);) | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
3905
diff
changeset
|
217 st->print(" ident=%d %s address=0x%x>", ident(), |
| 989 | 218 is_scavengable() ? "SCAVENGABLE" : "", |
| 0 | 219 (address)this); |
| 220 } | |
| 221 | |
| 222 // ------------------------------------------------------------------ | |
| 223 // ciObject::print_oop | |
| 224 // | |
| 225 // Print debugging output about the oop this ciObject represents. | |
| 226 void ciObject::print_oop(outputStream* st) { | |
| 227 if (is_null_object()) { | |
| 228 st->print_cr("NULL"); | |
| 229 } else if (!is_loaded()) { | |
| 230 st->print_cr("UNLOADED"); | |
| 231 } else { | |
| 232 GUARDED_VM_ENTRY(get_oop()->print_on(st);) | |
| 233 } | |
| 234 } |