Tue, 30 Sep 2014 09:44:36 +0200
8052172: Evacuation failure handling in G1 does not evacuate all objects if -XX:-G1DeferredRSUpdate is set
Summary: Remove -XX:-G1DeferredRSUpdate functionality as it is racy. During evacuation failure handling, threads where evacuation failure handling occurred may try to add remembered sets to regions which remembered sets are currently being scanned. The iterator to handle the remembered set scan does not support addition of entries during scan and so may skip valid references.
Reviewed-by: iveresov, brutisso, mgerdin
1 /*
2 * Copyright (c) 2001, 2014, 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 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1_GLOBALS_HPP
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_G1_GLOBALS_HPP
28 #include "runtime/globals.hpp"
29 //
30 // Defines all globals flags used by the garbage-first compiler.
31 //
33 #define G1_FLAGS(develop, develop_pd, product, product_pd, diagnostic, experimental, notproduct, manageable, product_rw) \
34 \
35 product(uintx, G1ConfidencePercent, 50, \
36 "Confidence level for MMU/pause predictions") \
37 \
38 develop(intx, G1MarkingOverheadPercent, 0, \
39 "Overhead of concurrent marking") \
40 \
41 develop(intx, G1MarkingVerboseLevel, 0, \
42 "Level (0-4) of verboseness of the marking code") \
43 \
44 develop(bool, G1PrintReachableAtInitialMark, false, \
45 "Reachable object dump at the initial mark pause") \
46 \
47 develop(bool, G1VerifyDuringGCPrintReachable, false, \
48 "If conc mark verification fails, dump reachable objects") \
49 \
50 develop(ccstr, G1PrintReachableBaseFile, NULL, \
51 "The base file name for the reachable object dumps") \
52 \
53 develop(bool, G1TraceMarkStackOverflow, false, \
54 "If true, extra debugging code for CM restart for ovflw.") \
55 \
56 develop(bool, G1TraceHeapRegionRememberedSet, false, \
57 "Enables heap region remembered set debug logs") \
58 \
59 diagnostic(bool, G1SummarizeConcMark, false, \
60 "Summarize concurrent mark info") \
61 \
62 diagnostic(bool, G1SummarizeRSetStats, false, \
63 "Summarize remembered set processing info") \
64 \
65 diagnostic(intx, G1SummarizeRSetStatsPeriod, 0, \
66 "The period (in number of GCs) at which we will generate " \
67 "update buffer processing info " \
68 "(0 means do not periodically generate this info); " \
69 "it also requires -XX:+G1SummarizeRSetStats") \
70 \
71 diagnostic(bool, G1TraceConcRefinement, false, \
72 "Trace G1 concurrent refinement") \
73 \
74 experimental(bool, G1TraceStringSymbolTableScrubbing, false, \
75 "Trace information string and symbol table scrubbing.") \
76 \
77 product(double, G1ConcMarkStepDurationMillis, 10.0, \
78 "Target duration of individual concurrent marking steps " \
79 "in milliseconds.") \
80 \
81 product(intx, G1RefProcDrainInterval, 10, \
82 "The number of discovered reference objects to process before " \
83 "draining concurrent marking work queues.") \
84 \
85 experimental(bool, G1UseConcMarkReferenceProcessing, true, \
86 "If true, enable reference discovery during concurrent " \
87 "marking and reference processing at the end of remark.") \
88 \
89 product(intx, G1SATBBufferSize, 1*K, \
90 "Number of entries in an SATB log buffer.") \
91 \
92 develop(intx, G1SATBProcessCompletedThreshold, 20, \
93 "Number of completed buffers that triggers log processing.") \
94 \
95 product(uintx, G1SATBBufferEnqueueingThresholdPercent, 60, \
96 "Before enqueueing them, each mutator thread tries to do some " \
97 "filtering on the SATB buffers it generates. If post-filtering " \
98 "the percentage of retained entries is over this threshold " \
99 "the buffer will be enqueued for processing. A value of 0 " \
100 "specifies that mutator threads should not do such filtering.") \
101 \
102 develop(bool, G1SATBPrintStubs, false, \
103 "If true, print generated stubs for the SATB barrier") \
104 \
105 experimental(intx, G1ExpandByPercentOfAvailable, 20, \
106 "When expanding, % of uncommitted space to claim.") \
107 \
108 develop(bool, G1RSBarrierRegionFilter, true, \
109 "If true, generate region filtering code in RS barrier") \
110 \
111 develop(bool, G1RSLogCheckCardTable, false, \
112 "If true, verify that no dirty cards remain after RS log " \
113 "processing.") \
114 \
115 diagnostic(bool, G1PrintRegionLivenessInfo, false, \
116 "Prints the liveness information for all regions in the heap " \
117 "at the end of a marking cycle.") \
118 \
119 product(intx, G1UpdateBufferSize, 256, \
120 "Size of an update buffer") \
121 \
122 product(intx, G1ConcRefinementYellowZone, 0, \
123 "Number of enqueued update buffers that will " \
124 "trigger concurrent processing. Will be selected ergonomically " \
125 "by default.") \
126 \
127 product(intx, G1ConcRefinementRedZone, 0, \
128 "Maximum number of enqueued update buffers before mutator " \
129 "threads start processing new ones instead of enqueueing them. " \
130 "Will be selected ergonomically by default. Zero will disable " \
131 "concurrent processing.") \
132 \
133 product(intx, G1ConcRefinementGreenZone, 0, \
134 "The number of update buffers that are left in the queue by the " \
135 "concurrent processing threads. Will be selected ergonomically " \
136 "by default.") \
137 \
138 product(intx, G1ConcRefinementServiceIntervalMillis, 300, \
139 "The last concurrent refinement thread wakes up every " \
140 "specified number of milliseconds to do miscellaneous work.") \
141 \
142 product(intx, G1ConcRefinementThresholdStep, 0, \
143 "Each time the rset update queue increases by this amount " \
144 "activate the next refinement thread if available. " \
145 "Will be selected ergonomically by default.") \
146 \
147 product(intx, G1RSetUpdatingPauseTimePercent, 10, \
148 "A target percentage of time that is allowed to be spend on " \
149 "process RS update buffers during the collection pause.") \
150 \
151 product(bool, G1UseAdaptiveConcRefinement, true, \
152 "Select green, yellow and red zones adaptively to meet the " \
153 "the pause requirements.") \
154 \
155 product(uintx, G1ConcRSLogCacheSize, 10, \
156 "Log base 2 of the length of conc RS hot-card cache.") \
157 \
158 product(uintx, G1ConcRSHotCardLimit, 4, \
159 "The threshold that defines (>=) a hot card.") \
160 \
161 develop(intx, G1RSetRegionEntriesBase, 256, \
162 "Max number of regions in a fine-grain table per MB.") \
163 \
164 product(intx, G1RSetRegionEntries, 0, \
165 "Max number of regions for which we keep bitmaps." \
166 "Will be set ergonomically by default") \
167 \
168 develop(intx, G1RSetSparseRegionEntriesBase, 4, \
169 "Max number of entries per region in a sparse table " \
170 "per MB.") \
171 \
172 product(intx, G1RSetSparseRegionEntries, 0, \
173 "Max number of entries per region in a sparse table." \
174 "Will be set ergonomically by default.") \
175 \
176 develop(bool, G1RecordHRRSOops, false, \
177 "When true, record recent calls to rem set operations.") \
178 \
179 develop(bool, G1RecordHRRSEvents, false, \
180 "When true, record recent calls to rem set operations.") \
181 \
182 develop(intx, G1MaxVerifyFailures, -1, \
183 "The maximum number of verification failrues to print. " \
184 "-1 means print all.") \
185 \
186 develop(bool, G1ScrubRemSets, true, \
187 "When true, do RS scrubbing after cleanup.") \
188 \
189 develop(bool, G1RSScrubVerbose, false, \
190 "When true, do RS scrubbing with verbose output.") \
191 \
192 develop(bool, G1YoungSurvRateVerbose, false, \
193 "print out the survival rate of young regions according to age.") \
194 \
195 develop(intx, G1YoungSurvRateNumRegionsSummary, 0, \
196 "the number of regions for which we'll print a surv rate " \
197 "summary.") \
198 \
199 product(uintx, G1ReservePercent, 10, \
200 "It determines the minimum reserve we should have in the heap " \
201 "to minimize the probability of promotion failure.") \
202 \
203 diagnostic(bool, G1PrintHeapRegions, false, \
204 "If set G1 will print information on which regions are being " \
205 "allocated and which are reclaimed.") \
206 \
207 develop(bool, G1HRRSUseSparseTable, true, \
208 "When true, use sparse table to save space.") \
209 \
210 develop(bool, G1HRRSFlushLogBuffersOnVerify, false, \
211 "Forces flushing of log buffers before verification.") \
212 \
213 develop(bool, G1FailOnFPError, false, \
214 "When set, G1 will fail when it encounters an FP 'error', " \
215 "so as to allow debugging") \
216 \
217 product(uintx, G1HeapRegionSize, 0, \
218 "Size of the G1 regions.") \
219 \
220 experimental(bool, G1UseParallelRSetUpdating, true, \
221 "Enables the parallelization of remembered set updating " \
222 "during evacuation pauses") \
223 \
224 experimental(bool, G1UseParallelRSetScanning, true, \
225 "Enables the parallelization of remembered set scanning " \
226 "during evacuation pauses") \
227 \
228 product(uintx, G1ConcRefinementThreads, 0, \
229 "If non-0 is the number of parallel rem set update threads, " \
230 "otherwise the value is determined ergonomically.") \
231 \
232 develop(bool, G1VerifyCTCleanup, false, \
233 "Verify card table cleanup.") \
234 \
235 product(uintx, G1RSetScanBlockSize, 64, \
236 "Size of a work unit of cards claimed by a worker thread" \
237 "during RSet scanning.") \
238 \
239 develop(uintx, G1SecondaryFreeListAppendLength, 5, \
240 "The number of regions we will add to the secondary free list " \
241 "at every append operation") \
242 \
243 develop(bool, G1ConcRegionFreeingVerbose, false, \
244 "Enables verboseness during concurrent region freeing") \
245 \
246 develop(bool, G1StressConcRegionFreeing, false, \
247 "It stresses the concurrent region freeing operation") \
248 \
249 develop(uintx, G1StressConcRegionFreeingDelayMillis, 0, \
250 "Artificial delay during concurrent region freeing") \
251 \
252 develop(uintx, G1DummyRegionsPerGC, 0, \
253 "The number of dummy regions G1 will allocate at the end of " \
254 "each evacuation pause in order to artificially fill up the " \
255 "heap and stress the marking implementation.") \
256 \
257 develop(bool, G1ExitOnExpansionFailure, false, \
258 "Raise a fatal VM exit out of memory failure in the event " \
259 " that heap expansion fails due to running out of swap.") \
260 \
261 develop(uintx, G1ConcMarkForceOverflow, 0, \
262 "The number of times we'll force an overflow during " \
263 "concurrent marking") \
264 \
265 experimental(uintx, G1NewSizePercent, 5, \
266 "Percentage (0-100) of the heap size to use as default " \
267 "minimum young gen size.") \
268 \
269 experimental(uintx, G1MaxNewSizePercent, 60, \
270 "Percentage (0-100) of the heap size to use as default " \
271 " maximum young gen size.") \
272 \
273 experimental(uintx, G1MixedGCLiveThresholdPercent, 65, \
274 "Threshold for regions to be considered for inclusion in the " \
275 "collection set of mixed GCs. " \
276 "Regions with live bytes exceeding this will not be collected.") \
277 \
278 product(uintx, G1HeapWastePercent, 10, \
279 "Amount of space, expressed as a percentage of the heap size, " \
280 "that G1 is willing not to collect to avoid expensive GCs.") \
281 \
282 product(uintx, G1MixedGCCountTarget, 8, \
283 "The target number of mixed GCs after a marking cycle.") \
284 \
285 experimental(bool, G1ReclaimDeadHumongousObjectsAtYoungGC, true, \
286 "Try to reclaim dead large objects at every young GC.") \
287 \
288 experimental(bool, G1TraceReclaimDeadHumongousObjectsAtYoungGC, false, \
289 "Print some information about large object liveness " \
290 "at every young GC.") \
291 \
292 experimental(uintx, G1OldCSetRegionThresholdPercent, 10, \
293 "An upper bound for the number of old CSet regions expressed " \
294 "as a percentage of the heap size.") \
295 \
296 experimental(ccstr, G1LogLevel, NULL, \
297 "Log level for G1 logging: fine, finer, finest") \
298 \
299 notproduct(bool, G1EvacuationFailureALot, false, \
300 "Force use of evacuation failure handling during certain " \
301 "evacuation pauses") \
302 \
303 develop(uintx, G1EvacuationFailureALotCount, 1000, \
304 "Number of successful evacuations between evacuation failures " \
305 "occurring at object copying") \
306 \
307 develop(uintx, G1EvacuationFailureALotInterval, 5, \
308 "Total collections between forced triggering of evacuation " \
309 "failures") \
310 \
311 develop(bool, G1EvacuationFailureALotDuringConcMark, true, \
312 "Force use of evacuation failure handling during evacuation " \
313 "pauses when marking is in progress") \
314 \
315 develop(bool, G1EvacuationFailureALotDuringInitialMark, true, \
316 "Force use of evacuation failure handling during initial mark " \
317 "evacuation pauses") \
318 \
319 develop(bool, G1EvacuationFailureALotDuringYoungGC, true, \
320 "Force use of evacuation failure handling during young " \
321 "evacuation pauses") \
322 \
323 develop(bool, G1EvacuationFailureALotDuringMixedGC, true, \
324 "Force use of evacuation failure handling during mixed " \
325 "evacuation pauses") \
326 \
327 diagnostic(bool, G1VerifyRSetsDuringFullGC, false, \
328 "If true, perform verification of each heap region's " \
329 "remembered set when verifying the heap during a full GC.") \
330 \
331 diagnostic(bool, G1VerifyHeapRegionCodeRoots, false, \
332 "Verify the code root lists attached to each heap region.") \
333 \
334 develop(bool, G1VerifyBitmaps, false, \
335 "Verifies the consistency of the marking bitmaps")
337 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)
339 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1_GLOBALS_HPP