src/share/vm/gc_implementation/g1/heapRegionSeq.hpp

Tue, 04 Jun 2013 10:04:06 -0700

author
johnc
date
Tue, 04 Jun 2013 10:04:06 -0700
changeset 5205
3a4805ad0005
parent 5074
b0d20fa374b4
child 5773
a19bea467577
permissions
-rw-r--r--

8015244: G1: Verification after a full GC is incorrectly placed.
Summary: In a full GC, move the verification after the GC to after RSet rebuilding. Verify RSet entries during a full GC under control of a flag.
Reviewed-by: tschatzl, brutisso

ysr@777 1 /*
tonyp@3713 2 * Copyright (c) 2001, 2012, Oracle and/or its affiliates. All rights reserved.
ysr@777 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
ysr@777 4 *
ysr@777 5 * This code is free software; you can redistribute it and/or modify it
ysr@777 6 * under the terms of the GNU General Public License version 2 only, as
ysr@777 7 * published by the Free Software Foundation.
ysr@777 8 *
ysr@777 9 * This code is distributed in the hope that it will be useful, but WITHOUT
ysr@777 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
ysr@777 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
ysr@777 12 * version 2 for more details (a copy is included in the LICENSE file that
ysr@777 13 * accompanied this code).
ysr@777 14 *
ysr@777 15 * You should have received a copy of the GNU General Public License version
ysr@777 16 * 2 along with this work; if not, write to the Free Software Foundation,
ysr@777 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
ysr@777 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
ysr@777 22 *
ysr@777 23 */
ysr@777 24
stefank@2314 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONSEQ_HPP
stefank@2314 26 #define SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONSEQ_HPP
stefank@2314 27
ysr@777 28 class HeapRegion;
ysr@777 29 class HeapRegionClosure;
tonyp@2963 30 class FreeRegionList;
tonyp@2963 31
tonyp@2963 32 // This class keeps track of the region metadata (i.e., HeapRegion
tonyp@2963 33 // instances). They are kept in the _regions array in address
tonyp@2963 34 // order. A region's index in the array corresponds to its index in
tonyp@2963 35 // the heap (i.e., 0 is the region at the bottom of the heap, 1 is
tonyp@2963 36 // the one after it, etc.). Two regions that are consecutive in the
tonyp@2963 37 // array should also be adjacent in the address space (i.e.,
tonyp@2963 38 // region(i).end() == region(i+1).bottom().
tonyp@2963 39 //
tonyp@2963 40 // We create a HeapRegion when we commit the region's address space
tonyp@2963 41 // for the first time. When we uncommit the address space of a
tonyp@2963 42 // region we retain the HeapRegion to be able to re-use it in the
tonyp@2963 43 // future (in case we recommit it).
tonyp@2963 44 //
tonyp@2963 45 // We keep track of three lengths:
tonyp@2963 46 //
tonyp@2963 47 // * _length (returned by length()) is the number of currently
tonyp@2963 48 // committed regions.
tonyp@2963 49 // * _allocated_length (not exposed outside this class) is the
tonyp@2963 50 // number of regions for which we have HeapRegions.
tonyp@2963 51 // * _max_length (returned by max_length()) is the maximum number of
tonyp@2963 52 // regions the heap can have.
tonyp@2963 53 //
tonyp@2963 54 // and maintain that: _length <= _allocated_length <= _max_length
ysr@777 55
zgu@3900 56 class HeapRegionSeq: public CHeapObj<mtGC> {
tonyp@3168 57 friend class VMStructs;
ysr@777 58
tonyp@2963 59 // The array that holds the HeapRegions.
tonyp@2963 60 HeapRegion** _regions;
ysr@777 61
tonyp@2963 62 // Version of _regions biased to address 0
tonyp@2963 63 HeapRegion** _regions_biased;
ysr@777 64
tonyp@2963 65 // The number of regions committed in the heap.
tonyp@3713 66 uint _length;
ysr@777 67
tonyp@2963 68 // The address of the first reserved word in the heap.
tonyp@2963 69 HeapWord* _heap_bottom;
ysr@777 70
tonyp@2963 71 // The address of the last reserved word in the heap - 1.
tonyp@2963 72 HeapWord* _heap_end;
tonyp@2963 73
tonyp@2963 74 // The log of the region byte size.
tonyp@3713 75 uint _region_shift;
tonyp@2963 76
tonyp@2963 77 // A hint for which index to start searching from for humongous
tonyp@2963 78 // allocations.
tonyp@3713 79 uint _next_search_index;
tonyp@2963 80
tonyp@2963 81 // The number of regions for which we have allocated HeapRegions for.
tonyp@3713 82 uint _allocated_length;
tonyp@2963 83
tonyp@2963 84 // The maximum number of regions in the heap.
tonyp@3713 85 uint _max_length;
tonyp@2963 86
tonyp@2963 87 // Find a contiguous set of empty regions of length num, starting
tonyp@2963 88 // from the given index.
tonyp@3713 89 uint find_contiguous_from(uint from, uint num);
tonyp@2963 90
tonyp@2963 91 // Map a heap address to a biased region index. Assume that the
tonyp@2963 92 // address is valid.
tonyp@3713 93 inline uintx addr_to_index_biased(HeapWord* addr) const;
tonyp@2963 94
brutisso@5074 95 void increment_allocated_length() {
brutisso@5074 96 assert(_allocated_length < _max_length, "pre-condition");
brutisso@5074 97 _allocated_length++;
tonyp@2963 98 }
tonyp@2963 99
brutisso@5074 100 void increment_length() {
brutisso@5074 101 assert(_length < _max_length, "pre-condition");
brutisso@5074 102 _length++;
brutisso@5074 103 }
brutisso@5074 104
brutisso@5074 105 void decrement_length() {
brutisso@5074 106 assert(_length > 0, "pre-condition");
brutisso@5074 107 _length--;
tonyp@2963 108 }
ysr@777 109
ysr@777 110 public:
tonyp@2963 111 // Empty contructor, we'll initialize it with the initialize() method.
tonyp@2963 112 HeapRegionSeq() { }
ysr@777 113
tonyp@3713 114 void initialize(HeapWord* bottom, HeapWord* end, uint max_length);
ysr@777 115
tonyp@2963 116 // Return the HeapRegion at the given index. Assume that the index
tonyp@2963 117 // is valid.
tonyp@3713 118 inline HeapRegion* at(uint index) const;
ysr@777 119
tonyp@2963 120 // If addr is within the committed space return its corresponding
tonyp@2963 121 // HeapRegion, otherwise return NULL.
tonyp@2963 122 inline HeapRegion* addr_to_region(HeapWord* addr) const;
ysr@777 123
tonyp@2963 124 // Return the HeapRegion that corresponds to the given
tonyp@2963 125 // address. Assume the address is valid.
tonyp@2963 126 inline HeapRegion* addr_to_region_unsafe(HeapWord* addr) const;
ysr@777 127
tonyp@2963 128 // Return the number of regions that have been committed in the heap.
tonyp@3713 129 uint length() const { return _length; }
tonyp@2963 130
tonyp@2963 131 // Return the maximum number of regions in the heap.
tonyp@3713 132 uint max_length() const { return _max_length; }
tonyp@2963 133
tonyp@2963 134 // Expand the sequence to reflect that the heap has grown from
tonyp@2963 135 // old_end to new_end. Either create new HeapRegions, or re-use
tonyp@2963 136 // existing ones, and return them in the given list. Returns the
tonyp@2963 137 // memory region that covers the newly-created regions. If a
tonyp@2963 138 // HeapRegion allocation fails, the result memory region might be
tonyp@2963 139 // smaller than the desired one.
tonyp@2963 140 MemRegion expand_by(HeapWord* old_end, HeapWord* new_end,
tonyp@2963 141 FreeRegionList* list);
tonyp@2963 142
tonyp@2963 143 // Return the number of contiguous regions at the end of the sequence
ysr@777 144 // that are available for allocation.
tonyp@3713 145 uint free_suffix();
ysr@777 146
tonyp@2643 147 // Find a contiguous set of empty regions of length num and return
tonyp@2963 148 // the index of the first region or G1_NULL_HRS_INDEX if the
tonyp@2963 149 // search was unsuccessful.
tonyp@3713 150 uint find_contiguous(uint num);
ysr@777 151
tonyp@2963 152 // Apply blk->doHeapRegion() on all committed regions in address order,
tonyp@2963 153 // terminating the iteration early if doHeapRegion() returns true.
tonyp@2963 154 void iterate(HeapRegionClosure* blk) const;
ysr@777 155
tonyp@2963 156 // As above, but start the iteration from hr and loop around. If hr
tonyp@2963 157 // is NULL, we start from the first region in the heap.
tonyp@2963 158 void iterate_from(HeapRegion* hr, HeapRegionClosure* blk) const;
ysr@777 159
tonyp@2963 160 // Tag as uncommitted as many regions that are completely free as
brutisso@5074 161 // possible, up to num_regions_to_remove, from the suffix of the committed
brutisso@5074 162 // sequence. Return the actual number of removed regions.
brutisso@5074 163 uint shrink_by(uint num_regions_to_remove);
ysr@777 164
tonyp@2963 165 // Do some sanity checking.
tonyp@2963 166 void verify_optional() PRODUCT_RETURN;
ysr@777 167 };
stefank@2314 168
stefank@2314 169 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_HEAPREGIONSEQ_HPP

mercurial