Mercurial > hg > truffle
annotate src/share/vm/ci/ciObject.cpp @ 8733:9def4075da6d
8008079: G1: Add nextObject routine to CMBitMapRO and replace nextWord
Summary: Update the task local finger to the start of the next object when marking aborts, in order to avoid the redundant scanning of all 0's when the marking task restarts, if otherwise updating to the next word. In addition, reuse the routine nextObject() in routine iterate().
Reviewed-by: johnc, ysr
Contributed-by: tamao <tao.mao@oracle.com>
| author | tamao |
|---|---|
| date | Tue, 05 Mar 2013 15:36:56 -0800 |
| parents | da91efe96a93 |
| children | e522a00b91aa 78bbf4d43a14 |
| 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 } |