author | tschatzl |
Wed, 18 Apr 2018 11:36:48 +0200 | |
changeset 49806 | 2d62570a615c |
parent 48969 | 7eb296a8ce2c |
child 51332 | c25572739e7c |
permissions | -rw-r--r-- |
1374 | 1 |
/* |
46573
0f8fae16c5b4
8183002: Remove unused concurrent parameter in HeapRegionManager::par_iterate
tschatzl
parents:
42595
diff
changeset
|
2 |
* Copyright (c) 2001, 2017, Oracle and/or its affiliates. All rights reserved. |
1374 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3261
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3261
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
3261
diff
changeset
|
21 |
* questions. |
1374 | 22 |
* |
23 |
*/ |
|
24 |
||
30764 | 25 |
#ifndef SHARE_VM_GC_G1_HEAPREGIONMANAGER_HPP |
26 |
#define SHARE_VM_GC_G1_HEAPREGIONMANAGER_HPP |
|
7397 | 27 |
|
30764 | 28 |
#include "gc/g1/g1BiasedArray.hpp" |
29 |
#include "gc/g1/g1RegionToSpaceMapper.hpp" |
|
30 |
#include "gc/g1/heapRegionSet.hpp" |
|
29685
c19484601161
8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents:
27885
diff
changeset
|
31 |
#include "services/memoryUsage.hpp" |
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
32 |
|
1374 | 33 |
class HeapRegion; |
34 |
class HeapRegionClosure; |
|
27009
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
35 |
class HeapRegionClaimer; |
9989 | 36 |
class FreeRegionList; |
41178 | 37 |
class WorkGang; |
9989 | 38 |
|
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
39 |
class G1HeapRegionTable : public G1BiasedMappedArray<HeapRegion*> { |
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
40 |
protected: |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
41 |
virtual HeapRegion* default_value() const { return NULL; } |
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
42 |
}; |
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
43 |
|
26160 | 44 |
// This class keeps track of the actual heap memory, auxiliary data |
45 |
// and its metadata (i.e., HeapRegion instances) and the list of free regions. |
|
46 |
// |
|
47 |
// This allows maximum flexibility for deciding what to commit or uncommit given |
|
48 |
// a request from outside. |
|
49 |
// |
|
50 |
// HeapRegions are kept in the _regions array in address order. A region's |
|
51 |
// index in the array corresponds to its index in the heap (i.e., 0 is the |
|
52 |
// region at the bottom of the heap, 1 is the one after it, etc.). Two |
|
53 |
// regions that are consecutive in the array should also be adjacent in the |
|
54 |
// address space (i.e., region(i).end() == region(i+1).bottom(). |
|
9989 | 55 |
// |
56 |
// We create a HeapRegion when we commit the region's address space |
|
57 |
// for the first time. When we uncommit the address space of a |
|
58 |
// region we retain the HeapRegion to be able to re-use it in the |
|
59 |
// future (in case we recommit it). |
|
60 |
// |
|
61 |
// We keep track of three lengths: |
|
62 |
// |
|
26160 | 63 |
// * _num_committed (returned by length()) is the number of currently |
64 |
// committed regions. These may not be contiguous. |
|
65 |
// * _allocated_heapregions_length (not exposed outside this class) is the |
|
66 |
// number of regions+1 for which we have HeapRegions. |
|
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
67 |
// * max_length() returns the maximum number of regions the heap can have. |
9989 | 68 |
// |
1374 | 69 |
|
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
70 |
class HeapRegionManager: public CHeapObj<mtGC> { |
10663 | 71 |
friend class VMStructs; |
27009
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
72 |
friend class HeapRegionClaimer; |
1374 | 73 |
|
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
74 |
G1HeapRegionTable _regions; |
9989 | 75 |
|
26160 | 76 |
G1RegionToSpaceMapper* _heap_mapper; |
77 |
G1RegionToSpaceMapper* _prev_bitmap_mapper; |
|
78 |
G1RegionToSpaceMapper* _next_bitmap_mapper; |
|
79 |
G1RegionToSpaceMapper* _bot_mapper; |
|
80 |
G1RegionToSpaceMapper* _cardtable_mapper; |
|
81 |
G1RegionToSpaceMapper* _card_counts_mapper; |
|
1374 | 82 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
83 |
FreeRegionList _free_list; |
1374 | 84 |
|
26160 | 85 |
// Each bit in this bitmap indicates that the corresponding region is available |
86 |
// for allocation. |
|
38177 | 87 |
CHeapBitMap _available_map; |
26160 | 88 |
|
89 |
// The number of regions committed in the heap. |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
90 |
uint _num_committed; |
9989 | 91 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
92 |
// Internal only. The highest heap region +1 we allocated a HeapRegion instance for. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
93 |
uint _allocated_heapregions_length; |
1374 | 94 |
|
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
95 |
HeapWord* heap_bottom() const { return _regions.bottom_address_mapped(); } |
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
96 |
HeapWord* heap_end() const {return _regions.end_address_mapped(); } |
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
97 |
|
41178 | 98 |
void make_regions_available(uint index, uint num_regions = 1, WorkGang* pretouch_gang = NULL); |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
99 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
100 |
// Pass down commit calls to the VirtualSpace. |
41178 | 101 |
void commit_regions(uint index, size_t num_regions = 1, WorkGang* pretouch_gang = NULL); |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
102 |
void uncommit_regions(uint index, size_t num_regions = 1); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
103 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
104 |
// Notify other data structures about change in the heap layout. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
105 |
void update_committed_space(HeapWord* old_end, HeapWord* new_end); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
106 |
|
26160 | 107 |
// Find a contiguous set of empty or uncommitted regions of length num and return |
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
108 |
// the index of the first region or G1_NO_HRM_INDEX if the search was unsuccessful. |
26160 | 109 |
// If only_empty is true, only empty regions are considered. |
110 |
// Searches from bottom to top of the heap, doing a first-fit. |
|
111 |
uint find_contiguous(size_t num, bool only_empty); |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
112 |
// Finds the next sequence of unavailable regions starting from start_idx. Returns the |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
113 |
// length of the sequence found. If this result is zero, no such sequence could be found, |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
114 |
// otherwise res_idx indicates the start index of these regions. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
115 |
uint find_unavailable_from_idx(uint start_idx, uint* res_idx) const; |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
116 |
// Finds the next sequence of empty regions starting from start_idx, going backwards in |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
117 |
// the heap. Returns the length of the sequence found. If this value is zero, no |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
118 |
// sequence could be found, otherwise res_idx contains the start index of this range. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
119 |
uint find_empty_from_idx_reverse(uint start_idx, uint* res_idx) const; |
26160 | 120 |
// Allocate a new HeapRegion for the given index. |
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
121 |
HeapRegion* new_heap_region(uint hrm_index); |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
122 |
#ifdef ASSERT |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
123 |
public: |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
124 |
bool is_free(HeapRegion* hr) const; |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
125 |
#endif |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
126 |
// Returns whether the given region is available for allocation. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
127 |
bool is_available(uint region) const; |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
128 |
|
1374 | 129 |
public: |
22551 | 130 |
// Empty constructor, we'll initialize it with the initialize() method. |
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
131 |
HeapRegionManager() : _regions(), _heap_mapper(NULL), _num_committed(0), |
26160 | 132 |
_next_bitmap_mapper(NULL), _prev_bitmap_mapper(NULL), _bot_mapper(NULL), |
46745
f7b9bb98bb72
8176571: Fine bitmaps should be allocated as belonging to mtGC, not mtInternal
kbarrett
parents:
46573
diff
changeset
|
133 |
_allocated_heapregions_length(0), _available_map(mtGC), |
26160 | 134 |
_free_list("Free list", new MasterFreeRegionListMtSafeChecker()) |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
135 |
{ } |
9989 | 136 |
|
26160 | 137 |
void initialize(G1RegionToSpaceMapper* heap_storage, |
138 |
G1RegionToSpaceMapper* prev_bitmap, |
|
139 |
G1RegionToSpaceMapper* next_bitmap, |
|
140 |
G1RegionToSpaceMapper* bot, |
|
141 |
G1RegionToSpaceMapper* cardtable, |
|
142 |
G1RegionToSpaceMapper* card_counts); |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
143 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
144 |
// Return the "dummy" region used for G1AllocRegion. This is currently a hardwired |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
145 |
// new HeapRegion that owns HeapRegion at index 0. Since at the moment we commit |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
146 |
// the heap from the lowest address, this region (and its associated data |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
147 |
// structures) are available and we do not need to check further. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
148 |
HeapRegion* get_dummy_region() { return new_heap_region(0); } |
1374 | 149 |
|
9989 | 150 |
// Return the HeapRegion at the given index. Assume that the index |
151 |
// is valid. |
|
12381
1438e0fbfa27
7157073: G1: type change size_t -> uint for region counts / indexes
tonyp
parents:
10663
diff
changeset
|
152 |
inline HeapRegion* at(uint index) const; |
9989 | 153 |
|
33786
ac8da6513351
8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents:
32589
diff
changeset
|
154 |
// Return the next region (by index) that is part of the same |
ac8da6513351
8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents:
32589
diff
changeset
|
155 |
// humongous object that hr is part of. |
ac8da6513351
8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents:
32589
diff
changeset
|
156 |
inline HeapRegion* next_region_in_humongous(HeapRegion* hr) const; |
ac8da6513351
8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents:
32589
diff
changeset
|
157 |
|
9989 | 158 |
// If addr is within the committed space return its corresponding |
159 |
// HeapRegion, otherwise return NULL. |
|
160 |
inline HeapRegion* addr_to_region(HeapWord* addr) const; |
|
161 |
||
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
162 |
// Insert the given region into the free region list. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
163 |
inline void insert_into_free_list(HeapRegion* hr); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
164 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
165 |
// Insert the given region list into the global free region list. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
166 |
void insert_list_into_free_list(FreeRegionList* list) { |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
167 |
_free_list.add_ordered(list); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
168 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
169 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
170 |
HeapRegion* allocate_free_region(bool is_old) { |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
171 |
HeapRegion* hr = _free_list.remove_region(is_old); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
172 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
173 |
if (hr != NULL) { |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
174 |
assert(hr->next() == NULL, "Single region should not have next"); |
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
175 |
assert(is_available(hr->hrm_index()), "Must be committed"); |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
176 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
177 |
return hr; |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
178 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
179 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
180 |
inline void allocate_free_regions_starting_at(uint first, uint num_regions); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
181 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
182 |
// Remove all regions from the free list. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
183 |
void remove_all_free_regions() { |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
184 |
_free_list.remove_all(); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
185 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
186 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
187 |
// Return the number of committed free regions in the heap. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
188 |
uint num_free_regions() const { |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
189 |
return _free_list.length(); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
190 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
191 |
|
47885
5caa1d5f74c1
8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents:
47216
diff
changeset
|
192 |
size_t total_free_bytes() const { |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
193 |
return num_free_regions() * HeapRegion::GrainBytes; |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
194 |
} |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
195 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
196 |
// Return the number of available (uncommitted) regions. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
197 |
uint available() const { return max_length() - length(); } |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
198 |
|
9989 | 199 |
// Return the number of regions that have been committed in the heap. |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
200 |
uint length() const { return _num_committed; } |
9989 | 201 |
|
202 |
// Return the maximum number of regions in the heap. |
|
20083
df032615dd00
7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents:
17323
diff
changeset
|
203 |
uint max_length() const { return (uint)_regions.length(); } |
1374 | 204 |
|
29685
c19484601161
8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents:
27885
diff
changeset
|
205 |
MemoryUsage get_auxiliary_data_memory_usage() const; |
c19484601161
8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents:
27885
diff
changeset
|
206 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
207 |
MemRegion reserved() const { return MemRegion(heap_bottom(), heap_end()); } |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
208 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
209 |
// Expand the sequence to reflect that the heap has grown. Either create new |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
210 |
// HeapRegions, or re-use existing ones. Returns the number of regions the |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
211 |
// sequence was expanded by. If a HeapRegion allocation fails, the resulting |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
212 |
// number of regions might be smaller than what's desired. |
42595
b1ae41a4eae9
8169703: G1 crashes with guarantee(pretouch_gang != NULL) failed: No pretouch gang specified
tschatzl
parents:
41311
diff
changeset
|
213 |
uint expand_by(uint num_regions, WorkGang* pretouch_workers); |
1374 | 214 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
215 |
// Makes sure that the regions from start to start+num_regions-1 are available |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
216 |
// for allocation. Returns the number of regions that were committed to achieve |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
217 |
// this. |
42595
b1ae41a4eae9
8169703: G1 crashes with guarantee(pretouch_gang != NULL) failed: No pretouch gang specified
tschatzl
parents:
41311
diff
changeset
|
218 |
uint expand_at(uint start, uint num_regions, WorkGang* pretouch_workers); |
1374 | 219 |
|
26160 | 220 |
// Find a contiguous set of empty regions of length num. Returns the start index of |
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
221 |
// that set, or G1_NO_HRM_INDEX. |
26160 | 222 |
uint find_contiguous_only_empty(size_t num) { return find_contiguous(num, true); } |
223 |
// Find a contiguous set of empty or unavailable regions of length num. Returns the |
|
26316
93f6b40c038b
8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents:
26160
diff
changeset
|
224 |
// start index of that set, or G1_NO_HRM_INDEX. |
26160 | 225 |
uint find_contiguous_empty_or_unavailable(size_t num) { return find_contiguous(num, false); } |
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
226 |
|
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
227 |
HeapRegion* next_region_in_heap(const HeapRegion* r) const; |
1374 | 228 |
|
31346
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
229 |
// Find the highest free or uncommitted region in the reserved heap, |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
230 |
// and if uncommitted, commit it. If none are available, return G1_NO_HRM_INDEX. |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
231 |
// Set the 'expanded' boolean true if a new region was committed. |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
232 |
uint find_highest_free(bool* expanded); |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
233 |
|
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
234 |
// Allocate the regions that contain the address range specified, committing the |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
235 |
// regions if necessary. Return false if any of the regions is already committed |
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
236 |
// and not free, and return the number of regions newly committed in commit_count. |
42595
b1ae41a4eae9
8169703: G1 crashes with guarantee(pretouch_gang != NULL) failed: No pretouch gang specified
tschatzl
parents:
41311
diff
changeset
|
237 |
bool allocate_containing_regions(MemRegion range, size_t* commit_count, WorkGang* pretouch_workers); |
31346
a70d45c06136
8042668: GC Support for shared heap ranges in CDS
jiangli
parents:
30764
diff
changeset
|
238 |
|
48969 | 239 |
// Apply blk->do_heap_region() on all committed regions in address order, |
240 |
// terminating the iteration early if do_heap_region() returns true. |
|
9989 | 241 |
void iterate(HeapRegionClosure* blk) const; |
1374 | 242 |
|
47885
5caa1d5f74c1
8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents:
47216
diff
changeset
|
243 |
void par_iterate(HeapRegionClosure* blk, HeapRegionClaimer* hrclaimer, const uint start_index) const; |
1374 | 244 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
245 |
// Uncommit up to num_regions_to_remove regions that are completely free. |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
246 |
// Return the actual number of uncommitted regions. |
17323
cc153b745ed5
8013872: G1: HeapRegionSeq::shrink_by() has invalid assert
brutisso
parents:
13195
diff
changeset
|
247 |
uint shrink_by(uint num_regions_to_remove); |
1374 | 248 |
|
32589
f86fb16fcab0
8131734: assert(!is_null(v)) failed: narrow klass value can never be zero with -Xshared:auto
jiangli
parents:
31346
diff
changeset
|
249 |
// Uncommit a number of regions starting at the specified index, which must be available, |
f86fb16fcab0
8131734: assert(!is_null(v)) failed: narrow klass value can never be zero with -Xshared:auto
jiangli
parents:
31346
diff
changeset
|
250 |
// empty, and free. |
f86fb16fcab0
8131734: assert(!is_null(v)) failed: narrow klass value can never be zero with -Xshared:auto
jiangli
parents:
31346
diff
changeset
|
251 |
void shrink_at(uint index, size_t num_regions); |
f86fb16fcab0
8131734: assert(!is_null(v)) failed: narrow klass value can never be zero with -Xshared:auto
jiangli
parents:
31346
diff
changeset
|
252 |
|
26157
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
253 |
void verify(); |
70eddb655686
8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents:
24106
diff
changeset
|
254 |
|
9989 | 255 |
// Do some sanity checking. |
256 |
void verify_optional() PRODUCT_RETURN; |
|
1374 | 257 |
}; |
7397 | 258 |
|
27009
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
259 |
// The HeapRegionClaimer is used during parallel iteration over heap regions, |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
260 |
// allowing workers to claim heap regions, gaining exclusive rights to these regions. |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
261 |
class HeapRegionClaimer : public StackObj { |
41311
92d8edabd52c
8165858: heapRegionManager is missing volatile specifier for _claims.
eosterlund
parents:
41178
diff
changeset
|
262 |
uint _n_workers; |
92d8edabd52c
8165858: heapRegionManager is missing volatile specifier for _claims.
eosterlund
parents:
41178
diff
changeset
|
263 |
uint _n_regions; |
92d8edabd52c
8165858: heapRegionManager is missing volatile specifier for _claims.
eosterlund
parents:
41178
diff
changeset
|
264 |
volatile uint* _claims; |
27009
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
265 |
|
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
266 |
static const uint Unclaimed = 0; |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
267 |
static const uint Claimed = 1; |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
268 |
|
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
269 |
public: |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
270 |
HeapRegionClaimer(uint n_workers); |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
271 |
~HeapRegionClaimer(); |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
272 |
|
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
273 |
inline uint n_regions() const { |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
274 |
return _n_regions; |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
275 |
} |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
276 |
|
47885
5caa1d5f74c1
8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents:
47216
diff
changeset
|
277 |
// Return a start offset given a worker id. |
5caa1d5f74c1
8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents:
47216
diff
changeset
|
278 |
uint offset_for_worker(uint worker_id) const; |
27009
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
279 |
|
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
280 |
// Check if region has been claimed with this HRClaimer. |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
281 |
bool is_region_claimed(uint region_index) const; |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
282 |
|
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
283 |
// Claim the given region, returns true if successfully claimed. |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
284 |
bool claim_region(uint region_index); |
e7e723732b6b
8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents:
26316
diff
changeset
|
285 |
}; |
30764 | 286 |
#endif // SHARE_VM_GC_G1_HEAPREGIONMANAGER_HPP |