annotate src/share/vm/gc_implementation/parallelScavenge/parMarkBitMap.hpp @ 17937:78bbf4d43a14

8037816: Fix for 8036122 breaks build with Xcode5/clang 8043029: Change 8037816 breaks HS build with older GCC versions which don't support diagnostic pragmas 8043164: Format warning in traceStream.hpp Summary: Backport of main fix + two corrections, enables clang compilation, turns on format attributes, corrects/mutes warnings Reviewed-by: kvn, coleenp, iveresov, twisti
author drchase
date Thu, 22 May 2014 15:52:41 -0400
parents 10f759898d40
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 10329
diff changeset
2 * Copyright (c) 2005, 2014, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 844
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 844
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: 844
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARMARKBITMAP_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARMARKBITMAP_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
1983
c760f78e0a53 7003125: precompiled.hpp is included when precompiled headers are not used
stefank
parents: 1972
diff changeset
28 #include "memory/memRegion.hpp"
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
29 #include "oops/oop.hpp"
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
30 #include "utilities/bitMap.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32 class ParMarkBitMapClosure;
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
33 class PSVirtualSpace;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
34
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1983
diff changeset
35 class ParMarkBitMap: public CHeapObj<mtGC>
0
a61af66fc99e Initial load
duke
parents:
diff changeset
36 {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
38 typedef BitMap::idx_t idx_t;
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // Values returned by the iterate() methods.
a61af66fc99e Initial load
duke
parents:
diff changeset
41 enum IterationStatus { incomplete, complete, full, would_overflow };
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 inline ParMarkBitMap();
a61af66fc99e Initial load
duke
parents:
diff changeset
44 bool initialize(MemRegion covered_region);
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // Atomically mark an object as live.
a61af66fc99e Initial load
duke
parents:
diff changeset
47 bool mark_obj(HeapWord* addr, size_t size);
a61af66fc99e Initial load
duke
parents:
diff changeset
48 inline bool mark_obj(oop obj, int size);
a61af66fc99e Initial load
duke
parents:
diff changeset
49
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Return whether the specified begin or end bit is set.
a61af66fc99e Initial load
duke
parents:
diff changeset
51 inline bool is_obj_beg(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
52 inline bool is_obj_end(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // Traditional interface for testing whether an object is marked or not (these
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // test only the begin bits).
a61af66fc99e Initial load
duke
parents:
diff changeset
56 inline bool is_marked(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
57 inline bool is_marked(HeapWord* addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
58 inline bool is_marked(oop obj) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
59
a61af66fc99e Initial load
duke
parents:
diff changeset
60 inline bool is_unmarked(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
61 inline bool is_unmarked(HeapWord* addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
62 inline bool is_unmarked(oop obj) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // Convert sizes from bits to HeapWords and back. An object that is n bits
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // long will be bits_to_words(n) words long. An object that is m words long
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // will take up words_to_bits(m) bits in the bitmap.
a61af66fc99e Initial load
duke
parents:
diff changeset
67 inline static size_t bits_to_words(idx_t bits);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 inline static idx_t words_to_bits(size_t words);
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 // Return the size in words of an object given a begin bit and an end bit, or
a61af66fc99e Initial load
duke
parents:
diff changeset
71 // the equivalent beg_addr and end_addr.
a61af66fc99e Initial load
duke
parents:
diff changeset
72 inline size_t obj_size(idx_t beg_bit, idx_t end_bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
73 inline size_t obj_size(HeapWord* beg_addr, HeapWord* end_addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Return the size in words of the object (a search is done for the end bit).
a61af66fc99e Initial load
duke
parents:
diff changeset
76 inline size_t obj_size(idx_t beg_bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 inline size_t obj_size(HeapWord* addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // Apply live_closure to each live object that lies completely within the
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // range [live_range_beg, live_range_end). This is used to iterate over the
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // compacted region of the heap. Return values:
a61af66fc99e Initial load
duke
parents:
diff changeset
82 //
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // incomplete The iteration is not complete. The last object that
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // begins in the range does not end in the range;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // closure->source() is set to the start of that object.
a61af66fc99e Initial load
duke
parents:
diff changeset
86 //
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // complete The iteration is complete. All objects in the range
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // were processed and the closure is not full;
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // closure->source() is set one past the end of the range.
a61af66fc99e Initial load
duke
parents:
diff changeset
90 //
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // full The closure is full; closure->source() is set to one
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // past the end of the last object processed.
a61af66fc99e Initial load
duke
parents:
diff changeset
93 //
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // would_overflow The next object in the range would overflow the closure;
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // closure->source() is set to the start of that object.
a61af66fc99e Initial load
duke
parents:
diff changeset
96 IterationStatus iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
97 idx_t range_beg, idx_t range_end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
98 inline IterationStatus iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
99 HeapWord* range_beg,
a61af66fc99e Initial load
duke
parents:
diff changeset
100 HeapWord* range_end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // Apply live closure as above and additionally apply dead_closure to all dead
a61af66fc99e Initial load
duke
parents:
diff changeset
103 // space in the range [range_beg, dead_range_end). Note that dead_range_end
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // must be >= range_end. This is used to iterate over the dense prefix.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 //
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // This method assumes that if the first bit in the range (range_beg) is not
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // marked, then dead space begins at that point and the dead_closure is
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // applied. Thus callers must ensure that range_beg is not in the middle of a
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // live object.
a61af66fc99e Initial load
duke
parents:
diff changeset
110 IterationStatus iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
111 ParMarkBitMapClosure* dead_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
112 idx_t range_beg, idx_t range_end,
a61af66fc99e Initial load
duke
parents:
diff changeset
113 idx_t dead_range_end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
114 inline IterationStatus iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
115 ParMarkBitMapClosure* dead_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
116 HeapWord* range_beg,
a61af66fc99e Initial load
duke
parents:
diff changeset
117 HeapWord* range_end,
a61af66fc99e Initial load
duke
parents:
diff changeset
118 HeapWord* dead_range_end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
119
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
120 // Return the number of live words in the range [beg_addr, end_obj) due to
0
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // objects that start in the range. If a live object extends onto the range,
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // the caller must detect and account for any live words due to that object.
a61af66fc99e Initial load
duke
parents:
diff changeset
123 // If a live object extends beyond the end of the range, only the words within
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
124 // the range are included in the result. The end of the range must be a live object,
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
125 // which is the case when updating pointers. This allows a branch to be removed
0
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // from inside the loop.
a61af66fc99e Initial load
duke
parents:
diff changeset
127 size_t live_words_in_range(HeapWord* beg_addr, oop end_obj) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
128
a61af66fc99e Initial load
duke
parents:
diff changeset
129 inline HeapWord* region_start() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
130 inline HeapWord* region_end() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
131 inline size_t region_size() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
132 inline size_t size() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
133
10329
10f759898d40 7186737: Unable to allocate bit maps or card tables for parallel gc for the requested heap
tamao
parents: 10285
diff changeset
134 size_t reserved_byte_size() const { return _reserved_byte_size; }
10f759898d40 7186737: Unable to allocate bit maps or card tables for parallel gc for the requested heap
tamao
parents: 10285
diff changeset
135
0
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // Convert a heap address to/from a bit index.
a61af66fc99e Initial load
duke
parents:
diff changeset
137 inline idx_t addr_to_bit(HeapWord* addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
138 inline HeapWord* bit_to_addr(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 // Return the bit index of the first marked object that begins (or ends,
a61af66fc99e Initial load
duke
parents:
diff changeset
141 // respectively) in the range [beg, end). If no object is found, return end.
a61af66fc99e Initial load
duke
parents:
diff changeset
142 inline idx_t find_obj_beg(idx_t beg, idx_t end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
143 inline idx_t find_obj_end(idx_t beg, idx_t end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 inline HeapWord* find_obj_beg(HeapWord* beg, HeapWord* end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
146 inline HeapWord* find_obj_end(HeapWord* beg, HeapWord* end) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
147
a61af66fc99e Initial load
duke
parents:
diff changeset
148 // Clear a range of bits or the entire bitmap (both begin and end bits are
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // cleared).
a61af66fc99e Initial load
duke
parents:
diff changeset
150 inline void clear_range(idx_t beg, idx_t end);
a61af66fc99e Initial load
duke
parents:
diff changeset
151
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // Return the number of bits required to represent the specified number of
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // HeapWords, or the specified region.
a61af66fc99e Initial load
duke
parents:
diff changeset
154 static inline idx_t bits_required(size_t words);
a61af66fc99e Initial load
duke
parents:
diff changeset
155 static inline idx_t bits_required(MemRegion covered_region);
a61af66fc99e Initial load
duke
parents:
diff changeset
156
9076
7b835924c31c 8011872: Include Bit Map addresses in the hs_err files
stefank
parents: 6842
diff changeset
157 void print_on_error(outputStream* st) const {
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 10329
diff changeset
158 st->print_cr("Marking Bits: (ParMarkBitMap*) " PTR_FORMAT, p2i(this));
9076
7b835924c31c 8011872: Include Bit Map addresses in the hs_err files
stefank
parents: 6842
diff changeset
159 _beg_bits.print_on_error(st, " Begin Bits: ");
7b835924c31c 8011872: Include Bit Map addresses in the hs_err files
stefank
parents: 6842
diff changeset
160 _end_bits.print_on_error(st, " End Bits: ");
7b835924c31c 8011872: Include Bit Map addresses in the hs_err files
stefank
parents: 6842
diff changeset
161 }
7b835924c31c 8011872: Include Bit Map addresses in the hs_err files
stefank
parents: 6842
diff changeset
162
0
a61af66fc99e Initial load
duke
parents:
diff changeset
163 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
164 void verify_clear() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
165 inline void verify_bit(idx_t bit) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
166 inline void verify_addr(HeapWord* addr) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
167 #endif // #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
168
a61af66fc99e Initial load
duke
parents:
diff changeset
169 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // Each bit in the bitmap represents one unit of 'object granularity.' Objects
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // are double-word aligned in 32-bit VMs, but not in 64-bit VMs, so the 32-bit
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // granularity is 2, 64-bit is 1.
a61af66fc99e Initial load
duke
parents:
diff changeset
173 static inline size_t obj_granularity() { return size_t(MinObjAlignment); }
808
353ba4575581 6814552: par compact - some compilers fail to optimize bitmap code
jcoomes
parents: 342
diff changeset
174 static inline int obj_granularity_shift() { return LogMinObjAlignment; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
175
a61af66fc99e Initial load
duke
parents:
diff changeset
176 HeapWord* _region_start;
a61af66fc99e Initial load
duke
parents:
diff changeset
177 size_t _region_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
178 BitMap _beg_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
179 BitMap _end_bits;
a61af66fc99e Initial load
duke
parents:
diff changeset
180 PSVirtualSpace* _virtual_space;
10329
10f759898d40 7186737: Unable to allocate bit maps or card tables for parallel gc for the requested heap
tamao
parents: 10285
diff changeset
181 size_t _reserved_byte_size;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
182 };
a61af66fc99e Initial load
duke
parents:
diff changeset
183
a61af66fc99e Initial load
duke
parents:
diff changeset
184 inline ParMarkBitMap::ParMarkBitMap():
10329
10f759898d40 7186737: Unable to allocate bit maps or card tables for parallel gc for the requested heap
tamao
parents: 10285
diff changeset
185 _beg_bits(), _end_bits(), _region_start(NULL), _region_size(0), _virtual_space(NULL), _reserved_byte_size(0)
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
186 { }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
187
a61af66fc99e Initial load
duke
parents:
diff changeset
188 inline void ParMarkBitMap::clear_range(idx_t beg, idx_t end)
a61af66fc99e Initial load
duke
parents:
diff changeset
189 {
a61af66fc99e Initial load
duke
parents:
diff changeset
190 _beg_bits.clear_range(beg, end);
a61af66fc99e Initial load
duke
parents:
diff changeset
191 _end_bits.clear_range(beg, end);
a61af66fc99e Initial load
duke
parents:
diff changeset
192 }
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 inline ParMarkBitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
195 ParMarkBitMap::bits_required(size_t words)
a61af66fc99e Initial load
duke
parents:
diff changeset
196 {
a61af66fc99e Initial load
duke
parents:
diff changeset
197 // Need two bits (one begin bit, one end bit) for each unit of 'object
a61af66fc99e Initial load
duke
parents:
diff changeset
198 // granularity' in the heap.
a61af66fc99e Initial load
duke
parents:
diff changeset
199 return words_to_bits(words * 2);
a61af66fc99e Initial load
duke
parents:
diff changeset
200 }
a61af66fc99e Initial load
duke
parents:
diff changeset
201
a61af66fc99e Initial load
duke
parents:
diff changeset
202 inline ParMarkBitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
203 ParMarkBitMap::bits_required(MemRegion covered_region)
a61af66fc99e Initial load
duke
parents:
diff changeset
204 {
a61af66fc99e Initial load
duke
parents:
diff changeset
205 return bits_required(covered_region.word_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
206 }
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208 inline HeapWord*
a61af66fc99e Initial load
duke
parents:
diff changeset
209 ParMarkBitMap::region_start() const
a61af66fc99e Initial load
duke
parents:
diff changeset
210 {
a61af66fc99e Initial load
duke
parents:
diff changeset
211 return _region_start;
a61af66fc99e Initial load
duke
parents:
diff changeset
212 }
a61af66fc99e Initial load
duke
parents:
diff changeset
213
a61af66fc99e Initial load
duke
parents:
diff changeset
214 inline HeapWord*
a61af66fc99e Initial load
duke
parents:
diff changeset
215 ParMarkBitMap::region_end() const
a61af66fc99e Initial load
duke
parents:
diff changeset
216 {
a61af66fc99e Initial load
duke
parents:
diff changeset
217 return region_start() + region_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
218 }
a61af66fc99e Initial load
duke
parents:
diff changeset
219
a61af66fc99e Initial load
duke
parents:
diff changeset
220 inline size_t
a61af66fc99e Initial load
duke
parents:
diff changeset
221 ParMarkBitMap::region_size() const
a61af66fc99e Initial load
duke
parents:
diff changeset
222 {
a61af66fc99e Initial load
duke
parents:
diff changeset
223 return _region_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
224 }
a61af66fc99e Initial load
duke
parents:
diff changeset
225
a61af66fc99e Initial load
duke
parents:
diff changeset
226 inline size_t
a61af66fc99e Initial load
duke
parents:
diff changeset
227 ParMarkBitMap::size() const
a61af66fc99e Initial load
duke
parents:
diff changeset
228 {
a61af66fc99e Initial load
duke
parents:
diff changeset
229 return _beg_bits.size();
a61af66fc99e Initial load
duke
parents:
diff changeset
230 }
a61af66fc99e Initial load
duke
parents:
diff changeset
231
a61af66fc99e Initial load
duke
parents:
diff changeset
232 inline bool ParMarkBitMap::is_obj_beg(idx_t bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
233 {
a61af66fc99e Initial load
duke
parents:
diff changeset
234 return _beg_bits.at(bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 inline bool ParMarkBitMap::is_obj_end(idx_t bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
238 {
a61af66fc99e Initial load
duke
parents:
diff changeset
239 return _end_bits.at(bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
240 }
a61af66fc99e Initial load
duke
parents:
diff changeset
241
a61af66fc99e Initial load
duke
parents:
diff changeset
242 inline bool ParMarkBitMap::is_marked(idx_t bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
243 {
a61af66fc99e Initial load
duke
parents:
diff changeset
244 return is_obj_beg(bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
245 }
a61af66fc99e Initial load
duke
parents:
diff changeset
246
a61af66fc99e Initial load
duke
parents:
diff changeset
247 inline bool ParMarkBitMap::is_marked(HeapWord* addr) const
a61af66fc99e Initial load
duke
parents:
diff changeset
248 {
a61af66fc99e Initial load
duke
parents:
diff changeset
249 return is_marked(addr_to_bit(addr));
a61af66fc99e Initial load
duke
parents:
diff changeset
250 }
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252 inline bool ParMarkBitMap::is_marked(oop obj) const
a61af66fc99e Initial load
duke
parents:
diff changeset
253 {
a61af66fc99e Initial load
duke
parents:
diff changeset
254 return is_marked((HeapWord*)obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
255 }
a61af66fc99e Initial load
duke
parents:
diff changeset
256
a61af66fc99e Initial load
duke
parents:
diff changeset
257 inline bool ParMarkBitMap::is_unmarked(idx_t bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
258 {
a61af66fc99e Initial load
duke
parents:
diff changeset
259 return !is_marked(bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
260 }
a61af66fc99e Initial load
duke
parents:
diff changeset
261
a61af66fc99e Initial load
duke
parents:
diff changeset
262 inline bool ParMarkBitMap::is_unmarked(HeapWord* addr) const
a61af66fc99e Initial load
duke
parents:
diff changeset
263 {
a61af66fc99e Initial load
duke
parents:
diff changeset
264 return !is_marked(addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
265 }
a61af66fc99e Initial load
duke
parents:
diff changeset
266
a61af66fc99e Initial load
duke
parents:
diff changeset
267 inline bool ParMarkBitMap::is_unmarked(oop obj) const
a61af66fc99e Initial load
duke
parents:
diff changeset
268 {
a61af66fc99e Initial load
duke
parents:
diff changeset
269 return !is_marked(obj);
a61af66fc99e Initial load
duke
parents:
diff changeset
270 }
a61af66fc99e Initial load
duke
parents:
diff changeset
271
a61af66fc99e Initial load
duke
parents:
diff changeset
272 inline size_t
a61af66fc99e Initial load
duke
parents:
diff changeset
273 ParMarkBitMap::bits_to_words(idx_t bits)
a61af66fc99e Initial load
duke
parents:
diff changeset
274 {
808
353ba4575581 6814552: par compact - some compilers fail to optimize bitmap code
jcoomes
parents: 342
diff changeset
275 return bits << obj_granularity_shift();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
276 }
a61af66fc99e Initial load
duke
parents:
diff changeset
277
a61af66fc99e Initial load
duke
parents:
diff changeset
278 inline ParMarkBitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
279 ParMarkBitMap::words_to_bits(size_t words)
a61af66fc99e Initial load
duke
parents:
diff changeset
280 {
808
353ba4575581 6814552: par compact - some compilers fail to optimize bitmap code
jcoomes
parents: 342
diff changeset
281 return words >> obj_granularity_shift();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
282 }
a61af66fc99e Initial load
duke
parents:
diff changeset
283
a61af66fc99e Initial load
duke
parents:
diff changeset
284 inline size_t ParMarkBitMap::obj_size(idx_t beg_bit, idx_t end_bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
285 {
a61af66fc99e Initial load
duke
parents:
diff changeset
286 DEBUG_ONLY(verify_bit(beg_bit);)
a61af66fc99e Initial load
duke
parents:
diff changeset
287 DEBUG_ONLY(verify_bit(end_bit);)
a61af66fc99e Initial load
duke
parents:
diff changeset
288 return bits_to_words(end_bit - beg_bit + 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
289 }
a61af66fc99e Initial load
duke
parents:
diff changeset
290
a61af66fc99e Initial load
duke
parents:
diff changeset
291 inline size_t
a61af66fc99e Initial load
duke
parents:
diff changeset
292 ParMarkBitMap::obj_size(HeapWord* beg_addr, HeapWord* end_addr) const
a61af66fc99e Initial load
duke
parents:
diff changeset
293 {
a61af66fc99e Initial load
duke
parents:
diff changeset
294 DEBUG_ONLY(verify_addr(beg_addr);)
a61af66fc99e Initial load
duke
parents:
diff changeset
295 DEBUG_ONLY(verify_addr(end_addr);)
a61af66fc99e Initial load
duke
parents:
diff changeset
296 return pointer_delta(end_addr, beg_addr) + obj_granularity();
a61af66fc99e Initial load
duke
parents:
diff changeset
297 }
a61af66fc99e Initial load
duke
parents:
diff changeset
298
a61af66fc99e Initial load
duke
parents:
diff changeset
299 inline size_t ParMarkBitMap::obj_size(idx_t beg_bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
300 {
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
301 const idx_t end_bit = _end_bits.get_next_one_offset_inline(beg_bit, size());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
302 assert(is_marked(beg_bit), "obj not marked");
a61af66fc99e Initial load
duke
parents:
diff changeset
303 assert(end_bit < size(), "end bit missing");
a61af66fc99e Initial load
duke
parents:
diff changeset
304 return obj_size(beg_bit, end_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
305 }
a61af66fc99e Initial load
duke
parents:
diff changeset
306
a61af66fc99e Initial load
duke
parents:
diff changeset
307 inline size_t ParMarkBitMap::obj_size(HeapWord* addr) const
a61af66fc99e Initial load
duke
parents:
diff changeset
308 {
a61af66fc99e Initial load
duke
parents:
diff changeset
309 return obj_size(addr_to_bit(addr));
a61af66fc99e Initial load
duke
parents:
diff changeset
310 }
a61af66fc99e Initial load
duke
parents:
diff changeset
311
a61af66fc99e Initial load
duke
parents:
diff changeset
312 inline ParMarkBitMap::IterationStatus
a61af66fc99e Initial load
duke
parents:
diff changeset
313 ParMarkBitMap::iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
314 HeapWord* range_beg,
a61af66fc99e Initial load
duke
parents:
diff changeset
315 HeapWord* range_end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
316 {
a61af66fc99e Initial load
duke
parents:
diff changeset
317 return iterate(live_closure, addr_to_bit(range_beg), addr_to_bit(range_end));
a61af66fc99e Initial load
duke
parents:
diff changeset
318 }
a61af66fc99e Initial load
duke
parents:
diff changeset
319
a61af66fc99e Initial load
duke
parents:
diff changeset
320 inline ParMarkBitMap::IterationStatus
a61af66fc99e Initial load
duke
parents:
diff changeset
321 ParMarkBitMap::iterate(ParMarkBitMapClosure* live_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
322 ParMarkBitMapClosure* dead_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
323 HeapWord* range_beg,
a61af66fc99e Initial load
duke
parents:
diff changeset
324 HeapWord* range_end,
a61af66fc99e Initial load
duke
parents:
diff changeset
325 HeapWord* dead_range_end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
326 {
a61af66fc99e Initial load
duke
parents:
diff changeset
327 return iterate(live_closure, dead_closure,
a61af66fc99e Initial load
duke
parents:
diff changeset
328 addr_to_bit(range_beg), addr_to_bit(range_end),
a61af66fc99e Initial load
duke
parents:
diff changeset
329 addr_to_bit(dead_range_end));
a61af66fc99e Initial load
duke
parents:
diff changeset
330 }
a61af66fc99e Initial load
duke
parents:
diff changeset
331
a61af66fc99e Initial load
duke
parents:
diff changeset
332 inline bool
a61af66fc99e Initial load
duke
parents:
diff changeset
333 ParMarkBitMap::mark_obj(oop obj, int size)
a61af66fc99e Initial load
duke
parents:
diff changeset
334 {
a61af66fc99e Initial load
duke
parents:
diff changeset
335 return mark_obj((HeapWord*)obj, (size_t)size);
a61af66fc99e Initial load
duke
parents:
diff changeset
336 }
a61af66fc99e Initial load
duke
parents:
diff changeset
337
a61af66fc99e Initial load
duke
parents:
diff changeset
338 inline BitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
339 ParMarkBitMap::addr_to_bit(HeapWord* addr) const
a61af66fc99e Initial load
duke
parents:
diff changeset
340 {
a61af66fc99e Initial load
duke
parents:
diff changeset
341 DEBUG_ONLY(verify_addr(addr);)
a61af66fc99e Initial load
duke
parents:
diff changeset
342 return words_to_bits(pointer_delta(addr, region_start()));
a61af66fc99e Initial load
duke
parents:
diff changeset
343 }
a61af66fc99e Initial load
duke
parents:
diff changeset
344
a61af66fc99e Initial load
duke
parents:
diff changeset
345 inline HeapWord*
a61af66fc99e Initial load
duke
parents:
diff changeset
346 ParMarkBitMap::bit_to_addr(idx_t bit) const
a61af66fc99e Initial load
duke
parents:
diff changeset
347 {
a61af66fc99e Initial load
duke
parents:
diff changeset
348 DEBUG_ONLY(verify_bit(bit);)
a61af66fc99e Initial load
duke
parents:
diff changeset
349 return region_start() + bits_to_words(bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
350 }
a61af66fc99e Initial load
duke
parents:
diff changeset
351
a61af66fc99e Initial load
duke
parents:
diff changeset
352 inline ParMarkBitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
353 ParMarkBitMap::find_obj_beg(idx_t beg, idx_t end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
354 {
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
355 return _beg_bits.get_next_one_offset_inline_aligned_right(beg, end);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
356 }
a61af66fc99e Initial load
duke
parents:
diff changeset
357
a61af66fc99e Initial load
duke
parents:
diff changeset
358 inline ParMarkBitMap::idx_t
a61af66fc99e Initial load
duke
parents:
diff changeset
359 ParMarkBitMap::find_obj_end(idx_t beg, idx_t end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
360 {
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
361 return _end_bits.get_next_one_offset_inline_aligned_right(beg, end);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
362 }
a61af66fc99e Initial load
duke
parents:
diff changeset
363
a61af66fc99e Initial load
duke
parents:
diff changeset
364 inline HeapWord*
a61af66fc99e Initial load
duke
parents:
diff changeset
365 ParMarkBitMap::find_obj_beg(HeapWord* beg, HeapWord* end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
366 {
a61af66fc99e Initial load
duke
parents:
diff changeset
367 const idx_t beg_bit = addr_to_bit(beg);
a61af66fc99e Initial load
duke
parents:
diff changeset
368 const idx_t end_bit = addr_to_bit(end);
a61af66fc99e Initial load
duke
parents:
diff changeset
369 const idx_t search_end = BitMap::word_align_up(end_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
370 const idx_t res_bit = MIN2(find_obj_beg(beg_bit, search_end), end_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
371 return bit_to_addr(res_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
372 }
a61af66fc99e Initial load
duke
parents:
diff changeset
373
a61af66fc99e Initial load
duke
parents:
diff changeset
374 inline HeapWord*
a61af66fc99e Initial load
duke
parents:
diff changeset
375 ParMarkBitMap::find_obj_end(HeapWord* beg, HeapWord* end) const
a61af66fc99e Initial load
duke
parents:
diff changeset
376 {
a61af66fc99e Initial load
duke
parents:
diff changeset
377 const idx_t beg_bit = addr_to_bit(beg);
a61af66fc99e Initial load
duke
parents:
diff changeset
378 const idx_t end_bit = addr_to_bit(end);
a61af66fc99e Initial load
duke
parents:
diff changeset
379 const idx_t search_end = BitMap::word_align_up(end_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
380 const idx_t res_bit = MIN2(find_obj_end(beg_bit, search_end), end_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
381 return bit_to_addr(res_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
382 }
a61af66fc99e Initial load
duke
parents:
diff changeset
383
a61af66fc99e Initial load
duke
parents:
diff changeset
384 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
385 inline void ParMarkBitMap::verify_bit(idx_t bit) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
386 // Allow one past the last valid bit; useful for loop bounds.
a61af66fc99e Initial load
duke
parents:
diff changeset
387 assert(bit <= _beg_bits.size(), "bit out of range");
a61af66fc99e Initial load
duke
parents:
diff changeset
388 }
a61af66fc99e Initial load
duke
parents:
diff changeset
389
a61af66fc99e Initial load
duke
parents:
diff changeset
390 inline void ParMarkBitMap::verify_addr(HeapWord* addr) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
391 // Allow one past the last valid address; useful for loop bounds.
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
392 assert(addr >= region_start(),
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 10329
diff changeset
393 err_msg("addr too small, addr: " PTR_FORMAT " region start: " PTR_FORMAT, p2i(addr), p2i(region_start())));
10285
4868caa99ecf 8014339: Improve assert and remove some dead code from parMarkBitMap.hpp/cpp
brutisso
parents: 9076
diff changeset
394 assert(addr <= region_end(),
17937
78bbf4d43a14 8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents: 10329
diff changeset
395 err_msg("addr too big, addr: " PTR_FORMAT " region end: " PTR_FORMAT, p2i(addr), p2i(region_end())));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
396 }
a61af66fc99e Initial load
duke
parents:
diff changeset
397 #endif // #ifdef ASSERT
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
398
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
399 #endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARMARKBITMAP_HPP