Mercurial > hg > truffle
annotate src/share/vm/memory/cardTableRS.hpp @ 20304:a22acf6d7598
8048112: G1 Full GC needs to support the case when the very first region is not available
Summary: Refactor preparation for compaction during Full GC so that it lazily initializes the first compaction point. This also avoids problems later when the first region may not be committed. Also reviewed by K. Barrett.
Reviewed-by: brutisso
| author | tschatzl |
|---|---|
| date | Mon, 21 Jul 2014 10:00:31 +0200 |
| parents | bd902affe102 |
| children | 284953caf7aa |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
10271
f9be75d21404
8012902: remove use of global operator new - take 2
minqi
parents:
10135
diff
changeset
|
2 * Copyright (c) 2001, 2013, Oracle and/or its affiliates. All rights reserved. |
| 0 | 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:
356
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
356
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:
356
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_MEMORY_CARDTABLERS_HPP |
| 26 #define SHARE_VM_MEMORY_CARDTABLERS_HPP | |
| 27 | |
| 28 #include "memory/cardTableModRefBS.hpp" | |
| 29 #include "memory/genRemSet.hpp" | |
| 30 #include "memory/memRegion.hpp" | |
| 31 | |
| 0 | 32 class Space; |
| 33 class OopsInGenClosure; | |
| 34 | |
| 35 // This kind of "GenRemSet" uses a card table both as shared data structure | |
| 36 // for a mod ref barrier set and for the rem set information. | |
| 37 | |
| 38 class CardTableRS: public GenRemSet { | |
| 39 friend class VMStructs; | |
| 40 // Below are private classes used in impl. | |
| 41 friend class VerifyCTSpaceClosure; | |
| 42 friend class ClearNoncleanCardWrapper; | |
| 43 | |
| 44 static jbyte clean_card_val() { | |
| 45 return CardTableModRefBS::clean_card; | |
| 46 } | |
| 47 | |
|
5939
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
48 static intptr_t clean_card_row() { |
|
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
49 return CardTableModRefBS::clean_card_row; |
|
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
50 } |
|
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
51 |
| 0 | 52 static bool |
| 53 card_is_dirty_wrt_gen_iter(jbyte cv) { | |
| 54 return CardTableModRefBS::card_is_dirty_wrt_gen_iter(cv); | |
| 55 } | |
| 56 | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
57 CardTableModRefBSForCTRS* _ct_bs; |
| 0 | 58 |
| 59 virtual void younger_refs_in_space_iterate(Space* sp, OopsInGenClosure* cl); | |
| 60 | |
| 61 void verify_space(Space* s, HeapWord* gen_start); | |
| 62 | |
| 63 enum ExtendedCardValue { | |
| 64 youngergen_card = CardTableModRefBS::CT_MR_BS_last_reserved + 1, | |
| 65 // These are for parallel collection. | |
| 66 // There are three P (parallel) youngergen card values. In general, this | |
| 67 // needs to be more than the number of generations (including the perm | |
| 68 // gen) that might have younger_refs_do invoked on them separately. So | |
| 69 // if we add more gens, we have to add more values. | |
| 70 youngergenP1_card = CardTableModRefBS::CT_MR_BS_last_reserved + 2, | |
| 71 youngergenP2_card = CardTableModRefBS::CT_MR_BS_last_reserved + 3, | |
| 72 youngergenP3_card = CardTableModRefBS::CT_MR_BS_last_reserved + 4, | |
| 73 cur_youngergen_and_prev_nonclean_card = | |
| 74 CardTableModRefBS::CT_MR_BS_last_reserved + 5 | |
| 75 }; | |
| 76 | |
| 77 // An array that contains, for each generation, the card table value last | |
| 78 // used as the current value for a younger_refs_do iteration of that | |
| 79 // portion of the table. (The perm gen is index 0; other gens are at | |
| 80 // their level plus 1. They youngest gen is in the table, but will | |
| 81 // always have the value "clean_card".) | |
| 82 jbyte* _last_cur_val_in_gen; | |
| 83 | |
| 84 jbyte _cur_youngergen_card_val; | |
| 85 | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
86 int _regions_to_iterate; |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
87 |
| 0 | 88 jbyte cur_youngergen_card_val() { |
| 89 return _cur_youngergen_card_val; | |
| 90 } | |
| 91 void set_cur_youngergen_card_val(jbyte v) { | |
| 92 _cur_youngergen_card_val = v; | |
| 93 } | |
| 94 bool is_prev_youngergen_card_val(jbyte v) { | |
| 95 return | |
| 96 youngergen_card <= v && | |
| 97 v < cur_youngergen_and_prev_nonclean_card && | |
| 98 v != _cur_youngergen_card_val; | |
| 99 } | |
| 100 // Return a youngergen_card_value that is not currently in use. | |
| 101 jbyte find_unused_youngergenP_card_value(); | |
| 102 | |
| 103 public: | |
| 104 CardTableRS(MemRegion whole_heap, int max_covered_regions); | |
|
10271
f9be75d21404
8012902: remove use of global operator new - take 2
minqi
parents:
10135
diff
changeset
|
105 ~CardTableRS(); |
| 0 | 106 |
| 107 // *** GenRemSet functions. | |
| 108 GenRemSet::Name rs_kind() { return GenRemSet::CardTable; } | |
| 109 | |
| 110 CardTableRS* as_CardTableRS() { return this; } | |
| 111 | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
112 CardTableModRefBS* ct_bs() { return _ct_bs; } |
| 0 | 113 |
| 114 // Override. | |
| 115 void prepare_for_younger_refs_iterate(bool parallel); | |
| 116 | |
| 117 // Card table entries are cleared before application; "blk" is | |
| 118 // responsible for dirtying if the oop is still older-to-younger after | |
| 119 // closure application. | |
| 120 void younger_refs_iterate(Generation* g, OopsInGenClosure* blk); | |
| 121 | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
6
diff
changeset
|
122 void inline_write_ref_field_gc(void* field, oop new_val) { |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
123 jbyte* byte = _ct_bs->byte_for(field); |
| 0 | 124 *byte = youngergen_card; |
| 125 } | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
6
diff
changeset
|
126 void write_ref_field_gc_work(void* field, oop new_val) { |
| 0 | 127 inline_write_ref_field_gc(field, new_val); |
| 128 } | |
| 129 | |
| 130 // Override. Might want to devirtualize this in the same fashion as | |
| 131 // above. Ensures that the value of the card for field says that it's | |
| 132 // a younger card in the current collection. | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
6
diff
changeset
|
133 virtual void write_ref_field_gc_par(void* field, oop new_val); |
| 0 | 134 |
| 135 void resize_covered_region(MemRegion new_region); | |
| 136 | |
| 137 bool is_aligned(HeapWord* addr) { | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
138 return _ct_bs->is_card_aligned(addr); |
| 0 | 139 } |
| 140 | |
| 141 void verify(); | |
|
6
73e96e5c30df
6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents:
0
diff
changeset
|
142 void verify_aligned_region_empty(MemRegion mr); |
| 0 | 143 |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
144 void clear(MemRegion mr) { _ct_bs->clear(mr); } |
|
12033
bd902affe102
8023021: Unnecessary clearing of the card table introduced by the fix for JDK-8023013
brutisso
parents:
12030
diff
changeset
|
145 void clear_into_younger(Generation* old_gen); |
| 0 | 146 |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
147 void invalidate(MemRegion mr, bool whole_heap = false) { |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
148 _ct_bs->invalidate(mr, whole_heap); |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
149 } |
|
12033
bd902affe102
8023021: Unnecessary clearing of the card table introduced by the fix for JDK-8023013
brutisso
parents:
12030
diff
changeset
|
150 void invalidate_or_clear(Generation* old_gen); |
| 0 | 151 |
| 152 static uintx ct_max_alignment_constraint() { | |
| 153 return CardTableModRefBS::ct_max_alignment_constraint(); | |
| 154 } | |
| 155 | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
156 jbyte* byte_for(void* p) { return _ct_bs->byte_for(p); } |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
157 jbyte* byte_after(void* p) { return _ct_bs->byte_after(p); } |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
158 HeapWord* addr_for(jbyte* p) { return _ct_bs->addr_for(p); } |
| 0 | 159 |
| 160 bool is_prev_nonclean_card_val(jbyte v) { | |
| 161 return | |
| 162 youngergen_card <= v && | |
| 163 v <= cur_youngergen_and_prev_nonclean_card && | |
| 164 v != _cur_youngergen_card_val; | |
| 165 } | |
| 166 | |
| 167 static bool youngergen_may_have_been_dirty(jbyte cv) { | |
| 168 return cv == CardTableRS::cur_youngergen_and_prev_nonclean_card; | |
| 169 } | |
| 170 | |
| 171 }; | |
| 1972 | 172 |
|
3287
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
173 class ClearNoncleanCardWrapper: public MemRegionClosure { |
|
3357
fc2b798ab316
6883834: ParNew: assert(!_g->to()->is_in_reserved(obj),"Scanning field twice?") with LargeObjects tests
ysr
parents:
3287
diff
changeset
|
174 DirtyCardToOopClosure* _dirty_card_closure; |
|
3287
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
175 CardTableRS* _ct; |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
176 bool _is_par; |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
177 private: |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
178 // Clears the given card, return true if the corresponding card should be |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
179 // processed. |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
180 inline bool clear_card(jbyte* entry); |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
181 // Work methods called by the clear_card() |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
182 inline bool clear_card_serial(jbyte* entry); |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
183 inline bool clear_card_parallel(jbyte* entry); |
|
5939
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
184 // check alignment of pointer |
|
c7a555a9449a
7068625: Testing 8 bytes of card table entries at a time speeds up card-scanning
brutisso
parents:
3357
diff
changeset
|
185 bool is_word_aligned(jbyte* entry); |
|
3287
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
186 |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
187 public: |
|
3357
fc2b798ab316
6883834: ParNew: assert(!_g->to()->is_in_reserved(obj),"Scanning field twice?") with LargeObjects tests
ysr
parents:
3287
diff
changeset
|
188 ClearNoncleanCardWrapper(DirtyCardToOopClosure* dirty_card_closure, CardTableRS* ct); |
|
3287
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
189 void do_MemRegion(MemRegion mr); |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
190 }; |
|
c48ad6ab8bdf
7037276: Unnecessary double traversal of dirty card windows
ysr
parents:
1972
diff
changeset
|
191 |
| 1972 | 192 #endif // SHARE_VM_MEMORY_CARDTABLERS_HPP |