annotate src/share/vm/gc_implementation/g1/heapRegionManager.hpp @ 24234:ea6f94ab283b default tip

Added tag jvmci-0.36 for changeset 8128b98d4736
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Mon, 18 Sep 2017 18:49:45 +0200
parents dd9cc155639c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
1 /*
23031
e5406a79ae90 8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents: 20377
diff changeset
2 * Copyright (c) 2001, 2015, Oracle and/or its affiliates. All rights reserved.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
4 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
7 * published by the Free Software Foundation.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
8 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
13 * accompanied this code).
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
14 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
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.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
22 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
23 */
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
24
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONMANAGER_HPP
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONMANAGER_HPP
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
28 #include "gc_implementation/g1/g1BiasedArray.hpp"
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
29 #include "gc_implementation/g1/g1RegionToSpaceMapper.hpp"
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
30 #include "gc_implementation/g1/heapRegionSet.hpp"
23031
e5406a79ae90 8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents: 20377
diff changeset
31 #include "services/memoryUsage.hpp"
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
32
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
33 class HeapRegion;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
34 class HeapRegionClosure;
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
35 class FreeRegionList;
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
36
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
37 class G1HeapRegionTable : public G1BiasedMappedArray<HeapRegion*> {
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
38 protected:
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
39 virtual HeapRegion* default_value() const { return NULL; }
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
40 };
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
41
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
42 // This class keeps track of the actual heap memory, auxiliary data
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
43 // and its metadata (i.e., HeapRegion instances) and the list of free regions.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
44 //
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
45 // This allows maximum flexibility for deciding what to commit or uncommit given
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
46 // a request from outside.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
47 //
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
48 // HeapRegions are kept in the _regions array in address order. A region's
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
49 // index in the array corresponds to its index in the heap (i.e., 0 is the
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
50 // region at the bottom of the heap, 1 is the one after it, etc.). Two
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
51 // regions that are consecutive in the array should also be adjacent in the
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
52 // address space (i.e., region(i).end() == region(i+1).bottom().
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
53 //
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
54 // We create a HeapRegion when we commit the region's address space
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
55 // for the first time. When we uncommit the address space of a
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
56 // region we retain the HeapRegion to be able to re-use it in the
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
57 // future (in case we recommit it).
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
58 //
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
59 // We keep track of three lengths:
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
60 //
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
61 // * _num_committed (returned by length()) is the number of currently
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
62 // committed regions. These may not be contiguous.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
63 // * _allocated_heapregions_length (not exposed outside this class) is the
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
64 // number of regions+1 for which we have HeapRegions.
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
65 // * max_length() returns the maximum number of regions the heap can have.
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
66 //
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
67
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
68 class HeapRegionManager: public CHeapObj<mtGC> {
3972
4f93f0d00802 7059019: G1: add G1 support to the SA
tonyp
parents: 3766
diff changeset
69 friend class VMStructs;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
70
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
71 G1HeapRegionTable _regions;
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
72
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
73 G1RegionToSpaceMapper* _heap_mapper;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
74 G1RegionToSpaceMapper* _prev_bitmap_mapper;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
75 G1RegionToSpaceMapper* _next_bitmap_mapper;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
76 G1RegionToSpaceMapper* _bot_mapper;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
77 G1RegionToSpaceMapper* _cardtable_mapper;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
78 G1RegionToSpaceMapper* _card_counts_mapper;
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
79
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
80 FreeRegionList _free_list;
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
81
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
82 // Each bit in this bitmap indicates that the corresponding region is available
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
83 // for allocation.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
84 BitMap _available_map;
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
85
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
86 // The number of regions committed in the heap.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
87 uint _num_committed;
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
88
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
89 // Internal only. The highest heap region +1 we allocated a HeapRegion instance for.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
90 uint _allocated_heapregions_length;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
91
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
92 HeapWord* heap_bottom() const { return _regions.bottom_address_mapped(); }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
93 HeapWord* heap_end() const {return _regions.end_address_mapped(); }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
94
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
95 void make_regions_available(uint index, uint num_regions = 1);
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
96
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
97 // Pass down commit calls to the VirtualSpace.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
98 void commit_regions(uint index, size_t num_regions = 1);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
99 void uncommit_regions(uint index, size_t num_regions = 1);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
100
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
101 // Notify other data structures about change in the heap layout.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
102 void update_committed_space(HeapWord* old_end, HeapWord* new_end);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
103 // Calculate the starting region for each worker during parallel iteration so
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
104 // that they do not all start from the same region.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
105 uint start_region_for_worker(uint worker_i, uint num_workers, uint num_regions) const;
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
106
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
107 // Find a contiguous set of empty or uncommitted regions of length num and return
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
108 // the index of the first region or G1_NO_HRM_INDEX if the search was unsuccessful.
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
109 // If only_empty is true, only empty regions are considered.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
110 // Searches from bottom to top of the heap, doing a first-fit.
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
111 uint find_contiguous(size_t num, bool only_empty);
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
112 // Finds the next sequence of unavailable regions starting from start_idx. Returns the
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
113 // length of the sequence found. If this result is zero, no such sequence could be found,
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
114 // otherwise res_idx indicates the start index of these regions.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
115 uint find_unavailable_from_idx(uint start_idx, uint* res_idx) const;
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
116 // Finds the next sequence of empty regions starting from start_idx, going backwards in
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
117 // the heap. Returns the length of the sequence found. If this value is zero, no
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
118 // sequence could be found, otherwise res_idx contains the start index of this range.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
119 uint find_empty_from_idx_reverse(uint start_idx, uint* res_idx) const;
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
120 // Allocate a new HeapRegion for the given index.
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
121 HeapRegion* new_heap_region(uint hrm_index);
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
122 #ifdef ASSERT
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
123 public:
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
124 bool is_free(HeapRegion* hr) const;
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
125 #endif
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
126 // Returns whether the given region is available for allocation.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
127 bool is_available(uint region) const;
10242
b0d20fa374b4 8013872: G1: HeapRegionSeq::shrink_by() has invalid assert
brutisso
parents: 6197
diff changeset
128
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
129 public:
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
130 // Empty constructor, we'll initialize it with the initialize() method.
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
131 HeapRegionManager() : _regions(), _heap_mapper(NULL), _num_committed(0),
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
132 _next_bitmap_mapper(NULL), _prev_bitmap_mapper(NULL), _bot_mapper(NULL),
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
133 _allocated_heapregions_length(0), _available_map(),
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
134 _free_list("Free list", new MasterFreeRegionListMtSafeChecker())
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
135 { }
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
136
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
137 void initialize(G1RegionToSpaceMapper* heap_storage,
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
138 G1RegionToSpaceMapper* prev_bitmap,
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
139 G1RegionToSpaceMapper* next_bitmap,
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
140 G1RegionToSpaceMapper* bot,
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
141 G1RegionToSpaceMapper* cardtable,
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
142 G1RegionToSpaceMapper* card_counts);
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
143
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
144 // Return the "dummy" region used for G1AllocRegion. This is currently a hardwired
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
145 // new HeapRegion that owns HeapRegion at index 0. Since at the moment we commit
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
146 // the heap from the lowest address, this region (and its associated data
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
147 // structures) are available and we do not need to check further.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
148 HeapRegion* get_dummy_region() { return new_heap_region(0); }
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
149
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
150 // Return the HeapRegion at the given index. Assume that the index
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
151 // is valid.
6010
720b6a76dd9d 7157073: G1: type change size_t -> uint for region counts / indexes
tonyp
parents: 3972
diff changeset
152 inline HeapRegion* at(uint index) const;
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
153
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
154 // If addr is within the committed space return its corresponding
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
155 // HeapRegion, otherwise return NULL.
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
156 inline HeapRegion* addr_to_region(HeapWord* addr) const;
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
157
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
158 // Insert the given region into the free region list.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
159 inline void insert_into_free_list(HeapRegion* hr);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
160
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
161 // Insert the given region list into the global free region list.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
162 void insert_list_into_free_list(FreeRegionList* list) {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
163 _free_list.add_ordered(list);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
164 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
165
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
166 HeapRegion* allocate_free_region(bool is_old) {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
167 HeapRegion* hr = _free_list.remove_region(is_old);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
168
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
169 if (hr != NULL) {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
170 assert(hr->next() == NULL, "Single region should not have next");
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
171 assert(is_available(hr->hrm_index()), "Must be committed");
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
172 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
173 return hr;
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
174 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
175
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
176 inline void allocate_free_regions_starting_at(uint first, uint num_regions);
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
177
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
178 // Remove all regions from the free list.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
179 void remove_all_free_regions() {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
180 _free_list.remove_all();
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
181 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
182
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
183 // Return the number of committed free regions in the heap.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
184 uint num_free_regions() const {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
185 return _free_list.length();
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
186 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
187
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
188 size_t total_capacity_bytes() const {
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
189 return num_free_regions() * HeapRegion::GrainBytes;
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
190 }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
191
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
192 // Return the number of available (uncommitted) regions.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
193 uint available() const { return max_length() - length(); }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
194
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
195 // Return the number of regions that have been committed in the heap.
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
196 uint length() const { return _num_committed; }
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
197
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
198 // Return the maximum number of regions in the heap.
12305
a19bea467577 7163191: G1: introduce a "heap spanning table" abstraction
tschatzl
parents: 10242
diff changeset
199 uint max_length() const { return (uint)_regions.length(); }
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
200
23031
e5406a79ae90 8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents: 20377
diff changeset
201 MemoryUsage get_auxiliary_data_memory_usage() const;
e5406a79ae90 8061715: gc/g1/TestShrinkAuxiliaryData15.java fails with java.lang.RuntimeException: heap decommit failed - after > before
azakharov
parents: 20377
diff changeset
202
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
203 MemRegion reserved() const { return MemRegion(heap_bottom(), heap_end()); }
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
204
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
205 // Expand the sequence to reflect that the heap has grown. Either create new
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
206 // HeapRegions, or re-use existing ones. Returns the number of regions the
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
207 // sequence was expanded by. If a HeapRegion allocation fails, the resulting
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
208 // number of regions might be smaller than what's desired.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
209 uint expand_by(uint num_regions);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
210
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
211 // Makes sure that the regions from start to start+num_regions-1 are available
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
212 // for allocation. Returns the number of regions that were committed to achieve
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
213 // this.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
214 uint expand_at(uint start, uint num_regions);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
215
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
216 // Find a contiguous set of empty regions of length num. Returns the start index of
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
217 // that set, or G1_NO_HRM_INDEX.
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
218 uint find_contiguous_only_empty(size_t num) { return find_contiguous(num, true); }
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
219 // Find a contiguous set of empty or unavailable regions of length num. Returns the
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
220 // start index of that set, or G1_NO_HRM_INDEX.
20337
1f1d373cd044 8038423: G1: Decommit memory within heap
tschatzl
parents: 20336
diff changeset
221 uint find_contiguous_empty_or_unavailable(size_t num) { return find_contiguous(num, false); }
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
222
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
223 HeapRegion* next_region_in_heap(const HeapRegion* r) const;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
224
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
225 // Apply blk->doHeapRegion() on all committed regions in address order,
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
226 // terminating the iteration early if doHeapRegion() returns true.
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
227 void iterate(HeapRegionClosure* blk) const;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
228
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
229 void par_iterate(HeapRegionClosure* blk, uint worker_id, uint no_of_par_workers, jint claim_value) const;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
230
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
231 // Uncommit up to num_regions_to_remove regions that are completely free.
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
232 // Return the actual number of uncommitted regions.
10242
b0d20fa374b4 8013872: G1: HeapRegionSeq::shrink_by() has invalid assert
brutisso
parents: 6197
diff changeset
233 uint shrink_by(uint num_regions_to_remove);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
234
20336
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
235 void verify();
6701abbc4441 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 20335
diff changeset
236
3766
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
237 // Do some sanity checking.
c3f1170908be 7045330: G1: Simplify/fix the HeapRegionSeq class
tonyp
parents: 2361
diff changeset
238 void verify_optional() PRODUCT_RETURN;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
239 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
240
20377
a8ea2f110d87 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 20337
diff changeset
241 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONMANAGER_HPP