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

Tue, 01 Mar 2011 14:56:48 -0800

author
iveresov
date
Tue, 01 Mar 2011 14:56:48 -0800
changeset 2606
0ac769a57c64
parent 2314
f95d63e2154a
child 2713
02f49b66361a
permissions
-rw-r--r--

6627983: G1: Bad oop deference during marking
Summary: Bulk zeroing reduction didn't work with G1, because arraycopy would call pre-barriers on uninitialized oops. The solution is to have version of arraycopy stubs that don't have pre-barriers. Also refactored arraycopy stubs generation on SPARC to be more readable and reduced the number of stubs necessary in some cases.
Reviewed-by: jrose, kvn, never

ysr@777 1 /*
johnc@2060 2 * Copyright (c) 2001, 2010, 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_CONCURRENTG1REFINE_HPP
stefank@2314 26 #define SHARE_VM_GC_IMPLEMENTATION_G1_CONCURRENTG1REFINE_HPP
stefank@2314 27
stefank@2314 28 #include "memory/allocation.hpp"
stefank@2314 29 #include "memory/cardTableModRefBS.hpp"
stefank@2314 30 #include "runtime/thread.hpp"
stefank@2314 31 #include "utilities/globalDefinitions.hpp"
stefank@2314 32
ysr@777 33 // Forward decl
ysr@777 34 class ConcurrentG1RefineThread;
ysr@777 35 class G1RemSet;
ysr@777 36
apetrusenko@984 37 class ConcurrentG1Refine: public CHeapObj {
iveresov@1229 38 ConcurrentG1RefineThread** _threads;
iveresov@1229 39 int _n_threads;
iveresov@1546 40 int _n_worker_threads;
iveresov@1546 41 /*
iveresov@1546 42 * The value of the update buffer queue length falls into one of 3 zones:
iveresov@1546 43 * green, yellow, red. If the value is in [0, green) nothing is
iveresov@1546 44 * done, the buffers are left unprocessed to enable the caching effect of the
iveresov@1546 45 * dirtied cards. In the yellow zone [green, yellow) the concurrent refinement
iveresov@1546 46 * threads are gradually activated. In [yellow, red) all threads are
iveresov@1546 47 * running. If the length becomes red (max queue length) the mutators start
iveresov@1546 48 * processing the buffers.
iveresov@1546 49 *
tonyp@1717 50 * There are some interesting cases (when G1UseAdaptiveConcRefinement
tonyp@1717 51 * is turned off):
iveresov@1546 52 * 1) green = yellow = red = 0. In this case the mutator will process all
iveresov@1546 53 * buffers. Except for those that are created by the deferred updates
iveresov@1546 54 * machinery during a collection.
iveresov@1546 55 * 2) green = 0. Means no caching. Can be a good way to minimize the
iveresov@1546 56 * amount of time spent updating rsets during a collection.
iveresov@1546 57 */
iveresov@1546 58 int _green_zone;
iveresov@1546 59 int _yellow_zone;
iveresov@1546 60 int _red_zone;
iveresov@1546 61
iveresov@1546 62 int _thread_threshold_step;
iveresov@1546 63
iveresov@1546 64 // Reset the threshold step value based of the current zone boundaries.
iveresov@1546 65 void reset_threshold_step();
johnc@1325 66
ysr@777 67 // The cache for card refinement.
johnc@1325 68 bool _use_cache;
johnc@1325 69 bool _def_use_cache;
ysr@777 70
johnc@1325 71 size_t _n_periods; // Used as clearing epoch
johnc@1325 72
johnc@1325 73 // An evicting cache of the number of times each card
johnc@1325 74 // is accessed. Reduces, but does not eliminate, the amount
johnc@1325 75 // of duplicated processing of dirty cards.
johnc@1325 76
johnc@1325 77 enum SomePrivateConstants {
johnc@1325 78 epoch_bits = 32,
johnc@1325 79 card_num_shift = epoch_bits,
johnc@1325 80 epoch_mask = AllBits,
johnc@1325 81 card_num_mask = AllBits,
johnc@1325 82
johnc@1325 83 // The initial cache size is approximately this fraction
johnc@1325 84 // of a maximal cache (i.e. the size needed for all cards
johnc@1325 85 // in the heap)
johnc@1325 86 InitialCacheFraction = 512
johnc@1325 87 };
johnc@1325 88
johnc@1325 89 const static julong card_num_mask_in_place =
johnc@1325 90 (julong) card_num_mask << card_num_shift;
johnc@1325 91
johnc@1325 92 typedef struct {
johnc@1325 93 julong _value; // | card_num | epoch |
johnc@1325 94 } CardEpochCacheEntry;
johnc@1325 95
johnc@1325 96 julong make_epoch_entry(unsigned int card_num, unsigned int epoch) {
johnc@1325 97 assert(0 <= card_num && card_num < _max_n_card_counts, "Bounds");
johnc@1325 98 assert(0 <= epoch && epoch <= _n_periods, "must be");
johnc@1325 99
johnc@1325 100 return ((julong) card_num << card_num_shift) | epoch;
johnc@1325 101 }
johnc@1325 102
johnc@1325 103 unsigned int extract_epoch(julong v) {
johnc@1325 104 return (v & epoch_mask);
johnc@1325 105 }
johnc@1325 106
johnc@1325 107 unsigned int extract_card_num(julong v) {
johnc@1325 108 return (v & card_num_mask_in_place) >> card_num_shift;
johnc@1325 109 }
johnc@1325 110
johnc@1325 111 typedef struct {
johnc@1325 112 unsigned char _count;
johnc@1325 113 unsigned char _evict_count;
johnc@1325 114 } CardCountCacheEntry;
johnc@1325 115
johnc@1325 116 CardCountCacheEntry* _card_counts;
johnc@1325 117 CardEpochCacheEntry* _card_epochs;
johnc@1325 118
johnc@1325 119 // The current number of buckets in the card count cache
johnc@1325 120 unsigned _n_card_counts;
johnc@1325 121
johnc@1325 122 // The max number of buckets required for the number of
johnc@1325 123 // cards for the entire reserved heap
johnc@1325 124 unsigned _max_n_card_counts;
johnc@1325 125
johnc@1325 126 // Possible sizes of the cache: odd primes that roughly double in size.
johnc@1325 127 // (See jvmtiTagMap.cpp).
johnc@1325 128 static int _cc_cache_sizes[];
johnc@1325 129
johnc@1325 130 // The index in _cc_cache_sizes corresponding to the size of
johnc@1325 131 // _card_counts.
johnc@1325 132 int _cache_size_index;
johnc@1325 133
johnc@1325 134 bool _expand_card_counts;
johnc@1325 135
johnc@1325 136 const jbyte* _ct_bot;
johnc@1324 137
johnc@1324 138 jbyte** _hot_cache;
johnc@1324 139 int _hot_cache_size;
johnc@1324 140 int _n_hot;
johnc@1324 141 int _hot_cache_idx;
johnc@1324 142
johnc@1324 143 int _hot_cache_par_chunk_size;
johnc@1324 144 volatile int _hot_cache_par_claimed_idx;
ysr@777 145
johnc@1325 146 // Needed to workaround 6817995
johnc@1325 147 CardTableModRefBS* _ct_bs;
johnc@1325 148 G1CollectedHeap* _g1h;
johnc@1325 149
johnc@1325 150 // Expands the array that holds the card counts to the next size up
johnc@1325 151 void expand_card_count_cache();
johnc@1325 152
johnc@1325 153 // hash a given key (index of card_ptr) with the specified size
johnc@1325 154 static unsigned int hash(size_t key, int size) {
johnc@1325 155 return (unsigned int) key % size;
johnc@1325 156 }
johnc@1325 157
johnc@1325 158 // hash a given key (index of card_ptr)
johnc@1325 159 unsigned int hash(size_t key) {
johnc@1325 160 return hash(key, _n_card_counts);
johnc@1325 161 }
johnc@1325 162
johnc@1325 163 unsigned ptr_2_card_num(jbyte* card_ptr) {
johnc@1325 164 return (unsigned) (card_ptr - _ct_bot);
johnc@1325 165 }
johnc@1325 166
johnc@1325 167 jbyte* card_num_2_ptr(unsigned card_num) {
johnc@1325 168 return (jbyte*) (_ct_bot + card_num);
johnc@1325 169 }
johnc@1325 170
ysr@777 171 // Returns the count of this card after incrementing it.
johnc@1325 172 jbyte* add_card_count(jbyte* card_ptr, int* count, bool* defer);
ysr@777 173
johnc@1325 174 // Returns true if this card is in a young region
johnc@1325 175 bool is_young_card(jbyte* card_ptr);
johnc@1325 176
ysr@777 177 public:
ysr@777 178 ConcurrentG1Refine();
ysr@777 179 ~ConcurrentG1Refine();
ysr@777 180
ysr@777 181 void init(); // Accomplish some initialization that has to wait.
iveresov@1229 182 void stop();
ysr@777 183
iveresov@1546 184 void reinitialize_threads();
iveresov@1546 185
iveresov@1229 186 // Iterate over the conc refine threads
iveresov@1229 187 void threads_do(ThreadClosure *tc);
ysr@777 188
ysr@777 189 // If this is the first entry for the slot, writes into the cache and
ysr@777 190 // returns NULL. If it causes an eviction, returns the evicted pointer.
ysr@777 191 // Otherwise, its a cache hit, and returns NULL.
johnc@1325 192 jbyte* cache_insert(jbyte* card_ptr, bool* defer);
ysr@777 193
ysr@777 194 // Process the cached entries.
johnc@2060 195 void clean_up_cache(int worker_i, G1RemSet* g1rs, DirtyCardQueue* into_cset_dcq);
ysr@777 196
johnc@1324 197 // Set up for parallel processing of the cards in the hot cache
johnc@1324 198 void clear_hot_cache_claimed_index() {
johnc@1324 199 _hot_cache_par_claimed_idx = 0;
johnc@1324 200 }
johnc@1324 201
ysr@777 202 // Discard entries in the hot cache.
ysr@777 203 void clear_hot_cache() {
ysr@777 204 _hot_cache_idx = 0; _n_hot = 0;
ysr@777 205 }
ysr@777 206
ysr@777 207 bool hot_cache_is_empty() { return _n_hot == 0; }
ysr@777 208
ysr@777 209 bool use_cache() { return _use_cache; }
ysr@777 210 void set_use_cache(bool b) {
ysr@777 211 if (b) _use_cache = _def_use_cache;
ysr@777 212 else _use_cache = false;
ysr@777 213 }
ysr@777 214
ysr@777 215 void clear_and_record_card_counts();
iveresov@1230 216
iveresov@1546 217 static int thread_num();
tonyp@1454 218
tonyp@1454 219 void print_worker_threads_on(outputStream* st) const;
iveresov@1546 220
iveresov@1546 221 void set_green_zone(int x) { _green_zone = x; }
iveresov@1546 222 void set_yellow_zone(int x) { _yellow_zone = x; }
iveresov@1546 223 void set_red_zone(int x) { _red_zone = x; }
iveresov@1546 224
iveresov@1546 225 int green_zone() const { return _green_zone; }
iveresov@1546 226 int yellow_zone() const { return _yellow_zone; }
iveresov@1546 227 int red_zone() const { return _red_zone; }
iveresov@1546 228
iveresov@1546 229 int total_thread_num() const { return _n_threads; }
iveresov@1546 230 int worker_thread_num() const { return _n_worker_threads; }
iveresov@1546 231
iveresov@1546 232 int thread_threshold_step() const { return _thread_threshold_step; }
ysr@777 233 };
stefank@2314 234
stefank@2314 235 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_CONCURRENTG1REFINE_HPP

mercurial