Mon, 20 Sep 2010 14:38:38 -0700
6984287: Regularize how GC parallel workers are specified.
Summary: Associate number of GC workers with the workgang as opposed to the task.
Reviewed-by: johnc, ysr
1 /*
2 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 # include "incls/_precompiled.incl"
26 # include "incls/_taskqueue.cpp.incl"
28 #ifdef TRACESPINNING
29 uint ParallelTaskTerminator::_total_yields = 0;
30 uint ParallelTaskTerminator::_total_spins = 0;
31 uint ParallelTaskTerminator::_total_peeks = 0;
32 #endif
34 #if TASKQUEUE_STATS
35 const char * const TaskQueueStats::_names[last_stat_id] = {
36 "qpush", "qpop", "qpop-s", "qattempt", "qsteal", "opush", "omax"
37 };
39 TaskQueueStats & TaskQueueStats::operator +=(const TaskQueueStats & addend)
40 {
41 for (unsigned int i = 0; i < last_stat_id; ++i) {
42 _stats[i] += addend._stats[i];
43 }
44 return *this;
45 }
47 void TaskQueueStats::print_header(unsigned int line, outputStream* const stream,
48 unsigned int width)
49 {
50 // Use a width w: 1 <= w <= max_width
51 const unsigned int max_width = 40;
52 const unsigned int w = MAX2(MIN2(width, max_width), 1U);
54 if (line == 0) { // spaces equal in width to the header
55 const unsigned int hdr_width = w * last_stat_id + last_stat_id - 1;
56 stream->print("%*s", hdr_width, " ");
57 } else if (line == 1) { // labels
58 stream->print("%*s", w, _names[0]);
59 for (unsigned int i = 1; i < last_stat_id; ++i) {
60 stream->print(" %*s", w, _names[i]);
61 }
62 } else if (line == 2) { // dashed lines
63 char dashes[max_width + 1];
64 memset(dashes, '-', w);
65 dashes[w] = '\0';
66 stream->print("%s", dashes);
67 for (unsigned int i = 1; i < last_stat_id; ++i) {
68 stream->print(" %s", dashes);
69 }
70 }
71 }
73 void TaskQueueStats::print(outputStream* stream, unsigned int width) const
74 {
75 #define FMT SIZE_FORMAT_W(*)
76 stream->print(FMT, width, _stats[0]);
77 for (unsigned int i = 1; i < last_stat_id; ++i) {
78 stream->print(" " FMT, width, _stats[i]);
79 }
80 #undef FMT
81 }
83 #ifdef ASSERT
84 // Invariants which should hold after a TaskQueue has been emptied and is
85 // quiescent; they do not hold at arbitrary times.
86 void TaskQueueStats::verify() const
87 {
88 assert(get(push) == get(pop) + get(steal),
89 err_msg("push=" SIZE_FORMAT " pop=" SIZE_FORMAT " steal=" SIZE_FORMAT,
90 get(push), get(pop), get(steal)));
91 assert(get(pop_slow) <= get(pop),
92 err_msg("pop_slow=" SIZE_FORMAT " pop=" SIZE_FORMAT,
93 get(pop_slow), get(pop)));
94 assert(get(steal) <= get(steal_attempt),
95 err_msg("steal=" SIZE_FORMAT " steal_attempt=" SIZE_FORMAT,
96 get(steal), get(steal_attempt)));
97 assert(get(overflow) == 0 || get(push) != 0,
98 err_msg("overflow=" SIZE_FORMAT " push=" SIZE_FORMAT,
99 get(overflow), get(push)));
100 assert(get(overflow_max_len) == 0 || get(overflow) != 0,
101 err_msg("overflow_max_len=" SIZE_FORMAT " overflow=" SIZE_FORMAT,
102 get(overflow_max_len), get(overflow)));
103 }
104 #endif // ASSERT
105 #endif // TASKQUEUE_STATS
107 int TaskQueueSetSuper::randomParkAndMiller(int *seed0) {
108 const int a = 16807;
109 const int m = 2147483647;
110 const int q = 127773; /* m div a */
111 const int r = 2836; /* m mod a */
112 assert(sizeof(int) == 4, "I think this relies on that");
113 int seed = *seed0;
114 int hi = seed / q;
115 int lo = seed % q;
116 int test = a * lo - r * hi;
117 if (test > 0)
118 seed = test;
119 else
120 seed = test + m;
121 *seed0 = seed;
122 return seed;
123 }
125 ParallelTaskTerminator::
126 ParallelTaskTerminator(int n_threads, TaskQueueSetSuper* queue_set) :
127 _n_threads(n_threads),
128 _queue_set(queue_set),
129 _offered_termination(0) {}
131 bool ParallelTaskTerminator::peek_in_queue_set() {
132 return _queue_set->peek();
133 }
135 void ParallelTaskTerminator::yield() {
136 assert(_offered_termination <= _n_threads, "Invariant");
137 os::yield();
138 }
140 void ParallelTaskTerminator::sleep(uint millis) {
141 assert(_offered_termination <= _n_threads, "Invariant");
142 os::sleep(Thread::current(), millis, false);
143 }
145 bool
146 ParallelTaskTerminator::offer_termination(TerminatorTerminator* terminator) {
147 assert(_n_threads > 0, "Initialization is incorrect");
148 assert(_offered_termination < _n_threads, "Invariant");
149 Atomic::inc(&_offered_termination);
151 uint yield_count = 0;
152 // Number of hard spin loops done since last yield
153 uint hard_spin_count = 0;
154 // Number of iterations in the hard spin loop.
155 uint hard_spin_limit = WorkStealingHardSpins;
157 // If WorkStealingSpinToYieldRatio is 0, no hard spinning is done.
158 // If it is greater than 0, then start with a small number
159 // of spins and increase number with each turn at spinning until
160 // the count of hard spins exceeds WorkStealingSpinToYieldRatio.
161 // Then do a yield() call and start spinning afresh.
162 if (WorkStealingSpinToYieldRatio > 0) {
163 hard_spin_limit = WorkStealingHardSpins >> WorkStealingSpinToYieldRatio;
164 hard_spin_limit = MAX2(hard_spin_limit, 1U);
165 }
166 // Remember the initial spin limit.
167 uint hard_spin_start = hard_spin_limit;
169 // Loop waiting for all threads to offer termination or
170 // more work.
171 while (true) {
172 assert(_offered_termination <= _n_threads, "Invariant");
173 // Are all threads offering termination?
174 if (_offered_termination == _n_threads) {
175 return true;
176 } else {
177 // Look for more work.
178 // Periodically sleep() instead of yield() to give threads
179 // waiting on the cores the chance to grab this code
180 if (yield_count <= WorkStealingYieldsBeforeSleep) {
181 // Do a yield or hardspin. For purposes of deciding whether
182 // to sleep, count this as a yield.
183 yield_count++;
185 // Periodically call yield() instead spinning
186 // After WorkStealingSpinToYieldRatio spins, do a yield() call
187 // and reset the counts and starting limit.
188 if (hard_spin_count > WorkStealingSpinToYieldRatio) {
189 yield();
190 hard_spin_count = 0;
191 hard_spin_limit = hard_spin_start;
192 #ifdef TRACESPINNING
193 _total_yields++;
194 #endif
195 } else {
196 // Hard spin this time
197 // Increase the hard spinning period but only up to a limit.
198 hard_spin_limit = MIN2(2*hard_spin_limit,
199 (uint) WorkStealingHardSpins);
200 for (uint j = 0; j < hard_spin_limit; j++) {
201 SpinPause();
202 }
203 hard_spin_count++;
204 #ifdef TRACESPINNING
205 _total_spins++;
206 #endif
207 }
208 } else {
209 if (PrintGCDetails && Verbose) {
210 gclog_or_tty->print_cr("ParallelTaskTerminator::offer_termination() "
211 "thread %d sleeps after %d yields",
212 Thread::current(), yield_count);
213 }
214 yield_count = 0;
215 // A sleep will cause this processor to seek work on another processor's
216 // runqueue, if it has nothing else to run (as opposed to the yield
217 // which may only move the thread to the end of the this processor's
218 // runqueue).
219 sleep(WorkStealingSleepMillis);
220 }
222 #ifdef TRACESPINNING
223 _total_peeks++;
224 #endif
225 if (peek_in_queue_set() ||
226 (terminator != NULL && terminator->should_exit_termination())) {
227 Atomic::dec(&_offered_termination);
228 assert(_offered_termination < _n_threads, "Invariant");
229 return false;
230 }
231 }
232 }
233 }
235 #ifdef TRACESPINNING
236 void ParallelTaskTerminator::print_termination_counts() {
237 gclog_or_tty->print_cr("ParallelTaskTerminator Total yields: %lld "
238 "Total spins: %lld Total peeks: %lld",
239 total_yields(),
240 total_spins(),
241 total_peeks());
242 }
243 #endif
245 void ParallelTaskTerminator::reset_for_reuse() {
246 if (_offered_termination != 0) {
247 assert(_offered_termination == _n_threads,
248 "Terminator may still be in use");
249 _offered_termination = 0;
250 }
251 }
253 #ifdef ASSERT
254 bool ObjArrayTask::is_valid() const {
255 return _obj != NULL && _obj->is_objArray() && _index > 0 &&
256 _index < objArrayOop(_obj)->length();
257 }
258 #endif // ASSERT
260 void ParallelTaskTerminator::reset_for_reuse(int n_threads) {
261 reset_for_reuse();
262 _n_threads = n_threads;
263 }