Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/parallelScavenge/pcTasks.cpp @ 1836:894b1d7c7e01
6423256: GC stacks should use a better data structure
6942771: SEGV in ParScanThreadState::take_from_overflow_stack
Reviewed-by: apetrusenko, ysr, pbk
author | jcoomes |
---|---|
date | Tue, 28 Sep 2010 15:56:15 -0700 |
parents | c18cbe5936b8 |
children | f95d63e2154a |
rev | line source |
---|---|
0 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1311
diff
changeset
|
2 * Copyright (c) 2005, 2009, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1311
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1311
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1311
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
25 # include "incls/_precompiled.incl" | |
26 # include "incls/_pcTasks.cpp.incl" | |
27 | |
28 // | |
29 // ThreadRootsMarkingTask | |
30 // | |
31 | |
32 void ThreadRootsMarkingTask::do_it(GCTaskManager* manager, uint which) { | |
33 assert(Universe::heap()->is_gc_active(), "called outside gc"); | |
34 | |
35 ResourceMark rm; | |
36 | |
37 NOT_PRODUCT(TraceTime tm("ThreadRootsMarkingTask", | |
38 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
39 ParCompactionManager* cm = | |
40 ParCompactionManager::gc_thread_compaction_manager(which); | |
41 PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
42 CodeBlobToOopClosure mark_and_push_in_blobs(&mark_and_push_closure, /*do_marking=*/ true); |
0 | 43 |
44 if (_java_thread != NULL) | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
45 _java_thread->oops_do(&mark_and_push_closure, &mark_and_push_in_blobs); |
0 | 46 |
47 if (_vm_thread != NULL) | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
48 _vm_thread->oops_do(&mark_and_push_closure, &mark_and_push_in_blobs); |
0 | 49 |
50 // Do the real work | |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
51 cm->follow_marking_stacks(); |
0 | 52 } |
53 | |
54 | |
55 void MarkFromRootsTask::do_it(GCTaskManager* manager, uint which) { | |
56 assert(Universe::heap()->is_gc_active(), "called outside gc"); | |
57 | |
58 NOT_PRODUCT(TraceTime tm("MarkFromRootsTask", | |
59 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
60 ParCompactionManager* cm = | |
61 ParCompactionManager::gc_thread_compaction_manager(which); | |
62 PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); | |
63 | |
64 switch (_root_type) { | |
65 case universe: | |
66 Universe::oops_do(&mark_and_push_closure); | |
67 break; | |
68 | |
69 case reference_processing: | |
70 ReferenceProcessor::oops_do(&mark_and_push_closure); | |
71 break; | |
72 | |
73 case jni_handles: | |
74 JNIHandles::oops_do(&mark_and_push_closure); | |
75 break; | |
76 | |
77 case threads: | |
78 { | |
79 ResourceMark rm; | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
80 CodeBlobToOopClosure each_active_code_blob(&mark_and_push_closure, /*do_marking=*/ true); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
81 Threads::oops_do(&mark_and_push_closure, &each_active_code_blob); |
0 | 82 } |
83 break; | |
84 | |
85 case object_synchronizer: | |
86 ObjectSynchronizer::oops_do(&mark_and_push_closure); | |
87 break; | |
88 | |
89 case flat_profiler: | |
90 FlatProfiler::oops_do(&mark_and_push_closure); | |
91 break; | |
92 | |
93 case management: | |
94 Management::oops_do(&mark_and_push_closure); | |
95 break; | |
96 | |
97 case jvmti: | |
98 JvmtiExport::oops_do(&mark_and_push_closure); | |
99 break; | |
100 | |
101 case system_dictionary: | |
102 SystemDictionary::always_strong_oops_do(&mark_and_push_closure); | |
103 break; | |
104 | |
105 case vm_symbols: | |
106 vmSymbols::oops_do(&mark_and_push_closure); | |
107 break; | |
108 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
109 case code_cache: |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
110 // Do not treat nmethods as strong roots for mark/sweep, since we can unload them. |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
111 //CodeCache::scavenge_root_nmethods_do(CodeBlobToOopClosure(&mark_and_push_closure)); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
112 break; |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
375
diff
changeset
|
113 |
0 | 114 default: |
115 fatal("Unknown root type"); | |
116 } | |
117 | |
118 // Do the real work | |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
119 cm->follow_marking_stacks(); |
0 | 120 } |
121 | |
122 | |
123 // | |
124 // RefProcTaskProxy | |
125 // | |
126 | |
127 void RefProcTaskProxy::do_it(GCTaskManager* manager, uint which) | |
128 { | |
129 assert(Universe::heap()->is_gc_active(), "called outside gc"); | |
130 | |
131 NOT_PRODUCT(TraceTime tm("RefProcTask", | |
132 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
133 ParCompactionManager* cm = | |
134 ParCompactionManager::gc_thread_compaction_manager(which); | |
135 PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); | |
136 PSParallelCompact::FollowStackClosure follow_stack_closure(cm); | |
137 _rp_task.work(_work_id, *PSParallelCompact::is_alive_closure(), | |
138 mark_and_push_closure, follow_stack_closure); | |
139 } | |
140 | |
141 // | |
142 // RefProcTaskExecutor | |
143 // | |
144 | |
145 void RefProcTaskExecutor::execute(ProcessTask& task) | |
146 { | |
147 ParallelScavengeHeap* heap = PSParallelCompact::gc_heap(); | |
148 uint parallel_gc_threads = heap->gc_task_manager()->workers(); | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
149 RegionTaskQueueSet* qset = ParCompactionManager::region_array(); |
0 | 150 ParallelTaskTerminator terminator(parallel_gc_threads, qset); |
151 GCTaskQueue* q = GCTaskQueue::create(); | |
152 for(uint i=0; i<parallel_gc_threads; i++) { | |
153 q->enqueue(new RefProcTaskProxy(task, i)); | |
154 } | |
155 if (task.marks_oops_alive()) { | |
156 if (parallel_gc_threads>1) { | |
157 for (uint j=0; j<parallel_gc_threads; j++) { | |
158 q->enqueue(new StealMarkingTask(&terminator)); | |
159 } | |
160 } | |
161 } | |
162 PSParallelCompact::gc_task_manager()->execute_and_wait(q); | |
163 } | |
164 | |
165 void RefProcTaskExecutor::execute(EnqueueTask& task) | |
166 { | |
167 ParallelScavengeHeap* heap = PSParallelCompact::gc_heap(); | |
168 uint parallel_gc_threads = heap->gc_task_manager()->workers(); | |
169 GCTaskQueue* q = GCTaskQueue::create(); | |
170 for(uint i=0; i<parallel_gc_threads; i++) { | |
171 q->enqueue(new RefEnqueueTaskProxy(task, i)); | |
172 } | |
173 PSParallelCompact::gc_task_manager()->execute_and_wait(q); | |
174 } | |
175 | |
176 // | |
177 // StealMarkingTask | |
178 // | |
179 | |
180 StealMarkingTask::StealMarkingTask(ParallelTaskTerminator* t) : | |
181 _terminator(t) {} | |
182 | |
183 void StealMarkingTask::do_it(GCTaskManager* manager, uint which) { | |
184 assert(Universe::heap()->is_gc_active(), "called outside gc"); | |
185 | |
186 NOT_PRODUCT(TraceTime tm("StealMarkingTask", | |
187 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
188 | |
189 ParCompactionManager* cm = | |
190 ParCompactionManager::gc_thread_compaction_manager(which); | |
191 PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm); | |
192 | |
193 oop obj = NULL; | |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
194 ObjArrayTask task; |
0 | 195 int random_seed = 17; |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
196 do { |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
197 while (ParCompactionManager::steal_objarray(which, &random_seed, task)) { |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
198 objArrayKlass* const k = (objArrayKlass*)task.obj()->blueprint(); |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
199 k->oop_follow_contents(cm, task.obj(), task.index()); |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
200 cm->follow_marking_stacks(); |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
201 } |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
202 while (ParCompactionManager::steal(which, &random_seed, obj)) { |
0 | 203 obj->follow_contents(cm); |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
204 cm->follow_marking_stacks(); |
0 | 205 } |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1000
diff
changeset
|
206 } while (!terminator()->offer_termination()); |
0 | 207 } |
208 | |
209 // | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
210 // StealRegionCompactionTask |
0 | 211 // |
212 | |
213 | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
214 StealRegionCompactionTask::StealRegionCompactionTask(ParallelTaskTerminator* t): |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
215 _terminator(t) {} |
0 | 216 |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
217 void StealRegionCompactionTask::do_it(GCTaskManager* manager, uint which) { |
0 | 218 assert(Universe::heap()->is_gc_active(), "called outside gc"); |
219 | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
220 NOT_PRODUCT(TraceTime tm("StealRegionCompactionTask", |
0 | 221 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); |
222 | |
223 ParCompactionManager* cm = | |
224 ParCompactionManager::gc_thread_compaction_manager(which); | |
225 | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
226 // Has to drain stacks first because there may be regions on |
0 | 227 // preloaded onto the stack and this thread may never have |
228 // done a draining task. Are the draining tasks needed? | |
229 | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
230 cm->drain_region_stacks(); |
0 | 231 |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
232 size_t region_index = 0; |
0 | 233 int random_seed = 17; |
234 | |
235 // If we're the termination task, try 10 rounds of stealing before | |
236 // setting the termination flag | |
237 | |
238 while(true) { | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
239 if (ParCompactionManager::steal(which, &random_seed, region_index)) { |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
240 PSParallelCompact::fill_and_update_region(cm, region_index); |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
241 cm->drain_region_stacks(); |
0 | 242 } else { |
243 if (terminator()->offer_termination()) { | |
244 break; | |
245 } | |
246 // Go around again. | |
247 } | |
248 } | |
249 return; | |
250 } | |
251 | |
252 UpdateDensePrefixTask::UpdateDensePrefixTask( | |
253 PSParallelCompact::SpaceId space_id, | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
254 size_t region_index_start, |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
255 size_t region_index_end) : |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
256 _space_id(space_id), _region_index_start(region_index_start), |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
257 _region_index_end(region_index_end) {} |
0 | 258 |
259 void UpdateDensePrefixTask::do_it(GCTaskManager* manager, uint which) { | |
260 | |
261 NOT_PRODUCT(TraceTime tm("UpdateDensePrefixTask", | |
262 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
263 | |
264 ParCompactionManager* cm = | |
265 ParCompactionManager::gc_thread_compaction_manager(which); | |
266 | |
267 PSParallelCompact::update_and_deadwood_in_dense_prefix(cm, | |
268 _space_id, | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
269 _region_index_start, |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
270 _region_index_end); |
0 | 271 } |
272 | |
273 void DrainStacksCompactionTask::do_it(GCTaskManager* manager, uint which) { | |
274 assert(Universe::heap()->is_gc_active(), "called outside gc"); | |
275 | |
276 NOT_PRODUCT(TraceTime tm("DrainStacksCompactionTask", | |
277 PrintGCDetails && TraceParallelOldGCTasks, true, gclog_or_tty)); | |
278 | |
279 ParCompactionManager* cm = | |
280 ParCompactionManager::gc_thread_compaction_manager(which); | |
281 | |
375
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
282 // Process any regions already in the compaction managers stacks. |
81cd571500b0
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
196
diff
changeset
|
283 cm->drain_region_stacks(); |
0 | 284 } |