Mercurial > hg > truffle
annotate src/share/vm/ci/ciObject.cpp @ 3762:5c0a3c1858b1
7048782: CMS: assert(last_chunk_index_to_check<= last_chunk_index) failed: parCardTableModRefBS.cpp:359
Summary: The LNC array is sized before the start of a scavenge, while the heap may expand during a scavenge. With CMS, the last block of an arbitrary suffice of the LNC array may expand due to coalition with the expansion delta. We now take care not to attempt access past the end of the LNC array. LNC array code will be cleaned up and suitably encapsulated as part of the forthcoming performance RFE 7043675.
Reviewed-by: brutisso
| author | ysr |
|---|---|
| date | Thu, 02 Jun 2011 10:23:36 -0700 |
| parents | 01fd6090fdd8 |
| children | 28a9fe9534ea |
| rev | line source |
|---|---|
| 0 | 1 /* |
| 1972 | 2 * Copyright (c) 1999, 2010, 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 -- | |
| 46 // the distinction between `klassOop' and `Klass' are not | |
| 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; | |
| 60 _ident = 0; | |
| 989 | 61 init_flags_from(o); |
| 0 | 62 } |
| 63 | |
| 64 // ------------------------------------------------------------------ | |
| 65 // ciObject::ciObject | |
| 66 // | |
| 67 ciObject::ciObject(Handle h) { | |
| 68 ASSERT_IN_VM; | |
| 69 if (ciObjectFactory::is_initialized()) { | |
| 70 _handle = JNIHandles::make_local(h()); | |
| 71 } else { | |
| 72 _handle = JNIHandles::make_global(h); | |
| 73 } | |
| 74 _klass = NULL; | |
| 75 _ident = 0; | |
| 989 | 76 init_flags_from(h()); |
| 0 | 77 } |
| 78 | |
| 79 // ------------------------------------------------------------------ | |
| 80 // ciObject::ciObject | |
| 81 // | |
| 82 // Unloaded klass/method variant. `klass' is the klass of the unloaded | |
| 83 // klass/method, if that makes sense. | |
| 84 ciObject::ciObject(ciKlass* klass) { | |
| 85 ASSERT_IN_VM; | |
| 86 assert(klass != NULL, "must supply klass"); | |
| 87 _handle = NULL; | |
| 88 _klass = klass; | |
| 89 _ident = 0; | |
| 90 } | |
| 91 | |
| 92 // ------------------------------------------------------------------ | |
| 93 // ciObject::ciObject | |
| 94 // | |
| 95 // NULL variant. Used only by ciNullObject. | |
| 96 ciObject::ciObject() { | |
| 97 ASSERT_IN_VM; | |
| 98 _handle = NULL; | |
| 99 _klass = NULL; | |
| 100 _ident = 0; | |
| 101 } | |
| 102 | |
| 103 // ------------------------------------------------------------------ | |
| 104 // ciObject::klass | |
| 105 // | |
| 106 // Get the ciKlass of this ciObject. | |
| 107 ciKlass* ciObject::klass() { | |
| 108 if (_klass == NULL) { | |
| 109 if (_handle == NULL) { | |
| 110 // When both _klass and _handle are NULL, we are dealing | |
| 111 // with the distinguished instance of ciNullObject. | |
| 112 // No one should ask it for its klass. | |
| 113 assert(is_null_object(), "must be null object"); | |
| 114 ShouldNotReachHere(); | |
| 115 return NULL; | |
| 116 } | |
| 117 | |
| 118 GUARDED_VM_ENTRY( | |
| 119 oop o = get_oop(); | |
| 120 _klass = CURRENT_ENV->get_object(o->klass())->as_klass(); | |
| 121 ); | |
| 122 } | |
| 123 return _klass; | |
| 124 } | |
| 125 | |
| 126 // ------------------------------------------------------------------ | |
| 127 // ciObject::set_ident | |
| 128 // | |
| 129 // Set the unique identity number of a ciObject. | |
| 130 void ciObject::set_ident(uint id) { | |
| 131 assert((_ident >> FLAG_BITS) == 0, "must only initialize once"); | |
| 132 assert( id < ((uint)1 << (BitsPerInt-FLAG_BITS)), "id too big"); | |
| 133 _ident = _ident + (id << FLAG_BITS); | |
| 134 } | |
| 135 | |
| 136 // ------------------------------------------------------------------ | |
| 137 // ciObject::ident | |
| 138 // | |
| 139 // Report the unique identity number of a ciObject. | |
| 140 uint ciObject::ident() { | |
| 141 uint id = _ident >> FLAG_BITS; | |
| 142 assert(id != 0, "must be initialized"); | |
| 143 return id; | |
| 144 } | |
| 145 | |
| 146 // ------------------------------------------------------------------ | |
| 147 // ciObject::equals | |
| 148 // | |
| 149 // Are two ciObjects equal? | |
| 150 bool ciObject::equals(ciObject* obj) { | |
| 151 return (this == obj); | |
| 152 } | |
| 153 | |
| 154 // ------------------------------------------------------------------ | |
| 155 // ciObject::hash | |
| 156 // | |
| 157 // A hash value for the convenience of compilers. | |
| 158 // | |
| 159 // Implementation note: we use the address of the ciObject as the | |
| 160 // basis for the hash. Use the _ident field, which is well-behaved. | |
| 161 int ciObject::hash() { | |
| 162 return ident() * 31; | |
| 163 } | |
| 164 | |
| 165 // ------------------------------------------------------------------ | |
| 989 | 166 // ciObject::constant_encoding |
| 0 | 167 // |
| 168 // The address which the compiler should embed into the | |
| 169 // generated code to represent this oop. This address | |
| 170 // is not the true address of the oop -- it will get patched | |
| 171 // during nmethod creation. | |
| 172 // | |
| 173 // | |
| 174 // | |
| 175 // Implementation note: we use the handle as the encoding. The | |
| 176 // nmethod constructor resolves the handle and patches in the oop. | |
| 177 // | |
| 178 // This method should be changed to return an generified address | |
| 179 // to discourage use of the JNI handle. | |
| 989 | 180 jobject ciObject::constant_encoding() { |
| 0 | 181 assert(is_null_object() || handle() != NULL, "cannot embed null pointer"); |
| 989 | 182 assert(can_be_constant(), "oop must be NULL or perm"); |
| 0 | 183 return handle(); |
| 184 } | |
| 185 | |
| 186 // ------------------------------------------------------------------ | |
| 989 | 187 // ciObject::can_be_constant |
| 188 bool ciObject::can_be_constant() { | |
| 189 if (ScavengeRootsInCode >= 1) return true; // now everybody can encode as a constant | |
| 190 return handle() == NULL || !is_scavengable(); | |
| 191 } | |
| 192 | |
| 193 // ------------------------------------------------------------------ | |
| 194 // ciObject::should_be_constant() | |
| 195 bool ciObject::should_be_constant() { | |
| 196 if (ScavengeRootsInCode >= 2) return true; // force everybody to be a constant | |
|
3283
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
197 if (!JavaObjectsInPerm && !is_null_object()) { |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
198 // 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
|
199 // 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
|
200 // 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
|
201 // 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
|
202 ciEnv* env = CURRENT_ENV; |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
203 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
|
204 return true; |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
205 } |
|
01fd6090fdd8
7032162: assert(flat != TypePtr::BOTTOM) failed: cannot alias-analyze an untyped ptr
never
parents:
1972
diff
changeset
|
206 } |
| 989 | 207 return handle() == NULL || !is_scavengable(); |
| 0 | 208 } |
| 209 | |
| 210 | |
| 211 // ------------------------------------------------------------------ | |
| 212 // ciObject::print | |
| 213 // | |
| 214 // Print debugging output about this ciObject. | |
| 215 // | |
| 216 // Implementation note: dispatch to the virtual print_impl behavior | |
| 217 // for this ciObject. | |
| 218 void ciObject::print(outputStream* st) { | |
| 219 st->print("<%s", type_string()); | |
| 220 GUARDED_VM_ENTRY(print_impl(st);) | |
| 989 | 221 st->print(" ident=%d %s%s address=0x%x>", ident(), |
| 0 | 222 is_perm() ? "PERM" : "", |
| 989 | 223 is_scavengable() ? "SCAVENGABLE" : "", |
| 0 | 224 (address)this); |
| 225 } | |
| 226 | |
| 227 // ------------------------------------------------------------------ | |
| 228 // ciObject::print_oop | |
| 229 // | |
| 230 // Print debugging output about the oop this ciObject represents. | |
| 231 void ciObject::print_oop(outputStream* st) { | |
| 232 if (is_null_object()) { | |
| 233 st->print_cr("NULL"); | |
| 234 } else if (!is_loaded()) { | |
| 235 st->print_cr("UNLOADED"); | |
| 236 } else { | |
| 237 GUARDED_VM_ENTRY(get_oop()->print_on(st);) | |
| 238 } | |
| 239 } |