author | phh |
Sat, 30 Nov 2019 14:33:05 -0800 | |
changeset 59330 | 5b96c12f909d |
parent 59290 | 97d13893ec3c |
permissions | -rw-r--r-- |
1 | 1 |
/* |
57773
5cbc3bd9fdfd
8224665: Parallel GC: Use WorkGang (7: remove task manager)
lkorinth
parents:
52118
diff
changeset
|
2 |
* Copyright (c) 2005, 2019, Oracle and/or its affiliates. All rights reserved. |
1 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5080
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5080
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5080
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
26 |
#include "classfile/systemDictionary.hpp" |
|
30764 | 27 |
#include "gc/parallel/objectStartArray.hpp" |
46502
116a09d8f142
8180755: Remove use of bitMap.inline.hpp include from instanceKlass.hpp and c1_ValueSet.hpp
tschatzl
parents:
40655
diff
changeset
|
28 |
#include "gc/parallel/parMarkBitMap.inline.hpp" |
30764 | 29 |
#include "gc/parallel/parallelScavengeHeap.hpp" |
30 |
#include "gc/parallel/psCompactionManager.inline.hpp" |
|
31 |
#include "gc/parallel/psOldGen.hpp" |
|
32 |
#include "gc/parallel/psParallelCompact.inline.hpp" |
|
33 |
#include "gc/shared/taskqueue.inline.hpp" |
|
35061 | 34 |
#include "logging/log.hpp" |
30150
d9c940aa42ef
8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents:
29792
diff
changeset
|
35 |
#include "memory/iterator.inline.hpp" |
49592
77fb0be7d19f
8199946: Move load/store and encode/decode out of oopDesc
stefank
parents:
49041
diff
changeset
|
36 |
#include "oops/access.inline.hpp" |
77fb0be7d19f
8199946: Move load/store and encode/decode out of oopDesc
stefank
parents:
49041
diff
changeset
|
37 |
#include "oops/compressedOops.inline.hpp" |
30150
d9c940aa42ef
8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents:
29792
diff
changeset
|
38 |
#include "oops/instanceKlass.inline.hpp" |
d9c940aa42ef
8075955: Replace the macro based implementation of oop_oop_iterate with a template based solution
stefank
parents:
29792
diff
changeset
|
39 |
#include "oops/instanceMirrorKlass.inline.hpp" |
7397 | 40 |
#include "oops/objArrayKlass.inline.hpp" |
41 |
#include "oops/oop.inline.hpp" |
|
1 | 42 |
|
43 |
PSOldGen* ParCompactionManager::_old_gen = NULL; |
|
44 |
ParCompactionManager** ParCompactionManager::_manager_array = NULL; |
|
11174
fccee5238e70
6593758: RFE: Enhance GC ergonomics to dynamically choose ParallelGCThreads
jmasa
parents:
7397
diff
changeset
|
45 |
|
1 | 46 |
OopTaskQueueSet* ParCompactionManager::_stack_array = NULL; |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
47 |
ParCompactionManager::ObjArrayTaskQueueSet* |
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
48 |
ParCompactionManager::_objarray_queues = NULL; |
1 | 49 |
ObjectStartArray* ParCompactionManager::_start_array = NULL; |
50 |
ParMarkBitMap* ParCompactionManager::_mark_bitmap = NULL; |
|
5918 | 51 |
RegionTaskQueueSet* ParCompactionManager::_region_array = NULL; |
1 | 52 |
|
53 |
ParCompactionManager::ParCompactionManager() : |
|
38170
ff88a25a7799
8150994: UseParallelGC fails with UseDynamicNumberOfGCThreads with specjbb2005
jmasa
parents:
35877
diff
changeset
|
54 |
_action(CopyAndUpdate) { |
1 | 55 |
|
30173
13cf7580b000
8077413: Avoid use of Universe::heap() inside collectors
pliden
parents:
30151
diff
changeset
|
56 |
ParallelScavengeHeap* heap = ParallelScavengeHeap::heap(); |
1 | 57 |
|
58 |
_old_gen = heap->old_gen(); |
|
59 |
_start_array = old_gen()->start_array(); |
|
60 |
||
61 |
marking_stack()->initialize(); |
|
5918 | 62 |
_objarray_stack.initialize(); |
38170
ff88a25a7799
8150994: UseParallelGC fails with UseDynamicNumberOfGCThreads with specjbb2005
jmasa
parents:
35877
diff
changeset
|
63 |
_region_stack.initialize(); |
35877
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
64 |
|
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
65 |
reset_bitmap_query_cache(); |
11174
fccee5238e70
6593758: RFE: Enhance GC ergonomics to dynamically choose ParallelGCThreads
jmasa
parents:
7397
diff
changeset
|
66 |
} |
fccee5238e70
6593758: RFE: Enhance GC ergonomics to dynamically choose ParallelGCThreads
jmasa
parents:
7397
diff
changeset
|
67 |
|
1 | 68 |
void ParCompactionManager::initialize(ParMarkBitMap* mbm) { |
57773
5cbc3bd9fdfd
8224665: Parallel GC: Use WorkGang (7: remove task manager)
lkorinth
parents:
52118
diff
changeset
|
69 |
assert(ParallelScavengeHeap::heap() != NULL, |
1 | 70 |
"Needed for initialization"); |
71 |
||
72 |
_mark_bitmap = mbm; |
|
73 |
||
57773
5cbc3bd9fdfd
8224665: Parallel GC: Use WorkGang (7: remove task manager)
lkorinth
parents:
52118
diff
changeset
|
74 |
uint parallel_gc_threads = ParallelScavengeHeap::heap()->workers().total_workers(); |
1 | 75 |
|
76 |
assert(_manager_array == NULL, "Attempt to initialize twice"); |
|
13195 | 77 |
_manager_array = NEW_C_HEAP_ARRAY(ParCompactionManager*, parallel_gc_threads+1, mtGC); |
1 | 78 |
|
79 |
_stack_array = new OopTaskQueueSet(parallel_gc_threads); |
|
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
80 |
guarantee(_stack_array != NULL, "Could not allocate stack_array"); |
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
81 |
_objarray_queues = new ObjArrayTaskQueueSet(parallel_gc_threads); |
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
82 |
guarantee(_objarray_queues != NULL, "Could not allocate objarray_queues"); |
1407
9006b01ba3fd
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
1
diff
changeset
|
83 |
_region_array = new RegionTaskQueueSet(parallel_gc_threads); |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
84 |
guarantee(_region_array != NULL, "Could not allocate region_array"); |
1 | 85 |
|
86 |
// Create and register the ParCompactionManager(s) for the worker threads. |
|
87 |
for(uint i=0; i<parallel_gc_threads; i++) { |
|
88 |
_manager_array[i] = new ParCompactionManager(); |
|
89 |
guarantee(_manager_array[i] != NULL, "Could not create ParCompactionManager"); |
|
90 |
stack_array()->register_queue(i, _manager_array[i]->marking_stack()); |
|
5918 | 91 |
_objarray_queues->register_queue(i, &_manager_array[i]->_objarray_stack); |
38170
ff88a25a7799
8150994: UseParallelGC fails with UseDynamicNumberOfGCThreads with specjbb2005
jmasa
parents:
35877
diff
changeset
|
92 |
region_array()->register_queue(i, _manager_array[i]->region_stack()); |
1 | 93 |
} |
94 |
||
95 |
// The VMThread gets its own ParCompactionManager, which is not available |
|
96 |
// for work stealing. |
|
97 |
_manager_array[parallel_gc_threads] = new ParCompactionManager(); |
|
98 |
guarantee(_manager_array[parallel_gc_threads] != NULL, |
|
99 |
"Could not create ParCompactionManager"); |
|
57773
5cbc3bd9fdfd
8224665: Parallel GC: Use WorkGang (7: remove task manager)
lkorinth
parents:
52118
diff
changeset
|
100 |
assert(ParallelScavengeHeap::heap()->workers().total_workers() != 0, |
1 | 101 |
"Not initialized?"); |
102 |
} |
|
103 |
||
35877
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
104 |
void ParCompactionManager::reset_all_bitmap_query_caches() { |
57773
5cbc3bd9fdfd
8224665: Parallel GC: Use WorkGang (7: remove task manager)
lkorinth
parents:
52118
diff
changeset
|
105 |
uint parallel_gc_threads = ParallelScavengeHeap::heap()->workers().total_workers(); |
35877
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
106 |
for (uint i=0; i<=parallel_gc_threads; i++) { |
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
107 |
_manager_array[i]->reset_bitmap_query_cache(); |
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
108 |
} |
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
109 |
} |
a2a62511d0f8
8146987: Improve Parallel GC Full GC by caching results of live_words_in_range()
tschatzl
parents:
35061
diff
changeset
|
110 |
|
1 | 111 |
bool ParCompactionManager::should_update() { |
112 |
assert(action() != NotValid, "Action is not set"); |
|
113 |
return (action() == ParCompactionManager::Update) || |
|
114 |
(action() == ParCompactionManager::CopyAndUpdate) || |
|
115 |
(action() == ParCompactionManager::UpdateAndCopy); |
|
116 |
} |
|
117 |
||
118 |
bool ParCompactionManager::should_copy() { |
|
119 |
assert(action() != NotValid, "Action is not set"); |
|
120 |
return (action() == ParCompactionManager::Copy) || |
|
121 |
(action() == ParCompactionManager::CopyAndUpdate) || |
|
122 |
(action() == ParCompactionManager::UpdateAndCopy); |
|
123 |
} |
|
124 |
||
125 |
ParCompactionManager* |
|
31330
77061bb01b18
8081382: Make flags ParallelGCThreads and ConcGCThreads of type uint
david
parents:
30764
diff
changeset
|
126 |
ParCompactionManager::gc_thread_compaction_manager(uint index) { |
77061bb01b18
8081382: Make flags ParallelGCThreads and ConcGCThreads of type uint
david
parents:
30764
diff
changeset
|
127 |
assert(index < ParallelGCThreads, "index out of range"); |
1 | 128 |
assert(_manager_array != NULL, "Sanity"); |
129 |
return _manager_array[index]; |
|
130 |
} |
|
131 |
||
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
132 |
void ParCompactionManager::follow_marking_stacks() { |
1 | 133 |
do { |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
134 |
// Drain the overflow stack first, to allow stealing from the marking stack. |
5080
eff0cc882603
6935839: excessive marking stack growth during full gcs
jcoomes
parents:
5076
diff
changeset
|
135 |
oop obj; |
5918 | 136 |
while (marking_stack()->pop_overflow(obj)) { |
29792
8c6fa07f0869
8075957: Reduce calls to the GC specific object visitors in oopDesc
stefank
parents:
25351
diff
changeset
|
137 |
follow_contents(obj); |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
138 |
} |
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
139 |
while (marking_stack()->pop_local(obj)) { |
29792
8c6fa07f0869
8075957: Reduce calls to the GC specific object visitors in oopDesc
stefank
parents:
25351
diff
changeset
|
140 |
follow_contents(obj); |
1 | 141 |
} |
142 |
||
5080
eff0cc882603
6935839: excessive marking stack growth during full gcs
jcoomes
parents:
5076
diff
changeset
|
143 |
// Process ObjArrays one at a time to avoid marking stack bloat. |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
144 |
ObjArrayTask task; |
17370
59a0620561fa
8003557: NPG: Klass* const k should be const Klass* k.
minqi
parents:
13952
diff
changeset
|
145 |
if (_objarray_stack.pop_overflow(task) || _objarray_stack.pop_local(task)) { |
52118
49f627781c2a
8211446: Replace oop_pc_follow_contents with oop_iterate and closure
lkorinth
parents:
51698
diff
changeset
|
146 |
follow_array((objArrayOop)task.obj(), task.index()); |
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
147 |
} |
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
148 |
} while (!marking_stacks_empty()); |
1 | 149 |
|
5076
8b74a4b60b31
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
3795
diff
changeset
|
150 |
assert(marking_stacks_empty(), "Sanity"); |
1 | 151 |
} |
152 |
||
1407
9006b01ba3fd
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
1
diff
changeset
|
153 |
void ParCompactionManager::drain_region_stacks() { |
1 | 154 |
do { |
5918 | 155 |
// Drain overflow stack first so other threads can steal. |
156 |
size_t region_index; |
|
157 |
while (region_stack()->pop_overflow(region_index)) { |
|
1407
9006b01ba3fd
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
1
diff
changeset
|
158 |
PSParallelCompact::fill_and_update_region(this, region_index); |
1 | 159 |
} |
160 |
||
5918 | 161 |
while (region_stack()->pop_local(region_index)) { |
1407
9006b01ba3fd
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
1
diff
changeset
|
162 |
PSParallelCompact::fill_and_update_region(this, region_index); |
1 | 163 |
} |
1407
9006b01ba3fd
6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents:
1
diff
changeset
|
164 |
} while (!region_stack()->is_empty()); |
1 | 165 |
} |