src/share/vm/gc_implementation/parallelScavenge/psPromotionManager.cpp

Thu, 30 May 2013 13:04:51 -0700

author
jcoomes
date
Thu, 30 May 2013 13:04:51 -0700
changeset 5201
5534bd30c151
parent 4037
da91efe96a93
child 5237
f2110083203d
permissions
-rw-r--r--

6725714: par compact - add a table to speed up bitmap searches
Reviewed-by: jmasa, tschatzl

duke@435 1 /*
iveresov@3536 2 * Copyright (c) 2002, 2012, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "gc_implementation/parallelScavenge/parallelScavengeHeap.hpp"
stefank@2314 27 #include "gc_implementation/parallelScavenge/psOldGen.hpp"
stefank@2314 28 #include "gc_implementation/parallelScavenge/psPromotionManager.inline.hpp"
stefank@2314 29 #include "gc_implementation/parallelScavenge/psScavenge.inline.hpp"
stefank@2314 30 #include "gc_implementation/shared/mutableSpace.hpp"
stefank@2314 31 #include "memory/memRegion.hpp"
stefank@2314 32 #include "oops/oop.inline.hpp"
stefank@2314 33 #include "oops/oop.psgc.inline.hpp"
duke@435 34
duke@435 35 PSPromotionManager** PSPromotionManager::_manager_array = NULL;
duke@435 36 OopStarTaskQueueSet* PSPromotionManager::_stack_array_depth = NULL;
duke@435 37 PSOldGen* PSPromotionManager::_old_gen = NULL;
duke@435 38 MutableSpace* PSPromotionManager::_young_space = NULL;
duke@435 39
duke@435 40 void PSPromotionManager::initialize() {
duke@435 41 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
duke@435 42 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
duke@435 43
duke@435 44 _old_gen = heap->old_gen();
duke@435 45 _young_space = heap->young_gen()->to_space();
duke@435 46
duke@435 47 assert(_manager_array == NULL, "Attempt to initialize twice");
zgu@3900 48 _manager_array = NEW_C_HEAP_ARRAY(PSPromotionManager*, ParallelGCThreads+1, mtGC);
duke@435 49 guarantee(_manager_array != NULL, "Could not initialize promotion manager");
duke@435 50
tonyp@2061 51 _stack_array_depth = new OopStarTaskQueueSet(ParallelGCThreads);
tonyp@2061 52 guarantee(_stack_array_depth != NULL, "Cound not initialize promotion manager");
duke@435 53
duke@435 54 // Create and register the PSPromotionManager(s) for the worker threads.
duke@435 55 for(uint i=0; i<ParallelGCThreads; i++) {
duke@435 56 _manager_array[i] = new PSPromotionManager();
duke@435 57 guarantee(_manager_array[i] != NULL, "Could not create PSPromotionManager");
tonyp@2061 58 stack_array_depth()->register_queue(i, _manager_array[i]->claimed_stack_depth());
duke@435 59 }
duke@435 60
duke@435 61 // The VMThread gets its own PSPromotionManager, which is not available
duke@435 62 // for work stealing.
duke@435 63 _manager_array[ParallelGCThreads] = new PSPromotionManager();
duke@435 64 guarantee(_manager_array[ParallelGCThreads] != NULL, "Could not create PSPromotionManager");
duke@435 65 }
duke@435 66
duke@435 67 PSPromotionManager* PSPromotionManager::gc_thread_promotion_manager(int index) {
duke@435 68 assert(index >= 0 && index < (int)ParallelGCThreads, "index out of range");
duke@435 69 assert(_manager_array != NULL, "Sanity");
duke@435 70 return _manager_array[index];
duke@435 71 }
duke@435 72
duke@435 73 PSPromotionManager* PSPromotionManager::vm_thread_promotion_manager() {
duke@435 74 assert(_manager_array != NULL, "Sanity");
duke@435 75 return _manager_array[ParallelGCThreads];
duke@435 76 }
duke@435 77
duke@435 78 void PSPromotionManager::pre_scavenge() {
duke@435 79 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
duke@435 80 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
duke@435 81
duke@435 82 _young_space = heap->young_gen()->to_space();
duke@435 83
duke@435 84 for(uint i=0; i<ParallelGCThreads+1; i++) {
duke@435 85 manager_array(i)->reset();
duke@435 86 }
duke@435 87 }
duke@435 88
duke@435 89 void PSPromotionManager::post_scavenge() {
jcoomes@2020 90 TASKQUEUE_STATS_ONLY(if (PrintGCDetails && ParallelGCVerbose) print_stats());
jcoomes@1993 91 for (uint i = 0; i < ParallelGCThreads + 1; i++) {
duke@435 92 PSPromotionManager* manager = manager_array(i);
tonyp@2061 93 assert(manager->claimed_stack_depth()->is_empty(), "should be empty");
duke@435 94 manager->flush_labs();
duke@435 95 }
duke@435 96 }
duke@435 97
jcoomes@2020 98 #if TASKQUEUE_STATS
duke@435 99 void
jcoomes@2020 100 PSPromotionManager::print_taskqueue_stats(uint i) const {
jcoomes@2020 101 tty->print("%3u ", i);
tonyp@2061 102 _claimed_stack_depth.stats.print();
jcoomes@2020 103 tty->cr();
duke@435 104 }
duke@435 105
duke@435 106 void
jcoomes@2020 107 PSPromotionManager::print_local_stats(uint i) const {
jcoomes@2020 108 #define FMT " " SIZE_FORMAT_W(10)
jcoomes@2020 109 tty->print_cr("%3u" FMT FMT FMT FMT, i, _masked_pushes, _masked_steals,
jcoomes@2020 110 _arrays_chunked, _array_chunks_processed);
jcoomes@2020 111 #undef FMT
jcoomes@2020 112 }
jcoomes@2020 113
jcoomes@2020 114 static const char* const pm_stats_hdr[] = {
jcoomes@2020 115 " --------masked------- arrays array",
jcoomes@2020 116 "thr push steal chunked chunks",
jcoomes@2020 117 "--- ---------- ---------- ---------- ----------"
jcoomes@2020 118 };
jcoomes@2020 119
jcoomes@2020 120 void
duke@435 121 PSPromotionManager::print_stats() {
tonyp@2061 122 tty->print_cr("== GC Tasks Stats, GC %3d",
duke@435 123 Universe::heap()->total_collections());
duke@435 124
jcoomes@2020 125 tty->print("thr "); TaskQueueStats::print_header(1); tty->cr();
jcoomes@2020 126 tty->print("--- "); TaskQueueStats::print_header(2); tty->cr();
jcoomes@2020 127 for (uint i = 0; i < ParallelGCThreads + 1; ++i) {
jcoomes@2020 128 manager_array(i)->print_taskqueue_stats(i);
jcoomes@2020 129 }
jcoomes@2020 130
jcoomes@2020 131 const uint hlines = sizeof(pm_stats_hdr) / sizeof(pm_stats_hdr[0]);
jcoomes@2020 132 for (uint i = 0; i < hlines; ++i) tty->print_cr(pm_stats_hdr[i]);
jcoomes@2020 133 for (uint i = 0; i < ParallelGCThreads + 1; ++i) {
jcoomes@2020 134 manager_array(i)->print_local_stats(i);
duke@435 135 }
duke@435 136 }
duke@435 137
jcoomes@2020 138 void
jcoomes@2020 139 PSPromotionManager::reset_stats() {
tonyp@2061 140 claimed_stack_depth()->stats.reset();
jcoomes@2020 141 _masked_pushes = _masked_steals = 0;
jcoomes@2020 142 _arrays_chunked = _array_chunks_processed = 0;
jcoomes@2020 143 }
jcoomes@2020 144 #endif // TASKQUEUE_STATS
duke@435 145
duke@435 146 PSPromotionManager::PSPromotionManager() {
duke@435 147 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
duke@435 148 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
duke@435 149
duke@435 150 // We set the old lab's start array.
duke@435 151 _old_lab.set_start_array(old_gen()->start_array());
duke@435 152
duke@435 153 uint queue_size;
tonyp@2061 154 claimed_stack_depth()->initialize();
tonyp@2061 155 queue_size = claimed_stack_depth()->max_elems();
duke@435 156
duke@435 157 _totally_drain = (ParallelGCThreads == 1) || (GCDrainStackTargetSize == 0);
duke@435 158 if (_totally_drain) {
duke@435 159 _target_stack_size = 0;
duke@435 160 } else {
duke@435 161 // don't let the target stack size to be more than 1/4 of the entries
duke@435 162 _target_stack_size = (uint) MIN2((uint) GCDrainStackTargetSize,
duke@435 163 (uint) (queue_size / 4));
duke@435 164 }
duke@435 165
duke@435 166 _array_chunk_size = ParGCArrayScanChunk;
duke@435 167 // let's choose 1.5x the chunk size
duke@435 168 _min_array_size_for_chunking = 3 * _array_chunk_size / 2;
duke@435 169
duke@435 170 reset();
duke@435 171 }
duke@435 172
duke@435 173 void PSPromotionManager::reset() {
jcoomes@1993 174 assert(stacks_empty(), "reset of non-empty stack");
duke@435 175
duke@435 176 // We need to get an assert in here to make sure the labs are always flushed.
duke@435 177
duke@435 178 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
duke@435 179 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
duke@435 180
duke@435 181 // Do not prefill the LAB's, save heap wastage!
duke@435 182 HeapWord* lab_base = young_space()->top();
duke@435 183 _young_lab.initialize(MemRegion(lab_base, (size_t)0));
duke@435 184 _young_gen_is_full = false;
duke@435 185
duke@435 186 lab_base = old_gen()->object_space()->top();
duke@435 187 _old_lab.initialize(MemRegion(lab_base, (size_t)0));
duke@435 188 _old_gen_is_full = false;
duke@435 189
jcoomes@2020 190 TASKQUEUE_STATS_ONLY(reset_stats());
duke@435 191 }
duke@435 192
coleenp@548 193
duke@435 194 void PSPromotionManager::drain_stacks_depth(bool totally_drain) {
duke@435 195 totally_drain = totally_drain || _totally_drain;
duke@435 196
duke@435 197 #ifdef ASSERT
duke@435 198 ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
duke@435 199 assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
duke@435 200 MutableSpace* to_space = heap->young_gen()->to_space();
duke@435 201 MutableSpace* old_space = heap->old_gen()->object_space();
duke@435 202 #endif /* ASSERT */
duke@435 203
jcoomes@1993 204 OopStarTaskQueue* const tq = claimed_stack_depth();
duke@435 205 do {
coleenp@548 206 StarTask p;
duke@435 207
duke@435 208 // Drain overflow stack first, so other threads can steal from
duke@435 209 // claimed stack while we work.
jcoomes@1993 210 while (tq->pop_overflow(p)) {
jcoomes@1993 211 process_popped_location_depth(p);
duke@435 212 }
duke@435 213
duke@435 214 if (totally_drain) {
jcoomes@1993 215 while (tq->pop_local(p)) {
duke@435 216 process_popped_location_depth(p);
duke@435 217 }
duke@435 218 } else {
jcoomes@1993 219 while (tq->size() > _target_stack_size && tq->pop_local(p)) {
duke@435 220 process_popped_location_depth(p);
duke@435 221 }
duke@435 222 }
jcoomes@1993 223 } while (totally_drain && !tq->taskqueue_empty() || !tq->overflow_empty());
duke@435 224
jcoomes@1993 225 assert(!totally_drain || tq->taskqueue_empty(), "Sanity");
jcoomes@1993 226 assert(totally_drain || tq->size() <= _target_stack_size, "Sanity");
jcoomes@1993 227 assert(tq->overflow_empty(), "Sanity");
duke@435 228 }
duke@435 229
duke@435 230 void PSPromotionManager::flush_labs() {
jcoomes@1993 231 assert(stacks_empty(), "Attempt to flush lab with live stack");
duke@435 232
duke@435 233 // If either promotion lab fills up, we can flush the
duke@435 234 // lab but not refill it, so check first.
duke@435 235 assert(!_young_lab.is_flushed() || _young_gen_is_full, "Sanity");
duke@435 236 if (!_young_lab.is_flushed())
duke@435 237 _young_lab.flush();
duke@435 238
duke@435 239 assert(!_old_lab.is_flushed() || _old_gen_is_full, "Sanity");
duke@435 240 if (!_old_lab.is_flushed())
duke@435 241 _old_lab.flush();
duke@435 242
duke@435 243 // Let PSScavenge know if we overflowed
duke@435 244 if (_young_gen_is_full) {
duke@435 245 PSScavenge::set_survivor_overflow(true);
duke@435 246 }
duke@435 247 }
duke@435 248
coleenp@548 249 template <class T> void PSPromotionManager::process_array_chunk_work(
coleenp@548 250 oop obj,
coleenp@548 251 int start, int end) {
jwilhelm@2648 252 assert(start <= end, "invariant");
coleenp@548 253 T* const base = (T*)objArrayOop(obj)->base();
coleenp@548 254 T* p = base + start;
coleenp@548 255 T* const chunk_end = base + end;
coleenp@548 256 while (p < chunk_end) {
coleenp@548 257 if (PSScavenge::should_scavenge(p)) {
coleenp@548 258 claim_or_forward_depth(p);
coleenp@548 259 }
coleenp@548 260 ++p;
coleenp@548 261 }
coleenp@548 262 }
coleenp@548 263
duke@435 264 void PSPromotionManager::process_array_chunk(oop old) {
duke@435 265 assert(PSChunkLargeArrays, "invariant");
duke@435 266 assert(old->is_objArray(), "invariant");
duke@435 267 assert(old->is_forwarded(), "invariant");
duke@435 268
jcoomes@2020 269 TASKQUEUE_STATS_ONLY(++_array_chunks_processed);
duke@435 270
duke@435 271 oop const obj = old->forwardee();
duke@435 272
duke@435 273 int start;
duke@435 274 int const end = arrayOop(old)->length();
duke@435 275 if (end > (int) _min_array_size_for_chunking) {
duke@435 276 // we'll chunk more
duke@435 277 start = end - _array_chunk_size;
duke@435 278 assert(start > 0, "invariant");
duke@435 279 arrayOop(old)->set_length(start);
duke@435 280 push_depth(mask_chunked_array_oop(old));
jcoomes@2020 281 TASKQUEUE_STATS_ONLY(++_masked_pushes);
duke@435 282 } else {
duke@435 283 // this is the final chunk for this array
duke@435 284 start = 0;
duke@435 285 int const actual_length = arrayOop(obj)->length();
duke@435 286 arrayOop(old)->set_length(actual_length);
duke@435 287 }
duke@435 288
coleenp@548 289 if (UseCompressedOops) {
coleenp@548 290 process_array_chunk_work<narrowOop>(obj, start, end);
coleenp@548 291 } else {
coleenp@548 292 process_array_chunk_work<oop>(obj, start, end);
duke@435 293 }
duke@435 294 }
duke@435 295
duke@435 296 oop PSPromotionManager::oop_promotion_failed(oop obj, markOop obj_mark) {
duke@435 297 assert(_old_gen_is_full || PromotionFailureALot, "Sanity");
duke@435 298
duke@435 299 // Attempt to CAS in the header.
duke@435 300 // This tests if the header is still the same as when
duke@435 301 // this started. If it is the same (i.e., no forwarding
duke@435 302 // pointer has been installed), then this thread owns
duke@435 303 // it.
duke@435 304 if (obj->cas_forward_to(obj, obj_mark)) {
duke@435 305 // We won any races, we "own" this object.
duke@435 306 assert(obj == obj->forwardee(), "Sanity");
duke@435 307
tonyp@2061 308 obj->push_contents(this);
duke@435 309
duke@435 310 // Save the mark if needed
duke@435 311 PSScavenge::oop_promotion_failed(obj, obj_mark);
duke@435 312 } else {
duke@435 313 // We lost, someone else "owns" this object
duke@435 314 guarantee(obj->is_forwarded(), "Object must be forwarded if the cas failed.");
duke@435 315
duke@435 316 // No unallocation to worry about.
duke@435 317 obj = obj->forwardee();
duke@435 318 }
duke@435 319
coleenp@4037 320 #ifndef PRODUCT
duke@435 321 if (TraceScavenge) {
duke@435 322 gclog_or_tty->print_cr("{%s %s 0x%x (%d)}",
duke@435 323 "promotion-failure",
coleenp@4037 324 obj->klass()->internal_name(),
duke@435 325 obj, obj->size());
duke@435 326
duke@435 327 }
duke@435 328 #endif
duke@435 329
duke@435 330 return obj;
duke@435 331 }

mercurial