tschatzl@6937: /* shshahma@8611: * Copyright (c) 2014, 2016, Oracle and/or its affiliates. All rights reserved. tschatzl@6937: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. tschatzl@6937: * tschatzl@6937: * This code is free software; you can redistribute it and/or modify it tschatzl@6937: * under the terms of the GNU General Public License version 2 only, as tschatzl@6937: * published by the Free Software Foundation. tschatzl@6937: * tschatzl@6937: * This code is distributed in the hope that it will be useful, but WITHOUT tschatzl@6937: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or tschatzl@6937: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License tschatzl@6937: * version 2 for more details (a copy is included in the LICENSE file that tschatzl@6937: * accompanied this code). tschatzl@6937: * tschatzl@6937: * You should have received a copy of the GNU General Public License version tschatzl@6937: * 2 along with this work; if not, write to the Free Software Foundation, tschatzl@6937: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. tschatzl@6937: * tschatzl@6937: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA tschatzl@6937: * or visit www.oracle.com if you need additional information or have any tschatzl@6937: * questions. tschatzl@6937: * tschatzl@6937: */ tschatzl@6937: tschatzl@6937: #include "precompiled.hpp" tschatzl@6937: #include "gc_implementation/g1/g1CollectedHeap.inline.hpp" tschatzl@6937: #include "gc_implementation/g1/g1OopClosures.inline.hpp" tschatzl@6937: #include "gc_implementation/g1/g1ParScanThreadState.inline.hpp" tschatzl@6937: #include "oops/oop.inline.hpp" tschatzl@6937: #include "oops/oop.pcgc.inline.hpp" tschatzl@6937: #include "runtime/prefetch.inline.hpp" tschatzl@6937: tschatzl@6937: G1ParScanThreadState::G1ParScanThreadState(G1CollectedHeap* g1h, uint queue_num, ReferenceProcessor* rp) tschatzl@6937: : _g1h(g1h), tschatzl@6937: _refs(g1h->task_queue(queue_num)), tschatzl@6937: _dcq(&g1h->dirty_card_queue_set()), tschatzl@6937: _ct_bs(g1h->g1_barrier_set()), tschatzl@6937: _g1_rem(g1h->g1_rem_set()), tschatzl@6937: _hash_seed(17), _queue_num(queue_num), tschatzl@6937: _term_attempts(0), tschatzl@7651: _tenuring_threshold(g1h->g1_policy()->tenuring_threshold()), tschatzl@6939: _age_table(false), _scanner(g1h, rp), sjohanss@7118: _strong_roots_time(0), _term_time(0) { tschatzl@6939: _scanner.set_par_scan_thread_state(this); tschatzl@6937: // we allocate G1YoungSurvRateNumRegions plus one entries, since tschatzl@6937: // we "sacrifice" entry 0 to keep track of surviving bytes for tschatzl@6937: // non-young regions (where the age is -1) tschatzl@6937: // We also add a few elements at the beginning and at the end in tschatzl@6937: // an attempt to eliminate cache contention tschatzl@6937: uint real_length = 1 + _g1h->g1_policy()->young_cset_region_length(); tschatzl@6937: uint array_length = PADDING_ELEM_NUM + tschatzl@6937: real_length + tschatzl@6937: PADDING_ELEM_NUM; tschatzl@6937: _surviving_young_words_base = NEW_C_HEAP_ARRAY(size_t, array_length, mtGC); tschatzl@6937: if (_surviving_young_words_base == NULL) tschatzl@6937: vm_exit_out_of_memory(array_length * sizeof(size_t), OOM_MALLOC_ERROR, tschatzl@6937: "Not enough space for young surv histo."); tschatzl@6937: _surviving_young_words = _surviving_young_words_base + PADDING_ELEM_NUM; tschatzl@6937: memset(_surviving_young_words, 0, (size_t) real_length * sizeof(size_t)); tschatzl@6937: sjohanss@7118: _g1_par_allocator = G1ParGCAllocator::create_allocator(_g1h); tschatzl@6937: tschatzl@7651: _dest[InCSetState::NotInCSet] = InCSetState::NotInCSet; tschatzl@7651: // The dest for Young is used when the objects are aged enough to tschatzl@7651: // need to be moved to the next space. tschatzl@7651: _dest[InCSetState::Young] = InCSetState::Old; tschatzl@7651: _dest[InCSetState::Old] = InCSetState::Old; tschatzl@7651: tschatzl@6937: _start = os::elapsedTime(); tschatzl@6937: } tschatzl@6937: tschatzl@6938: G1ParScanThreadState::~G1ParScanThreadState() { sjohanss@7118: _g1_par_allocator->retire_alloc_buffers(); sjohanss@7118: delete _g1_par_allocator; tschatzl@6938: FREE_C_HEAP_ARRAY(size_t, _surviving_young_words_base, mtGC); tschatzl@6938: } tschatzl@6938: tschatzl@6937: void tschatzl@6937: G1ParScanThreadState::print_termination_stats_hdr(outputStream* const st) tschatzl@6937: { tschatzl@6937: st->print_raw_cr("GC Termination Stats"); tschatzl@6937: st->print_raw_cr(" elapsed --strong roots-- -------termination-------" tschatzl@6937: " ------waste (KiB)------"); tschatzl@6937: st->print_raw_cr("thr ms ms % ms % attempts" tschatzl@6937: " total alloc undo"); tschatzl@6937: st->print_raw_cr("--- --------- --------- ------ --------- ------ --------" tschatzl@6937: " ------- ------- -------"); tschatzl@6937: } tschatzl@6937: tschatzl@6937: void tschatzl@6937: G1ParScanThreadState::print_termination_stats(int i, tschatzl@6937: outputStream* const st) const tschatzl@6937: { tschatzl@6937: const double elapsed_ms = elapsed_time() * 1000.0; tschatzl@6937: const double s_roots_ms = strong_roots_time() * 1000.0; tschatzl@6937: const double term_ms = term_time() * 1000.0; sjohanss@7118: const size_t alloc_buffer_waste = _g1_par_allocator->alloc_buffer_waste(); sjohanss@7118: const size_t undo_waste = _g1_par_allocator->undo_waste(); tschatzl@6937: st->print_cr("%3d %9.2f %9.2f %6.2f " tschatzl@6937: "%9.2f %6.2f " SIZE_FORMAT_W(8) " " tschatzl@6937: SIZE_FORMAT_W(7) " " SIZE_FORMAT_W(7) " " SIZE_FORMAT_W(7), tschatzl@6937: i, elapsed_ms, s_roots_ms, s_roots_ms * 100 / elapsed_ms, tschatzl@6937: term_ms, term_ms * 100 / elapsed_ms, term_attempts(), sjohanss@7118: (alloc_buffer_waste + undo_waste) * HeapWordSize / K, sjohanss@7118: alloc_buffer_waste * HeapWordSize / K, sjohanss@7118: undo_waste * HeapWordSize / K); tschatzl@6937: } tschatzl@6937: tschatzl@6937: #ifdef ASSERT tschatzl@6937: bool G1ParScanThreadState::verify_ref(narrowOop* ref) const { tschatzl@6937: assert(ref != NULL, "invariant"); tschatzl@6937: assert(UseCompressedOops, "sanity"); tschatzl@6937: assert(!has_partial_array_mask(ref), err_msg("ref=" PTR_FORMAT, p2i(ref))); tschatzl@6937: oop p = oopDesc::load_decode_heap_oop(ref); tschatzl@6937: assert(_g1h->is_in_g1_reserved(p), tschatzl@6937: err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, p2i(ref), p2i(p))); tschatzl@6937: return true; tschatzl@6937: } tschatzl@6937: tschatzl@6937: bool G1ParScanThreadState::verify_ref(oop* ref) const { tschatzl@6937: assert(ref != NULL, "invariant"); tschatzl@6937: if (has_partial_array_mask(ref)) { tschatzl@6937: // Must be in the collection set--it's already been copied. tschatzl@6937: oop p = clear_partial_array_mask(ref); tschatzl@6937: assert(_g1h->obj_in_cs(p), tschatzl@6937: err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, p2i(ref), p2i(p))); tschatzl@6937: } else { tschatzl@6937: oop p = oopDesc::load_decode_heap_oop(ref); tschatzl@6937: assert(_g1h->is_in_g1_reserved(p), tschatzl@6937: err_msg("ref=" PTR_FORMAT " p=" PTR_FORMAT, p2i(ref), p2i(p))); tschatzl@6937: } tschatzl@6937: return true; tschatzl@6937: } tschatzl@6937: tschatzl@6937: bool G1ParScanThreadState::verify_task(StarTask ref) const { tschatzl@6937: if (ref.is_narrow()) { tschatzl@6937: return verify_ref((narrowOop*) ref); tschatzl@6937: } else { tschatzl@6937: return verify_ref((oop*) ref); tschatzl@6937: } tschatzl@6937: } tschatzl@6937: #endif // ASSERT tschatzl@6937: tschatzl@6937: void G1ParScanThreadState::trim_queue() { tschatzl@6937: assert(_evac_failure_cl != NULL, "not set"); tschatzl@6937: tschatzl@6937: StarTask ref; tschatzl@6937: do { tschatzl@6937: // Drain the overflow stack first, so other threads can steal. tschatzl@6938: while (_refs->pop_overflow(ref)) { shshahma@8611: if (!_refs->try_push_to_taskqueue(ref)) { shshahma@8611: dispatch_reference(ref); shshahma@8611: } tschatzl@6937: } tschatzl@6937: tschatzl@6938: while (_refs->pop_local(ref)) { tschatzl@6938: dispatch_reference(ref); tschatzl@6937: } tschatzl@6938: } while (!_refs->is_empty()); tschatzl@6937: } tschatzl@6937: tschatzl@7651: HeapWord* G1ParScanThreadState::allocate_in_next_plab(InCSetState const state, tschatzl@7651: InCSetState* dest, tschatzl@7651: size_t word_sz, tschatzl@7651: AllocationContext_t const context) { tschatzl@7651: assert(state.is_in_cset_or_humongous(), err_msg("Unexpected state: " CSETSTATE_FORMAT, state.value())); tschatzl@7651: assert(dest->is_in_cset_or_humongous(), err_msg("Unexpected dest: " CSETSTATE_FORMAT, dest->value())); tschatzl@7651: tschatzl@7651: // Right now we only have two types of regions (young / old) so tschatzl@7651: // let's keep the logic here simple. We can generalize it when necessary. tschatzl@7651: if (dest->is_young()) { tschatzl@7651: HeapWord* const obj_ptr = _g1_par_allocator->allocate(InCSetState::Old, tschatzl@7651: word_sz, context); tschatzl@7651: if (obj_ptr == NULL) { tschatzl@7651: return NULL; tschatzl@7651: } tschatzl@7651: // Make sure that we won't attempt to copy any other objects out tschatzl@7651: // of a survivor region (given that apparently we cannot allocate tschatzl@7651: // any new ones) to avoid coming into this slow path. tschatzl@7651: _tenuring_threshold = 0; tschatzl@7651: dest->set_old(); tschatzl@7651: return obj_ptr; tschatzl@7651: } else { tschatzl@7651: assert(dest->is_old(), err_msg("Unexpected dest: " CSETSTATE_FORMAT, dest->value())); tschatzl@7651: // no other space to try. tschatzl@7651: return NULL; tschatzl@7651: } tschatzl@7651: } tschatzl@7651: tschatzl@7651: InCSetState G1ParScanThreadState::next_state(InCSetState const state, markOop const m, uint& age) { tschatzl@7651: if (state.is_young()) { tschatzl@7651: age = !m->has_displaced_mark_helper() ? m->age() tschatzl@7651: : m->displaced_mark_helper()->age(); tschatzl@7651: if (age < _tenuring_threshold) { tschatzl@7651: return state; tschatzl@7651: } tschatzl@7651: } tschatzl@7651: return dest(state); tschatzl@7651: } tschatzl@7651: tschatzl@7651: oop G1ParScanThreadState::copy_to_survivor_space(InCSetState const state, tschatzl@7651: oop const old, sfriberg@7645: markOop const old_mark) { tschatzl@7651: const size_t word_sz = old->size(); tschatzl@7651: HeapRegion* const from_region = _g1h->heap_region_containing_raw(old); tschatzl@6937: // +1 to make the -1 indexes valid... tschatzl@7651: const int young_index = from_region->young_index_in_cset()+1; tschatzl@6937: assert( (from_region->is_young() && young_index > 0) || tschatzl@6937: (!from_region->is_young() && young_index == 0), "invariant" ); tschatzl@7651: const AllocationContext_t context = from_region->allocation_context(); tschatzl@7651: tschatzl@7651: uint age = 0; tschatzl@7651: InCSetState dest_state = next_state(state, old_mark, age); tschatzl@7651: HeapWord* obj_ptr = _g1_par_allocator->plab_allocate(dest_state, word_sz, context); tschatzl@7651: tschatzl@7651: // PLAB allocations should succeed most of the time, so we'll tschatzl@7651: // normally check against NULL once and that's it. tschatzl@7651: if (obj_ptr == NULL) { tschatzl@7651: obj_ptr = _g1_par_allocator->allocate_direct_or_new_plab(dest_state, word_sz, context); tschatzl@7651: if (obj_ptr == NULL) { tschatzl@7651: obj_ptr = allocate_in_next_plab(state, &dest_state, word_sz, context); tschatzl@7651: if (obj_ptr == NULL) { tschatzl@7651: // This will either forward-to-self, or detect that someone else has tschatzl@7651: // installed a forwarding pointer. tschatzl@7651: return _g1h->handle_evacuation_failure_par(this, old); tschatzl@7651: } tschatzl@7651: } tschatzl@7651: } tschatzl@7651: tschatzl@7651: assert(obj_ptr != NULL, "when we get here, allocation should have succeeded"); tschatzl@6937: #ifndef PRODUCT tschatzl@6937: // Should this evacuation fail? tschatzl@6937: if (_g1h->evacuation_should_fail()) { tschatzl@7651: // Doing this after all the allocation attempts also tests the tschatzl@7651: // undo_allocation() method too. tschatzl@7651: _g1_par_allocator->undo_allocation(dest_state, obj_ptr, word_sz, context); tschatzl@7651: return _g1h->handle_evacuation_failure_par(this, old); tschatzl@6937: } tschatzl@6937: #endif // !PRODUCT tschatzl@6937: tschatzl@6937: // We're going to allocate linearly, so might as well prefetch ahead. tschatzl@6937: Prefetch::write(obj_ptr, PrefetchCopyIntervalInBytes); tschatzl@6937: tschatzl@7651: const oop obj = oop(obj_ptr); tschatzl@7651: const oop forward_ptr = old->forward_to_atomic(obj); tschatzl@6937: if (forward_ptr == NULL) { tschatzl@6937: Copy::aligned_disjoint_words((HeapWord*) old, obj_ptr, word_sz); tschatzl@6937: tschatzl@7651: if (dest_state.is_young()) { sfriberg@7645: if (age < markOopDesc::max_age) { sfriberg@7645: age++; sfriberg@7645: } sfriberg@7645: if (old_mark->has_displaced_mark_helper()) { sfriberg@7645: // In this case, we have to install the mark word first, tschatzl@6937: // otherwise obj looks to be forwarded (the old mark word, tschatzl@6937: // which contains the forward pointer, was copied) sfriberg@7645: obj->set_mark(old_mark); sfriberg@7645: markOop new_mark = old_mark->displaced_mark_helper()->set_age(age); sfriberg@7645: old_mark->set_displaced_mark_helper(new_mark); tschatzl@6937: } else { sfriberg@7645: obj->set_mark(old_mark->set_age(age)); tschatzl@6937: } sfriberg@7645: age_table()->add(age, word_sz); tschatzl@6937: } else { sfriberg@7645: obj->set_mark(old_mark); tschatzl@6937: } tschatzl@6937: tschatzl@6937: if (G1StringDedup::is_enabled()) { tschatzl@7651: const bool is_from_young = state.is_young(); tschatzl@7651: const bool is_to_young = dest_state.is_young(); tschatzl@7651: assert(is_from_young == _g1h->heap_region_containing_raw(old)->is_young(), tschatzl@7651: "sanity"); tschatzl@7651: assert(is_to_young == _g1h->heap_region_containing_raw(obj)->is_young(), tschatzl@7651: "sanity"); tschatzl@7651: G1StringDedup::enqueue_from_evacuation(is_from_young, tschatzl@7651: is_to_young, tschatzl@6937: queue_num(), tschatzl@6937: obj); tschatzl@6937: } tschatzl@6937: tschatzl@7651: size_t* const surv_young_words = surviving_young_words(); tschatzl@6937: surv_young_words[young_index] += word_sz; tschatzl@6937: tschatzl@6937: if (obj->is_objArray() && arrayOop(obj)->length() >= ParGCArrayScanChunk) { tschatzl@6937: // We keep track of the next start index in the length field of tschatzl@6937: // the to-space object. The actual length can be found in the tschatzl@6937: // length field of the from-space object. tschatzl@6937: arrayOop(obj)->set_length(0); tschatzl@6937: oop* old_p = set_partial_array_mask(old); tschatzl@6937: push_on_queue(old_p); tschatzl@6937: } else { tschatzl@7651: HeapRegion* const to_region = _g1h->heap_region_containing_raw(obj_ptr); tschatzl@7651: _scanner.set_region(to_region); tschatzl@6937: obj->oop_iterate_backwards(&_scanner); tschatzl@6937: } tschatzl@7651: return obj; tschatzl@6937: } else { tschatzl@7651: _g1_par_allocator->undo_allocation(dest_state, obj_ptr, word_sz, context); tschatzl@7651: return forward_ptr; tschatzl@6937: } tschatzl@6937: }