src/share/vm/gc_implementation/g1/g1RemSet.inline.hpp

Thu, 05 Jun 2008 15:57:56 -0700

author
ysr
date
Thu, 05 Jun 2008 15:57:56 -0700
changeset 777
37f87013dfd8
child 1051
4f360ec815ba
permissions
-rw-r--r--

6711316: Open source the Garbage-First garbage collector
Summary: First mercurial integration of the code for the Garbage-First garbage collector.
Reviewed-by: apetrusenko, iveresov, jmasa, sgoldman, tonyp, ysr

ysr@777 1 /*
ysr@777 2 * Copyright 2001-2007 Sun Microsystems, Inc. All Rights Reserved.
ysr@777 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ysr@777 4 *
ysr@777 5 * This code is free software; you can redistribute it and/or modify it
ysr@777 6 * under the terms of the GNU General Public License version 2 only, as
ysr@777 7 * published by the Free Software Foundation.
ysr@777 8 *
ysr@777 9 * This code is distributed in the hope that it will be useful, but WITHOUT
ysr@777 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ysr@777 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
ysr@777 12 * version 2 for more details (a copy is included in the LICENSE file that
ysr@777 13 * accompanied this code).
ysr@777 14 *
ysr@777 15 * You should have received a copy of the GNU General Public License version
ysr@777 16 * 2 along with this work; if not, write to the Free Software Foundation,
ysr@777 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ysr@777 18 *
ysr@777 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
ysr@777 20 * CA 95054 USA or visit www.sun.com if you need additional information or
ysr@777 21 * have any questions.
ysr@777 22 *
ysr@777 23 */
ysr@777 24
ysr@777 25 inline size_t G1RemSet::n_workers() {
ysr@777 26 if (_g1->workers() != NULL) {
ysr@777 27 return _g1->workers()->total_workers();
ysr@777 28 } else {
ysr@777 29 return 1;
ysr@777 30 }
ysr@777 31 }
ysr@777 32
ysr@777 33 inline void HRInto_G1RemSet::write_ref_nv(HeapRegion* from, oop* p) {
ysr@777 34 oop obj = *p;
ysr@777 35 assert(from != NULL && from->is_in_reserved(p),
ysr@777 36 "p is not in a from");
ysr@777 37 HeapRegion* to = _g1->heap_region_containing(obj);
ysr@777 38 if (from != to && to != NULL) {
ysr@777 39 if (!to->popular() && !from->is_survivor()) {
ysr@777 40 #if G1_REM_SET_LOGGING
ysr@777 41 gclog_or_tty->print_cr("Adding " PTR_FORMAT " (" PTR_FORMAT ") to RS"
ysr@777 42 " for region [" PTR_FORMAT ", " PTR_FORMAT ")",
ysr@777 43 p, obj,
ysr@777 44 to->bottom(), to->end());
ysr@777 45 #endif
ysr@777 46 assert(to->rem_set() != NULL, "Need per-region 'into' remsets.");
ysr@777 47 if (to->rem_set()->add_reference(p)) {
ysr@777 48 _g1->schedule_popular_region_evac(to);
ysr@777 49 }
ysr@777 50 }
ysr@777 51 }
ysr@777 52 }
ysr@777 53
ysr@777 54 inline void HRInto_G1RemSet::write_ref(HeapRegion* from, oop* p) {
ysr@777 55 write_ref_nv(from, p);
ysr@777 56 }
ysr@777 57
ysr@777 58 inline bool HRInto_G1RemSet::self_forwarded(oop obj) {
ysr@777 59 bool result = (obj->is_forwarded() && (obj->forwardee()== obj));
ysr@777 60 return result;
ysr@777 61 }
ysr@777 62
ysr@777 63 inline void HRInto_G1RemSet::par_write_ref(HeapRegion* from, oop* p, int tid) {
ysr@777 64 oop obj = *p;
ysr@777 65 #ifdef ASSERT
ysr@777 66 // can't do because of races
ysr@777 67 // assert(obj == NULL || obj->is_oop(), "expected an oop");
ysr@777 68
ysr@777 69 // Do the safe subset of is_oop
ysr@777 70 if (obj != NULL) {
ysr@777 71 #ifdef CHECK_UNHANDLED_OOPS
ysr@777 72 oopDesc* o = obj.obj();
ysr@777 73 #else
ysr@777 74 oopDesc* o = obj;
ysr@777 75 #endif // CHECK_UNHANDLED_OOPS
ysr@777 76 assert((intptr_t)o % MinObjAlignmentInBytes == 0, "not oop aligned");
ysr@777 77 assert(Universe::heap()->is_in_reserved(obj), "must be in heap");
ysr@777 78 }
ysr@777 79 #endif // ASSERT
ysr@777 80 assert(from == NULL || from->is_in_reserved(p),
ysr@777 81 "p is not in from");
ysr@777 82 HeapRegion* to = _g1->heap_region_containing(obj);
ysr@777 83 // The test below could be optimized by applying a bit op to to and from.
ysr@777 84 if (to != NULL && from != NULL && from != to) {
ysr@777 85 if (!to->popular() && !from->is_survivor()) {
ysr@777 86 #if G1_REM_SET_LOGGING
ysr@777 87 gclog_or_tty->print_cr("Adding " PTR_FORMAT " (" PTR_FORMAT ") to RS"
ysr@777 88 " for region [" PTR_FORMAT ", " PTR_FORMAT ")",
ysr@777 89 p, obj,
ysr@777 90 to->bottom(), to->end());
ysr@777 91 #endif
ysr@777 92 assert(to->rem_set() != NULL, "Need per-region 'into' remsets.");
ysr@777 93 if (to->rem_set()->add_reference(p, tid)) {
ysr@777 94 _g1->schedule_popular_region_evac(to);
ysr@777 95 }
ysr@777 96 }
ysr@777 97 // There is a tricky infinite loop if we keep pushing
ysr@777 98 // self forwarding pointers onto our _new_refs list.
ysr@777 99 if (_par_traversal_in_progress &&
ysr@777 100 to->in_collection_set() && !self_forwarded(obj)) {
ysr@777 101 _new_refs[tid]->push(p);
ysr@777 102 }
ysr@777 103 }
ysr@777 104 }

mercurial