truffle: src/share/vm/gc_implementation/g1/sparsePRT.hpp annotate

annotate src/share/vm/gc_implementation/g1/sparsePRT.hpp @ 1884:9f4848ebbabd

6992189: G1: inconsistent base used in sparse rem set iterator Summary: The remembered set iterator for sparse tables incorrectly assumes that index 0 corresponds to the bottom of the heap, not address 0 as it is the case. Reviewed-by: ysr, jmasa

author	tonyp
date	Fri, 15 Oct 2010 17:26:56 -0400
parents	c18cbe5936b8
children	72a161e62cc4

rev	line source
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	1 /*
1552 c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1261 diff changeset	2 * Copyright (c) 2001, 2009, 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: 1261 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1261 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: 1261 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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	25 // Sparse remembered set for a heap region (the "owning" region). Maps
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	26 // indices of other regions to short sequences of cards in the other region
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	27 // that might contain pointers into the owner region.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	28
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	29 // These tables only expand while they are accessed in parallel --
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	30 // deletions may be done in single-threaded code. This allows us to allow
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	31 // unsynchronized reads/iterations, as long as expansions caused by
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	32 // insertions only enqueue old versions for deletions, but do not delete
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	33 // old versions synchronously.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	34
549 fe3d7c11b4b7 6700941: G1: allocation spec missing for some G1 classes apetrusenko parents: 342 diff changeset	35 class SparsePRTEntry: public CHeapObj {
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	36 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	37 enum SomePublicConstants {
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	38 NullEntry = -1,
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	39 UnrollFactor = 4
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	40 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	41 private:
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	42 RegionIdx_t _region_ind;
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	43 int _next_index;
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	44 CardIdx_t _cards[1];
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	45 // WARNING: Don't put any data members beyond this line. Card array has, in fact, variable length.
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	46 // It should always be the last data member.
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	47 public:
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	48 // Returns the size of the entry, used for entry allocation.
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	49 static size_t size() { return sizeof(SparsePRTEntry) + sizeof(CardIdx_t) * (cards_num() - 1); }
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	50 // Returns the size of the card array.
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	51 static int cards_num() {
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	52 // The number of cards should be a multiple of 4, because that's our current
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	53 // unrolling factor.
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	54 static const int s = MAX2<int>(G1RSetSparseRegionEntries & ~(UnrollFactor - 1), UnrollFactor);
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	55 return s;
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	56 }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	57
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	58 // Set the region_ind to the given value, and delete all cards.
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	59 inline void init(RegionIdx_t region_ind);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	60
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	61 RegionIdx_t r_ind() const { return _region_ind; }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	62 bool valid_entry() const { return r_ind() >= 0; }
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	63 void set_r_ind(RegionIdx_t rind) { _region_ind = rind; }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	64
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	65 int next_index() const { return _next_index; }
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	66 int* next_index_addr() { return &_next_index; }
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	67 void set_next_index(int ni) { _next_index = ni; }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	68
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	69 // Returns "true" iff the entry contains the given card index.
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	70 inline bool contains_card(CardIdx_t card_index) const;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	71
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	72 // Returns the number of non-NULL card entries.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	73 inline int num_valid_cards() const;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	74
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	75 // Requires that the entry not contain the given card index. If there is
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	76 // space available, add the given card index to the entry and return
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	77 // "true"; otherwise, return "false" to indicate that the entry is full.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	78 enum AddCardResult {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	79 overflow,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	80 found,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	81 added
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	82 };
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	83 inline AddCardResult add_card(CardIdx_t card_index);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	84
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	85 // Copy the current entry's cards into "cards".
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	86 inline void copy_cards(CardIdx_t* cards) const;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	87 // Copy the current entry's cards into the "_card" array of "e."
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	88 inline void copy_cards(SparsePRTEntry* e) const;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	89
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	90 inline CardIdx_t card(int i) const { return _cards[i]; }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	91 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	92
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	93
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	94 class RSHashTable : public CHeapObj {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	95
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	96 friend class RSHashTableIter;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	97
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	98 enum SomePrivateConstants {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	99 NullEntry = -1
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	100 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	101
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	102 size_t _capacity;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	103 size_t _capacity_mask;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	104 size_t _occupied_entries;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	105 size_t _occupied_cards;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	106
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	107 SparsePRTEntry* _entries;
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	108 int* _buckets;
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	109 int _free_region;
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	110 int _free_list;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	111
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	112 // Requires that the caller hold a lock preventing parallel modifying
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	113 // operations, and that the the table be less than completely full. If
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	114 // an entry for "region_ind" is already in the table, finds it and
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	115 // returns its address; otherwise returns "NULL."
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	116 SparsePRTEntry* entry_for_region_ind(RegionIdx_t region_ind) const;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	117
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	118 // Requires that the caller hold a lock preventing parallel modifying
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	119 // operations, and that the the table be less than completely full. If
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	120 // an entry for "region_ind" is already in the table, finds it and
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	121 // returns its address; otherwise allocates, initializes, inserts and
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	122 // returns a new entry for "region_ind".
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	123 SparsePRTEntry* entry_for_region_ind_create(RegionIdx_t region_ind);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	124
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	125 // Returns the index of the next free entry in "_entries".
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	126 int alloc_entry();
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	127 // Declares the entry "fi" to be free. (It must have already been
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	128 // deleted from any bucket lists.
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	129 void free_entry(int fi);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	130
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	131 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	132 RSHashTable(size_t capacity);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	133 ~RSHashTable();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	134
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	135 // Attempts to ensure that the given card_index in the given region is in
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	136 // the sparse table. If successful (because the card was already
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	137 // present, or because it was successfullly added) returns "true".
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	138 // Otherwise, returns "false" to indicate that the addition would
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	139 // overflow the entry for the region. The caller must transfer these
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	140 // entries to a larger-capacity representation.
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	141 bool add_card(RegionIdx_t region_id, CardIdx_t card_index);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	142
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	143 bool get_cards(RegionIdx_t region_id, CardIdx_t* cards);
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	144
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	145 bool delete_entry(RegionIdx_t region_id);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	146
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	147 bool contains_card(RegionIdx_t region_id, CardIdx_t card_index) const;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	148
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	149 void add_entry(SparsePRTEntry* e);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	150
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	151 SparsePRTEntry* get_entry(RegionIdx_t region_id);
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	152
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	153 void clear();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	154
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	155 size_t capacity() const { return _capacity; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	156 size_t capacity_mask() const { return _capacity_mask; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	157 size_t occupied_entries() const { return _occupied_entries; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	158 size_t occupied_cards() const { return _occupied_cards; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	159 size_t mem_size() const;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	160
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	161 SparsePRTEntry* entry(int i) const { return (SparsePRTEntry)((char)_entries + SparsePRTEntry::size() * i); }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	162
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	163 void print();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	164 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	165
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	166 // ValueObj because will be embedded in HRRS iterator.
549 fe3d7c11b4b7 6700941: G1: allocation spec missing for some G1 classes apetrusenko parents: 342 diff changeset	167 class RSHashTableIter VALUE_OBJ_CLASS_SPEC {
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	168 int _tbl_ind; // [-1, 0.._rsht->_capacity)
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	169 int _bl_ind; // [-1, 0.._rsht->_capacity)
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	170 short _card_ind; // [0..SparsePRTEntry::cards_num())
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	171 RSHashTable* _rsht;
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	172
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	173 // If the bucket list pointed to by _bl_ind contains a card, sets
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	174 // _bl_ind to the index of that entry, and returns the card.
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	175 // Otherwise, returns SparseEntry::NullEntry.
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	176 CardIdx_t find_first_card_in_list();
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	177
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	178 // Computes the proper card index for the card whose offset in the
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	179 // current region (as indicated by _bl_ind) is "ci".
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	180 // This is subject to errors when there is iteration concurrent with
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	181 // modification, but these errors should be benign.
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	182 size_t compute_card_ind(CardIdx_t ci);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	183
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	184 public:
1884 9f4848ebbabd 6992189: G1: inconsistent base used in sparse rem set iterator tonyp parents: 1552 diff changeset	185 RSHashTableIter() :
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	186 _tbl_ind(RSHashTable::NullEntry),
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	187 _bl_ind(RSHashTable::NullEntry),
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	188 _card_ind((SparsePRTEntry::cards_num() - 1)),
1884 9f4848ebbabd 6992189: G1: inconsistent base used in sparse rem set iterator tonyp parents: 1552 diff changeset	189 _rsht(NULL) {}
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	190
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	191 void init(RSHashTable* rsht) {
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	192 _rsht = rsht;
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	193 _tbl_ind = -1; // So that first increment gets to 0.
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	194 _bl_ind = RSHashTable::NullEntry;
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	195 _card_ind = (SparsePRTEntry::cards_num() - 1);
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	196 }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	197
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	198 bool has_next(size_t& card_index);
d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	199 };
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	200
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	201 // Concurrent accesss to a SparsePRT must be serialized by some external
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	202 // mutex.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	203
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	204 class SparsePRTIter;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	205
549 fe3d7c11b4b7 6700941: G1: allocation spec missing for some G1 classes apetrusenko parents: 342 diff changeset	206 class SparsePRT VALUE_OBJ_CLASS_SPEC {
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	207 // Iterations are done on the _cur hash table, since they only need to
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	208 // see entries visible at the start of a collection pause.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	209 // All other operations are done using the _next hash table.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	210 RSHashTable* _cur;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	211 RSHashTable* _next;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	212
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	213 HeapRegion* _hr;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	214
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	215 enum SomeAdditionalPrivateConstants {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	216 InitialCapacity = 16
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	217 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	218
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	219 void expand();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	220
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	221 bool _expanded;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	222
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	223 bool expanded() { return _expanded; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	224 void set_expanded(bool b) { _expanded = b; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	225
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	226 SparsePRT* _next_expanded;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	227
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	228 SparsePRT* next_expanded() { return _next_expanded; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	229 void set_next_expanded(SparsePRT* nxt) { _next_expanded = nxt; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	230
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	231 static SparsePRT* _head_expanded_list;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	232
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	233 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	234 SparsePRT(HeapRegion* hr);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	235
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	236 ~SparsePRT();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	237
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	238 size_t occupied() const { return _next->occupied_cards(); }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	239 size_t mem_size() const;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	240
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	241 // Attempts to ensure that the given card_index in the given region is in
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	242 // the sparse table. If successful (because the card was already
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	243 // present, or because it was successfullly added) returns "true".
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	244 // Otherwise, returns "false" to indicate that the addition would
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	245 // overflow the entry for the region. The caller must transfer these
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	246 // entries to a larger-capacity representation.
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	247 bool add_card(RegionIdx_t region_id, CardIdx_t card_index);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	248
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	249 // If the table hold an entry for "region_ind", Copies its
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	250 // cards into "cards", which must be an array of length at least
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	251 // "SparePRTEntry::cards_num()", and returns "true"; otherwise,
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	252 // returns "false".
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	253 bool get_cards(RegionIdx_t region_ind, CardIdx_t* cards);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	254
1261 0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	255 // Return the pointer to the entry associated with the given region.
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	256 SparsePRTEntry* get_entry(RegionIdx_t region_ind);
0414c1049f15 6923991: G1: improve scalability of RSet scanning iveresov parents: 1045 diff changeset	257
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	258 // If there is an entry for "region_ind", removes it and return "true";
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	259 // otherwise returns "false."
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	260 bool delete_entry(RegionIdx_t region_ind);
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	261
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	262 // Clear the table, and reinitialize to initial capacity.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	263 void clear();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	264
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	265 // Ensure that "_cur" and "_next" point to the same table.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	266 void cleanup();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	267
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	268 // Clean up all tables on the expanded list. Called single threaded.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	269 static void cleanup_all();
617 0db4adb6e914 6810698: G1: two small bugs in the sparse remembered sets tonyp parents: 549 diff changeset	270 RSHashTable* cur() const { return _cur; }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	271
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	272 void init_iterator(SparsePRTIter* sprt_iter);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	273
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	274 static void add_to_expanded_list(SparsePRT* sprt);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	275 static SparsePRT* get_from_expanded_list();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	276
807 d44bdab1c03d 6843694: G1: assert(index < _vs.committed_size(),"bad index"), g1BlockOffsetTable.inline.hpp:55 johnc parents: 628 diff changeset	277 bool contains_card(RegionIdx_t region_id, CardIdx_t card_index) const {
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	278 return _next->contains_card(region_id, card_index);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	279 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	280 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	281
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	282
1884 9f4848ebbabd 6992189: G1: inconsistent base used in sparse rem set iterator tonyp parents: 1552 diff changeset	283 class SparsePRTIter: public RSHashTableIter {
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	284 public:
1884 9f4848ebbabd 6992189: G1: inconsistent base used in sparse rem set iterator tonyp parents: 1552 diff changeset	285 SparsePRTIter() : RSHashTableIter() { }
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	286
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	287 void init(const SparsePRT* sprt) {
617 0db4adb6e914 6810698: G1: two small bugs in the sparse remembered sets tonyp parents: 549 diff changeset	288 RSHashTableIter::init(sprt->cur());
342 37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	289 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	290 bool has_next(size_t& card_index) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	291 return RSHashTableIter::has_next(card_index);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	292 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector ysr parents: diff changeset	293 };

Mercurial > hg > truffle

annotate src/share/vm/gc_implementation/g1/sparsePRT.hpp @ 1884:9f4848ebbabd