Tue, 01 Mar 2011 14:56:48 -0800
6627983: G1: Bad oop deference during marking
Summary: Bulk zeroing reduction didn't work with G1, because arraycopy would call pre-barriers on uninitialized oops. The solution is to have version of arraycopy stubs that don't have pre-barriers. Also refactored arraycopy stubs generation on SPARC to be more readable and reduced the number of stubs necessary in some cases.
Reviewed-by: jrose, kvn, never
1 /*
2 * Copyright (c) 2001, 2011, 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"
30 //
31 // Defines all globals flags used by the garbage-first compiler.
32 //
34 #define G1_FLAGS(develop, develop_pd, product, product_pd, diagnostic, experimental, notproduct, manageable, product_rw) \
35 \
36 product(intx, G1ConfidencePercent, 50, \
37 "Confidence level for MMU/pause predictions") \
38 \
39 develop(intx, G1MarkingOverheadPercent, 0, \
40 "Overhead of concurrent marking") \
41 \
42 develop(bool, G1Gen, true, \
43 "If true, it will enable the generational G1") \
44 \
45 develop(intx, G1PolicyVerbose, 0, \
46 "The verbosity level on G1 policy decisions") \
47 \
48 develop(intx, G1MarkingVerboseLevel, 0, \
49 "Level (0-4) of verboseness of the marking code") \
50 \
51 develop(bool, G1PrintReachableAtInitialMark, false, \
52 "Reachable object dump at the initial mark pause") \
53 \
54 develop(bool, G1VerifyDuringGCPrintReachable, false, \
55 "If conc mark verification fails, dump reachable objects") \
56 \
57 develop(ccstr, G1PrintReachableBaseFile, NULL, \
58 "The base file name for the reachable object dumps") \
59 \
60 develop(bool, G1TraceMarkStackOverflow, false, \
61 "If true, extra debugging code for CM restart for ovflw.") \
62 \
63 develop(intx, G1PausesBtwnConcMark, -1, \
64 "If positive, fixed number of pauses between conc markings") \
65 \
66 diagnostic(bool, G1SummarizeConcMark, false, \
67 "Summarize concurrent mark info") \
68 \
69 diagnostic(bool, G1SummarizeRSetStats, false, \
70 "Summarize remembered set processing info") \
71 \
72 diagnostic(intx, G1SummarizeRSetStatsPeriod, 0, \
73 "The period (in number of GCs) at which we will generate " \
74 "update buffer processing info " \
75 "(0 means do not periodically generate this info); " \
76 "it also requires -XX:+G1SummarizeRSetStats") \
77 \
78 diagnostic(bool, G1TraceConcRefinement, false, \
79 "Trace G1 concurrent refinement") \
80 \
81 product(intx, G1MarkRegionStackSize, 1024 * 1024, \
82 "Size of the region stack for concurrent marking.") \
83 \
84 product(double, G1ConcMarkStepDurationMillis, 10.0, \
85 "Target duration of individual concurrent marking steps " \
86 "in milliseconds.") \
87 \
88 product(intx, G1RefProcDrainInterval, 10, \
89 "The number of discovered reference objects to process before " \
90 "draining concurrent marking work queues.") \
91 \
92 develop(bool, G1SATBBarrierPrintNullPreVals, false, \
93 "If true, count frac of ptr writes with null pre-vals.") \
94 \
95 product(intx, G1SATBBufferSize, 1*K, \
96 "Number of entries in an SATB log buffer.") \
97 \
98 develop(intx, G1SATBProcessCompletedThreshold, 20, \
99 "Number of completed buffers that triggers log processing.") \
100 \
101 product(uintx, G1SATBBufferEnqueueingThresholdPercent, 60, \
102 "Before enqueueing them, each mutator thread tries to do some " \
103 "filtering on the SATB buffers it generates. If post-filtering " \
104 "the percentage of retained entries is over this threshold " \
105 "the buffer will be enqueued for processing. A value of 0 " \
106 "specifies that mutator threads should not do such filtering.") \
107 \
108 develop(intx, G1ExtraRegionSurvRate, 33, \
109 "If the young survival rate is S, and there's room left in " \
110 "to-space, we will allow regions whose survival rate is up to " \
111 "S + (1 - S)*X, where X is this parameter (as a fraction.)") \
112 \
113 develop(intx, G1InitYoungSurvRatio, 50, \
114 "Expected Survival Rate for newly allocated bytes") \
115 \
116 develop(bool, G1SATBPrintStubs, false, \
117 "If true, print generated stubs for the SATB barrier") \
118 \
119 experimental(intx, G1ExpandByPercentOfAvailable, 20, \
120 "When expanding, % of uncommitted space to claim.") \
121 \
122 develop(bool, G1RSBarrierRegionFilter, true, \
123 "If true, generate region filtering code in RS barrier") \
124 \
125 develop(bool, G1RSBarrierNullFilter, true, \
126 "If true, generate null-pointer filtering code in RS barrier") \
127 \
128 develop(bool, G1PrintCTFilterStats, false, \
129 "If true, print stats on RS filtering effectiveness") \
130 \
131 develop(bool, G1DeferredRSUpdate, true, \
132 "If true, use deferred RS updates") \
133 \
134 develop(bool, G1RSLogCheckCardTable, false, \
135 "If true, verify that no dirty cards remain after RS log " \
136 "processing.") \
137 \
138 develop(bool, G1RSCountHisto, false, \
139 "If true, print a histogram of RS occupancies after each pause") \
140 \
141 develop(intx, G1PrintRegionLivenessInfo, 0, \
142 "When > 0, print the occupancies of the <n> best and worst" \
143 "regions.") \
144 \
145 develop(bool, G1PrintParCleanupStats, false, \
146 "When true, print extra stats about parallel cleanup.") \
147 \
148 develop(bool, G1DisablePreBarrier, false, \
149 "Disable generation of pre-barrier (i.e., marking barrier) ") \
150 \
151 develop(bool, G1DisablePostBarrier, false, \
152 "Disable generation of post-barrier (i.e., RS barrier) ") \
153 \
154 product(intx, G1UpdateBufferSize, 256, \
155 "Size of an update buffer") \
156 \
157 product(intx, G1ConcRefinementYellowZone, 0, \
158 "Number of enqueued update buffers that will " \
159 "trigger concurrent processing. Will be selected ergonomically " \
160 "by default.") \
161 \
162 product(intx, G1ConcRefinementRedZone, 0, \
163 "Maximum number of enqueued update buffers before mutator " \
164 "threads start processing new ones instead of enqueueing them. " \
165 "Will be selected ergonomically by default. Zero will disable " \
166 "concurrent processing.") \
167 \
168 product(intx, G1ConcRefinementGreenZone, 0, \
169 "The number of update buffers that are left in the queue by the " \
170 "concurrent processing threads. Will be selected ergonomically " \
171 "by default.") \
172 \
173 product(intx, G1ConcRefinementServiceIntervalMillis, 300, \
174 "The last concurrent refinement thread wakes up every " \
175 "specified number of milliseconds to do miscellaneous work.") \
176 \
177 product(intx, G1ConcRefinementThresholdStep, 0, \
178 "Each time the rset update queue increases by this amount " \
179 "activate the next refinement thread if available. " \
180 "Will be selected ergonomically by default.") \
181 \
182 product(intx, G1RSetUpdatingPauseTimePercent, 10, \
183 "A target percentage of time that is allowed to be spend on " \
184 "process RS update buffers during the collection pause.") \
185 \
186 product(bool, G1UseAdaptiveConcRefinement, true, \
187 "Select green, yellow and red zones adaptively to meet the " \
188 "the pause requirements.") \
189 \
190 develop(intx, G1ConcRSLogCacheSize, 10, \
191 "Log base 2 of the length of conc RS hot-card cache.") \
192 \
193 develop(intx, G1ConcRSHotCardLimit, 4, \
194 "The threshold that defines (>=) a hot card.") \
195 \
196 develop(bool, G1PrintOopAppls, false, \
197 "When true, print applications of closures to external locs.") \
198 \
199 develop(intx, G1RSetRegionEntriesBase, 256, \
200 "Max number of regions in a fine-grain table per MB.") \
201 \
202 product(intx, G1RSetRegionEntries, 0, \
203 "Max number of regions for which we keep bitmaps." \
204 "Will be set ergonomically by default") \
205 \
206 develop(intx, G1RSetSparseRegionEntriesBase, 4, \
207 "Max number of entries per region in a sparse table " \
208 "per MB.") \
209 \
210 product(intx, G1RSetSparseRegionEntries, 0, \
211 "Max number of entries per region in a sparse table." \
212 "Will be set ergonomically by default.") \
213 \
214 develop(bool, G1RecordHRRSOops, false, \
215 "When true, record recent calls to rem set operations.") \
216 \
217 develop(bool, G1RecordHRRSEvents, false, \
218 "When true, record recent calls to rem set operations.") \
219 \
220 develop(intx, G1MaxVerifyFailures, -1, \
221 "The maximum number of verification failrues to print. " \
222 "-1 means print all.") \
223 \
224 develop(bool, G1ScrubRemSets, true, \
225 "When true, do RS scrubbing after cleanup.") \
226 \
227 develop(bool, G1RSScrubVerbose, false, \
228 "When true, do RS scrubbing with verbose output.") \
229 \
230 develop(bool, G1YoungSurvRateVerbose, false, \
231 "print out the survival rate of young regions according to age.") \
232 \
233 develop(intx, G1YoungSurvRateNumRegionsSummary, 0, \
234 "the number of regions for which we'll print a surv rate " \
235 "summary.") \
236 \
237 product(intx, G1ReservePercent, 10, \
238 "It determines the minimum reserve we should have in the heap " \
239 "to minimize the probability of promotion failure.") \
240 \
241 diagnostic(bool, G1PrintHeapRegions, false, \
242 "If set G1 will print information on which regions are being " \
243 "allocated and which are reclaimed.") \
244 \
245 develop(bool, G1HRRSUseSparseTable, true, \
246 "When true, use sparse table to save space.") \
247 \
248 develop(bool, G1HRRSFlushLogBuffersOnVerify, false, \
249 "Forces flushing of log buffers before verification.") \
250 \
251 develop(bool, G1FailOnFPError, false, \
252 "When set, G1 will fail when it encounters an FP 'error', " \
253 "so as to allow debugging") \
254 \
255 develop(bool, G1FixedTenuringThreshold, false, \
256 "When set, G1 will not adjust the tenuring threshold") \
257 \
258 develop(bool, G1FixedEdenSize, false, \
259 "When set, G1 will not allocate unused survivor space regions") \
260 \
261 develop(uintx, G1FixedSurvivorSpaceSize, 0, \
262 "If non-0 is the size of the G1 survivor space, " \
263 "otherwise SurvivorRatio is used to determine the size") \
264 \
265 product(uintx, G1HeapRegionSize, 0, \
266 "Size of the G1 regions.") \
267 \
268 experimental(bool, G1UseParallelRSetUpdating, true, \
269 "Enables the parallelization of remembered set updating " \
270 "during evacuation pauses") \
271 \
272 experimental(bool, G1UseParallelRSetScanning, true, \
273 "Enables the parallelization of remembered set scanning " \
274 "during evacuation pauses") \
275 \
276 product(uintx, G1ConcRefinementThreads, 0, \
277 "If non-0 is the number of parallel rem set update threads, " \
278 "otherwise the value is determined ergonomically.") \
279 \
280 develop(intx, G1CardCountCacheExpandThreshold, 16, \
281 "Expand the card count cache if the number of collisions for " \
282 "a particular entry exceeds this value.") \
283 \
284 develop(bool, G1VerifyCTCleanup, false, \
285 "Verify card table cleanup.") \
286 \
287 product(uintx, G1RSetScanBlockSize, 64, \
288 "Size of a work unit of cards claimed by a worker thread" \
289 "during RSet scanning.") \
290 \
291 develop(uintx, G1SecondaryFreeListAppendLength, 5, \
292 "The number of regions we will add to the secondary free list " \
293 "at every append operation") \
294 \
295 develop(bool, G1ConcRegionFreeingVerbose, false, \
296 "Enables verboseness during concurrent region freeing") \
297 \
298 develop(bool, G1StressConcRegionFreeing, false, \
299 "It stresses the concurrent region freeing operation") \
300 \
301 develop(uintx, G1StressConcRegionFreeingDelayMillis, 0, \
302 "Artificial delay during concurrent region freeing") \
303 \
304 develop(bool, ReduceInitialCardMarksForG1, false, \
305 "When ReduceInitialCardMarks is true, this flag setting " \
306 " controls whether G1 allows the RICM optimization") \
307 \
308 develop(bool, G1ExitOnExpansionFailure, false, \
309 "Raise a fatal VM exit out of memory failure in the event " \
310 " that heap expansion fails due to running out of swap.")
312 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)
314 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1_GLOBALS_HPP