Thu, 22 Sep 2011 10:57:37 -0700
6484982: G1: process references during evacuation pauses
Summary: G1 now uses two reference processors - one is used by concurrent marking and the other is used by STW GCs (both full and incremental evacuation pauses). In an evacuation pause, the reference processor is embedded into the closures used to scan objects. Doing so causes causes reference objects to be 'discovered' by the reference processor. At the end of the evacuation pause, these discovered reference objects are processed - preserving (and copying) referent objects (and their reachable graphs) as appropriate.
Reviewed-by: ysr, jwilhelm, brutisso, stefank, tonyp
duke@435 | 1 | /* |
trims@2708 | 2 | * Copyright (c) 2005, 2011, 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 "classfile/systemDictionary.hpp" |
stefank@2314 | 27 | #include "code/codeCache.hpp" |
stefank@2314 | 28 | #include "gc_implementation/parallelScavenge/pcTasks.hpp" |
stefank@2314 | 29 | #include "gc_implementation/parallelScavenge/psParallelCompact.hpp" |
stefank@2314 | 30 | #include "gc_interface/collectedHeap.hpp" |
stefank@2314 | 31 | #include "memory/universe.hpp" |
stefank@2314 | 32 | #include "oops/objArrayKlass.inline.hpp" |
stefank@2314 | 33 | #include "oops/oop.inline.hpp" |
stefank@2314 | 34 | #include "oops/oop.pcgc.inline.hpp" |
stefank@2314 | 35 | #include "prims/jvmtiExport.hpp" |
stefank@2314 | 36 | #include "runtime/fprofiler.hpp" |
stefank@2314 | 37 | #include "runtime/jniHandles.hpp" |
stefank@2314 | 38 | #include "runtime/thread.hpp" |
stefank@2314 | 39 | #include "runtime/vmThread.hpp" |
stefank@2314 | 40 | #include "services/management.hpp" |
duke@435 | 41 | |
duke@435 | 42 | // |
duke@435 | 43 | // ThreadRootsMarkingTask |
duke@435 | 44 | // |
duke@435 | 45 | |
duke@435 | 46 | void ThreadRootsMarkingTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 47 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 48 | |
duke@435 | 49 | ResourceMark rm; |
duke@435 | 50 | |
duke@435 | 51 | NOT_PRODUCT(TraceTime tm("ThreadRootsMarkingTask", |
duke@435 | 52 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 53 | ParCompactionManager* cm = |
duke@435 | 54 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 55 | PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); |
jrose@1424 | 56 | CodeBlobToOopClosure mark_and_push_in_blobs(&mark_and_push_closure, /*do_marking=*/ true); |
duke@435 | 57 | |
duke@435 | 58 | if (_java_thread != NULL) |
jrose@1424 | 59 | _java_thread->oops_do(&mark_and_push_closure, &mark_and_push_in_blobs); |
duke@435 | 60 | |
duke@435 | 61 | if (_vm_thread != NULL) |
jrose@1424 | 62 | _vm_thread->oops_do(&mark_and_push_closure, &mark_and_push_in_blobs); |
duke@435 | 63 | |
duke@435 | 64 | // Do the real work |
jcoomes@1746 | 65 | cm->follow_marking_stacks(); |
duke@435 | 66 | } |
duke@435 | 67 | |
duke@435 | 68 | |
duke@435 | 69 | void MarkFromRootsTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 70 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 71 | |
duke@435 | 72 | NOT_PRODUCT(TraceTime tm("MarkFromRootsTask", |
duke@435 | 73 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 74 | ParCompactionManager* cm = |
duke@435 | 75 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 76 | PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); |
duke@435 | 77 | |
duke@435 | 78 | switch (_root_type) { |
duke@435 | 79 | case universe: |
duke@435 | 80 | Universe::oops_do(&mark_and_push_closure); |
duke@435 | 81 | break; |
duke@435 | 82 | |
duke@435 | 83 | case jni_handles: |
duke@435 | 84 | JNIHandles::oops_do(&mark_and_push_closure); |
duke@435 | 85 | break; |
duke@435 | 86 | |
duke@435 | 87 | case threads: |
duke@435 | 88 | { |
duke@435 | 89 | ResourceMark rm; |
jrose@1424 | 90 | CodeBlobToOopClosure each_active_code_blob(&mark_and_push_closure, /*do_marking=*/ true); |
jrose@1424 | 91 | Threads::oops_do(&mark_and_push_closure, &each_active_code_blob); |
duke@435 | 92 | } |
duke@435 | 93 | break; |
duke@435 | 94 | |
duke@435 | 95 | case object_synchronizer: |
duke@435 | 96 | ObjectSynchronizer::oops_do(&mark_and_push_closure); |
duke@435 | 97 | break; |
duke@435 | 98 | |
duke@435 | 99 | case flat_profiler: |
duke@435 | 100 | FlatProfiler::oops_do(&mark_and_push_closure); |
duke@435 | 101 | break; |
duke@435 | 102 | |
duke@435 | 103 | case management: |
duke@435 | 104 | Management::oops_do(&mark_and_push_closure); |
duke@435 | 105 | break; |
duke@435 | 106 | |
duke@435 | 107 | case jvmti: |
duke@435 | 108 | JvmtiExport::oops_do(&mark_and_push_closure); |
duke@435 | 109 | break; |
duke@435 | 110 | |
duke@435 | 111 | case system_dictionary: |
duke@435 | 112 | SystemDictionary::always_strong_oops_do(&mark_and_push_closure); |
duke@435 | 113 | break; |
duke@435 | 114 | |
jrose@1424 | 115 | case code_cache: |
jrose@1424 | 116 | // Do not treat nmethods as strong roots for mark/sweep, since we can unload them. |
jrose@1424 | 117 | //CodeCache::scavenge_root_nmethods_do(CodeBlobToOopClosure(&mark_and_push_closure)); |
jrose@1424 | 118 | break; |
jrose@1424 | 119 | |
duke@435 | 120 | default: |
duke@435 | 121 | fatal("Unknown root type"); |
duke@435 | 122 | } |
duke@435 | 123 | |
duke@435 | 124 | // Do the real work |
jcoomes@1746 | 125 | cm->follow_marking_stacks(); |
duke@435 | 126 | } |
duke@435 | 127 | |
duke@435 | 128 | |
duke@435 | 129 | // |
duke@435 | 130 | // RefProcTaskProxy |
duke@435 | 131 | // |
duke@435 | 132 | |
duke@435 | 133 | void RefProcTaskProxy::do_it(GCTaskManager* manager, uint which) |
duke@435 | 134 | { |
duke@435 | 135 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 136 | |
duke@435 | 137 | NOT_PRODUCT(TraceTime tm("RefProcTask", |
duke@435 | 138 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 139 | ParCompactionManager* cm = |
duke@435 | 140 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 141 | PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); |
duke@435 | 142 | PSParallelCompact::FollowStackClosure follow_stack_closure(cm); |
duke@435 | 143 | _rp_task.work(_work_id, *PSParallelCompact::is_alive_closure(), |
duke@435 | 144 | mark_and_push_closure, follow_stack_closure); |
duke@435 | 145 | } |
duke@435 | 146 | |
duke@435 | 147 | // |
duke@435 | 148 | // RefProcTaskExecutor |
duke@435 | 149 | // |
duke@435 | 150 | |
duke@435 | 151 | void RefProcTaskExecutor::execute(ProcessTask& task) |
duke@435 | 152 | { |
duke@435 | 153 | ParallelScavengeHeap* heap = PSParallelCompact::gc_heap(); |
duke@435 | 154 | uint parallel_gc_threads = heap->gc_task_manager()->workers(); |
jcoomes@810 | 155 | RegionTaskQueueSet* qset = ParCompactionManager::region_array(); |
duke@435 | 156 | ParallelTaskTerminator terminator(parallel_gc_threads, qset); |
duke@435 | 157 | GCTaskQueue* q = GCTaskQueue::create(); |
duke@435 | 158 | for(uint i=0; i<parallel_gc_threads; i++) { |
duke@435 | 159 | q->enqueue(new RefProcTaskProxy(task, i)); |
duke@435 | 160 | } |
duke@435 | 161 | if (task.marks_oops_alive()) { |
duke@435 | 162 | if (parallel_gc_threads>1) { |
duke@435 | 163 | for (uint j=0; j<parallel_gc_threads; j++) { |
duke@435 | 164 | q->enqueue(new StealMarkingTask(&terminator)); |
duke@435 | 165 | } |
duke@435 | 166 | } |
duke@435 | 167 | } |
duke@435 | 168 | PSParallelCompact::gc_task_manager()->execute_and_wait(q); |
duke@435 | 169 | } |
duke@435 | 170 | |
duke@435 | 171 | void RefProcTaskExecutor::execute(EnqueueTask& task) |
duke@435 | 172 | { |
duke@435 | 173 | ParallelScavengeHeap* heap = PSParallelCompact::gc_heap(); |
duke@435 | 174 | uint parallel_gc_threads = heap->gc_task_manager()->workers(); |
duke@435 | 175 | GCTaskQueue* q = GCTaskQueue::create(); |
duke@435 | 176 | for(uint i=0; i<parallel_gc_threads; i++) { |
duke@435 | 177 | q->enqueue(new RefEnqueueTaskProxy(task, i)); |
duke@435 | 178 | } |
duke@435 | 179 | PSParallelCompact::gc_task_manager()->execute_and_wait(q); |
duke@435 | 180 | } |
duke@435 | 181 | |
duke@435 | 182 | // |
duke@435 | 183 | // StealMarkingTask |
duke@435 | 184 | // |
duke@435 | 185 | |
duke@435 | 186 | StealMarkingTask::StealMarkingTask(ParallelTaskTerminator* t) : |
duke@435 | 187 | _terminator(t) {} |
duke@435 | 188 | |
duke@435 | 189 | void StealMarkingTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 190 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 191 | |
duke@435 | 192 | NOT_PRODUCT(TraceTime tm("StealMarkingTask", |
duke@435 | 193 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 194 | |
duke@435 | 195 | ParCompactionManager* cm = |
duke@435 | 196 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 197 | PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); |
duke@435 | 198 | |
duke@435 | 199 | oop obj = NULL; |
jcoomes@1746 | 200 | ObjArrayTask task; |
duke@435 | 201 | int random_seed = 17; |
jcoomes@1746 | 202 | do { |
jcoomes@1746 | 203 | while (ParCompactionManager::steal_objarray(which, &random_seed, task)) { |
jcoomes@1746 | 204 | objArrayKlass* const k = (objArrayKlass*)task.obj()->blueprint(); |
jcoomes@1746 | 205 | k->oop_follow_contents(cm, task.obj(), task.index()); |
jcoomes@1746 | 206 | cm->follow_marking_stacks(); |
jcoomes@1746 | 207 | } |
jcoomes@1746 | 208 | while (ParCompactionManager::steal(which, &random_seed, obj)) { |
duke@435 | 209 | obj->follow_contents(cm); |
jcoomes@1746 | 210 | cm->follow_marking_stacks(); |
duke@435 | 211 | } |
jcoomes@1746 | 212 | } while (!terminator()->offer_termination()); |
duke@435 | 213 | } |
duke@435 | 214 | |
duke@435 | 215 | // |
jcoomes@810 | 216 | // StealRegionCompactionTask |
duke@435 | 217 | // |
duke@435 | 218 | |
duke@435 | 219 | |
jcoomes@810 | 220 | StealRegionCompactionTask::StealRegionCompactionTask(ParallelTaskTerminator* t): |
jcoomes@810 | 221 | _terminator(t) {} |
duke@435 | 222 | |
jcoomes@810 | 223 | void StealRegionCompactionTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 224 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 225 | |
jcoomes@810 | 226 | NOT_PRODUCT(TraceTime tm("StealRegionCompactionTask", |
duke@435 | 227 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 228 | |
duke@435 | 229 | ParCompactionManager* cm = |
duke@435 | 230 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 231 | |
jcoomes@810 | 232 | // Has to drain stacks first because there may be regions on |
duke@435 | 233 | // preloaded onto the stack and this thread may never have |
duke@435 | 234 | // done a draining task. Are the draining tasks needed? |
duke@435 | 235 | |
jcoomes@810 | 236 | cm->drain_region_stacks(); |
duke@435 | 237 | |
jcoomes@810 | 238 | size_t region_index = 0; |
duke@435 | 239 | int random_seed = 17; |
duke@435 | 240 | |
duke@435 | 241 | // If we're the termination task, try 10 rounds of stealing before |
duke@435 | 242 | // setting the termination flag |
duke@435 | 243 | |
duke@435 | 244 | while(true) { |
jcoomes@810 | 245 | if (ParCompactionManager::steal(which, &random_seed, region_index)) { |
jcoomes@810 | 246 | PSParallelCompact::fill_and_update_region(cm, region_index); |
jcoomes@810 | 247 | cm->drain_region_stacks(); |
duke@435 | 248 | } else { |
duke@435 | 249 | if (terminator()->offer_termination()) { |
duke@435 | 250 | break; |
duke@435 | 251 | } |
duke@435 | 252 | // Go around again. |
duke@435 | 253 | } |
duke@435 | 254 | } |
duke@435 | 255 | return; |
duke@435 | 256 | } |
duke@435 | 257 | |
duke@435 | 258 | UpdateDensePrefixTask::UpdateDensePrefixTask( |
duke@435 | 259 | PSParallelCompact::SpaceId space_id, |
jcoomes@810 | 260 | size_t region_index_start, |
jcoomes@810 | 261 | size_t region_index_end) : |
jcoomes@810 | 262 | _space_id(space_id), _region_index_start(region_index_start), |
jcoomes@810 | 263 | _region_index_end(region_index_end) {} |
duke@435 | 264 | |
duke@435 | 265 | void UpdateDensePrefixTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 266 | |
duke@435 | 267 | NOT_PRODUCT(TraceTime tm("UpdateDensePrefixTask", |
duke@435 | 268 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 269 | |
duke@435 | 270 | ParCompactionManager* cm = |
duke@435 | 271 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 272 | |
duke@435 | 273 | PSParallelCompact::update_and_deadwood_in_dense_prefix(cm, |
duke@435 | 274 | _space_id, |
jcoomes@810 | 275 | _region_index_start, |
jcoomes@810 | 276 | _region_index_end); |
duke@435 | 277 | } |
duke@435 | 278 | |
duke@435 | 279 | void DrainStacksCompactionTask::do_it(GCTaskManager* manager, uint which) { |
duke@435 | 280 | assert(Universe::heap()->is_gc_active(), "called outside gc"); |
duke@435 | 281 | |
duke@435 | 282 | NOT_PRODUCT(TraceTime tm("DrainStacksCompactionTask", |
duke@435 | 283 | PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
duke@435 | 284 | |
duke@435 | 285 | ParCompactionManager* cm = |
duke@435 | 286 | ParCompactionManager::gc_thread_compaction_manager(which); |
duke@435 | 287 | |
jcoomes@810 | 288 | // Process any regions already in the compaction managers stacks. |
jcoomes@810 | 289 | cm->drain_region_stacks(); |
duke@435 | 290 | } |