Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/g1SATBCardTableModRefBS.hpp @ 20337:1f1d373cd044
8038423: G1: Decommit memory within heap
Summary: Allow G1 to decommit memory of arbitrary regions within the heap and their associated auxiliary data structures card table, BOT, hot card cache, and mark bitmaps.
Reviewed-by: mgerdin, brutisso, jwilhelm
author | tschatzl |
---|---|
date | Thu, 21 Aug 2014 11:47:10 +0200 |
parents | e5035defa3c4 |
children | c02ec279b062 |
rev | line source |
---|---|
342 | 1 /* |
17467
55fb97c4c58d
8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
mikael
parents:
12835
diff
changeset
|
2 * Copyright (c) 2001, 2013, 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:
845
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
845
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:
845
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1SATBCARDTABLEMODREFBS_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_G1SATBCARDTABLEMODREFBS_HPP | |
27 | |
20337 | 28 #include "gc_implementation/g1/g1RegionToSpaceMapper.hpp" |
1972 | 29 #include "memory/cardTableModRefBS.hpp" |
30 #include "memory/memRegion.hpp" | |
31 #include "oops/oop.inline.hpp" | |
8001
db9981fd3124
8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents:
3252
diff
changeset
|
32 #include "utilities/macros.hpp" |
1972 | 33 |
8001
db9981fd3124
8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents:
3252
diff
changeset
|
34 #if INCLUDE_ALL_GCS |
342 | 35 |
36 class DirtyCardQueueSet; | |
20337 | 37 class G1SATBCardTableLoggingModRefBS; |
342 | 38 |
39 // This barrier is specialized to use a logging barrier to support | |
40 // snapshot-at-the-beginning marking. | |
41 | |
42 class G1SATBCardTableModRefBS: public CardTableModRefBSForCTRS { | |
12835
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
43 protected: |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
44 enum G1CardValues { |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
45 g1_young_gen = CT_MR_BS_last_reserved << 1 |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
46 }; |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
47 |
3249
e1162778c1c8
7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents:
2324
diff
changeset
|
48 public: |
12835
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
49 static int g1_young_card_val() { return g1_young_gen; } |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
50 |
342 | 51 // Add "pre_val" to a set of objects that may have been disconnected from the |
52 // pre-marking object graph. | |
53 static void enqueue(oop pre_val); | |
54 | |
55 G1SATBCardTableModRefBS(MemRegion whole_heap, | |
56 int max_covered_regions); | |
57 | |
58 bool is_a(BarrierSet::Name bsn) { | |
59 return bsn == BarrierSet::G1SATBCT || CardTableModRefBS::is_a(bsn); | |
60 } | |
61 | |
62 virtual bool has_write_ref_pre_barrier() { return true; } | |
63 | |
64 // This notes that we don't need to access any BarrierSet data | |
65 // structures, so this can be called from a static context. | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
66 template <class T> static void write_ref_field_pre_static(T* field, oop newVal) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
67 T heap_oop = oopDesc::load_heap_oop(field); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
68 if (!oopDesc::is_null(heap_oop)) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
69 enqueue(oopDesc::decode_heap_oop(heap_oop)); |
342 | 70 } |
71 } | |
72 | |
73 // We export this to make it available in cases where the static | |
74 // type of the barrier set is known. Note that it is non-virtual. | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
75 template <class T> inline void inline_write_ref_field_pre(T* field, oop newVal) { |
342 | 76 write_ref_field_pre_static(field, newVal); |
77 } | |
78 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
79 // These are the more general virtual versions. |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
80 virtual void write_ref_field_pre_work(oop* field, oop new_val) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
81 inline_write_ref_field_pre(field, new_val); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
82 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
83 virtual void write_ref_field_pre_work(narrowOop* field, oop new_val) { |
342 | 84 inline_write_ref_field_pre(field, new_val); |
85 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
86 virtual void write_ref_field_pre_work(void* field, oop new_val) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
87 guarantee(false, "Not needed"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
88 } |
342 | 89 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
90 template <class T> void write_ref_array_pre_work(T* dst, int count); |
20275
e5035defa3c4
8048214: Linker error when compiling G1SATBCardTableModRefBS after include order changes
mgerdin
parents:
17795
diff
changeset
|
91 virtual void write_ref_array_pre(oop* dst, int count, bool dest_uninitialized); |
e5035defa3c4
8048214: Linker error when compiling G1SATBCardTableModRefBS after include order changes
mgerdin
parents:
17795
diff
changeset
|
92 virtual void write_ref_array_pre(narrowOop* dst, int count, bool dest_uninitialized); |
12343 | 93 |
94 /* | |
95 Claimed and deferred bits are used together in G1 during the evacuation | |
96 pause. These bits can have the following state transitions: | |
97 1. The claimed bit can be put over any other card state. Except that | |
98 the "dirty -> dirty and claimed" transition is checked for in | |
99 G1 code and is not used. | |
100 2. Deferred bit can be set only if the previous state of the card | |
101 was either clean or claimed. mark_card_deferred() is wait-free. | |
102 We do not care if the operation is be successful because if | |
103 it does not it will only result in duplicate entry in the update | |
104 buffer because of the "cache-miss". So it's not worth spinning. | |
105 */ | |
106 | |
107 bool is_card_claimed(size_t card_index) { | |
108 jbyte val = _byte_map[card_index]; | |
109 return (val & (clean_card_mask_val() | claimed_card_val())) == claimed_card_val(); | |
110 } | |
111 | |
112 void set_card_claimed(size_t card_index) { | |
113 jbyte val = _byte_map[card_index]; | |
114 if (val == clean_card_val()) { | |
115 val = (jbyte)claimed_card_val(); | |
116 } else { | |
117 val |= (jbyte)claimed_card_val(); | |
118 } | |
119 _byte_map[card_index] = val; | |
120 } | |
121 | |
12835
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
122 void verify_g1_young_region(MemRegion mr) PRODUCT_RETURN; |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
123 void g1_mark_as_young(const MemRegion& mr); |
69944b868a32
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
12343
diff
changeset
|
124 |
12343 | 125 bool mark_card_deferred(size_t card_index); |
126 | |
127 bool is_card_deferred(size_t card_index) { | |
128 jbyte val = _byte_map[card_index]; | |
129 return (val & (clean_card_mask_val() | deferred_card_val())) == deferred_card_val(); | |
130 } | |
20337 | 131 }; |
12343 | 132 |
20337 | 133 class G1SATBCardTableLoggingModRefBSChangedListener : public G1MappingChangedListener { |
134 private: | |
135 G1SATBCardTableLoggingModRefBS* _card_table; | |
136 public: | |
137 G1SATBCardTableLoggingModRefBSChangedListener() : _card_table(NULL) { } | |
138 | |
139 void set_card_table(G1SATBCardTableLoggingModRefBS* card_table) { _card_table = card_table; } | |
140 | |
141 virtual void on_commit(uint start_idx, size_t num_regions); | |
342 | 142 }; |
143 | |
144 // Adds card-table logging to the post-barrier. | |
145 // Usual invariant: all dirty cards are logged in the DirtyCardQueueSet. | |
146 class G1SATBCardTableLoggingModRefBS: public G1SATBCardTableModRefBS { | |
20337 | 147 friend class G1SATBCardTableLoggingModRefBSChangedListener; |
342 | 148 private: |
20337 | 149 G1SATBCardTableLoggingModRefBSChangedListener _listener; |
342 | 150 DirtyCardQueueSet& _dcqs; |
151 public: | |
20337 | 152 static size_t compute_size(size_t mem_region_size_in_words) { |
153 size_t number_of_slots = (mem_region_size_in_words / card_size_in_words); | |
154 return ReservedSpace::allocation_align_size_up(number_of_slots); | |
155 } | |
156 | |
342 | 157 G1SATBCardTableLoggingModRefBS(MemRegion whole_heap, |
158 int max_covered_regions); | |
159 | |
20337 | 160 virtual void initialize() { } |
161 virtual void initialize(G1RegionToSpaceMapper* mapper); | |
162 | |
163 virtual void resize_covered_region(MemRegion new_region) { ShouldNotReachHere(); } | |
164 | |
342 | 165 bool is_a(BarrierSet::Name bsn) { |
166 return bsn == BarrierSet::G1SATBCTLogging || | |
167 G1SATBCardTableModRefBS::is_a(bsn); | |
168 } | |
169 | |
14443
3205e78d8193
8029396: PPC64 (part 212): Several memory ordering fixes in C-code.
goetz
parents:
12835
diff
changeset
|
170 void write_ref_field_work(void* field, oop new_val, bool release = false); |
342 | 171 |
172 // Can be called from static contexts. | |
173 static void write_ref_field_static(void* field, oop new_val); | |
174 | |
175 // NB: if you do a whole-heap invalidation, the "usual invariant" defined | |
176 // above no longer applies. | |
177 void invalidate(MemRegion mr, bool whole_heap = false); | |
178 | |
179 void write_region_work(MemRegion mr) { invalidate(mr); } | |
180 void write_ref_array_work(MemRegion mr) { invalidate(mr); } | |
181 }; | |
182 | |
183 | |
8001
db9981fd3124
8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents:
3252
diff
changeset
|
184 #endif // INCLUDE_ALL_GCS |
1972 | 185 |
186 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1SATBCARDTABLEMODREFBS_HPP |