Thu, 11 Feb 2010 15:52:19 -0800
6923991: G1: improve scalability of RSet scanning
Summary: Implemented block-based work stealing. Moved copying during the rset scanning phase to the main copying phase. Made the size of rset table depend on the region size.
Reviewed-by: apetrusenko, tonyp
1 /*
2 * Copyright 2001-2009 Sun Microsystems, Inc. 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 *
23 */
25 //
26 // Defines all globals flags used by the garbage-first compiler.
27 //
29 #define G1_FLAGS(develop, develop_pd, product, product_pd, diagnostic, experimental, notproduct, manageable, product_rw) \
30 \
31 product(intx, G1ParallelGCAllocBufferSize, 8*K, \
32 "Size of parallel G1 allocation buffers in to-space.") \
33 \
34 product(intx, G1ConfidencePercent, 50, \
35 "Confidence level for MMU/pause predictions") \
36 \
37 develop(intx, G1MarkingOverheadPercent, 0, \
38 "Overhead of concurrent marking") \
39 \
40 product(uintx, G1YoungGenSize, 0, \
41 "Size of the G1 young generation, 0 is the adaptive policy") \
42 \
43 develop(bool, G1Gen, true, \
44 "If true, it will enable the generational G1") \
45 \
46 develop(intx, G1GCPercent, 10, \
47 "The desired percent time spent on GC") \
48 \
49 develop(intx, G1PolicyVerbose, 0, \
50 "The verbosity level on G1 policy decisions") \
51 \
52 develop(bool, G1UseHRIntoRS, true, \
53 "Determines whether the 'advanced' HR Into rem set is used.") \
54 \
55 develop(intx, G1MarkingVerboseLevel, 0, \
56 "Level (0-4) of verboseness of the marking code") \
57 \
58 develop(bool, G1PrintReachableAtInitialMark, false, \
59 "Reachable object dump at the initial mark pause") \
60 \
61 develop(bool, G1VerifyDuringGCPrintReachable, false, \
62 "If conc mark verification fails, dump reachable objects") \
63 \
64 develop(ccstr, G1PrintReachableBaseFile, NULL, \
65 "The base file name for the reachable object dumps") \
66 \
67 develop(bool, G1TraceMarkStackOverflow, false, \
68 "If true, extra debugging code for CM restart for ovflw.") \
69 \
70 develop(intx, G1PausesBtwnConcMark, -1, \
71 "If positive, fixed number of pauses between conc markings") \
72 \
73 diagnostic(bool, G1SummarizeConcurrentMark, false, \
74 "Summarize concurrent mark info") \
75 \
76 diagnostic(bool, G1SummarizeRSetStats, false, \
77 "Summarize remembered set processing info") \
78 \
79 diagnostic(intx, G1SummarizeRSetStatsPeriod, 0, \
80 "The period (in number of GCs) at which we will generate " \
81 "update buffer processing info " \
82 "(0 means do not periodically generate this info); " \
83 "it also requires -XX:+G1SummarizeRSetStats") \
84 \
85 diagnostic(bool, G1SummarizeZFStats, false, \
86 "Summarize zero-filling info") \
87 \
88 diagnostic(bool, G1TraceConcurrentRefinement, false, \
89 "Trace G1 concurrent refinement") \
90 \
91 product(intx, G1MarkStackSize, 2 * 1024 * 1024, \
92 "Size of the mark stack for concurrent marking.") \
93 \
94 product(intx, G1MarkRegionStackSize, 1024 * 1024, \
95 "Size of the region stack for concurrent marking.") \
96 \
97 develop(bool, G1ConcZeroFill, true, \
98 "If true, run concurrent zero-filling thread") \
99 \
100 develop(intx, G1ConcZFMaxRegions, 1, \
101 "Stop zero-filling when # of zf'd regions reaches") \
102 \
103 product(intx, G1SteadyStateUsed, 90, \
104 "If non-0, try to maintain 'used' at this pct (of max)") \
105 \
106 product(intx, G1SteadyStateUsedDelta, 30, \
107 "If G1SteadyStateUsed is non-0, then do pause this number of " \
108 "of percentage points earlier if no marking is in progress.") \
109 \
110 develop(bool, G1SATBBarrierPrintNullPreVals, false, \
111 "If true, count frac of ptr writes with null pre-vals.") \
112 \
113 product(intx, G1SATBLogBufferSize, 1*K, \
114 "Number of entries in an SATB log buffer.") \
115 \
116 product(intx, G1SATBProcessCompletedThreshold, 20, \
117 "Number of completed buffers that triggers log processing.") \
118 \
119 develop(intx, G1ExtraRegionSurvRate, 33, \
120 "If the young survival rate is S, and there's room left in " \
121 "to-space, we will allow regions whose survival rate is up to " \
122 "S + (1 - S)*X, where X is this parameter (as a fraction.)") \
123 \
124 develop(intx, G1InitYoungSurvRatio, 50, \
125 "Expected Survival Rate for newly allocated bytes") \
126 \
127 develop(bool, G1SATBPrintStubs, false, \
128 "If true, print generated stubs for the SATB barrier") \
129 \
130 product(intx, G1ExpandByPercentOfAvailable, 20, \
131 "When expanding, % of uncommitted space to claim.") \
132 \
133 develop(bool, G1RSBarrierRegionFilter, true, \
134 "If true, generate region filtering code in RS barrier") \
135 \
136 develop(bool, G1RSBarrierNullFilter, true, \
137 "If true, generate null-pointer filtering code in RS barrier") \
138 \
139 develop(bool, G1PrintCTFilterStats, false, \
140 "If true, print stats on RS filtering effectiveness") \
141 \
142 develop(bool, G1DeferredRSUpdate, true, \
143 "If true, use deferred RS updates") \
144 \
145 develop(bool, G1RSLogCheckCardTable, false, \
146 "If true, verify that no dirty cards remain after RS log " \
147 "processing.") \
148 \
149 develop(bool, G1RSCountHisto, false, \
150 "If true, print a histogram of RS occupancies after each pause") \
151 \
152 develop(intx, G1PrintRegionLivenessInfo, 0, \
153 "When > 0, print the occupancies of the <n> best and worst" \
154 "regions.") \
155 \
156 develop(bool, G1PrintParCleanupStats, false, \
157 "When true, print extra stats about parallel cleanup.") \
158 \
159 develop(bool, G1DisablePreBarrier, false, \
160 "Disable generation of pre-barrier (i.e., marking barrier) ") \
161 \
162 develop(bool, G1DisablePostBarrier, false, \
163 "Disable generation of post-barrier (i.e., RS barrier) ") \
164 \
165 product(intx, G1UpdateBufferSize, 256, \
166 "Size of an update buffer") \
167 \
168 product(intx, G1ConcRefineYellowZone, 0, \
169 "Number of enqueued update buffers that will " \
170 "trigger concurrent processing. Will be selected ergonomically " \
171 "by default.") \
172 \
173 product(intx, G1ConcRefineRedZone, 0, \
174 "Maximum number of enqueued update buffers before mutator " \
175 "threads start processing new ones instead of enqueueing them. " \
176 "Will be selected ergonomically by default. Zero will disable " \
177 "concurrent processing.") \
178 \
179 product(intx, G1ConcRefineGreenZone, 0, \
180 "The number of update buffers that are left in the queue by the " \
181 "concurrent processing threads. Will be selected ergonomically " \
182 "by default.") \
183 \
184 product(intx, G1ConcRefineServiceInterval, 300, \
185 "The last concurrent refinement thread wakes up every " \
186 "specified number of milliseconds to do miscellaneous work.") \
187 \
188 product(intx, G1ConcRefineThresholdStep, 0, \
189 "Each time the rset update queue increases by this amount " \
190 "activate the next refinement thread if available. " \
191 "Will be selected ergonomically by default.") \
192 \
193 product(intx, G1RSUpdatePauseFractionPercent, 10, \
194 "A target percentage of time that is allowed to be spend on " \
195 "process RS update buffers during the collection pause.") \
196 \
197 product(bool, G1AdaptiveConcRefine, true, \
198 "Select green, yellow and red zones adaptively to meet the " \
199 "the pause requirements.") \
200 \
201 develop(intx, G1ConcRSLogCacheSize, 10, \
202 "Log base 2 of the length of conc RS hot-card cache.") \
203 \
204 develop(intx, G1ConcRSHotCardLimit, 4, \
205 "The threshold that defines (>=) a hot card.") \
206 \
207 develop(bool, G1PrintOopAppls, false, \
208 "When true, print applications of closures to external locs.") \
209 \
210 develop(intx, G1RSetRegionEntriesBase, 256, \
211 "Max number of regions in a fine-grain table per MB.") \
212 \
213 product(intx, G1RSetRegionEntries, 0, \
214 "Max number of regions for which we keep bitmaps." \
215 "Will be set ergonomically by default") \
216 \
217 develop(intx, G1RSetSparseRegionEntriesBase, 4, \
218 "Max number of entries per region in a sparse table " \
219 "per MB.") \
220 \
221 product(intx, G1RSetSparseRegionEntries, 0, \
222 "Max number of entries per region in a sparse table." \
223 "Will be set ergonomically by default.") \
224 \
225 develop(bool, G1RecordHRRSOops, false, \
226 "When true, record recent calls to rem set operations.") \
227 \
228 develop(bool, G1RecordHRRSEvents, false, \
229 "When true, record recent calls to rem set operations.") \
230 \
231 develop(intx, G1MaxVerifyFailures, -1, \
232 "The maximum number of verification failrues to print. " \
233 "-1 means print all.") \
234 \
235 develop(bool, G1ScrubRemSets, true, \
236 "When true, do RS scrubbing after cleanup.") \
237 \
238 develop(bool, G1RSScrubVerbose, false, \
239 "When true, do RS scrubbing with verbose output.") \
240 \
241 develop(bool, G1YoungSurvRateVerbose, false, \
242 "print out the survival rate of young regions according to age.") \
243 \
244 develop(intx, G1YoungSurvRateNumRegionsSummary, 0, \
245 "the number of regions for which we'll print a surv rate " \
246 "summary.") \
247 \
248 product(bool, G1UseScanOnlyPrefix, false, \
249 "It determines whether the system will calculate an optimum " \
250 "scan-only set.") \
251 \
252 product(intx, G1MinReservePercent, 10, \
253 "It determines the minimum reserve we should have in the heap " \
254 "to minimize the probability of promotion failure.") \
255 \
256 diagnostic(bool, G1PrintRegions, false, \
257 "If set G1 will print information on which regions are being " \
258 "allocated and which are reclaimed.") \
259 \
260 develop(bool, G1HRRSUseSparseTable, true, \
261 "When true, use sparse table to save space.") \
262 \
263 develop(bool, G1HRRSFlushLogBuffersOnVerify, false, \
264 "Forces flushing of log buffers before verification.") \
265 \
266 product(bool, G1UseSurvivorSpaces, true, \
267 "When true, use survivor space.") \
268 \
269 develop(bool, G1FailOnFPError, false, \
270 "When set, G1 will fail when it encounters an FP 'error', " \
271 "so as to allow debugging") \
272 \
273 develop(bool, G1FixedTenuringThreshold, false, \
274 "When set, G1 will not adjust the tenuring threshold") \
275 \
276 develop(bool, G1FixedEdenSize, false, \
277 "When set, G1 will not allocate unused survivor space regions") \
278 \
279 develop(uintx, G1FixedSurvivorSpaceSize, 0, \
280 "If non-0 is the size of the G1 survivor space, " \
281 "otherwise SurvivorRatio is used to determine the size") \
282 \
283 product(bool, G1ForgetfulMMUTracker, false, \
284 "If the MMU tracker's memory is full, forget the oldest entry") \
285 \
286 product(uintx, G1HeapRegionSize, 0, \
287 "Size of the G1 regions.") \
288 \
289 experimental(bool, G1ParallelRSetUpdatingEnabled, false, \
290 "Enables the parallelization of remembered set updating " \
291 "during evacuation pauses") \
292 \
293 experimental(bool, G1ParallelRSetScanningEnabled, false, \
294 "Enables the parallelization of remembered set scanning " \
295 "during evacuation pauses") \
296 \
297 product(uintx, G1ParallelRSetThreads, 0, \
298 "If non-0 is the number of parallel rem set update threads, " \
299 "otherwise the value is determined ergonomically.") \
300 \
301 develop(intx, G1CardCountCacheExpandThreshold, 16, \
302 "Expand the card count cache if the number of collisions for " \
303 "a particular entry exceeds this value.") \
304 \
305 develop(bool, G1VerifyCTCleanup, false, \
306 "Verify card table cleanup.") \
307 \
308 product(uintx, G1RSetScanBlockSize, 64, \
309 "Size of a work unit of cards claimed by a worker thread" \
310 "during RSet scanning.") \
311 \
312 develop(bool, ReduceInitialCardMarksForG1, false, \
313 "When ReduceInitialCardMarks is true, this flag setting " \
314 " controls whether G1 allows the RICM optimization")
316 G1_FLAGS(DECLARE_DEVELOPER_FLAG, DECLARE_PD_DEVELOPER_FLAG, DECLARE_PRODUCT_FLAG, DECLARE_PD_PRODUCT_FLAG, DECLARE_DIAGNOSTIC_FLAG, DECLARE_EXPERIMENTAL_FLAG, DECLARE_NOTPRODUCT_FLAG, DECLARE_MANAGEABLE_FLAG, DECLARE_PRODUCT_RW_FLAG)