Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/collectionSetChooser.hpp @ 6615:09aad8452938
7190310: Inlining WeakReference.get(), and hoisting $referent may lead to non-terminating loops
Summary: In C2 add software membar after load from Reference.referent field to prevent commoning of loads across safepoint since GC can change its value. In C1 always generate Reference.get() intrinsic.
Reviewed-by: roland, twisti, dholmes, johnc
author | kvn |
---|---|
date | Mon, 20 Aug 2012 09:58:58 -0700 |
parents | a2f7274eb6ef |
children | 27714220e50e |
rev | line source |
---|---|
342 | 1 /* |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
2 * Copyright (c) 2001, 2012, 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:
579
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
579
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:
579
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_COLLECTIONSETCHOOSER_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_COLLECTIONSETCHOOSER_HPP | |
27 | |
28 #include "gc_implementation/g1/heapRegion.hpp" | |
29 #include "utilities/growableArray.hpp" | |
30 | |
6197 | 31 class CollectionSetChooser: public CHeapObj<mtGC> { |
342 | 32 |
6011 | 33 GrowableArray<HeapRegion*> _regions; |
34 | |
35 // Unfortunately, GrowableArray uses ints for length and indexes. To | |
36 // avoid excessive casting in the rest of the class the following | |
37 // wrapper methods are provided that use uints. | |
38 | |
39 uint regions_length() { return (uint) _regions.length(); } | |
40 HeapRegion* regions_at(uint i) { return _regions.at((int) i); } | |
41 void regions_at_put(uint i, HeapRegion* hr) { | |
42 _regions.at_put((int) i, hr); | |
43 } | |
44 void regions_at_put_grow(uint i, HeapRegion* hr) { | |
45 _regions.at_put_grow((int) i, hr); | |
46 } | |
47 void regions_trunc_to(uint i) { _regions.trunc_to((uint) i); } | |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
48 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
49 // The index of the next candidate old region to be considered for |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
50 // addition to the CSet. |
6011 | 51 uint _curr_index; |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
52 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
53 // The number of candidate old regions added to the CSet chooser. |
6011 | 54 uint _length; |
342 | 55 |
6011 | 56 // Keeps track of the start of the next array chunk to be claimed by |
57 // parallel GC workers. | |
58 uint _first_par_unreserved_idx; | |
342 | 59 |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
60 // If a region has more live bytes than this threshold, it will not |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
61 // be added to the CSet chooser and will not be a candidate for |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
62 // collection. |
6011 | 63 size_t _region_live_threshold_bytes; |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
64 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
65 // The sum of reclaimable bytes over all the regions in the CSet chooser. |
6011 | 66 size_t _remaining_reclaimable_bytes; |
342 | 67 |
68 public: | |
69 | |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
70 // Return the current candidate region to be considered for |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
71 // collection without removing it from the CSet chooser. |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
72 HeapRegion* peek() { |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
73 HeapRegion* res = NULL; |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
74 if (_curr_index < _length) { |
6011 | 75 res = regions_at(_curr_index); |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
76 assert(res != NULL, |
6011 | 77 err_msg("Unexpected NULL hr in _regions at index %u", |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
78 _curr_index)); |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
79 } |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
80 return res; |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
81 } |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
82 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
83 // Remove the given region from the CSet chooser and move to the |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
84 // next one. The given region should be the current candidate region |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
85 // in the CSet chooser. |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
86 void remove_and_move_to_next(HeapRegion* hr) { |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
87 assert(hr != NULL, "pre-condition"); |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
88 assert(_curr_index < _length, "pre-condition"); |
6011 | 89 assert(regions_at(_curr_index) == hr, "pre-condition"); |
90 regions_at_put(_curr_index, NULL); | |
91 assert(hr->reclaimable_bytes() <= _remaining_reclaimable_bytes, | |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
92 err_msg("remaining reclaimable bytes inconsistent " |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
93 "from region: "SIZE_FORMAT" remaining: "SIZE_FORMAT, |
6011 | 94 hr->reclaimable_bytes(), _remaining_reclaimable_bytes)); |
95 _remaining_reclaimable_bytes -= hr->reclaimable_bytes(); | |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
96 _curr_index += 1; |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
97 } |
342 | 98 |
99 CollectionSetChooser(); | |
100 | |
6011 | 101 void sort_regions(); |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
102 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
103 // Determine whether to add the given region to the CSet chooser or |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
104 // not. Currently, we skip humongous regions (we never add them to |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
105 // the CSet, we only reclaim them during cleanup) and regions whose |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
106 // live bytes are over the threshold. |
6011 | 107 bool should_add(HeapRegion* hr) { |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
108 assert(hr->is_marked(), "pre-condition"); |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
109 assert(!hr->is_young(), "should never consider young regions"); |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
110 return !hr->isHumongous() && |
6011 | 111 hr->live_bytes() < _region_live_threshold_bytes; |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
112 } |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
113 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
114 // Calculate the minimum number of old regions we'll add to the CSet |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
115 // during a mixed GC. |
6011 | 116 uint calc_min_old_cset_length(); |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
117 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
118 // Calculate the maximum number of old regions we'll add to the CSet |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
119 // during a mixed GC. |
6011 | 120 uint calc_max_old_cset_length(); |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
121 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
122 // Serial version. |
6011 | 123 void add_region(HeapRegion *hr); |
342 | 124 |
6011 | 125 // Must be called before calls to claim_array_chunk(). |
126 // n_regions is the number of regions, chunk_size the chunk size. | |
127 void prepare_for_par_region_addition(uint n_regions, uint chunk_size); | |
128 // Returns the first index in a contiguous chunk of chunk_size indexes | |
342 | 129 // that the calling thread has reserved. These must be set by the |
6011 | 130 // calling thread using set_region() (to NULL if necessary). |
131 uint claim_array_chunk(uint chunk_size); | |
342 | 132 // Set the marked array entry at index to hr. Careful to claim the index |
133 // first if in parallel. | |
6011 | 134 void set_region(uint index, HeapRegion* hr); |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
135 // Atomically increment the number of added regions by region_num |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
136 // and the amount of reclaimable bytes by reclaimable_bytes. |
6011 | 137 void update_totals(uint region_num, size_t reclaimable_bytes); |
342 | 138 |
6011 | 139 void clear(); |
342 | 140 |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
141 // Return the number of candidate regions that remain to be collected. |
6011 | 142 uint remaining_regions() { return _length - _curr_index; } |
342 | 143 |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
144 // Determine whether the CSet chooser has more candidate regions or not. |
6011 | 145 bool is_empty() { return remaining_regions() == 0; } |
4912
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
146 |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
147 // Return the reclaimable bytes that remain to be collected on |
a9647476d1a4
7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents:
3989
diff
changeset
|
148 // all the candidate regions in the CSet chooser. |
6011 | 149 size_t remaining_reclaimable_bytes() { return _remaining_reclaimable_bytes; } |
342 | 150 |
6011 | 151 // Returns true if the used portion of "_regions" is properly |
342 | 152 // sorted, otherwise asserts false. |
6011 | 153 void verify() PRODUCT_RETURN; |
342 | 154 }; |
1972 | 155 |
6254
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
156 class CSetChooserParUpdater : public StackObj { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
157 private: |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
158 CollectionSetChooser* _chooser; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
159 bool _parallel; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
160 uint _chunk_size; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
161 uint _cur_chunk_idx; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
162 uint _cur_chunk_end; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
163 uint _regions_added; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
164 size_t _reclaimable_bytes_added; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
165 |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
166 public: |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
167 CSetChooserParUpdater(CollectionSetChooser* chooser, |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
168 bool parallel, uint chunk_size) : |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
169 _chooser(chooser), _parallel(parallel), _chunk_size(chunk_size), |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
170 _cur_chunk_idx(0), _cur_chunk_end(0), |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
171 _regions_added(0), _reclaimable_bytes_added(0) { } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
172 |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
173 ~CSetChooserParUpdater() { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
174 if (_parallel && _regions_added > 0) { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
175 _chooser->update_totals(_regions_added, _reclaimable_bytes_added); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
176 } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
177 } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
178 |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
179 void add_region(HeapRegion* hr) { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
180 if (_parallel) { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
181 if (_cur_chunk_idx == _cur_chunk_end) { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
182 _cur_chunk_idx = _chooser->claim_array_chunk(_chunk_size); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
183 _cur_chunk_end = _cur_chunk_idx + _chunk_size; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
184 } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
185 assert(_cur_chunk_idx < _cur_chunk_end, "invariant"); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
186 _chooser->set_region(_cur_chunk_idx, hr); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
187 _cur_chunk_idx += 1; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
188 } else { |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
189 _chooser->add_region(hr); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
190 } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
191 _regions_added += 1; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
192 _reclaimable_bytes_added += hr->reclaimable_bytes(); |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
193 } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
194 |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
195 bool should_add(HeapRegion* hr) { return _chooser->should_add(hr); } |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
196 }; |
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
197 |
1972 | 198 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_COLLECTIONSETCHOOSER_HPP |
6254
a2f7274eb6ef
7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents:
6197
diff
changeset
|
199 |