Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/g1CollectedHeap.hpp @ 1705:2d160770d2e5
6814437: G1: remove the _new_refs array
Summary: The per-worker _new_refs array is used to hold references that point into the collection set. It is populated during RSet updating and subsequently processed. In the event of an evacuation failure it processed again to recreate the RSets of regions in the collection set. Remove the per-worker _new_refs array by processing the references directly. Use a DirtyCardQueue to hold the cards containing the references so that the RSets of regions in the collection set can be recreated when handling an evacuation failure.
Reviewed-by: iveresov, jmasa, tonyp
author | johnc |
---|---|
date | Mon, 02 Aug 2010 12:51:43 -0700 |
parents | 4e5661ba9d98 |
children | 5f429ee79634 |
rev | line source |
---|---|
342 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
2 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved. |
342 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
25 // A "G1CollectedHeap" is an implementation of a java heap for HotSpot. | |
26 // It uses the "Garbage First" heap organization and algorithm, which | |
27 // may combine concurrent marking with parallel, incremental compaction of | |
28 // heap subsets that will yield large amounts of garbage. | |
29 | |
30 class HeapRegion; | |
31 class HeapRegionSeq; | |
32 class PermanentGenerationSpec; | |
33 class GenerationSpec; | |
34 class OopsInHeapRegionClosure; | |
35 class G1ScanHeapEvacClosure; | |
36 class ObjectClosure; | |
37 class SpaceClosure; | |
38 class CompactibleSpaceClosure; | |
39 class Space; | |
40 class G1CollectorPolicy; | |
41 class GenRemSet; | |
42 class G1RemSet; | |
43 class HeapRegionRemSetIterator; | |
44 class ConcurrentMark; | |
45 class ConcurrentMarkThread; | |
46 class ConcurrentG1Refine; | |
47 class ConcurrentZFThread; | |
48 | |
49 // If want to accumulate detailed statistics on work queues | |
50 // turn this on. | |
51 #define G1_DETAILED_STATS 0 | |
52 | |
53 #if G1_DETAILED_STATS | |
54 # define IF_G1_DETAILED_STATS(code) code | |
55 #else | |
56 # define IF_G1_DETAILED_STATS(code) | |
57 #endif | |
58 | |
1311
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1261
diff
changeset
|
59 typedef GenericTaskQueue<StarTask> RefToScanQueue; |
2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents:
1261
diff
changeset
|
60 typedef GenericTaskQueueSet<RefToScanQueue> RefToScanQueueSet; |
342 | 61 |
807
d44bdab1c03d
6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55
johnc
parents:
796
diff
changeset
|
62 typedef int RegionIdx_t; // needs to hold [ 0..max_regions() ) |
d44bdab1c03d
6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55
johnc
parents:
796
diff
changeset
|
63 typedef int CardIdx_t; // needs to hold [ 0..CardsPerRegion ) |
d44bdab1c03d
6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55
johnc
parents:
796
diff
changeset
|
64 |
342 | 65 enum G1GCThreadGroups { |
66 G1CRGroup = 0, | |
67 G1ZFGroup = 1, | |
68 G1CMGroup = 2, | |
69 G1CLGroup = 3 | |
70 }; | |
71 | |
72 enum GCAllocPurpose { | |
73 GCAllocForTenured, | |
74 GCAllocForSurvived, | |
75 GCAllocPurposeCount | |
76 }; | |
77 | |
78 class YoungList : public CHeapObj { | |
79 private: | |
80 G1CollectedHeap* _g1h; | |
81 | |
82 HeapRegion* _head; | |
83 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
84 HeapRegion* _survivor_head; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
85 HeapRegion* _survivor_tail; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
86 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
87 HeapRegion* _curr; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
88 |
342 | 89 size_t _length; |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
90 size_t _survivor_length; |
342 | 91 |
92 size_t _last_sampled_rs_lengths; | |
93 size_t _sampled_rs_lengths; | |
94 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
95 void empty_list(HeapRegion* list); |
342 | 96 |
97 public: | |
98 YoungList(G1CollectedHeap* g1h); | |
99 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
100 void push_region(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
101 void add_survivor_region(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
102 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
103 void empty_list(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
104 bool is_empty() { return _length == 0; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
105 size_t length() { return _length; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
106 size_t survivor_length() { return _survivor_length; } |
342 | 107 |
108 void rs_length_sampling_init(); | |
109 bool rs_length_sampling_more(); | |
110 void rs_length_sampling_next(); | |
111 | |
112 void reset_sampled_info() { | |
113 _last_sampled_rs_lengths = 0; | |
114 } | |
115 size_t sampled_rs_lengths() { return _last_sampled_rs_lengths; } | |
116 | |
117 // for development purposes | |
118 void reset_auxilary_lists(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
119 void clear() { _head = NULL; _length = 0; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
120 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
121 void clear_survivors() { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
122 _survivor_head = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
123 _survivor_tail = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
124 _survivor_length = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
125 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
126 |
342 | 127 HeapRegion* first_region() { return _head; } |
128 HeapRegion* first_survivor_region() { return _survivor_head; } | |
545 | 129 HeapRegion* last_survivor_region() { return _survivor_tail; } |
342 | 130 |
131 // debugging | |
132 bool check_list_well_formed(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
133 bool check_list_empty(bool check_sample = true); |
342 | 134 void print(); |
135 }; | |
136 | |
137 class RefineCardTableEntryClosure; | |
138 class G1CollectedHeap : public SharedHeap { | |
139 friend class VM_G1CollectForAllocation; | |
140 friend class VM_GenCollectForPermanentAllocation; | |
141 friend class VM_G1CollectFull; | |
142 friend class VM_G1IncCollectionPause; | |
143 friend class VMStructs; | |
144 | |
145 // Closures used in implementation. | |
146 friend class G1ParCopyHelper; | |
147 friend class G1IsAliveClosure; | |
148 friend class G1EvacuateFollowersClosure; | |
149 friend class G1ParScanThreadState; | |
150 friend class G1ParScanClosureSuper; | |
151 friend class G1ParEvacuateFollowersClosure; | |
152 friend class G1ParTask; | |
153 friend class G1FreeGarbageRegionClosure; | |
154 friend class RefineCardTableEntryClosure; | |
155 friend class G1PrepareCompactClosure; | |
156 friend class RegionSorter; | |
157 friend class CountRCClosure; | |
158 friend class EvacPopObjClosure; | |
796
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
159 friend class G1ParCleanupCTTask; |
342 | 160 |
161 // Other related classes. | |
162 friend class G1MarkSweep; | |
163 | |
164 private: | |
165 // The one and only G1CollectedHeap, so static functions can find it. | |
166 static G1CollectedHeap* _g1h; | |
167 | |
942
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
941
diff
changeset
|
168 static size_t _humongous_object_threshold_in_words; |
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
941
diff
changeset
|
169 |
342 | 170 // Storage for the G1 heap (excludes the permanent generation). |
171 VirtualSpace _g1_storage; | |
172 MemRegion _g1_reserved; | |
173 | |
174 // The part of _g1_storage that is currently committed. | |
175 MemRegion _g1_committed; | |
176 | |
177 // The maximum part of _g1_storage that has ever been committed. | |
178 MemRegion _g1_max_committed; | |
179 | |
180 // The number of regions that are completely free. | |
181 size_t _free_regions; | |
182 | |
183 // The number of regions we could create by expansion. | |
184 size_t _expansion_regions; | |
185 | |
186 // Return the number of free regions in the heap (by direct counting.) | |
187 size_t count_free_regions(); | |
188 // Return the number of free regions on the free and unclean lists. | |
189 size_t count_free_regions_list(); | |
190 | |
191 // The block offset table for the G1 heap. | |
192 G1BlockOffsetSharedArray* _bot_shared; | |
193 | |
194 // Move all of the regions off the free lists, then rebuild those free | |
195 // lists, before and after full GC. | |
196 void tear_down_region_lists(); | |
197 void rebuild_region_lists(); | |
198 // This sets all non-empty regions to need zero-fill (which they will if | |
199 // they are empty after full collection.) | |
200 void set_used_regions_to_need_zero_fill(); | |
201 | |
202 // The sequence of all heap regions in the heap. | |
203 HeapRegionSeq* _hrs; | |
204 | |
205 // The region from which normal-sized objects are currently being | |
206 // allocated. May be NULL. | |
207 HeapRegion* _cur_alloc_region; | |
208 | |
209 // Postcondition: cur_alloc_region == NULL. | |
210 void abandon_cur_alloc_region(); | |
636 | 211 void abandon_gc_alloc_regions(); |
342 | 212 |
213 // The to-space memory regions into which objects are being copied during | |
214 // a GC. | |
215 HeapRegion* _gc_alloc_regions[GCAllocPurposeCount]; | |
545 | 216 size_t _gc_alloc_region_counts[GCAllocPurposeCount]; |
636 | 217 // These are the regions, one per GCAllocPurpose, that are half-full |
218 // at the end of a collection and that we want to reuse during the | |
219 // next collection. | |
220 HeapRegion* _retained_gc_alloc_regions[GCAllocPurposeCount]; | |
221 // This specifies whether we will keep the last half-full region at | |
222 // the end of a collection so that it can be reused during the next | |
223 // collection (this is specified per GCAllocPurpose) | |
224 bool _retain_gc_alloc_region[GCAllocPurposeCount]; | |
342 | 225 |
226 // A list of the regions that have been set to be alloc regions in the | |
227 // current collection. | |
228 HeapRegion* _gc_alloc_region_list; | |
229 | |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
230 // Determines PLAB size for a particular allocation purpose. |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
231 static size_t desired_plab_sz(GCAllocPurpose purpose); |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
232 |
342 | 233 // When called by par thread, require par_alloc_during_gc_lock() to be held. |
234 void push_gc_alloc_region(HeapRegion* hr); | |
235 | |
236 // This should only be called single-threaded. Undeclares all GC alloc | |
237 // regions. | |
238 void forget_alloc_region_list(); | |
239 | |
240 // Should be used to set an alloc region, because there's other | |
241 // associated bookkeeping. | |
242 void set_gc_alloc_region(int purpose, HeapRegion* r); | |
243 | |
244 // Check well-formedness of alloc region list. | |
245 bool check_gc_alloc_regions(); | |
246 | |
247 // Outside of GC pauses, the number of bytes used in all regions other | |
248 // than the current allocation region. | |
249 size_t _summary_bytes_used; | |
250 | |
526 | 251 // This is used for a quick test on whether a reference points into |
252 // the collection set or not. Basically, we have an array, with one | |
253 // byte per region, and that byte denotes whether the corresponding | |
254 // region is in the collection set or not. The entry corresponding | |
255 // the bottom of the heap, i.e., region 0, is pointed to by | |
256 // _in_cset_fast_test_base. The _in_cset_fast_test field has been | |
257 // biased so that it actually points to address 0 of the address | |
258 // space, to make the test as fast as possible (we can simply shift | |
259 // the address to address into it, instead of having to subtract the | |
260 // bottom of the heap from the address before shifting it; basically | |
261 // it works in the same way the card table works). | |
262 bool* _in_cset_fast_test; | |
263 | |
264 // The allocated array used for the fast test on whether a reference | |
265 // points into the collection set or not. This field is also used to | |
266 // free the array. | |
267 bool* _in_cset_fast_test_base; | |
268 | |
269 // The length of the _in_cset_fast_test_base array. | |
270 size_t _in_cset_fast_test_length; | |
271 | |
353
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
272 volatile unsigned _gc_time_stamp; |
342 | 273 |
274 size_t* _surviving_young_words; | |
275 | |
276 void setup_surviving_young_words(); | |
277 void update_surviving_young_words(size_t* surv_young_words); | |
278 void cleanup_surviving_young_words(); | |
279 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
280 // It decides whether an explicit GC should start a concurrent cycle |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
281 // instead of doing a STW GC. Currently, a concurrent cycle is |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
282 // explicitly started if: |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
283 // (a) cause == _gc_locker and +GCLockerInvokesConcurrent, or |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
284 // (b) cause == _java_lang_system_gc and +ExplicitGCInvokesConcurrent. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
285 bool should_do_concurrent_full_gc(GCCause::Cause cause); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
286 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
287 // Keeps track of how many "full collections" (i.e., Full GCs or |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
288 // concurrent cycles) we have completed. The number of them we have |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
289 // started is maintained in _total_full_collections in CollectedHeap. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
290 volatile unsigned int _full_collections_completed; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
291 |
342 | 292 protected: |
293 | |
294 // Returns "true" iff none of the gc alloc regions have any allocations | |
295 // since the last call to "save_marks". | |
296 bool all_alloc_regions_no_allocs_since_save_marks(); | |
545 | 297 // Perform finalization stuff on all allocation regions. |
298 void retire_all_alloc_regions(); | |
342 | 299 |
300 // The number of regions allocated to hold humongous objects. | |
301 int _num_humongous_regions; | |
302 YoungList* _young_list; | |
303 | |
304 // The current policy object for the collector. | |
305 G1CollectorPolicy* _g1_policy; | |
306 | |
307 // Parallel allocation lock to protect the current allocation region. | |
308 Mutex _par_alloc_during_gc_lock; | |
309 Mutex* par_alloc_during_gc_lock() { return &_par_alloc_during_gc_lock; } | |
310 | |
311 // If possible/desirable, allocate a new HeapRegion for normal object | |
312 // allocation sufficient for an allocation of the given "word_size". | |
313 // If "do_expand" is true, will attempt to expand the heap if necessary | |
314 // to to satisfy the request. If "zero_filled" is true, requires a | |
315 // zero-filled region. | |
316 // (Returning NULL will trigger a GC.) | |
317 virtual HeapRegion* newAllocRegion_work(size_t word_size, | |
318 bool do_expand, | |
319 bool zero_filled); | |
320 | |
321 virtual HeapRegion* newAllocRegion(size_t word_size, | |
322 bool zero_filled = true) { | |
323 return newAllocRegion_work(word_size, false, zero_filled); | |
324 } | |
325 virtual HeapRegion* newAllocRegionWithExpansion(int purpose, | |
326 size_t word_size, | |
327 bool zero_filled = true); | |
328 | |
329 // Attempt to allocate an object of the given (very large) "word_size". | |
330 // Returns "NULL" on failure. | |
331 virtual HeapWord* humongousObjAllocate(size_t word_size); | |
332 | |
333 // If possible, allocate a block of the given word_size, else return "NULL". | |
334 // Returning NULL will trigger GC or heap expansion. | |
335 // These two methods have rather awkward pre- and | |
336 // post-conditions. If they are called outside a safepoint, then | |
337 // they assume that the caller is holding the heap lock. Upon return | |
338 // they release the heap lock, if they are returning a non-NULL | |
339 // value. attempt_allocation_slow() also dirties the cards of a | |
340 // newly-allocated young region after it releases the heap | |
341 // lock. This change in interface was the neatest way to achieve | |
342 // this card dirtying without affecting mem_allocate(), which is a | |
343 // more frequently called method. We tried two or three different | |
344 // approaches, but they were even more hacky. | |
345 HeapWord* attempt_allocation(size_t word_size, | |
346 bool permit_collection_pause = true); | |
347 | |
348 HeapWord* attempt_allocation_slow(size_t word_size, | |
349 bool permit_collection_pause = true); | |
350 | |
351 // Allocate blocks during garbage collection. Will ensure an | |
352 // allocation region, either by picking one or expanding the | |
353 // heap, and then allocate a block of the given size. The block | |
354 // may not be a humongous - it must fit into a single heap region. | |
355 HeapWord* allocate_during_gc(GCAllocPurpose purpose, size_t word_size); | |
356 HeapWord* par_allocate_during_gc(GCAllocPurpose purpose, size_t word_size); | |
357 | |
358 HeapWord* allocate_during_gc_slow(GCAllocPurpose purpose, | |
359 HeapRegion* alloc_region, | |
360 bool par, | |
361 size_t word_size); | |
362 | |
363 // Ensure that no further allocations can happen in "r", bearing in mind | |
364 // that parallel threads might be attempting allocations. | |
365 void par_allocate_remaining_space(HeapRegion* r); | |
366 | |
545 | 367 // Retires an allocation region when it is full or at the end of a |
368 // GC pause. | |
369 void retire_alloc_region(HeapRegion* alloc_region, bool par); | |
370 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
371 // - if explicit_gc is true, the GC is for a System.gc() or a heap |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
372 // inspection request and should collect the entire heap |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
373 // - if clear_all_soft_refs is true, all soft references are cleared |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
374 // during the GC |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
375 // - if explicit_gc is false, word_size describes the allocation that |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
376 // the GC should attempt (at least) to satisfy |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
377 void do_collection(bool explicit_gc, |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
378 bool clear_all_soft_refs, |
342 | 379 size_t word_size); |
380 | |
381 // Callback from VM_G1CollectFull operation. | |
382 // Perform a full collection. | |
383 void do_full_collection(bool clear_all_soft_refs); | |
384 | |
385 // Resize the heap if necessary after a full collection. If this is | |
386 // after a collect-for allocation, "word_size" is the allocation size, | |
387 // and will be considered part of the used portion of the heap. | |
388 void resize_if_necessary_after_full_collection(size_t word_size); | |
389 | |
390 // Callback from VM_G1CollectForAllocation operation. | |
391 // This function does everything necessary/possible to satisfy a | |
392 // failed allocation request (including collection, expansion, etc.) | |
393 HeapWord* satisfy_failed_allocation(size_t word_size); | |
394 | |
395 // Attempting to expand the heap sufficiently | |
396 // to support an allocation of the given "word_size". If | |
397 // successful, perform the allocation and return the address of the | |
398 // allocated block, or else "NULL". | |
399 virtual HeapWord* expand_and_allocate(size_t word_size); | |
400 | |
401 public: | |
402 // Expand the garbage-first heap by at least the given size (in bytes!). | |
403 // (Rounds up to a HeapRegion boundary.) | |
404 virtual void expand(size_t expand_bytes); | |
405 | |
406 // Do anything common to GC's. | |
407 virtual void gc_prologue(bool full); | |
408 virtual void gc_epilogue(bool full); | |
409 | |
526 | 410 // We register a region with the fast "in collection set" test. We |
411 // simply set to true the array slot corresponding to this region. | |
412 void register_region_with_in_cset_fast_test(HeapRegion* r) { | |
413 assert(_in_cset_fast_test_base != NULL, "sanity"); | |
414 assert(r->in_collection_set(), "invariant"); | |
415 int index = r->hrs_index(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
416 assert(0 <= index && (size_t) index < _in_cset_fast_test_length, "invariant"); |
526 | 417 assert(!_in_cset_fast_test_base[index], "invariant"); |
418 _in_cset_fast_test_base[index] = true; | |
419 } | |
420 | |
421 // This is a fast test on whether a reference points into the | |
422 // collection set or not. It does not assume that the reference | |
423 // points into the heap; if it doesn't, it will return false. | |
424 bool in_cset_fast_test(oop obj) { | |
425 assert(_in_cset_fast_test != NULL, "sanity"); | |
426 if (_g1_committed.contains((HeapWord*) obj)) { | |
427 // no need to subtract the bottom of the heap from obj, | |
428 // _in_cset_fast_test is biased | |
429 size_t index = ((size_t) obj) >> HeapRegion::LogOfHRGrainBytes; | |
430 bool ret = _in_cset_fast_test[index]; | |
431 // let's make sure the result is consistent with what the slower | |
432 // test returns | |
433 assert( ret || !obj_in_cs(obj), "sanity"); | |
434 assert(!ret || obj_in_cs(obj), "sanity"); | |
435 return ret; | |
436 } else { | |
437 return false; | |
438 } | |
439 } | |
440 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
441 void clear_cset_fast_test() { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
442 assert(_in_cset_fast_test_base != NULL, "sanity"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
443 memset(_in_cset_fast_test_base, false, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
444 _in_cset_fast_test_length * sizeof(bool)); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
445 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
446 |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
447 // This is called at the end of either a concurrent cycle or a Full |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
448 // GC to update the number of full collections completed. Those two |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
449 // can happen in a nested fashion, i.e., we start a concurrent |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
450 // cycle, a Full GC happens half-way through it which ends first, |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
451 // and then the cycle notices that a Full GC happened and ends |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
452 // too. The outer parameter is a boolean to help us do a bit tighter |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
453 // consistency checking in the method. If outer is false, the caller |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
454 // is the inner caller in the nesting (i.e., the Full GC). If outer |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
455 // is true, the caller is the outer caller in this nesting (i.e., |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
456 // the concurrent cycle). Further nesting is not currently |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
457 // supported. The end of the this call also notifies the |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
458 // FullGCCount_lock in case a Java thread is waiting for a full GC |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
459 // to happen (e.g., it called System.gc() with |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
460 // +ExplicitGCInvokesConcurrent). |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
461 void increment_full_collections_completed(bool outer); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
462 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
463 unsigned int full_collections_completed() { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
464 return _full_collections_completed; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
465 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
466 |
342 | 467 protected: |
468 | |
469 // Shrink the garbage-first heap by at most the given size (in bytes!). | |
470 // (Rounds down to a HeapRegion boundary.) | |
471 virtual void shrink(size_t expand_bytes); | |
472 void shrink_helper(size_t expand_bytes); | |
473 | |
474 // Do an incremental collection: identify a collection set, and evacuate | |
475 // its live objects elsewhere. | |
476 virtual void do_collection_pause(); | |
477 | |
478 // The guts of the incremental collection pause, executed by the vm | |
677 | 479 // thread. |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
480 virtual void do_collection_pause_at_safepoint(double target_pause_time_ms); |
342 | 481 |
482 // Actually do the work of evacuating the collection set. | |
483 virtual void evacuate_collection_set(); | |
484 | |
485 // If this is an appropriate right time, do a collection pause. | |
486 // The "word_size" argument, if non-zero, indicates the size of an | |
487 // allocation request that is prompting this query. | |
488 void do_collection_pause_if_appropriate(size_t word_size); | |
489 | |
490 // The g1 remembered set of the heap. | |
491 G1RemSet* _g1_rem_set; | |
492 // And it's mod ref barrier set, used to track updates for the above. | |
493 ModRefBarrierSet* _mr_bs; | |
494 | |
616
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
495 // A set of cards that cover the objects for which the Rsets should be updated |
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
496 // concurrently after the collection. |
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
497 DirtyCardQueueSet _dirty_card_queue_set; |
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
498 |
342 | 499 // The Heap Region Rem Set Iterator. |
500 HeapRegionRemSetIterator** _rem_set_iterator; | |
501 | |
502 // The closure used to refine a single card. | |
503 RefineCardTableEntryClosure* _refine_cte_cl; | |
504 | |
505 // A function to check the consistency of dirty card logs. | |
506 void check_ct_logs_at_safepoint(); | |
507 | |
1705 | 508 // A DirtyCardQueueSet that is used to hold cards that contain |
509 // references into the current collection set. This is used to | |
510 // update the remembered sets of the regions in the collection | |
511 // set in the event of an evacuation failure. | |
512 DirtyCardQueueSet _into_cset_dirty_card_queue_set; | |
513 | |
342 | 514 // After a collection pause, make the regions in the CS into free |
515 // regions. | |
516 void free_collection_set(HeapRegion* cs_head); | |
517 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
518 // Abandon the current collection set without recording policy |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
519 // statistics or updating free lists. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
520 void abandon_collection_set(HeapRegion* cs_head); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
521 |
342 | 522 // Applies "scan_non_heap_roots" to roots outside the heap, |
523 // "scan_rs" to roots inside the heap (having done "set_region" to | |
524 // indicate the region in which the root resides), and does "scan_perm" | |
525 // (setting the generation to the perm generation.) If "scan_rs" is | |
526 // NULL, then this step is skipped. The "worker_i" | |
527 // param is for use with parallel roots processing, and should be | |
528 // the "i" of the calling parallel worker thread's work(i) function. | |
529 // In the sequential case this param will be ignored. | |
530 void g1_process_strong_roots(bool collecting_perm_gen, | |
531 SharedHeap::ScanningOption so, | |
532 OopClosure* scan_non_heap_roots, | |
533 OopsInHeapRegionClosure* scan_rs, | |
534 OopsInGenClosure* scan_perm, | |
535 int worker_i); | |
536 | |
537 // Apply "blk" to all the weak roots of the system. These include | |
538 // JNI weak roots, the code cache, system dictionary, symbol table, | |
539 // string table, and referents of reachable weak refs. | |
540 void g1_process_weak_roots(OopClosure* root_closure, | |
541 OopClosure* non_root_closure); | |
542 | |
543 // Invoke "save_marks" on all heap regions. | |
544 void save_marks(); | |
545 | |
546 // Free a heap region. | |
547 void free_region(HeapRegion* hr); | |
548 // A component of "free_region", exposed for 'batching'. | |
549 // All the params after "hr" are out params: the used bytes of the freed | |
550 // region(s), the number of H regions cleared, the number of regions | |
551 // freed, and pointers to the head and tail of a list of freed contig | |
552 // regions, linked throught the "next_on_unclean_list" field. | |
553 void free_region_work(HeapRegion* hr, | |
554 size_t& pre_used, | |
555 size_t& cleared_h, | |
556 size_t& freed_regions, | |
557 UncleanRegionList* list, | |
558 bool par = false); | |
559 | |
560 | |
561 // The concurrent marker (and the thread it runs in.) | |
562 ConcurrentMark* _cm; | |
563 ConcurrentMarkThread* _cmThread; | |
564 bool _mark_in_progress; | |
565 | |
566 // The concurrent refiner. | |
567 ConcurrentG1Refine* _cg1r; | |
568 | |
569 // The concurrent zero-fill thread. | |
570 ConcurrentZFThread* _czft; | |
571 | |
572 // The parallel task queues | |
573 RefToScanQueueSet *_task_queues; | |
574 | |
575 // True iff a evacuation has failed in the current collection. | |
576 bool _evacuation_failed; | |
577 | |
578 // Set the attribute indicating whether evacuation has failed in the | |
579 // current collection. | |
580 void set_evacuation_failed(bool b) { _evacuation_failed = b; } | |
581 | |
582 // Failed evacuations cause some logical from-space objects to have | |
583 // forwarding pointers to themselves. Reset them. | |
584 void remove_self_forwarding_pointers(); | |
585 | |
586 // When one is non-null, so is the other. Together, they each pair is | |
587 // an object with a preserved mark, and its mark value. | |
588 GrowableArray<oop>* _objs_with_preserved_marks; | |
589 GrowableArray<markOop>* _preserved_marks_of_objs; | |
590 | |
591 // Preserve the mark of "obj", if necessary, in preparation for its mark | |
592 // word being overwritten with a self-forwarding-pointer. | |
593 void preserve_mark_if_necessary(oop obj, markOop m); | |
594 | |
595 // The stack of evac-failure objects left to be scanned. | |
596 GrowableArray<oop>* _evac_failure_scan_stack; | |
597 // The closure to apply to evac-failure objects. | |
598 | |
599 OopsInHeapRegionClosure* _evac_failure_closure; | |
600 // Set the field above. | |
601 void | |
602 set_evac_failure_closure(OopsInHeapRegionClosure* evac_failure_closure) { | |
603 _evac_failure_closure = evac_failure_closure; | |
604 } | |
605 | |
606 // Push "obj" on the scan stack. | |
607 void push_on_evac_failure_scan_stack(oop obj); | |
608 // Process scan stack entries until the stack is empty. | |
609 void drain_evac_failure_scan_stack(); | |
610 // True iff an invocation of "drain_scan_stack" is in progress; to | |
611 // prevent unnecessary recursion. | |
612 bool _drain_in_progress; | |
613 | |
614 // Do any necessary initialization for evacuation-failure handling. | |
615 // "cl" is the closure that will be used to process evac-failure | |
616 // objects. | |
617 void init_for_evac_failure(OopsInHeapRegionClosure* cl); | |
618 // Do any necessary cleanup for evacuation-failure handling data | |
619 // structures. | |
620 void finalize_for_evac_failure(); | |
621 | |
622 // An attempt to evacuate "obj" has failed; take necessary steps. | |
623 void handle_evacuation_failure(oop obj); | |
624 oop handle_evacuation_failure_par(OopsInHeapRegionClosure* cl, oop obj); | |
625 void handle_evacuation_failure_common(oop obj, markOop m); | |
626 | |
627 | |
628 // Ensure that the relevant gc_alloc regions are set. | |
629 void get_gc_alloc_regions(); | |
636 | 630 // We're done with GC alloc regions. We are going to tear down the |
631 // gc alloc list and remove the gc alloc tag from all the regions on | |
632 // that list. However, we will also retain the last (i.e., the one | |
633 // that is half-full) GC alloc region, per GCAllocPurpose, for | |
634 // possible reuse during the next collection, provided | |
635 // _retain_gc_alloc_region[] indicates that it should be the | |
636 // case. Said regions are kept in the _retained_gc_alloc_regions[] | |
637 // array. If the parameter totally is set, we will not retain any | |
638 // regions, irrespective of what _retain_gc_alloc_region[] | |
639 // indicates. | |
640 void release_gc_alloc_regions(bool totally); | |
641 #ifndef PRODUCT | |
642 // Useful for debugging. | |
643 void print_gc_alloc_regions(); | |
644 #endif // !PRODUCT | |
342 | 645 |
646 // ("Weak") Reference processing support | |
647 ReferenceProcessor* _ref_processor; | |
648 | |
649 enum G1H_process_strong_roots_tasks { | |
650 G1H_PS_mark_stack_oops_do, | |
651 G1H_PS_refProcessor_oops_do, | |
652 // Leave this one last. | |
653 G1H_PS_NumElements | |
654 }; | |
655 | |
656 SubTasksDone* _process_strong_tasks; | |
657 | |
658 // List of regions which require zero filling. | |
659 UncleanRegionList _unclean_region_list; | |
660 bool _unclean_regions_coming; | |
661 | |
662 public: | |
663 void set_refine_cte_cl_concurrency(bool concurrent); | |
664 | |
665 RefToScanQueue *task_queue(int i); | |
666 | |
616
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
667 // A set of cards where updates happened during the GC |
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
668 DirtyCardQueueSet& dirty_card_queue_set() { return _dirty_card_queue_set; } |
4f360ec815ba
6720309: G1: don't synchronously update RSet during evacuation pauses
iveresov
parents:
545
diff
changeset
|
669 |
1705 | 670 // A DirtyCardQueueSet that is used to hold cards that contain |
671 // references into the current collection set. This is used to | |
672 // update the remembered sets of the regions in the collection | |
673 // set in the event of an evacuation failure. | |
674 DirtyCardQueueSet& into_cset_dirty_card_queue_set() | |
675 { return _into_cset_dirty_card_queue_set; } | |
676 | |
342 | 677 // Create a G1CollectedHeap with the specified policy. |
678 // Must call the initialize method afterwards. | |
679 // May not return if something goes wrong. | |
680 G1CollectedHeap(G1CollectorPolicy* policy); | |
681 | |
682 // Initialize the G1CollectedHeap to have the initial and | |
683 // maximum sizes, permanent generation, and remembered and barrier sets | |
684 // specified by the policy object. | |
685 jint initialize(); | |
686 | |
687 void ref_processing_init(); | |
688 | |
689 void set_par_threads(int t) { | |
690 SharedHeap::set_par_threads(t); | |
691 _process_strong_tasks->set_par_threads(t); | |
692 } | |
693 | |
694 virtual CollectedHeap::Name kind() const { | |
695 return CollectedHeap::G1CollectedHeap; | |
696 } | |
697 | |
698 // The current policy object for the collector. | |
699 G1CollectorPolicy* g1_policy() const { return _g1_policy; } | |
700 | |
701 // Adaptive size policy. No such thing for g1. | |
702 virtual AdaptiveSizePolicy* size_policy() { return NULL; } | |
703 | |
704 // The rem set and barrier set. | |
705 G1RemSet* g1_rem_set() const { return _g1_rem_set; } | |
706 ModRefBarrierSet* mr_bs() const { return _mr_bs; } | |
707 | |
708 // The rem set iterator. | |
709 HeapRegionRemSetIterator* rem_set_iterator(int i) { | |
710 return _rem_set_iterator[i]; | |
711 } | |
712 | |
713 HeapRegionRemSetIterator* rem_set_iterator() { | |
714 return _rem_set_iterator[0]; | |
715 } | |
716 | |
717 unsigned get_gc_time_stamp() { | |
718 return _gc_time_stamp; | |
719 } | |
720 | |
721 void reset_gc_time_stamp() { | |
722 _gc_time_stamp = 0; | |
353
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
723 OrderAccess::fence(); |
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
724 } |
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
725 |
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
726 void increment_gc_time_stamp() { |
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
727 ++_gc_time_stamp; |
9bb2c10ac07b
6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents:
342
diff
changeset
|
728 OrderAccess::fence(); |
342 | 729 } |
730 | |
1705 | 731 void iterate_dirty_card_closure(CardTableEntryClosure* cl, |
732 DirtyCardQueue* into_cset_dcq, | |
733 bool concurrent, int worker_i); | |
342 | 734 |
735 // The shared block offset table array. | |
736 G1BlockOffsetSharedArray* bot_shared() const { return _bot_shared; } | |
737 | |
738 // Reference Processing accessor | |
739 ReferenceProcessor* ref_processor() { return _ref_processor; } | |
740 | |
741 // Reserved (g1 only; super method includes perm), capacity and the used | |
742 // portion in bytes. | |
1092
ed52bcc32739
6880903: G1: G1 reports incorrect Runtime.maxMemory()
tonyp
parents:
1027
diff
changeset
|
743 size_t g1_reserved_obj_bytes() const { return _g1_reserved.byte_size(); } |
342 | 744 virtual size_t capacity() const; |
745 virtual size_t used() const; | |
846
42d84bbbecf4
6859911: G1: assert(Heap_lock->owner() = NULL, "Should be owned on this thread's behalf")
tonyp
parents:
845
diff
changeset
|
746 // This should be called when we're not holding the heap lock. The |
42d84bbbecf4
6859911: G1: assert(Heap_lock->owner() = NULL, "Should be owned on this thread's behalf")
tonyp
parents:
845
diff
changeset
|
747 // result might be a bit inaccurate. |
42d84bbbecf4
6859911: G1: assert(Heap_lock->owner() = NULL, "Should be owned on this thread's behalf")
tonyp
parents:
845
diff
changeset
|
748 size_t used_unlocked() const; |
342 | 749 size_t recalculate_used() const; |
750 #ifndef PRODUCT | |
751 size_t recalculate_used_regions() const; | |
752 #endif // PRODUCT | |
753 | |
754 // These virtual functions do the actual allocation. | |
755 virtual HeapWord* mem_allocate(size_t word_size, | |
756 bool is_noref, | |
757 bool is_tlab, | |
758 bool* gc_overhead_limit_was_exceeded); | |
759 | |
760 // Some heaps may offer a contiguous region for shared non-blocking | |
761 // allocation, via inlined code (by exporting the address of the top and | |
762 // end fields defining the extent of the contiguous allocation region.) | |
763 // But G1CollectedHeap doesn't yet support this. | |
764 | |
765 // Return an estimate of the maximum allocation that could be performed | |
766 // without triggering any collection or expansion activity. In a | |
767 // generational collector, for example, this is probably the largest | |
768 // allocation that could be supported (without expansion) in the youngest | |
769 // generation. It is "unsafe" because no locks are taken; the result | |
770 // should be treated as an approximation, not a guarantee, for use in | |
771 // heuristic resizing decisions. | |
772 virtual size_t unsafe_max_alloc(); | |
773 | |
774 virtual bool is_maximal_no_gc() const { | |
775 return _g1_storage.uncommitted_size() == 0; | |
776 } | |
777 | |
778 // The total number of regions in the heap. | |
779 size_t n_regions(); | |
780 | |
781 // The number of regions that are completely free. | |
782 size_t max_regions(); | |
783 | |
784 // The number of regions that are completely free. | |
785 size_t free_regions(); | |
786 | |
787 // The number of regions that are not completely free. | |
788 size_t used_regions() { return n_regions() - free_regions(); } | |
789 | |
790 // True iff the ZF thread should run. | |
791 bool should_zf(); | |
792 | |
793 // The number of regions available for "regular" expansion. | |
794 size_t expansion_regions() { return _expansion_regions; } | |
795 | |
796 #ifndef PRODUCT | |
797 bool regions_accounted_for(); | |
798 bool print_region_accounting_info(); | |
799 void print_region_counts(); | |
800 #endif | |
801 | |
802 HeapRegion* alloc_region_from_unclean_list(bool zero_filled); | |
803 HeapRegion* alloc_region_from_unclean_list_locked(bool zero_filled); | |
804 | |
805 void put_region_on_unclean_list(HeapRegion* r); | |
806 void put_region_on_unclean_list_locked(HeapRegion* r); | |
807 | |
808 void prepend_region_list_on_unclean_list(UncleanRegionList* list); | |
809 void prepend_region_list_on_unclean_list_locked(UncleanRegionList* list); | |
810 | |
811 void set_unclean_regions_coming(bool b); | |
812 void set_unclean_regions_coming_locked(bool b); | |
813 // Wait for cleanup to be complete. | |
814 void wait_for_cleanup_complete(); | |
815 // Like above, but assumes that the calling thread owns the Heap_lock. | |
816 void wait_for_cleanup_complete_locked(); | |
817 | |
818 // Return the head of the unclean list. | |
819 HeapRegion* peek_unclean_region_list_locked(); | |
820 // Remove and return the head of the unclean list. | |
821 HeapRegion* pop_unclean_region_list_locked(); | |
822 | |
823 // List of regions which are zero filled and ready for allocation. | |
824 HeapRegion* _free_region_list; | |
825 // Number of elements on the free list. | |
826 size_t _free_region_list_size; | |
827 | |
828 // If the head of the unclean list is ZeroFilled, move it to the free | |
829 // list. | |
830 bool move_cleaned_region_to_free_list_locked(); | |
831 bool move_cleaned_region_to_free_list(); | |
832 | |
833 void put_free_region_on_list_locked(HeapRegion* r); | |
834 void put_free_region_on_list(HeapRegion* r); | |
835 | |
836 // Remove and return the head element of the free list. | |
837 HeapRegion* pop_free_region_list_locked(); | |
838 | |
839 // If "zero_filled" is true, we first try the free list, then we try the | |
840 // unclean list, zero-filling the result. If "zero_filled" is false, we | |
841 // first try the unclean list, then the zero-filled list. | |
842 HeapRegion* alloc_free_region_from_lists(bool zero_filled); | |
843 | |
844 // Verify the integrity of the region lists. | |
845 void remove_allocated_regions_from_lists(); | |
846 bool verify_region_lists(); | |
847 bool verify_region_lists_locked(); | |
848 size_t unclean_region_list_length(); | |
849 size_t free_region_list_length(); | |
850 | |
851 // Perform a collection of the heap; intended for use in implementing | |
852 // "System.gc". This probably implies as full a collection as the | |
853 // "CollectedHeap" supports. | |
854 virtual void collect(GCCause::Cause cause); | |
855 | |
856 // The same as above but assume that the caller holds the Heap_lock. | |
857 void collect_locked(GCCause::Cause cause); | |
858 | |
859 // This interface assumes that it's being called by the | |
860 // vm thread. It collects the heap assuming that the | |
861 // heap lock is already held and that we are executing in | |
862 // the context of the vm thread. | |
863 virtual void collect_as_vm_thread(GCCause::Cause cause); | |
864 | |
865 // True iff a evacuation has failed in the most-recent collection. | |
866 bool evacuation_failed() { return _evacuation_failed; } | |
867 | |
868 // Free a region if it is totally full of garbage. Returns the number of | |
869 // bytes freed (0 ==> didn't free it). | |
870 size_t free_region_if_totally_empty(HeapRegion *hr); | |
871 void free_region_if_totally_empty_work(HeapRegion *hr, | |
872 size_t& pre_used, | |
873 size_t& cleared_h_regions, | |
874 size_t& freed_regions, | |
875 UncleanRegionList* list, | |
876 bool par = false); | |
877 | |
878 // If we've done free region work that yields the given changes, update | |
879 // the relevant global variables. | |
880 void finish_free_region_work(size_t pre_used, | |
881 size_t cleared_h_regions, | |
882 size_t freed_regions, | |
883 UncleanRegionList* list); | |
884 | |
885 | |
886 // Returns "TRUE" iff "p" points into the allocated area of the heap. | |
887 virtual bool is_in(const void* p) const; | |
888 | |
889 // Return "TRUE" iff the given object address is within the collection | |
890 // set. | |
891 inline bool obj_in_cs(oop obj); | |
892 | |
893 // Return "TRUE" iff the given object address is in the reserved | |
894 // region of g1 (excluding the permanent generation). | |
895 bool is_in_g1_reserved(const void* p) const { | |
896 return _g1_reserved.contains(p); | |
897 } | |
898 | |
899 // Returns a MemRegion that corresponds to the space that has been | |
900 // committed in the heap | |
901 MemRegion g1_committed() { | |
902 return _g1_committed; | |
903 } | |
904 | |
941 | 905 NOT_PRODUCT(bool is_in_closed_subset(const void* p) const;) |
342 | 906 |
907 // Dirty card table entries covering a list of young regions. | |
908 void dirtyCardsForYoungRegions(CardTableModRefBS* ct_bs, HeapRegion* list); | |
909 | |
910 // This resets the card table to all zeros. It is used after | |
911 // a collection pause which used the card table to claim cards. | |
912 void cleanUpCardTable(); | |
913 | |
914 // Iteration functions. | |
915 | |
916 // Iterate over all the ref-containing fields of all objects, calling | |
917 // "cl.do_oop" on each. | |
678 | 918 virtual void oop_iterate(OopClosure* cl) { |
919 oop_iterate(cl, true); | |
920 } | |
921 void oop_iterate(OopClosure* cl, bool do_perm); | |
342 | 922 |
923 // Same as above, restricted to a memory region. | |
678 | 924 virtual void oop_iterate(MemRegion mr, OopClosure* cl) { |
925 oop_iterate(mr, cl, true); | |
926 } | |
927 void oop_iterate(MemRegion mr, OopClosure* cl, bool do_perm); | |
342 | 928 |
929 // Iterate over all objects, calling "cl.do_object" on each. | |
678 | 930 virtual void object_iterate(ObjectClosure* cl) { |
931 object_iterate(cl, true); | |
932 } | |
933 virtual void safe_object_iterate(ObjectClosure* cl) { | |
934 object_iterate(cl, true); | |
935 } | |
936 void object_iterate(ObjectClosure* cl, bool do_perm); | |
342 | 937 |
938 // Iterate over all objects allocated since the last collection, calling | |
939 // "cl.do_object" on each. The heap must have been initialized properly | |
940 // to support this function, or else this call will fail. | |
941 virtual void object_iterate_since_last_GC(ObjectClosure* cl); | |
942 | |
943 // Iterate over all spaces in use in the heap, in ascending address order. | |
944 virtual void space_iterate(SpaceClosure* cl); | |
945 | |
946 // Iterate over heap regions, in address order, terminating the | |
947 // iteration early if the "doHeapRegion" method returns "true". | |
948 void heap_region_iterate(HeapRegionClosure* blk); | |
949 | |
950 // Iterate over heap regions starting with r (or the first region if "r" | |
951 // is NULL), in address order, terminating early if the "doHeapRegion" | |
952 // method returns "true". | |
953 void heap_region_iterate_from(HeapRegion* r, HeapRegionClosure* blk); | |
954 | |
955 // As above but starting from the region at index idx. | |
956 void heap_region_iterate_from(int idx, HeapRegionClosure* blk); | |
957 | |
958 HeapRegion* region_at(size_t idx); | |
959 | |
960 // Divide the heap region sequence into "chunks" of some size (the number | |
961 // of regions divided by the number of parallel threads times some | |
962 // overpartition factor, currently 4). Assumes that this will be called | |
963 // in parallel by ParallelGCThreads worker threads with discinct worker | |
964 // ids in the range [0..max(ParallelGCThreads-1, 1)], that all parallel | |
965 // calls will use the same "claim_value", and that that claim value is | |
966 // different from the claim_value of any heap region before the start of | |
967 // the iteration. Applies "blk->doHeapRegion" to each of the regions, by | |
968 // attempting to claim the first region in each chunk, and, if | |
969 // successful, applying the closure to each region in the chunk (and | |
970 // setting the claim value of the second and subsequent regions of the | |
971 // chunk.) For now requires that "doHeapRegion" always returns "false", | |
972 // i.e., that a closure never attempt to abort a traversal. | |
973 void heap_region_par_iterate_chunked(HeapRegionClosure* blk, | |
974 int worker, | |
975 jint claim_value); | |
976 | |
390 | 977 // It resets all the region claim values to the default. |
978 void reset_heap_region_claim_values(); | |
979 | |
355 | 980 #ifdef ASSERT |
981 bool check_heap_region_claim_values(jint claim_value); | |
982 #endif // ASSERT | |
983 | |
342 | 984 // Iterate over the regions (if any) in the current collection set. |
985 void collection_set_iterate(HeapRegionClosure* blk); | |
986 | |
987 // As above but starting from region r | |
988 void collection_set_iterate_from(HeapRegion* r, HeapRegionClosure *blk); | |
989 | |
990 // Returns the first (lowest address) compactible space in the heap. | |
991 virtual CompactibleSpace* first_compactible_space(); | |
992 | |
993 // A CollectedHeap will contain some number of spaces. This finds the | |
994 // space containing a given address, or else returns NULL. | |
995 virtual Space* space_containing(const void* addr) const; | |
996 | |
997 // A G1CollectedHeap will contain some number of heap regions. This | |
998 // finds the region containing a given address, or else returns NULL. | |
999 HeapRegion* heap_region_containing(const void* addr) const; | |
1000 | |
1001 // Like the above, but requires "addr" to be in the heap (to avoid a | |
1002 // null-check), and unlike the above, may return an continuing humongous | |
1003 // region. | |
1004 HeapRegion* heap_region_containing_raw(const void* addr) const; | |
1005 | |
1006 // A CollectedHeap is divided into a dense sequence of "blocks"; that is, | |
1007 // each address in the (reserved) heap is a member of exactly | |
1008 // one block. The defining characteristic of a block is that it is | |
1009 // possible to find its size, and thus to progress forward to the next | |
1010 // block. (Blocks may be of different sizes.) Thus, blocks may | |
1011 // represent Java objects, or they might be free blocks in a | |
1012 // free-list-based heap (or subheap), as long as the two kinds are | |
1013 // distinguishable and the size of each is determinable. | |
1014 | |
1015 // Returns the address of the start of the "block" that contains the | |
1016 // address "addr". We say "blocks" instead of "object" since some heaps | |
1017 // may not pack objects densely; a chunk may either be an object or a | |
1018 // non-object. | |
1019 virtual HeapWord* block_start(const void* addr) const; | |
1020 | |
1021 // Requires "addr" to be the start of a chunk, and returns its size. | |
1022 // "addr + size" is required to be the start of a new chunk, or the end | |
1023 // of the active area of the heap. | |
1024 virtual size_t block_size(const HeapWord* addr) const; | |
1025 | |
1026 // Requires "addr" to be the start of a block, and returns "TRUE" iff | |
1027 // the block is an object. | |
1028 virtual bool block_is_obj(const HeapWord* addr) const; | |
1029 | |
1030 // Does this heap support heap inspection? (+PrintClassHistogram) | |
1031 virtual bool supports_heap_inspection() const { return true; } | |
1032 | |
1033 // Section on thread-local allocation buffers (TLABs) | |
1034 // See CollectedHeap for semantics. | |
1035 | |
1036 virtual bool supports_tlab_allocation() const; | |
1037 virtual size_t tlab_capacity(Thread* thr) const; | |
1038 virtual size_t unsafe_max_tlab_alloc(Thread* thr) const; | |
1039 virtual HeapWord* allocate_new_tlab(size_t size); | |
1040 | |
1041 // Can a compiler initialize a new object without store barriers? | |
1042 // This permission only extends from the creation of a new object | |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1043 // via a TLAB up to the first subsequent safepoint. If such permission |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1044 // is granted for this heap type, the compiler promises to call |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1045 // defer_store_barrier() below on any slow path allocation of |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1046 // a new object for which such initializing store barriers will |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1047 // have been elided. G1, like CMS, allows this, but should be |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1048 // ready to provide a compensating write barrier as necessary |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1049 // if that storage came out of a non-young region. The efficiency |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1050 // of this implementation depends crucially on being able to |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1051 // answer very efficiently in constant time whether a piece of |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1052 // storage in the heap comes from a young region or not. |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1053 // See ReduceInitialCardMarks. |
342 | 1054 virtual bool can_elide_tlab_store_barriers() const { |
1194
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1055 // 6920090: Temporarily disabled, because of lingering |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1056 // instabilities related to RICM with G1. In the |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1057 // interim, the option ReduceInitialCardMarksForG1 |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1058 // below is left solely as a debugging device at least |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1059 // until 6920109 fixes the instabilities. |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1060 return ReduceInitialCardMarksForG1; |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1061 } |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1062 |
1166 | 1063 virtual bool card_mark_must_follow_store() const { |
1064 return true; | |
1065 } | |
1066 | |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1067 bool is_in_young(oop obj) { |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1068 HeapRegion* hr = heap_region_containing(obj); |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1069 return hr != NULL && hr->is_young(); |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1070 } |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1071 |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1072 // We don't need barriers for initializing stores to objects |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1073 // in the young gen: for the SATB pre-barrier, there is no |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1074 // pre-value that needs to be remembered; for the remembered-set |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1075 // update logging post-barrier, we don't maintain remembered set |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1076 // information for young gen objects. Note that non-generational |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1077 // G1 does not have any "young" objects, should not elide |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1078 // the rs logging barrier and so should always answer false below. |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1079 // However, non-generational G1 (-XX:-G1Gen) appears to have |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1080 // bit-rotted so was not tested below. |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1081 virtual bool can_elide_initializing_store_barrier(oop new_obj) { |
1194
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1082 // Re 6920090, 6920109 above. |
34fb2662f6c2
6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents:
1166
diff
changeset
|
1083 assert(ReduceInitialCardMarksForG1, "Else cannot be here"); |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1084 assert(G1Gen || !is_in_young(new_obj), |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1085 "Non-generational G1 should never return true below"); |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
942
diff
changeset
|
1086 return is_in_young(new_obj); |
342 | 1087 } |
1088 | |
1089 // Can a compiler elide a store barrier when it writes | |
1090 // a permanent oop into the heap? Applies when the compiler | |
1091 // is storing x to the heap, where x->is_perm() is true. | |
1092 virtual bool can_elide_permanent_oop_store_barriers() const { | |
1093 // At least until perm gen collection is also G1-ified, at | |
1094 // which point this should return false. | |
1095 return true; | |
1096 } | |
1097 | |
1098 virtual bool allocs_are_zero_filled(); | |
1099 | |
1100 // The boundary between a "large" and "small" array of primitives, in | |
1101 // words. | |
1102 virtual size_t large_typearray_limit(); | |
1103 | |
1104 // Returns "true" iff the given word_size is "very large". | |
1105 static bool isHumongous(size_t word_size) { | |
1313
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1106 // Note this has to be strictly greater-than as the TLABs |
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1107 // are capped at the humongous thresold and we want to |
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1108 // ensure that we don't try to allocate a TLAB as |
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1109 // humongous and that we don't allocate a humongous |
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1110 // object in a TLAB. |
664ae0c5e0e5
6755988: G1: assert(new_obj != 0 || ... "should be forwarded")
johnc
parents:
1311
diff
changeset
|
1111 return word_size > _humongous_object_threshold_in_words; |
342 | 1112 } |
1113 | |
1114 // Update mod union table with the set of dirty cards. | |
1115 void updateModUnion(); | |
1116 | |
1117 // Set the mod union bits corresponding to the given memRegion. Note | |
1118 // that this is always a safe operation, since it doesn't clear any | |
1119 // bits. | |
1120 void markModUnionRange(MemRegion mr); | |
1121 | |
1122 // Records the fact that a marking phase is no longer in progress. | |
1123 void set_marking_complete() { | |
1124 _mark_in_progress = false; | |
1125 } | |
1126 void set_marking_started() { | |
1127 _mark_in_progress = true; | |
1128 } | |
1129 bool mark_in_progress() { | |
1130 return _mark_in_progress; | |
1131 } | |
1132 | |
1133 // Print the maximum heap capacity. | |
1134 virtual size_t max_capacity() const; | |
1135 | |
1136 virtual jlong millis_since_last_gc(); | |
1137 | |
1138 // Perform any cleanup actions necessary before allowing a verification. | |
1139 virtual void prepare_for_verify(); | |
1140 | |
1141 // Perform verification. | |
811 | 1142 |
1143 // use_prev_marking == true -> use "prev" marking information, | |
1144 // use_prev_marking == false -> use "next" marking information | |
1145 // NOTE: Only the "prev" marking information is guaranteed to be | |
1146 // consistent most of the time, so most calls to this should use | |
1147 // use_prev_marking == true. Currently, there is only one case where | |
1148 // this is called with use_prev_marking == false, which is to verify | |
1149 // the "next" marking information at the end of remark. | |
1150 void verify(bool allow_dirty, bool silent, bool use_prev_marking); | |
1151 | |
1152 // Override; it uses the "prev" marking information | |
342 | 1153 virtual void verify(bool allow_dirty, bool silent); |
838
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1154 // Default behavior by calling print(tty); |
342 | 1155 virtual void print() const; |
838
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1156 // This calls print_on(st, PrintHeapAtGCExtended). |
342 | 1157 virtual void print_on(outputStream* st) const; |
838
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1158 // If extended is true, it will print out information for all |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1159 // regions in the heap by calling print_on_extended(st). |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1160 virtual void print_on(outputStream* st, bool extended) const; |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
811
diff
changeset
|
1161 virtual void print_on_extended(outputStream* st) const; |
342 | 1162 |
1163 virtual void print_gc_threads_on(outputStream* st) const; | |
1164 virtual void gc_threads_do(ThreadClosure* tc) const; | |
1165 | |
1166 // Override | |
1167 void print_tracing_info() const; | |
1168 | |
1169 // If "addr" is a pointer into the (reserved?) heap, returns a positive | |
1170 // number indicating the "arena" within the heap in which "addr" falls. | |
1171 // Or else returns 0. | |
1172 virtual int addr_to_arena_id(void* addr) const; | |
1173 | |
1174 // Convenience function to be used in situations where the heap type can be | |
1175 // asserted to be this type. | |
1176 static G1CollectedHeap* heap(); | |
1177 | |
1178 void empty_young_list(); | |
1179 bool should_set_young_locked(); | |
1180 | |
1181 void set_region_short_lived_locked(HeapRegion* hr); | |
1182 // add appropriate methods for any other surv rate groups | |
1183 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1184 YoungList* young_list() { return _young_list; } |
342 | 1185 |
1186 // debugging | |
1187 bool check_young_list_well_formed() { | |
1188 return _young_list->check_list_well_formed(); | |
1189 } | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1190 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1191 bool check_young_list_empty(bool check_heap, |
342 | 1192 bool check_sample = true); |
1193 | |
1194 // *** Stuff related to concurrent marking. It's not clear to me that so | |
1195 // many of these need to be public. | |
1196 | |
1197 // The functions below are helper functions that a subclass of | |
1198 // "CollectedHeap" can use in the implementation of its virtual | |
1199 // functions. | |
1200 // This performs a concurrent marking of the live objects in a | |
1201 // bitmap off to the side. | |
1202 void doConcurrentMark(); | |
1203 | |
1204 // This is called from the marksweep collector which then does | |
1205 // a concurrent mark and verifies that the results agree with | |
1206 // the stop the world marking. | |
1207 void checkConcurrentMark(); | |
1208 void do_sync_mark(); | |
1209 | |
1210 bool isMarkedPrev(oop obj) const; | |
1211 bool isMarkedNext(oop obj) const; | |
1212 | |
811 | 1213 // use_prev_marking == true -> use "prev" marking information, |
1214 // use_prev_marking == false -> use "next" marking information | |
1215 bool is_obj_dead_cond(const oop obj, | |
1216 const HeapRegion* hr, | |
1217 const bool use_prev_marking) const { | |
1218 if (use_prev_marking) { | |
1219 return is_obj_dead(obj, hr); | |
1220 } else { | |
1221 return is_obj_ill(obj, hr); | |
1222 } | |
1223 } | |
1224 | |
342 | 1225 // Determine if an object is dead, given the object and also |
1226 // the region to which the object belongs. An object is dead | |
1227 // iff a) it was not allocated since the last mark and b) it | |
1228 // is not marked. | |
1229 | |
1230 bool is_obj_dead(const oop obj, const HeapRegion* hr) const { | |
1231 return | |
1232 !hr->obj_allocated_since_prev_marking(obj) && | |
1233 !isMarkedPrev(obj); | |
1234 } | |
1235 | |
1236 // This is used when copying an object to survivor space. | |
1237 // If the object is marked live, then we mark the copy live. | |
1238 // If the object is allocated since the start of this mark | |
1239 // cycle, then we mark the copy live. | |
1240 // If the object has been around since the previous mark | |
1241 // phase, and hasn't been marked yet during this phase, | |
1242 // then we don't mark it, we just wait for the | |
1243 // current marking cycle to get to it. | |
1244 | |
1245 // This function returns true when an object has been | |
1246 // around since the previous marking and hasn't yet | |
1247 // been marked during this marking. | |
1248 | |
1249 bool is_obj_ill(const oop obj, const HeapRegion* hr) const { | |
1250 return | |
1251 !hr->obj_allocated_since_next_marking(obj) && | |
1252 !isMarkedNext(obj); | |
1253 } | |
1254 | |
1255 // Determine if an object is dead, given only the object itself. | |
1256 // This will find the region to which the object belongs and | |
1257 // then call the region version of the same function. | |
1258 | |
1259 // Added if it is in permanent gen it isn't dead. | |
1260 // Added if it is NULL it isn't dead. | |
1261 | |
811 | 1262 // use_prev_marking == true -> use "prev" marking information, |
1263 // use_prev_marking == false -> use "next" marking information | |
1264 bool is_obj_dead_cond(const oop obj, | |
1265 const bool use_prev_marking) { | |
1266 if (use_prev_marking) { | |
1267 return is_obj_dead(obj); | |
1268 } else { | |
1269 return is_obj_ill(obj); | |
1270 } | |
1271 } | |
1272 | |
1273 bool is_obj_dead(const oop obj) { | |
1274 const HeapRegion* hr = heap_region_containing(obj); | |
342 | 1275 if (hr == NULL) { |
1276 if (Universe::heap()->is_in_permanent(obj)) | |
1277 return false; | |
1278 else if (obj == NULL) return false; | |
1279 else return true; | |
1280 } | |
1281 else return is_obj_dead(obj, hr); | |
1282 } | |
1283 | |
811 | 1284 bool is_obj_ill(const oop obj) { |
1285 const HeapRegion* hr = heap_region_containing(obj); | |
342 | 1286 if (hr == NULL) { |
1287 if (Universe::heap()->is_in_permanent(obj)) | |
1288 return false; | |
1289 else if (obj == NULL) return false; | |
1290 else return true; | |
1291 } | |
1292 else return is_obj_ill(obj, hr); | |
1293 } | |
1294 | |
1295 // The following is just to alert the verification code | |
1296 // that a full collection has occurred and that the | |
1297 // remembered sets are no longer up to date. | |
1298 bool _full_collection; | |
1299 void set_full_collection() { _full_collection = true;} | |
1300 void clear_full_collection() {_full_collection = false;} | |
1301 bool full_collection() {return _full_collection;} | |
1302 | |
1303 ConcurrentMark* concurrent_mark() const { return _cm; } | |
1304 ConcurrentG1Refine* concurrent_g1_refine() const { return _cg1r; } | |
1305 | |
796
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1306 // The dirty cards region list is used to record a subset of regions |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1307 // whose cards need clearing. The list if populated during the |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1308 // remembered set scanning and drained during the card table |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1309 // cleanup. Although the methods are reentrant, population/draining |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1310 // phases must not overlap. For synchronization purposes the last |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1311 // element on the list points to itself. |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1312 HeapRegion* _dirty_cards_region_list; |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1313 void push_dirty_cards_region(HeapRegion* hr); |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1314 HeapRegion* pop_dirty_cards_region(); |
29e7d79232b9
6819065: G1: eliminate high serial card table clearing time
apetrusenko
parents:
678
diff
changeset
|
1315 |
342 | 1316 public: |
1317 void stop_conc_gc_threads(); | |
1318 | |
1319 // <NEW PREDICTION> | |
1320 | |
1321 double predict_region_elapsed_time_ms(HeapRegion* hr, bool young); | |
1322 void check_if_region_is_too_expensive(double predicted_time_ms); | |
1323 size_t pending_card_num(); | |
1324 size_t max_pending_card_num(); | |
1325 size_t cards_scanned(); | |
1326 | |
1327 // </NEW PREDICTION> | |
1328 | |
1329 protected: | |
1330 size_t _max_heap_capacity; | |
1331 | |
1332 // debug_only(static void check_for_valid_allocation_state();) | |
1333 | |
1334 public: | |
1335 // Temporary: call to mark things unimplemented for the G1 heap (e.g., | |
1336 // MemoryService). In productization, we can make this assert false | |
1337 // to catch such places (as well as searching for calls to this...) | |
1338 static void g1_unimplemented(); | |
1339 | |
1340 }; | |
1341 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1342 #define use_local_bitmaps 1 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1343 #define verify_local_bitmaps 0 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1344 #define oop_buffer_length 256 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1345 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1346 #ifndef PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1347 class GCLabBitMap; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1348 class GCLabBitMapClosure: public BitMapClosure { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1349 private: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1350 ConcurrentMark* _cm; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1351 GCLabBitMap* _bitmap; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1352 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1353 public: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1354 GCLabBitMapClosure(ConcurrentMark* cm, |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1355 GCLabBitMap* bitmap) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1356 _cm = cm; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1357 _bitmap = bitmap; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1358 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1359 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1360 virtual bool do_bit(size_t offset); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1361 }; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1362 #endif // !PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1363 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1364 class GCLabBitMap: public BitMap { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1365 private: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1366 ConcurrentMark* _cm; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1367 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1368 int _shifter; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1369 size_t _bitmap_word_covers_words; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1370 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1371 // beginning of the heap |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1372 HeapWord* _heap_start; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1373 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1374 // this is the actual start of the GCLab |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1375 HeapWord* _real_start_word; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1376 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1377 // this is the actual end of the GCLab |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1378 HeapWord* _real_end_word; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1379 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1380 // this is the first word, possibly located before the actual start |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1381 // of the GCLab, that corresponds to the first bit of the bitmap |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1382 HeapWord* _start_word; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1383 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1384 // size of a GCLab in words |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1385 size_t _gclab_word_size; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1386 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1387 static int shifter() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1388 return MinObjAlignment - 1; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1389 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1390 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1391 // how many heap words does a single bitmap word corresponds to? |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1392 static size_t bitmap_word_covers_words() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1393 return BitsPerWord << shifter(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1394 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1395 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1396 size_t gclab_word_size() const { |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1397 return _gclab_word_size; |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1398 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1399 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1400 // Calculates actual GCLab size in words |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1401 size_t gclab_real_word_size() const { |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1402 return bitmap_size_in_bits(pointer_delta(_real_end_word, _start_word)) |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1403 / BitsPerWord; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1404 } |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1405 |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1406 static size_t bitmap_size_in_bits(size_t gclab_word_size) { |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1407 size_t bits_in_bitmap = gclab_word_size >> shifter(); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1408 // We are going to ensure that the beginning of a word in this |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1409 // bitmap also corresponds to the beginning of a word in the |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1410 // global marking bitmap. To handle the case where a GCLab |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1411 // starts from the middle of the bitmap, we need to add enough |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1412 // space (i.e. up to a bitmap word) to ensure that we have |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1413 // enough bits in the bitmap. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1414 return bits_in_bitmap + BitsPerWord - 1; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1415 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1416 public: |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1417 GCLabBitMap(HeapWord* heap_start, size_t gclab_word_size) |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1418 : BitMap(bitmap_size_in_bits(gclab_word_size)), |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1419 _cm(G1CollectedHeap::heap()->concurrent_mark()), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1420 _shifter(shifter()), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1421 _bitmap_word_covers_words(bitmap_word_covers_words()), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1422 _heap_start(heap_start), |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1423 _gclab_word_size(gclab_word_size), |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1424 _real_start_word(NULL), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1425 _real_end_word(NULL), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1426 _start_word(NULL) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1427 { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1428 guarantee( size_in_words() >= bitmap_size_in_words(), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1429 "just making sure"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1430 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1431 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1432 inline unsigned heapWordToOffset(HeapWord* addr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1433 unsigned offset = (unsigned) pointer_delta(addr, _start_word) >> _shifter; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1434 assert(offset < size(), "offset should be within bounds"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1435 return offset; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1436 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1437 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1438 inline HeapWord* offsetToHeapWord(size_t offset) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1439 HeapWord* addr = _start_word + (offset << _shifter); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1440 assert(_real_start_word <= addr && addr < _real_end_word, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1441 return addr; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1442 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1443 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1444 bool fields_well_formed() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1445 bool ret1 = (_real_start_word == NULL) && |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1446 (_real_end_word == NULL) && |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1447 (_start_word == NULL); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1448 if (ret1) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1449 return true; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1450 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1451 bool ret2 = _real_start_word >= _start_word && |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1452 _start_word < _real_end_word && |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1453 (_real_start_word + _gclab_word_size) == _real_end_word && |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1454 (_start_word + _gclab_word_size + _bitmap_word_covers_words) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1455 > _real_end_word; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1456 return ret2; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1457 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1458 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1459 inline bool mark(HeapWord* addr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1460 guarantee(use_local_bitmaps, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1461 assert(fields_well_formed(), "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1462 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1463 if (addr >= _real_start_word && addr < _real_end_word) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1464 assert(!isMarked(addr), "should not have already been marked"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1465 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1466 // first mark it on the bitmap |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1467 at_put(heapWordToOffset(addr), true); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1468 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1469 return true; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1470 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1471 return false; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1472 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1473 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1474 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1475 inline bool isMarked(HeapWord* addr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1476 guarantee(use_local_bitmaps, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1477 assert(fields_well_formed(), "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1478 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1479 return at(heapWordToOffset(addr)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1480 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1481 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1482 void set_buffer(HeapWord* start) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1483 guarantee(use_local_bitmaps, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1484 clear(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1485 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1486 assert(start != NULL, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1487 _real_start_word = start; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1488 _real_end_word = start + _gclab_word_size; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1489 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1490 size_t diff = |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1491 pointer_delta(start, _heap_start) % _bitmap_word_covers_words; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1492 _start_word = start - diff; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1493 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1494 assert(fields_well_formed(), "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1495 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1496 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1497 #ifndef PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1498 void verify() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1499 // verify that the marks have been propagated |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1500 GCLabBitMapClosure cl(_cm, this); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1501 iterate(&cl); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1502 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1503 #endif // PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1504 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1505 void retire() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1506 guarantee(use_local_bitmaps, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1507 assert(fields_well_formed(), "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1508 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1509 if (_start_word != NULL) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1510 CMBitMap* mark_bitmap = _cm->nextMarkBitMap(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1511 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1512 // this means that the bitmap was set up for the GCLab |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1513 assert(_real_start_word != NULL && _real_end_word != NULL, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1514 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1515 mark_bitmap->mostly_disjoint_range_union(this, |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1516 0, // always start from the start of the bitmap |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1517 _start_word, |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1518 gclab_real_word_size()); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1519 _cm->grayRegionIfNecessary(MemRegion(_real_start_word, _real_end_word)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1520 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1521 #ifndef PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1522 if (use_local_bitmaps && verify_local_bitmaps) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1523 verify(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1524 #endif // PRODUCT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1525 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1526 assert(_real_start_word == NULL && _real_end_word == NULL, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1527 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1528 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1529 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1530 size_t bitmap_size_in_words() const { |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1531 return (bitmap_size_in_bits(gclab_word_size()) + BitsPerWord - 1) / BitsPerWord; |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1532 } |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1533 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1534 }; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1535 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1536 class G1ParGCAllocBuffer: public ParGCAllocBuffer { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1537 private: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1538 bool _retired; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1539 bool _during_marking; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1540 GCLabBitMap _bitmap; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1541 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1542 public: |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1543 G1ParGCAllocBuffer(size_t gclab_word_size) : |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1544 ParGCAllocBuffer(gclab_word_size), |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1545 _during_marking(G1CollectedHeap::heap()->mark_in_progress()), |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1546 _bitmap(G1CollectedHeap::heap()->reserved_region().start(), gclab_word_size), |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1547 _retired(false) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1548 { } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1549 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1550 inline bool mark(HeapWord* addr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1551 guarantee(use_local_bitmaps, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1552 assert(_during_marking, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1553 return _bitmap.mark(addr); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1554 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1555 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1556 inline void set_buf(HeapWord* buf) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1557 if (use_local_bitmaps && _during_marking) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1558 _bitmap.set_buffer(buf); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1559 ParGCAllocBuffer::set_buf(buf); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1560 _retired = false; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1561 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1562 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1563 inline void retire(bool end_of_gc, bool retain) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1564 if (_retired) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1565 return; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1566 if (use_local_bitmaps && _during_marking) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1567 _bitmap.retire(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1568 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1569 ParGCAllocBuffer::retire(end_of_gc, retain); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1570 _retired = true; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1571 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1572 }; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1573 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1574 class G1ParScanThreadState : public StackObj { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1575 protected: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1576 G1CollectedHeap* _g1h; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1577 RefToScanQueue* _refs; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1578 DirtyCardQueue _dcq; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1579 CardTableModRefBS* _ct_bs; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1580 G1RemSet* _g1_rem; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1581 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1582 typedef GrowableArray<StarTask> OverflowQueue; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1583 OverflowQueue* _overflowed_refs; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1584 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1585 G1ParGCAllocBuffer _surviving_alloc_buffer; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1586 G1ParGCAllocBuffer _tenured_alloc_buffer; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1587 G1ParGCAllocBuffer* _alloc_buffers[GCAllocPurposeCount]; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1588 ageTable _age_table; |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1589 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1590 size_t _alloc_buffer_waste; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1591 size_t _undo_waste; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1592 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1593 OopsInHeapRegionClosure* _evac_failure_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1594 G1ParScanHeapEvacClosure* _evac_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1595 G1ParScanPartialArrayClosure* _partial_scan_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1596 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1597 int _hash_seed; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1598 int _queue_num; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1599 |
1611 | 1600 size_t _term_attempts; |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1601 #if G1_DETAILED_STATS |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1602 int _pushes, _pops, _steals, _steal_attempts; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1603 int _overflow_pushes; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1604 #endif |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1605 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1606 double _start; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1607 double _start_strong_roots; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1608 double _strong_roots_time; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1609 double _start_term; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1610 double _term_time; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1611 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1612 // Map from young-age-index (0 == not young, 1 is youngest) to |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1613 // surviving words. base is what we get back from the malloc call |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1614 size_t* _surviving_young_words_base; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1615 // this points into the array, as we use the first few entries for padding |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1616 size_t* _surviving_young_words; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1617 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1618 #define PADDING_ELEM_NUM (64 / sizeof(size_t)) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1619 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1620 void add_to_alloc_buffer_waste(size_t waste) { _alloc_buffer_waste += waste; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1621 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1622 void add_to_undo_waste(size_t waste) { _undo_waste += waste; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1623 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1624 DirtyCardQueue& dirty_card_queue() { return _dcq; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1625 CardTableModRefBS* ctbs() { return _ct_bs; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1626 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1627 template <class T> void immediate_rs_update(HeapRegion* from, T* p, int tid) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1628 if (!from->is_survivor()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1629 _g1_rem->par_write_ref(from, p, tid); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1630 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1631 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1632 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1633 template <class T> void deferred_rs_update(HeapRegion* from, T* p, int tid) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1634 // If the new value of the field points to the same region or |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1635 // is the to-space, we don't need to include it in the Rset updates. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1636 if (!from->is_in_reserved(oopDesc::load_decode_heap_oop(p)) && !from->is_survivor()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1637 size_t card_index = ctbs()->index_for(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1638 // If the card hasn't been added to the buffer, do it. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1639 if (ctbs()->mark_card_deferred(card_index)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1640 dirty_card_queue().enqueue((jbyte*)ctbs()->byte_for_index(card_index)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1641 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1642 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1643 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1644 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1645 public: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1646 G1ParScanThreadState(G1CollectedHeap* g1h, int queue_num); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1647 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1648 ~G1ParScanThreadState() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1649 FREE_C_HEAP_ARRAY(size_t, _surviving_young_words_base); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1650 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1651 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1652 RefToScanQueue* refs() { return _refs; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1653 OverflowQueue* overflowed_refs() { return _overflowed_refs; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1654 ageTable* age_table() { return &_age_table; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1655 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1656 G1ParGCAllocBuffer* alloc_buffer(GCAllocPurpose purpose) { |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1657 return _alloc_buffers[purpose]; |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1658 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1659 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1660 size_t alloc_buffer_waste() { return _alloc_buffer_waste; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1661 size_t undo_waste() { return _undo_waste; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1662 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1663 template <class T> void push_on_queue(T* ref) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1664 assert(ref != NULL, "invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1665 assert(has_partial_array_mask(ref) || |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1666 _g1h->is_in_g1_reserved(oopDesc::load_decode_heap_oop(ref)), "invariant"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1667 #ifdef ASSERT |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1668 if (has_partial_array_mask(ref)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1669 oop p = clear_partial_array_mask(ref); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1670 // Verify that we point into the CS |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1671 assert(_g1h->obj_in_cs(p), "Should be in CS"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1672 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1673 #endif |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1674 if (!refs()->push(ref)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1675 overflowed_refs()->push(ref); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1676 IF_G1_DETAILED_STATS(note_overflow_push()); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1677 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1678 IF_G1_DETAILED_STATS(note_push()); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1679 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1680 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1681 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1682 void pop_from_queue(StarTask& ref) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1683 if (refs()->pop_local(ref)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1684 assert((oop*)ref != NULL, "pop_local() returned true"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1685 assert(UseCompressedOops || !ref.is_narrow(), "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1686 assert(has_partial_array_mask((oop*)ref) || |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1687 _g1h->is_in_g1_reserved(ref.is_narrow() ? oopDesc::load_decode_heap_oop((narrowOop*)ref) |
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1688 : oopDesc::load_decode_heap_oop((oop*)ref)), |
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1689 "invariant"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1690 IF_G1_DETAILED_STATS(note_pop()); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1691 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1692 StarTask null_task; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1693 ref = null_task; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1694 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1695 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1696 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1697 void pop_from_overflow_queue(StarTask& ref) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1698 StarTask new_ref = overflowed_refs()->pop(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1699 assert((oop*)new_ref != NULL, "pop() from a local non-empty stack"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1700 assert(UseCompressedOops || !new_ref.is_narrow(), "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1701 assert(has_partial_array_mask((oop*)new_ref) || |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1702 _g1h->is_in_g1_reserved(new_ref.is_narrow() ? oopDesc::load_decode_heap_oop((narrowOop*)new_ref) |
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1703 : oopDesc::load_decode_heap_oop((oop*)new_ref)), |
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1704 "invariant"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1705 ref = new_ref; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1706 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1707 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1708 int refs_to_scan() { return refs()->size(); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1709 int overflowed_refs_to_scan() { return overflowed_refs()->length(); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1710 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1711 template <class T> void update_rs(HeapRegion* from, T* p, int tid) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1712 if (G1DeferredRSUpdate) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1713 deferred_rs_update(from, p, tid); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1714 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1715 immediate_rs_update(from, p, tid); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1716 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1717 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1718 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1719 HeapWord* allocate_slow(GCAllocPurpose purpose, size_t word_sz) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1720 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1721 HeapWord* obj = NULL; |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1722 size_t gclab_word_size = _g1h->desired_plab_sz(purpose); |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1723 if (word_sz * 100 < gclab_word_size * ParallelGCBufferWastePct) { |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1724 G1ParGCAllocBuffer* alloc_buf = alloc_buffer(purpose); |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1725 assert(gclab_word_size == alloc_buf->word_sz(), |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1726 "dynamic resizing is not supported"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1727 add_to_alloc_buffer_waste(alloc_buf->words_remaining()); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1728 alloc_buf->retire(false, false); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1729 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1730 HeapWord* buf = _g1h->par_allocate_during_gc(purpose, gclab_word_size); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1731 if (buf == NULL) return NULL; // Let caller handle allocation failure. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1732 // Otherwise. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1733 alloc_buf->set_buf(buf); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1734 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1735 obj = alloc_buf->allocate(word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1736 assert(obj != NULL, "buffer was definitely big enough..."); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1737 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1738 obj = _g1h->par_allocate_during_gc(purpose, word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1739 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1740 return obj; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1741 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1742 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1743 HeapWord* allocate(GCAllocPurpose purpose, size_t word_sz) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1744 HeapWord* obj = alloc_buffer(purpose)->allocate(word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1745 if (obj != NULL) return obj; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1746 return allocate_slow(purpose, word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1747 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1748 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1749 void undo_allocation(GCAllocPurpose purpose, HeapWord* obj, size_t word_sz) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1750 if (alloc_buffer(purpose)->contains(obj)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1751 assert(alloc_buffer(purpose)->contains(obj + word_sz - 1), |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1752 "should contain whole object"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1753 alloc_buffer(purpose)->undo_allocation(obj, word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1754 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1755 CollectedHeap::fill_with_object(obj, word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1756 add_to_undo_waste(word_sz); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1757 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1758 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1759 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1760 void set_evac_failure_closure(OopsInHeapRegionClosure* evac_failure_cl) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1761 _evac_failure_cl = evac_failure_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1762 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1763 OopsInHeapRegionClosure* evac_failure_closure() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1764 return _evac_failure_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1765 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1766 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1767 void set_evac_closure(G1ParScanHeapEvacClosure* evac_cl) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1768 _evac_cl = evac_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1769 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1770 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1771 void set_partial_scan_closure(G1ParScanPartialArrayClosure* partial_scan_cl) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1772 _partial_scan_cl = partial_scan_cl; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1773 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1774 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1775 int* hash_seed() { return &_hash_seed; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1776 int queue_num() { return _queue_num; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1777 |
1611 | 1778 size_t term_attempts() { return _term_attempts; } |
1779 void note_term_attempt() { _term_attempts++; } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1780 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1781 #if G1_DETAILED_STATS |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1782 int pushes() { return _pushes; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1783 int pops() { return _pops; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1784 int steals() { return _steals; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1785 int steal_attempts() { return _steal_attempts; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1786 int overflow_pushes() { return _overflow_pushes; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1787 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1788 void note_push() { _pushes++; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1789 void note_pop() { _pops++; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1790 void note_steal() { _steals++; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1791 void note_steal_attempt() { _steal_attempts++; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1792 void note_overflow_push() { _overflow_pushes++; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1793 #endif |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1794 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1795 void start_strong_roots() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1796 _start_strong_roots = os::elapsedTime(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1797 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1798 void end_strong_roots() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1799 _strong_roots_time += (os::elapsedTime() - _start_strong_roots); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1800 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1801 double strong_roots_time() { return _strong_roots_time; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1802 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1803 void start_term_time() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1804 note_term_attempt(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1805 _start_term = os::elapsedTime(); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1806 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1807 void end_term_time() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1808 _term_time += (os::elapsedTime() - _start_term); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1809 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1810 double term_time() { return _term_time; } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1811 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1812 double elapsed() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1813 return os::elapsedTime() - _start; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1814 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1815 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1816 size_t* surviving_young_words() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1817 // We add on to hide entry 0 which accumulates surviving words for |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1818 // age -1 regions (i.e. non-young ones) |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1819 return _surviving_young_words; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1820 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1821 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1822 void retire_alloc_buffers() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1823 for (int ap = 0; ap < GCAllocPurposeCount; ++ap) { |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1824 size_t waste = _alloc_buffers[ap]->words_remaining(); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1825 add_to_alloc_buffer_waste(waste); |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1313
diff
changeset
|
1826 _alloc_buffers[ap]->retire(true, false); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1827 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1828 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1829 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1830 private: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1831 template <class T> void deal_with_reference(T* ref_to_scan) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1832 if (has_partial_array_mask(ref_to_scan)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1833 _partial_scan_cl->do_oop_nv(ref_to_scan); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1834 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1835 // Note: we can use "raw" versions of "region_containing" because |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1836 // "obj_to_scan" is definitely in the heap, and is not in a |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1837 // humongous region. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1838 HeapRegion* r = _g1h->heap_region_containing_raw(ref_to_scan); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1839 _evac_cl->set_region(r); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1840 _evac_cl->do_oop_nv(ref_to_scan); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1841 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1842 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1843 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1844 public: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1845 void trim_queue() { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1846 // I've replicated the loop twice, first to drain the overflow |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1847 // queue, second to drain the task queue. This is better than |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1848 // having a single loop, which checks both conditions and, inside |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1849 // it, either pops the overflow queue or the task queue, as each |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1850 // loop is tighter. Also, the decision to drain the overflow queue |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1851 // first is not arbitrary, as the overflow queue is not visible |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1852 // to the other workers, whereas the task queue is. So, we want to |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1853 // drain the "invisible" entries first, while allowing the other |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1854 // workers to potentially steal the "visible" entries. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1855 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1856 while (refs_to_scan() > 0 || overflowed_refs_to_scan() > 0) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1857 while (overflowed_refs_to_scan() > 0) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1858 StarTask ref_to_scan; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1859 assert((oop*)ref_to_scan == NULL, "Constructed above"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1860 pop_from_overflow_queue(ref_to_scan); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1861 // We shouldn't have pushed it on the queue if it was not |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1862 // pointing into the CSet. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1863 assert((oop*)ref_to_scan != NULL, "Follows from inner loop invariant"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1864 if (ref_to_scan.is_narrow()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1865 assert(UseCompressedOops, "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1866 narrowOop* p = (narrowOop*)ref_to_scan; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1867 assert(!has_partial_array_mask(p) && |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1868 _g1h->is_in_g1_reserved(oopDesc::load_decode_heap_oop(p)), "sanity"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1869 deal_with_reference(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1870 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1871 oop* p = (oop*)ref_to_scan; |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1872 assert((has_partial_array_mask(p) && _g1h->is_in_g1_reserved(clear_partial_array_mask(p))) || |
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1873 _g1h->is_in_g1_reserved(oopDesc::load_decode_heap_oop(p)), "sanity"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1874 deal_with_reference(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1875 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1876 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1877 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1878 while (refs_to_scan() > 0) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1879 StarTask ref_to_scan; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1880 assert((oop*)ref_to_scan == NULL, "Constructed above"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1881 pop_from_queue(ref_to_scan); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1882 if ((oop*)ref_to_scan != NULL) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1883 if (ref_to_scan.is_narrow()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1884 assert(UseCompressedOops, "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1885 narrowOop* p = (narrowOop*)ref_to_scan; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1886 assert(!has_partial_array_mask(p) && |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1887 _g1h->is_in_g1_reserved(oopDesc::load_decode_heap_oop(p)), "sanity"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1888 deal_with_reference(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1889 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1890 oop* p = (oop*)ref_to_scan; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1891 assert((has_partial_array_mask(p) && _g1h->obj_in_cs(clear_partial_array_mask(p))) || |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1194
diff
changeset
|
1892 _g1h->is_in_g1_reserved(oopDesc::load_decode_heap_oop(p)), "sanity"); |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1893 deal_with_reference(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1894 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1895 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1896 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1897 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1898 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
838
diff
changeset
|
1899 }; |