Mercurial > hg > truffle
annotate src/share/vm/memory/barrierSet.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 | 3205e78d8193 |
| children | 8a9bb7821e28 |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
2 * Copyright (c) 2000, 2012, 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:
1245
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1245
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:
1245
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_MEMORY_BARRIERSET_HPP |
| 26 #define SHARE_VM_MEMORY_BARRIERSET_HPP | |
| 27 | |
| 28 #include "memory/memRegion.hpp" | |
| 29 #include "oops/oopsHierarchy.hpp" | |
| 30 | |
| 0 | 31 // This class provides the interface between a barrier implementation and |
| 32 // the rest of the system. | |
| 33 | |
| 6197 | 34 class BarrierSet: public CHeapObj<mtGC> { |
| 0 | 35 friend class VMStructs; |
| 36 public: | |
| 37 enum Name { | |
| 38 ModRef, | |
| 39 CardTableModRef, | |
| 40 CardTableExtension, | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
41 G1SATBCT, |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
42 G1SATBCTLogging, |
| 0 | 43 Other, |
| 44 Uninit | |
| 45 }; | |
| 46 | |
| 2324 | 47 enum Flags { |
| 48 None = 0, | |
| 49 TargetUninitialized = 1 | |
| 50 }; | |
| 0 | 51 protected: |
| 52 int _max_covered_regions; | |
| 53 Name _kind; | |
| 54 | |
| 55 public: | |
| 56 | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
57 BarrierSet() { _kind = Uninit; } |
| 0 | 58 // To get around prohibition on RTTI. |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
59 BarrierSet::Name kind() { return _kind; } |
| 0 | 60 virtual bool is_a(BarrierSet::Name bsn) = 0; |
| 61 | |
| 62 // These operations indicate what kind of barriers the BarrierSet has. | |
| 63 virtual bool has_read_ref_barrier() = 0; | |
| 64 virtual bool has_read_prim_barrier() = 0; | |
| 65 virtual bool has_write_ref_barrier() = 0; | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
66 virtual bool has_write_ref_pre_barrier() = 0; |
| 0 | 67 virtual bool has_write_prim_barrier() = 0; |
| 68 | |
| 69 // These functions indicate whether a particular access of the given | |
| 70 // kinds requires a barrier. | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
71 virtual bool read_ref_needs_barrier(void* field) = 0; |
| 0 | 72 virtual bool read_prim_needs_barrier(HeapWord* field, size_t bytes) = 0; |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
73 virtual bool write_prim_needs_barrier(HeapWord* field, size_t bytes, |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
74 juint val1, juint val2) = 0; |
| 0 | 75 |
| 76 // The first four operations provide a direct implementation of the | |
| 77 // barrier set. An interpreter loop, for example, could call these | |
| 78 // directly, as appropriate. | |
| 79 | |
| 80 // Invoke the barrier, if any, necessary when reading the given ref field. | |
|
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
81 virtual void read_ref_field(void* field) = 0; |
| 0 | 82 |
| 83 // Invoke the barrier, if any, necessary when reading the given primitive | |
| 84 // "field" of "bytes" bytes in "obj". | |
| 85 virtual void read_prim_field(HeapWord* field, size_t bytes) = 0; | |
| 86 | |
| 87 // Invoke the barrier, if any, necessary when writing "new_val" into the | |
| 88 // ref field at "offset" in "obj". | |
| 89 // (For efficiency reasons, this operation is specialized for certain | |
| 90 // barrier types. Semantically, it should be thought of as a call to the | |
| 91 // virtual "_work" function below, which must implement the barrier.) | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
92 // First the pre-write versions... |
|
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
93 template <class T> inline void write_ref_field_pre(T* field, oop new_val); |
|
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
94 private: |
|
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
95 // Keep this private so as to catch violations at build time. |
|
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
96 virtual void write_ref_field_pre_work( void* field, oop new_val) { guarantee(false, "Not needed"); }; |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
97 protected: |
|
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
98 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:
356
diff
changeset
|
99 virtual void write_ref_field_pre_work(narrowOop* field, oop new_val) {}; |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
100 public: |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
101 |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
102 // ...then the post-write version. |
|
14443
3205e78d8193
8029396: PPC64 (part 212): Several memory ordering fixes in C-code.
goetz
parents:
6725
diff
changeset
|
103 inline void write_ref_field(void* field, oop new_val, bool release = false); |
| 0 | 104 protected: |
|
14443
3205e78d8193
8029396: PPC64 (part 212): Several memory ordering fixes in C-code.
goetz
parents:
6725
diff
changeset
|
105 virtual void write_ref_field_work(void* field, oop new_val, bool release = false) = 0; |
| 0 | 106 public: |
| 107 | |
| 108 // Invoke the barrier, if any, necessary when writing the "bytes"-byte | |
| 109 // value(s) "val1" (and "val2") into the primitive "field". | |
| 110 virtual void write_prim_field(HeapWord* field, size_t bytes, | |
| 111 juint val1, juint val2) = 0; | |
| 112 | |
| 113 // Operations on arrays, or general regions (e.g., for "clone") may be | |
| 114 // optimized by some barriers. | |
| 115 | |
| 116 // The first six operations tell whether such an optimization exists for | |
| 117 // the particular barrier. | |
| 118 virtual bool has_read_ref_array_opt() = 0; | |
| 119 virtual bool has_read_prim_array_opt() = 0; | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
120 virtual bool has_write_ref_array_pre_opt() { return true; } |
| 0 | 121 virtual bool has_write_ref_array_opt() = 0; |
| 122 virtual bool has_write_prim_array_opt() = 0; | |
| 123 | |
| 124 virtual bool has_read_region_opt() = 0; | |
| 125 virtual bool has_write_region_opt() = 0; | |
| 126 | |
| 127 // These operations should assert false unless the correponding operation | |
| 128 // above returns true. Otherwise, they should perform an appropriate | |
| 129 // barrier for an array whose elements are all in the given memory region. | |
| 130 virtual void read_ref_array(MemRegion mr) = 0; | |
| 131 virtual void read_prim_array(MemRegion mr) = 0; | |
| 132 | |
|
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
133 // Below length is the # array elements being written |
| 2324 | 134 virtual void write_ref_array_pre(oop* dst, int length, |
| 135 bool dest_uninitialized = false) {} | |
| 136 virtual void write_ref_array_pre(narrowOop* dst, int length, | |
| 137 bool dest_uninitialized = false) {} | |
|
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
138 // Below count is the # array elements being written, starting |
|
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
139 // at the address "start", which may not necessarily be HeapWord-aligned |
|
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
140 inline void write_ref_array(HeapWord* start, size_t count); |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
141 |
|
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
142 // Static versions, suitable for calling from generated code; |
|
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
143 // count is # array elements being written, starting with "start", |
|
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
144 // which may not necessarily be HeapWord-aligned. |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
145 static void static_write_ref_array_pre(HeapWord* start, size_t count); |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
146 static void static_write_ref_array_post(HeapWord* start, size_t count); |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
147 |
| 0 | 148 protected: |
| 149 virtual void write_ref_array_work(MemRegion mr) = 0; | |
| 150 public: | |
| 151 virtual void write_prim_array(MemRegion mr) = 0; | |
| 152 | |
| 153 virtual void read_region(MemRegion mr) = 0; | |
| 154 | |
| 155 // (For efficiency reasons, this operation is specialized for certain | |
| 156 // barrier types. Semantically, it should be thought of as a call to the | |
| 157 // virtual "_work" function below, which must implement the barrier.) | |
| 158 inline void write_region(MemRegion mr); | |
| 159 protected: | |
| 160 virtual void write_region_work(MemRegion mr) = 0; | |
| 161 public: | |
| 162 | |
| 163 // Some barrier sets create tables whose elements correspond to parts of | |
| 164 // the heap; the CardTableModRefBS is an example. Such barrier sets will | |
| 165 // normally reserve space for such tables, and commit parts of the table | |
| 166 // "covering" parts of the heap that are committed. The constructor is | |
| 167 // passed the maximum number of independently committable subregions to | |
| 168 // be covered, and the "resize_covoered_region" function allows the | |
| 169 // sub-parts of the heap to inform the barrier set of changes of their | |
| 170 // sizes. | |
| 171 BarrierSet(int max_covered_regions) : | |
| 172 _max_covered_regions(max_covered_regions) {} | |
| 173 | |
| 174 // Inform the BarrierSet that the the covered heap region that starts | |
| 175 // with "base" has been changed to have the given size (possibly from 0, | |
| 176 // for initialization.) | |
| 177 virtual void resize_covered_region(MemRegion new_region) = 0; | |
| 178 | |
| 179 // If the barrier set imposes any alignment restrictions on boundaries | |
| 180 // within the heap, this function tells whether they are met. | |
| 181 virtual bool is_aligned(HeapWord* addr) = 0; | |
| 182 | |
| 5984 | 183 // Print a description of the memory for the barrier set |
| 184 virtual void print_on(outputStream* st) const = 0; | |
| 0 | 185 }; |
| 1972 | 186 |
| 187 #endif // SHARE_VM_MEMORY_BARRIERSET_HPP |