src/share/vm/memory/sharedHeap.cpp

Tue, 18 Jun 2013 12:31:07 -0700

author
johnc
date
Tue, 18 Jun 2013 12:31:07 -0700
changeset 5277
01522ca68fc7
parent 5194
eda078b01c65
child 5461
ca9dedeebdec
permissions
-rw-r--r--

8015237: Parallelize string table scanning during strong root processing
Summary: Parallelize the scanning of the intern string table by having each GC worker claim a given number of buckets. Changes were also reviewed by Per Liden <per.liden@oracle.com>.
Reviewed-by: tschatzl, stefank, twisti

duke@435 1 /*
johnc@5277 2 * Copyright (c) 2000, 2013, 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/symbolTable.hpp"
stefank@2314 27 #include "classfile/systemDictionary.hpp"
stefank@2314 28 #include "code/codeCache.hpp"
stefank@2314 29 #include "gc_interface/collectedHeap.inline.hpp"
stefank@2314 30 #include "memory/sharedHeap.hpp"
stefank@2314 31 #include "oops/oop.inline.hpp"
stefank@2314 32 #include "runtime/fprofiler.hpp"
stefank@2314 33 #include "runtime/java.hpp"
stefank@2314 34 #include "services/management.hpp"
stefank@2314 35 #include "utilities/copy.hpp"
stefank@2314 36 #include "utilities/workgroup.hpp"
duke@435 37
duke@435 38 SharedHeap* SharedHeap::_sh;
duke@435 39
duke@435 40 // The set of potentially parallel tasks in strong root scanning.
duke@435 41 enum SH_process_strong_roots_tasks {
duke@435 42 SH_PS_Universe_oops_do,
duke@435 43 SH_PS_JNIHandles_oops_do,
duke@435 44 SH_PS_ObjectSynchronizer_oops_do,
duke@435 45 SH_PS_FlatProfiler_oops_do,
duke@435 46 SH_PS_Management_oops_do,
duke@435 47 SH_PS_SystemDictionary_oops_do,
stefank@5194 48 SH_PS_ClassLoaderDataGraph_oops_do,
duke@435 49 SH_PS_jvmti_oops_do,
duke@435 50 SH_PS_CodeCache_oops_do,
duke@435 51 // Leave this one last.
duke@435 52 SH_PS_NumElements
duke@435 53 };
duke@435 54
duke@435 55 SharedHeap::SharedHeap(CollectorPolicy* policy_) :
duke@435 56 CollectedHeap(),
duke@435 57 _collector_policy(policy_),
coleenp@4037 58 _rem_set(NULL),
duke@435 59 _strong_roots_parity(0),
duke@435 60 _process_strong_tasks(new SubTasksDone(SH_PS_NumElements)),
jmasa@2188 61 _workers(NULL)
duke@435 62 {
duke@435 63 if (_process_strong_tasks == NULL || !_process_strong_tasks->valid()) {
duke@435 64 vm_exit_during_initialization("Failed necessary allocation.");
duke@435 65 }
duke@435 66 _sh = this; // ch is static, should be set only once.
duke@435 67 if ((UseParNewGC ||
ysr@777 68 (UseConcMarkSweepGC && CMSParallelRemarkEnabled) ||
ysr@777 69 UseG1GC) &&
duke@435 70 ParallelGCThreads > 0) {
jmasa@2188 71 _workers = new FlexibleWorkGang("Parallel GC Threads", ParallelGCThreads,
ysr@777 72 /* are_GC_task_threads */true,
ysr@777 73 /* are_ConcurrentGC_threads */false);
duke@435 74 if (_workers == NULL) {
duke@435 75 vm_exit_during_initialization("Failed necessary allocation.");
jmasa@2188 76 } else {
jmasa@2188 77 _workers->initialize_workers();
duke@435 78 }
duke@435 79 }
duke@435 80 }
duke@435 81
jmasa@3294 82 int SharedHeap::n_termination() {
jmasa@3294 83 return _process_strong_tasks->n_threads();
jmasa@3294 84 }
jmasa@3294 85
jmasa@3294 86 void SharedHeap::set_n_termination(int t) {
jmasa@3294 87 _process_strong_tasks->set_n_threads(t);
jmasa@3294 88 }
jmasa@3294 89
ysr@777 90 bool SharedHeap::heap_lock_held_for_gc() {
ysr@777 91 Thread* t = Thread::current();
ysr@777 92 return Heap_lock->owned_by_self()
ysr@777 93 || ( (t->is_GC_task_thread() || t->is_VM_thread())
ysr@777 94 && _thread_holds_heap_lock_for_gc);
ysr@777 95 }
duke@435 96
jmasa@3357 97 void SharedHeap::set_par_threads(uint t) {
jmasa@2188 98 assert(t == 0 || !UseSerialGC, "Cannot have parallel threads");
duke@435 99 _n_par_threads = t;
jmasa@2188 100 _process_strong_tasks->set_n_threads(t);
duke@435 101 }
duke@435 102
jmasa@2909 103 #ifdef ASSERT
jmasa@2909 104 class AssertNonScavengableClosure: public OopClosure {
jmasa@2909 105 public:
jmasa@2909 106 virtual void do_oop(oop* p) {
jmasa@2909 107 assert(!Universe::heap()->is_in_partial_collection(*p),
jmasa@2909 108 "Referent should not be scavengable."); }
jmasa@2909 109 virtual void do_oop(narrowOop* p) { ShouldNotReachHere(); }
jmasa@2909 110 };
jmasa@2909 111 static AssertNonScavengableClosure assert_is_non_scavengable_closure;
jmasa@2909 112 #endif
jmasa@2909 113
duke@435 114 void SharedHeap::change_strong_roots_parity() {
duke@435 115 // Also set the new collection parity.
duke@435 116 assert(_strong_roots_parity >= 0 && _strong_roots_parity <= 2,
duke@435 117 "Not in range.");
duke@435 118 _strong_roots_parity++;
duke@435 119 if (_strong_roots_parity == 3) _strong_roots_parity = 1;
duke@435 120 assert(_strong_roots_parity >= 1 && _strong_roots_parity <= 2,
duke@435 121 "Not in range.");
duke@435 122 }
duke@435 123
jrose@1424 124 SharedHeap::StrongRootsScope::StrongRootsScope(SharedHeap* outer, bool activate)
jrose@1424 125 : MarkScope(activate)
jrose@1424 126 {
jrose@1424 127 if (_active) {
jrose@1424 128 outer->change_strong_roots_parity();
johnc@5277 129 // Zero the claimed high water mark in the StringTable
johnc@5277 130 StringTable::clear_parallel_claimed_index();
jrose@1424 131 }
jrose@1424 132 }
jrose@1424 133
jrose@1424 134 SharedHeap::StrongRootsScope::~StrongRootsScope() {
jrose@1424 135 // nothing particular
jrose@1424 136 }
jrose@1424 137
jrose@1424 138 void SharedHeap::process_strong_roots(bool activate_scope,
coleenp@4037 139 bool is_scavenging,
duke@435 140 ScanningOption so,
duke@435 141 OopClosure* roots,
jrose@1424 142 CodeBlobClosure* code_roots,
coleenp@4037 143 KlassClosure* klass_closure) {
jrose@1424 144 StrongRootsScope srs(this, activate_scope);
coleenp@4037 145
duke@435 146 // General strong roots.
jrose@1424 147 assert(_strong_roots_parity != 0, "must have called prologue code");
jmasa@3294 148 // _n_termination for _process_strong_tasks should be set up stream
jmasa@3294 149 // in a method not running in a GC worker. Otherwise the GC worker
jmasa@3294 150 // could be trying to change the termination condition while the task
jmasa@3294 151 // is executing in another GC worker.
duke@435 152 if (!_process_strong_tasks->is_task_claimed(SH_PS_Universe_oops_do)) {
duke@435 153 Universe::oops_do(roots);
duke@435 154 }
duke@435 155 // Global (strong) JNI handles
duke@435 156 if (!_process_strong_tasks->is_task_claimed(SH_PS_JNIHandles_oops_do))
duke@435 157 JNIHandles::oops_do(roots);
johnc@5277 158
duke@435 159 // All threads execute this; the individual threads are task groups.
stefank@4298 160 CLDToOopClosure roots_from_clds(roots);
stefank@4298 161 CLDToOopClosure* roots_from_clds_p = (is_scavenging ? NULL : &roots_from_clds);
johnc@5277 162 if (CollectedHeap::use_parallel_gc_threads()) {
johnc@5277 163 Threads::possibly_parallel_oops_do(roots, roots_from_clds_p, code_roots);
duke@435 164 } else {
stefank@4298 165 Threads::oops_do(roots, roots_from_clds_p, code_roots);
duke@435 166 }
johnc@5277 167
duke@435 168 if (!_process_strong_tasks-> is_task_claimed(SH_PS_ObjectSynchronizer_oops_do))
duke@435 169 ObjectSynchronizer::oops_do(roots);
duke@435 170 if (!_process_strong_tasks->is_task_claimed(SH_PS_FlatProfiler_oops_do))
duke@435 171 FlatProfiler::oops_do(roots);
duke@435 172 if (!_process_strong_tasks->is_task_claimed(SH_PS_Management_oops_do))
duke@435 173 Management::oops_do(roots);
duke@435 174 if (!_process_strong_tasks->is_task_claimed(SH_PS_jvmti_oops_do))
duke@435 175 JvmtiExport::oops_do(roots);
duke@435 176
duke@435 177 if (!_process_strong_tasks->is_task_claimed(SH_PS_SystemDictionary_oops_do)) {
duke@435 178 if (so & SO_AllClasses) {
duke@435 179 SystemDictionary::oops_do(roots);
stefank@5194 180 } else if (so & SO_SystemClasses) {
stefank@5194 181 SystemDictionary::always_strong_oops_do(roots);
stefank@5194 182 } else {
stefank@5194 183 fatal("We should always have selected either SO_AllClasses or SO_SystemClasses");
stefank@5194 184 }
stefank@5194 185 }
stefank@5194 186
stefank@5194 187 if (!_process_strong_tasks->is_task_claimed(SH_PS_ClassLoaderDataGraph_oops_do)) {
stefank@5194 188 if (so & SO_AllClasses) {
coleenp@4037 189 ClassLoaderDataGraph::oops_do(roots, klass_closure, !is_scavenging);
ysr@2825 190 } else if (so & SO_SystemClasses) {
coleenp@4037 191 ClassLoaderDataGraph::always_strong_oops_do(roots, klass_closure, !is_scavenging);
ysr@2825 192 }
duke@435 193 }
duke@435 194
johnc@5277 195 // All threads execute the following. A specific chunk of buckets
johnc@5277 196 // from the StringTable are the individual tasks.
johnc@5277 197 if (so & SO_Strings) {
johnc@5277 198 if (CollectedHeap::use_parallel_gc_threads()) {
johnc@5277 199 StringTable::possibly_parallel_oops_do(roots);
johnc@5277 200 } else {
jcoomes@2661 201 StringTable::oops_do(roots);
jcoomes@2661 202 }
duke@435 203 }
duke@435 204
duke@435 205 if (!_process_strong_tasks->is_task_claimed(SH_PS_CodeCache_oops_do)) {
jrose@1424 206 if (so & SO_CodeCache) {
jrose@1424 207 assert(code_roots != NULL, "must supply closure for code cache");
coleenp@4037 208
coleenp@4037 209 if (is_scavenging) {
coleenp@4037 210 // We only visit parts of the CodeCache when scavenging.
coleenp@4037 211 CodeCache::scavenge_root_nmethods_do(code_roots);
coleenp@4037 212 } else {
coleenp@4037 213 // CMSCollector uses this to do intermediate-strength collections.
coleenp@4037 214 // We scan the entire code cache, since CodeCache::do_unloading is not called.
jrose@1424 215 CodeCache::blobs_do(code_roots);
jrose@1424 216 }
jrose@1424 217 }
jmasa@2909 218 // Verify that the code cache contents are not subject to
jmasa@2909 219 // movement by a scavenging collection.
jmasa@2909 220 DEBUG_ONLY(CodeBlobToOopClosure assert_code_is_non_scavengable(&assert_is_non_scavengable_closure, /*do_marking=*/ false));
jmasa@2909 221 DEBUG_ONLY(CodeCache::asserted_non_scavengable_nmethods_do(&assert_code_is_non_scavengable));
duke@435 222 }
duke@435 223
duke@435 224 _process_strong_tasks->all_tasks_completed();
duke@435 225 }
duke@435 226
duke@435 227 class AlwaysTrueClosure: public BoolObjectClosure {
duke@435 228 public:
duke@435 229 bool do_object_b(oop p) { return true; }
duke@435 230 };
duke@435 231 static AlwaysTrueClosure always_true;
duke@435 232
duke@435 233 void SharedHeap::process_weak_roots(OopClosure* root_closure,
stefank@5011 234 CodeBlobClosure* code_roots) {
duke@435 235 // Global (weak) JNI handles
duke@435 236 JNIHandles::weak_oops_do(&always_true, root_closure);
duke@435 237
jrose@1424 238 CodeCache::blobs_do(code_roots);
stefank@5011 239 StringTable::oops_do(root_closure);
stefank@5011 240 }
duke@435 241
duke@435 242 void SharedHeap::set_barrier_set(BarrierSet* bs) {
duke@435 243 _barrier_set = bs;
duke@435 244 // Cached barrier set for fast access in oops
duke@435 245 oopDesc::set_bs(bs);
duke@435 246 }
duke@435 247
duke@435 248 void SharedHeap::post_initialize() {
duke@435 249 ref_processing_init();
duke@435 250 }
duke@435 251
coleenp@4037 252 void SharedHeap::ref_processing_init() {}
duke@435 253
duke@435 254 // Some utilities.
ysr@777 255 void SharedHeap::print_size_transition(outputStream* out,
ysr@777 256 size_t bytes_before,
duke@435 257 size_t bytes_after,
duke@435 258 size_t capacity) {
ysr@777 259 out->print(" %d%s->%d%s(%d%s)",
duke@435 260 byte_size_in_proper_unit(bytes_before),
duke@435 261 proper_unit_for_byte_size(bytes_before),
duke@435 262 byte_size_in_proper_unit(bytes_after),
duke@435 263 proper_unit_for_byte_size(bytes_after),
duke@435 264 byte_size_in_proper_unit(capacity),
duke@435 265 proper_unit_for_byte_size(capacity));
duke@435 266 }

mercurial