Mercurial > hg > truffle
annotate src/share/vm/oops/methodDataKlass.cpp @ 3917:eca1193ca245
4965777: GC changes to support use of discovered field for pending references
Summary: If and when the reference handler thread is able to use the discovered field to link reference objects in its pending list, so will GC. In that case, GC will scan through this field once a reference object has been placed on the pending list, but not scan that field before that stage, as the field is used by the concurrent GC thread to link discovered objects. When ReferenceHandleR thread does not use the discovered field for the purpose of linking the elements in the pending list, as would be the case in older JDKs, the JVM will fall back to the old behaviour of using the next field for that purpose.
Reviewed-by: jcoomes, mchung, stefank
| author | ysr |
|---|---|
| date | Wed, 07 Sep 2011 13:55:42 -0700 |
| parents | e5383553fd4e |
| children | f7251c729b31 |
| rev | line source |
|---|---|
| 0 | 1 /* |
| 2227 | 2 * Copyright (c) 2000, 2011, 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:
1155
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1155
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:
1155
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #include "precompiled.hpp" |
| 26 #include "gc_implementation/shared/markSweep.inline.hpp" | |
| 27 #include "gc_interface/collectedHeap.inline.hpp" | |
| 28 #include "memory/gcLocker.hpp" | |
| 29 #include "memory/resourceArea.hpp" | |
| 30 #include "memory/universe.inline.hpp" | |
| 31 #include "oops/klassOop.hpp" | |
| 32 #include "oops/methodDataKlass.hpp" | |
| 33 #include "oops/methodDataOop.hpp" | |
| 34 #include "oops/oop.inline.hpp" | |
| 35 #include "oops/oop.inline2.hpp" | |
| 36 #include "runtime/handles.inline.hpp" | |
| 37 #ifndef SERIALGC | |
| 38 #include "gc_implementation/parallelScavenge/psScavenge.inline.hpp" | |
| 39 #include "oops/oop.pcgc.inline.hpp" | |
| 40 #endif | |
| 0 | 41 |
| 42 klassOop methodDataKlass::create_klass(TRAPS) { | |
| 43 methodDataKlass o; | |
| 44 KlassHandle h_this_klass(THREAD, Universe::klassKlassObj()); | |
| 45 KlassHandle k = base_create_klass(h_this_klass, header_size(), | |
| 46 o.vtbl_value(), CHECK_NULL); | |
| 47 // Make sure size calculation is right | |
| 48 assert(k()->size() == align_object_size(header_size()), | |
| 49 "wrong size for object"); | |
| 50 return k(); | |
| 51 } | |
| 52 | |
| 53 | |
| 54 int methodDataKlass::oop_size(oop obj) const { | |
| 55 assert(obj->is_methodData(), "must be method data oop"); | |
| 56 return methodDataOop(obj)->object_size(); | |
| 57 } | |
| 58 | |
| 59 | |
| 60 bool methodDataKlass::oop_is_parsable(oop obj) const { | |
| 61 assert(obj->is_methodData(), "must be method data oop"); | |
| 62 return methodDataOop(obj)->object_is_parsable(); | |
| 63 } | |
| 64 | |
| 65 | |
| 66 methodDataOop methodDataKlass::allocate(methodHandle method, TRAPS) { | |
| 67 int size = methodDataOopDesc::compute_allocation_size_in_words(method); | |
| 68 KlassHandle h_k(THREAD, as_klassOop()); | |
| 69 methodDataOop mdo = | |
| 70 (methodDataOop)CollectedHeap::permanent_obj_allocate(h_k, size, CHECK_NULL); | |
| 71 assert(!mdo->is_parsable(), "not expecting parsability yet."); | |
| 72 No_Safepoint_Verifier no_safepoint; // init function atomic wrt GC | |
| 73 mdo->initialize(method); | |
| 74 | |
| 75 assert(mdo->is_parsable(), "should be parsable here."); | |
| 76 assert(size == mdo->object_size(), "wrong size for methodDataOop"); | |
| 77 return mdo; | |
| 78 } | |
| 79 | |
| 80 | |
| 81 void methodDataKlass::oop_follow_contents(oop obj) { | |
| 82 assert (obj->is_methodData(), "object must be method data"); | |
| 83 methodDataOop m = methodDataOop(obj); | |
| 84 | |
| 85 obj->follow_header(); | |
| 86 MarkSweep::mark_and_push(m->adr_method()); | |
| 87 ResourceMark rm; | |
| 88 for (ProfileData* data = m->first_data(); | |
| 89 m->is_valid(data); | |
| 90 data = m->next_data(data)) { | |
| 91 data->follow_contents(); | |
| 92 } | |
| 93 } | |
| 94 | |
| 95 #ifndef SERIALGC | |
| 96 void methodDataKlass::oop_follow_contents(ParCompactionManager* cm, | |
| 97 oop obj) { | |
| 98 assert (obj->is_methodData(), "object must be method data"); | |
| 99 methodDataOop m = methodDataOop(obj); | |
| 100 | |
| 101 obj->follow_header(cm); | |
| 102 PSParallelCompact::mark_and_push(cm, m->adr_method()); | |
| 103 ResourceMark rm; | |
| 104 for (ProfileData* data = m->first_data(); | |
| 105 m->is_valid(data); | |
| 106 data = m->next_data(data)) { | |
| 107 data->follow_contents(cm); | |
| 108 } | |
| 109 } | |
| 110 #endif // SERIALGC | |
| 111 | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
112 |
| 0 | 113 int methodDataKlass::oop_oop_iterate(oop obj, OopClosure* blk) { |
| 114 assert (obj->is_methodData(), "object must be method data"); | |
| 115 methodDataOop m = methodDataOop(obj); | |
| 116 // Get size before changing pointers | |
| 117 // Don't call size() or oop_size() since that is a virtual call. | |
| 118 int size = m->object_size(); | |
| 119 | |
| 120 obj->oop_iterate_header(blk); | |
| 121 blk->do_oop(m->adr_method()); | |
| 122 ResourceMark rm; | |
| 123 for (ProfileData* data = m->first_data(); | |
| 124 m->is_valid(data); | |
| 125 data = m->next_data(data)) { | |
| 126 data->oop_iterate(blk); | |
| 127 } | |
| 128 return size; | |
| 129 } | |
| 130 | |
| 131 int methodDataKlass::oop_oop_iterate_m(oop obj, OopClosure* blk, MemRegion mr) { | |
| 132 assert (obj->is_methodData(), "object must be method data"); | |
| 133 methodDataOop m = methodDataOop(obj); | |
| 134 // Get size before changing pointers | |
| 135 // Don't call size() or oop_size() since that is a virtual call. | |
| 136 int size = m->object_size(); | |
| 137 | |
| 138 obj->oop_iterate_header(blk, mr); | |
| 139 oop* adr = m->adr_method(); | |
| 140 if (mr.contains(adr)) { | |
| 141 blk->do_oop(m->adr_method()); | |
| 142 } | |
| 143 ResourceMark rm; | |
| 144 for (ProfileData* data = m->first_data(); | |
| 145 m->is_valid(data); | |
| 146 data = m->next_data(data)) { | |
| 147 data->oop_iterate_m(blk, mr); | |
| 148 } | |
| 149 return size; | |
| 150 } | |
| 151 | |
| 152 int methodDataKlass::oop_adjust_pointers(oop obj) { | |
| 153 assert(obj->is_methodData(), "should be method data"); | |
| 154 methodDataOop m = methodDataOop(obj); | |
| 155 // Get size before changing pointers | |
| 156 // Don't call size() or oop_size() since that is a virtual call. | |
| 157 int size = m->object_size(); | |
| 158 | |
| 159 obj->adjust_header(); | |
| 160 MarkSweep::adjust_pointer(m->adr_method()); | |
| 161 ResourceMark rm; | |
| 162 ProfileData* data; | |
| 163 for (data = m->first_data(); m->is_valid(data); data = m->next_data(data)) { | |
| 164 data->adjust_pointers(); | |
| 165 } | |
| 166 return size; | |
| 167 } | |
| 168 | |
| 169 | |
| 170 #ifndef SERIALGC | |
| 171 void methodDataKlass::oop_push_contents(PSPromotionManager* pm, oop obj) { | |
| 172 assert (obj->is_methodData(), "object must be method data"); | |
| 173 methodDataOop m = methodDataOop(obj); | |
| 174 // This should never point into the young gen. | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
175 assert(!PSScavenge::should_scavenge(m->adr_method()), "Sanity"); |
| 0 | 176 } |
| 177 | |
| 178 int methodDataKlass::oop_update_pointers(ParCompactionManager* cm, oop obj) { | |
| 179 assert(obj->is_methodData(), "should be method data"); | |
| 180 methodDataOop m = methodDataOop(obj); | |
| 181 | |
| 182 PSParallelCompact::adjust_pointer(m->adr_method()); | |
| 183 | |
| 184 ResourceMark rm; | |
| 185 ProfileData* data; | |
| 186 for (data = m->first_data(); m->is_valid(data); data = m->next_data(data)) { | |
| 187 data->update_pointers(); | |
| 188 } | |
| 189 return m->object_size(); | |
| 190 } | |
| 191 #endif // SERIALGC | |
| 192 | |
| 193 #ifndef PRODUCT | |
| 194 | |
| 195 // Printing | |
| 196 void methodDataKlass::oop_print_on(oop obj, outputStream* st) { | |
| 197 assert(obj->is_methodData(), "should be method data"); | |
| 198 methodDataOop m = methodDataOop(obj); | |
| 199 st->print("method data for "); | |
| 200 m->method()->print_value_on(st); | |
| 201 st->cr(); | |
| 202 m->print_data_on(st); | |
| 203 } | |
| 204 | |
|
1155
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
196
diff
changeset
|
205 #endif //PRODUCT |
|
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
196
diff
changeset
|
206 |
| 0 | 207 void methodDataKlass::oop_print_value_on(oop obj, outputStream* st) { |
| 208 assert(obj->is_methodData(), "should be method data"); | |
| 209 methodDataOop m = methodDataOop(obj); | |
| 210 st->print("method data for "); | |
| 211 m->method()->print_value_on(st); | |
| 212 } | |
| 213 | |
| 214 const char* methodDataKlass::internal_name() const { | |
| 215 return "{method data}"; | |
| 216 } | |
| 217 | |
| 218 | |
| 219 // Verification | |
| 220 void methodDataKlass::oop_verify_on(oop obj, outputStream* st) { | |
| 221 Klass::oop_verify_on(obj, st); | |
| 222 guarantee(obj->is_methodData(), "object must be method data"); | |
| 223 methodDataOop m = methodDataOop(obj); | |
| 224 guarantee(m->is_perm(), "should be in permspace"); | |
| 225 m->verify_data_on(st); | |
| 226 } |