g1RemSet.cpp 26.7 KB
Newer Older
1
/*
2
 * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved.
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
19 20 21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
22 23 24
 *
 */

25 26 27 28 29 30
#include "precompiled.hpp"
#include "gc_implementation/g1/concurrentG1Refine.hpp"
#include "gc_implementation/g1/concurrentG1RefineThread.hpp"
#include "gc_implementation/g1/g1BlockOffsetTable.inline.hpp"
#include "gc_implementation/g1/g1CollectedHeap.inline.hpp"
#include "gc_implementation/g1/g1CollectorPolicy.hpp"
31
#include "gc_implementation/g1/g1HotCardCache.hpp"
32
#include "gc_implementation/g1/g1GCPhaseTimes.hpp"
33 34
#include "gc_implementation/g1/g1OopClosures.inline.hpp"
#include "gc_implementation/g1/g1RemSet.inline.hpp"
35
#include "gc_implementation/g1/heapRegionManager.inline.hpp"
36
#include "gc_implementation/g1/heapRegionRemSet.hpp"
37 38 39
#include "memory/iterator.hpp"
#include "oops/oop.inline.hpp"
#include "utilities/intHisto.hpp"
40

41 42
PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC

43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
#define CARD_REPEAT_HISTO 0

#if CARD_REPEAT_HISTO
static size_t ct_freq_sz;
static jbyte* ct_freq = NULL;

void init_ct_freq_table(size_t heap_sz_bytes) {
  if (ct_freq == NULL) {
    ct_freq_sz = heap_sz_bytes/CardTableModRefBS::card_size;
    ct_freq = new jbyte[ct_freq_sz];
    for (size_t j = 0; j < ct_freq_sz; j++) ct_freq[j] = 0;
  }
}

void ct_freq_note_card(size_t index) {
  assert(0 <= index && index < ct_freq_sz, "Bounds error.");
  if (ct_freq[index] < 100) { ct_freq[index]++; }
}

static IntHistogram card_repeat_count(10, 10);

void ct_freq_update_histo_and_reset() {
  for (size_t j = 0; j < ct_freq_sz; j++) {
    card_repeat_count.add_entry(ct_freq[j]);
    ct_freq[j] = 0;
  }

}
#endif

73 74 75
G1RemSet::G1RemSet(G1CollectedHeap* g1, CardTableModRefBS* ct_bs)
  : _g1(g1), _conc_refine_cards(0),
    _ct_bs(ct_bs), _g1p(_g1->g1_policy()),
76
    _cg1r(g1->concurrent_g1_refine()),
J
johnc 已提交
77
    _cset_rs_update_cl(NULL),
78 79
    _cards_scanned(NULL), _total_cards_scanned(0),
    _prev_period_summary()
80 81
{
  _seq_task = new SubTasksDone(NumSeqTasks);
82
  guarantee(n_workers() > 0, "There should be some workers");
Z
zgu 已提交
83
  _cset_rs_update_cl = NEW_C_HEAP_ARRAY(OopsInHeapRegionClosure*, n_workers(), mtGC);
84
  for (uint i = 0; i < n_workers(); i++) {
J
johnc 已提交
85
    _cset_rs_update_cl[i] = NULL;
86
  }
87 88 89
  if (G1SummarizeRSetStats) {
    _prev_period_summary.initialize(this);
  }
90 91
}

92
G1RemSet::~G1RemSet() {
93
  delete _seq_task;
94
  for (uint i = 0; i < n_workers(); i++) {
J
johnc 已提交
95
    assert(_cset_rs_update_cl[i] == NULL, "it should be");
96
  }
Z
zgu 已提交
97
  FREE_C_HEAP_ARRAY(OopsInHeapRegionClosure*, _cset_rs_update_cl, mtGC);
98 99 100 101 102 103 104 105 106 107 108 109
}

void CountNonCleanMemRegionClosure::do_MemRegion(MemRegion mr) {
  if (_g1->is_in_g1_reserved(mr.start())) {
    _n += (int) ((mr.byte_size() / CardTableModRefBS::card_size));
    if (_start_first == NULL) _start_first = mr.start();
  }
}

class ScanRSClosure : public HeapRegionClosure {
  size_t _cards_done, _cards;
  G1CollectedHeap* _g1h;
J
johnc 已提交
110

111
  OopsInHeapRegionClosure* _oc;
112
  CodeBlobClosure* _code_root_cl;
J
johnc 已提交
113

114
  G1BlockOffsetSharedArray* _bot_shared;
115
  G1SATBCardTableModRefBS *_ct_bs;
J
johnc 已提交
116 117

  double _strong_code_root_scan_time_sec;
118
  uint   _worker_i;
J
johnc 已提交
119 120 121
  int    _block_size;
  bool   _try_claimed;

122
public:
J
johnc 已提交
123
  ScanRSClosure(OopsInHeapRegionClosure* oc,
124
                CodeBlobClosure* code_root_cl,
125
                uint worker_i) :
126
    _oc(oc),
J
johnc 已提交
127 128
    _code_root_cl(code_root_cl),
    _strong_code_root_scan_time_sec(0.0),
129 130 131 132 133 134 135
    _cards(0),
    _cards_done(0),
    _worker_i(worker_i),
    _try_claimed(false)
  {
    _g1h = G1CollectedHeap::heap();
    _bot_shared = _g1h->bot_shared();
136
    _ct_bs = _g1h->g1_barrier_set();
137
    _block_size = MAX2<int>(G1RSetScanBlockSize, 1);
138 139 140 141 142
  }

  void set_try_claimed() { _try_claimed = true; }

  void scanCard(size_t index, HeapRegion *r) {
J
johnc 已提交
143 144 145 146
    // Stack allocate the DirtyCardToOopClosure instance
    HeapRegionDCTOC cl(_g1h, r, _oc,
                       CardTableModRefBS::Precise,
                       HeapRegionDCTOC::IntoCSFilterKind);
147 148 149

    // Set the "from" region in the closure.
    _oc->set_region(r);
150 151 152
    MemRegion card_region(_bot_shared->address_for_index(index), G1BlockOffsetSharedArray::N_words);
    MemRegion pre_gc_allocated(r->bottom(), r->scan_top());
    MemRegion mr = pre_gc_allocated.intersection(card_region);
153 154 155 156 157 158
    if (!mr.is_empty() && !_ct_bs->is_card_claimed(index)) {
      // We make the card as "claimed" lazily (so races are possible
      // but they're benign), which reduces the number of duplicate
      // scans (the rsets of the regions in the cset can intersect).
      _ct_bs->set_card_claimed(index);
      _cards_done++;
J
johnc 已提交
159
      cl.do_MemRegion(mr);
160 161 162 163 164
    }
  }

  void printCard(HeapRegion* card_region, size_t card_index,
                 HeapWord* card_start) {
165
    gclog_or_tty->print_cr("T " UINT32_FORMAT " Region [" PTR_FORMAT ", " PTR_FORMAT ") "
166 167 168 169 170 171 172 173
                           "RS names card %p: "
                           "[" PTR_FORMAT ", " PTR_FORMAT ")",
                           _worker_i,
                           card_region->bottom(), card_region->end(),
                           card_index,
                           card_start, card_start + G1BlockOffsetSharedArray::N_words);
  }

J
johnc 已提交
174 175 176 177 178 179
  void scan_strong_code_roots(HeapRegion* r) {
    double scan_start = os::elapsedTime();
    r->strong_code_roots_do(_code_root_cl);
    _strong_code_root_scan_time_sec += (os::elapsedTime() - scan_start);
  }

180 181 182 183 184
  bool doHeapRegion(HeapRegion* r) {
    assert(r->in_collection_set(), "should only be called on elements of CS.");
    HeapRegionRemSet* hrrs = r->rem_set();
    if (hrrs->iter_is_complete()) return false; // All done.
    if (!_try_claimed && !hrrs->claim_iter()) return false;
185 186 187
    // If we ever free the collection set concurrently, we should also
    // clear the card table concurrently therefore we won't need to
    // add regions of the collection set to the dirty cards region.
188
    _g1h->push_dirty_cards_region(r);
189 190 191 192
    // If we didn't return above, then
    //   _try_claimed || r->claim_iter()
    // is true: either we're supposed to work on claimed-but-not-complete
    // regions, or we successfully claimed the region.
J
johnc 已提交
193

194
    HeapRegionRemSetIterator iter(hrrs);
195
    size_t card_index;
196 197 198 199

    // We claim cards in block so as to recude the contention. The block size is determined by
    // the G1RSetScanBlockSize parameter.
    size_t jump_to_card = hrrs->iter_claimed_next(_block_size);
200
    for (size_t current_card = 0; iter.has_next(card_index); current_card++) {
201 202
      if (current_card >= jump_to_card + _block_size) {
        jump_to_card = hrrs->iter_claimed_next(_block_size);
203
      }
204
      if (current_card < jump_to_card) continue;
205 206 207 208 209 210 211 212 213
      HeapWord* card_start = _g1h->bot_shared()->address_for_index(card_index);
#if 0
      gclog_or_tty->print("Rem set iteration yielded card [" PTR_FORMAT ", " PTR_FORMAT ").\n",
                          card_start, card_start + CardTableModRefBS::card_size_in_words);
#endif

      HeapRegion* card_region = _g1h->heap_region_containing(card_start);
      _cards++;

214 215 216 217
      if (!card_region->is_on_dirty_cards_region_list()) {
        _g1h->push_dirty_cards_region(card_region);
      }

218 219 220 221
      // If the card is dirty, then we will scan it during updateRS.
      if (!card_region->in_collection_set() &&
          !_ct_bs->is_card_dirty(card_index)) {
        scanCard(card_index, card_region);
222
      }
223 224
    }
    if (!_try_claimed) {
J
johnc 已提交
225 226 227
      // Scan the strong code root list attached to the current region
      scan_strong_code_roots(r);

228
      hrrs->set_iter_complete();
229 230 231
    }
    return false;
  }
J
johnc 已提交
232 233 234 235 236

  double strong_code_root_scan_time_sec() {
    return _strong_code_root_scan_time_sec;
  }

237 238 239 240
  size_t cards_done() { return _cards_done;}
  size_t cards_looked_up() { return _cards;}
};

J
johnc 已提交
241
void G1RemSet::scanRS(OopsInHeapRegionClosure* oc,
242
                      CodeBlobClosure* code_root_cl,
243
                      uint worker_i) {
244
  double rs_time_start = os::elapsedTime();
245
  HeapRegion *startRegion = _g1->start_cset_region_for_worker(worker_i);
246

J
johnc 已提交
247
  ScanRSClosure scanRScl(oc, code_root_cl, worker_i);
248

249 250 251 252
  _g1->collection_set_iterate_from(startRegion, &scanRScl);
  scanRScl.set_try_claimed();
  _g1->collection_set_iterate_from(startRegion, &scanRScl);

J
johnc 已提交
253 254
  double scan_rs_time_sec = (os::elapsedTime() - rs_time_start)
                            - scanRScl.strong_code_root_scan_time_sec();
255

J
johnc 已提交
256
  assert(_cards_scanned != NULL, "invariant");
257 258
  _cards_scanned[worker_i] = scanRScl.cards_done();

259
  _g1p->phase_times()->record_scan_rs_time(worker_i, scan_rs_time_sec * 1000.0);
J
johnc 已提交
260 261
  _g1p->phase_times()->record_strong_code_root_scan_time(worker_i,
                                                         scanRScl.strong_code_root_scan_time_sec() * 1000.0);
262 263
}

J
johnc 已提交
264 265 266 267 268 269 270 271 272 273 274 275
// Closure used for updating RSets and recording references that
// point into the collection set. Only called during an
// evacuation pause.

class RefineRecordRefsIntoCSCardTableEntryClosure: public CardTableEntryClosure {
  G1RemSet* _g1rs;
  DirtyCardQueue* _into_cset_dcq;
public:
  RefineRecordRefsIntoCSCardTableEntryClosure(G1CollectedHeap* g1h,
                                              DirtyCardQueue* into_cset_dcq) :
    _g1rs(g1h->g1_rem_set()), _into_cset_dcq(into_cset_dcq)
  {}
276
  bool do_card_ptr(jbyte* card_ptr, uint worker_i) {
J
johnc 已提交
277 278 279 280 281
    // The only time we care about recording cards that
    // contain references that point into the collection set
    // is during RSet updating within an evacuation pause.
    // In this case worker_i should be the id of a GC worker thread.
    assert(SafepointSynchronize::is_at_safepoint(), "not during an evacuation pause");
282
    assert(worker_i < (ParallelGCThreads == 0 ? 1 : ParallelGCThreads), "should be a GC worker");
J
johnc 已提交
283

284
    if (_g1rs->refine_card(card_ptr, worker_i, true)) {
J
johnc 已提交
285 286 287 288 289 290 291 292 293 294 295
      // 'card_ptr' contains references that point into the collection
      // set. We need to record the card in the DCQS
      // (G1CollectedHeap::into_cset_dirty_card_queue_set())
      // that's used for that purpose.
      //
      // Enqueue the card
      _into_cset_dcq->enqueue(card_ptr);
    }
    return true;
  }
};
296

297
void G1RemSet::updateRS(DirtyCardQueue* into_cset_dcq, uint worker_i) {
298
  double start = os::elapsedTime();
J
johnc 已提交
299 300
  // Apply the given closure to all remaining log entries.
  RefineRecordRefsIntoCSCardTableEntryClosure into_cset_update_rs_cl(_g1, into_cset_dcq);
301

J
johnc 已提交
302 303
  _g1->iterate_dirty_card_closure(&into_cset_update_rs_cl, into_cset_dcq, false, worker_i);

304 305 306 307 308 309 310
  // Now there should be no dirty cards.
  if (G1RSLogCheckCardTable) {
    CountNonCleanMemRegionClosure cl(_g1);
    _ct_bs->mod_card_iterate(&cl);
    // XXX This isn't true any more: keeping cards of young regions
    // marked dirty broke it.  Need some reasonable fix.
    guarantee(cl.n() == 0, "Card table should be clean.");
311
  }
312

313
  _g1p->phase_times()->record_update_rs_time(worker_i, (os::elapsedTime() - start) * 1000.0);
314 315
}

316
void G1RemSet::cleanupHRRS() {
317 318 319
  HeapRegionRemSet::cleanup();
}

320
void G1RemSet::oops_into_collection_set_do(OopsInHeapRegionClosure* oc,
321
                                           CodeBlobClosure* code_root_cl,
322
                                           uint worker_i) {
323 324 325 326
#if CARD_REPEAT_HISTO
  ct_freq_update_histo_and_reset();
#endif

J
johnc 已提交
327 328
  // We cache the value of 'oc' closure into the appropriate slot in the
  // _cset_rs_update_cl for this worker
329
  assert(worker_i < n_workers(), "sanity");
J
johnc 已提交
330 331 332 333 334 335 336 337 338
  _cset_rs_update_cl[worker_i] = oc;

  // A DirtyCardQueue that is used to hold cards containing references
  // that point into the collection set. This DCQ is associated with a
  // special DirtyCardQueueSet (see g1CollectedHeap.hpp).  Under normal
  // circumstances (i.e. the pause successfully completes), these cards
  // are just discarded (there's no need to update the RSets of regions
  // that were in the collection set - after the pause these regions
  // are wholly 'free' of live objects. In the event of an evacuation
339 340
  // failure the cards/buffers in this queue set are passed to the
  // DirtyCardQueueSet that is used to manage RSet updates
J
johnc 已提交
341 342
  DirtyCardQueue into_cset_dcq(&_g1->into_cset_dirty_card_queue_set());

343 344 345 346 347 348 349 350 351 352 353
  assert((ParallelGCThreads > 0) || worker_i == 0, "invariant");

  // The two flags below were introduced temporarily to serialize
  // the updating and scanning of remembered sets. There are some
  // race conditions when these two operations are done in parallel
  // and they are causing failures. When we resolve said race
  // conditions, we'll revert back to parallel remembered set
  // updating and scanning. See CRs 6677707 and 6677708.
  if (G1UseParallelRSetUpdating || (worker_i == 0)) {
    updateRS(&into_cset_dcq, worker_i);
  } else {
354
    _g1p->phase_times()->record_update_rs_processed_buffers(worker_i, 0);
355
    _g1p->phase_times()->record_update_rs_time(worker_i, 0.0);
356 357
  }
  if (G1UseParallelRSetScanning || (worker_i == 0)) {
J
johnc 已提交
358
    scanRS(oc, code_root_cl, worker_i);
359
  } else {
360
    _g1p->phase_times()->record_scan_rs_time(worker_i, 0.0);
361
  }
J
johnc 已提交
362 363 364

  // We now clear the cached values of _cset_rs_update_cl for this worker
  _cset_rs_update_cl[worker_i] = NULL;
365 366
}

367
void G1RemSet::prepare_for_oops_into_collection_set_do() {
368 369 370 371 372 373
  cleanupHRRS();
  _g1->set_refine_cte_cl_concurrency(false);
  DirtyCardQueueSet& dcqs = JavaThread::dirty_card_queue_set();
  dcqs.concatenate_logs();

  guarantee( _cards_scanned == NULL, "invariant" );
Z
zgu 已提交
374
  _cards_scanned = NEW_C_HEAP_ARRAY(size_t, n_workers(), mtGC);
375 376 377
  for (uint i = 0; i < n_workers(); ++i) {
    _cards_scanned[i] = 0;
  }
378 379 380
  _total_cards_scanned = 0;
}

381
void G1RemSet::cleanup_after_oops_into_collection_set_do() {
382 383
  guarantee( _cards_scanned != NULL, "invariant" );
  _total_cards_scanned = 0;
384
  for (uint i = 0; i < n_workers(); ++i) {
385
    _total_cards_scanned += _cards_scanned[i];
386
  }
Z
zgu 已提交
387
  FREE_C_HEAP_ARRAY(size_t, _cards_scanned, mtGC);
388 389 390 391 392
  _cards_scanned = NULL;
  // Cleanup after copy
  _g1->set_refine_cte_cl_concurrency(true);
  // Set all cards back to clean.
  _g1->cleanUpCardTable();
393

J
johnc 已提交
394 395 396
  DirtyCardQueueSet& into_cset_dcqs = _g1->into_cset_dirty_card_queue_set();
  int into_cset_n_buffers = into_cset_dcqs.completed_buffers_num();

397
  if (_g1->evacuation_failed()) {
398
    double restore_remembered_set_start = os::elapsedTime();
J
johnc 已提交
399

400
    // Restore remembered sets for the regions pointing into the collection set.
401 402 403 404
    // We just need to transfer the completed buffers from the DirtyCardQueueSet
    // used to hold cards that contain references that point into the collection set
    // to the DCQS used to hold the deferred RS updates.
    _g1->dirty_card_queue_set().merge_bufferlists(&into_cset_dcqs);
405
    _g1->g1_policy()->phase_times()->record_evac_fail_restore_remsets((os::elapsedTime() - restore_remembered_set_start) * 1000.0);
406
  }
J
johnc 已提交
407 408 409 410 411 412 413

  // Free any completed buffers in the DirtyCardQueueSet used to hold cards
  // which contain references that point into the collection.
  _g1->into_cset_dirty_card_queue_set().clear();
  assert(_g1->into_cset_dirty_card_queue_set().completed_buffers_num() == 0,
         "all buffers should be freed");
  _g1->into_cset_dirty_card_queue_set().clear_n_completed_buffers();
414 415 416 417 418 419 420 421 422 423 424
}

class ScrubRSClosure: public HeapRegionClosure {
  G1CollectedHeap* _g1h;
  BitMap* _region_bm;
  BitMap* _card_bm;
  CardTableModRefBS* _ctbs;
public:
  ScrubRSClosure(BitMap* region_bm, BitMap* card_bm) :
    _g1h(G1CollectedHeap::heap()),
    _region_bm(region_bm), _card_bm(card_bm),
425
    _ctbs(_g1h->g1_barrier_set()) {}
426 427 428 429 430 431 432 433 434

  bool doHeapRegion(HeapRegion* r) {
    if (!r->continuesHumongous()) {
      r->rem_set()->scrub(_ctbs, _region_bm, _card_bm);
    }
    return false;
  }
};

435
void G1RemSet::scrub(BitMap* region_bm, BitMap* card_bm) {
436 437 438 439
  ScrubRSClosure scrub_cl(region_bm, card_bm);
  _g1->heap_region_iterate(&scrub_cl);
}

440
void G1RemSet::scrub_par(BitMap* region_bm, BitMap* card_bm,
441
                                uint worker_num, int claim_val) {
442
  ScrubRSClosure scrub_cl(region_bm, card_bm);
443 444
  _g1->heap_region_par_iterate_chunked(&scrub_cl,
                                       worker_num,
445
                                       n_workers(),
446
                                       claim_val);
447 448
}

449 450
G1TriggerClosure::G1TriggerClosure() :
  _triggered(false) { }
J
johnc 已提交
451

452 453 454 455 456 457 458 459 460 461 462 463
G1InvokeIfNotTriggeredClosure::G1InvokeIfNotTriggeredClosure(G1TriggerClosure* t_cl,
                                                             OopClosure* oop_cl)  :
  _trigger_cl(t_cl), _oop_cl(oop_cl) { }

G1Mux2Closure::G1Mux2Closure(OopClosure *c1, OopClosure *c2) :
  _c1(c1), _c2(c2) { }

G1UpdateRSOrPushRefOopClosure::
G1UpdateRSOrPushRefOopClosure(G1CollectedHeap* g1h,
                              G1RemSet* rs,
                              OopsInHeapRegionClosure* push_ref_cl,
                              bool record_refs_into_cset,
464
                              uint worker_i) :
465 466 467
  _g1(g1h), _g1_rem_set(rs), _from(NULL),
  _record_refs_into_cset(record_refs_into_cset),
  _push_ref_cl(push_ref_cl), _worker_i(worker_i) { }
J
johnc 已提交
468

469 470 471 472
// Returns true if the given card contains references that point
// into the collection set, if we're checking for such references;
// false otherwise.

473
bool G1RemSet::refine_card(jbyte* card_ptr, uint worker_i,
474
                           bool check_for_refs_into_cset) {
475 476 477 478 479 480
  assert(_g1->is_in_exact(_ct_bs->addr_for(card_ptr)),
         err_msg("Card at "PTR_FORMAT" index "SIZE_FORMAT" representing heap at "PTR_FORMAT" (%u) must be in committed heap",
                 p2i(card_ptr),
                 _ct_bs->index_for(_ct_bs->addr_for(card_ptr)),
                 _ct_bs->addr_for(card_ptr),
                 _g1->addr_to_region(_ct_bs->addr_for(card_ptr))));
481 482 483 484 485 486 487 488

  // If the card is no longer dirty, nothing to do.
  if (*card_ptr != CardTableModRefBS::dirty_card_val()) {
    // No need to return that this card contains refs that point
    // into the collection set.
    return false;
  }

489 490 491 492
  // Construct the region representing the card.
  HeapWord* start = _ct_bs->addr_for(card_ptr);
  // And find the region containing it.
  HeapRegion* r = _g1->heap_region_containing(start);
493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550

  // Why do we have to check here whether a card is on a young region,
  // given that we dirty young regions and, as a result, the
  // post-barrier is supposed to filter them out and never to enqueue
  // them? When we allocate a new region as the "allocation region" we
  // actually dirty its cards after we release the lock, since card
  // dirtying while holding the lock was a performance bottleneck. So,
  // as a result, it is possible for other threads to actually
  // allocate objects in the region (after the acquire the lock)
  // before all the cards on the region are dirtied. This is unlikely,
  // and it doesn't happen often, but it can happen. So, the extra
  // check below filters out those cards.
  if (r->is_young()) {
    return false;
  }

  // While we are processing RSet buffers during the collection, we
  // actually don't want to scan any cards on the collection set,
  // since we don't want to update remebered sets with entries that
  // point into the collection set, given that live objects from the
  // collection set are about to move and such entries will be stale
  // very soon. This change also deals with a reliability issue which
  // involves scanning a card in the collection set and coming across
  // an array that was being chunked and looking malformed. Note,
  // however, that if evacuation fails, we have to scan any objects
  // that were not moved and create any missing entries.
  if (r->in_collection_set()) {
    return false;
  }

  // The result from the hot card cache insert call is either:
  //   * pointer to the current card
  //     (implying that the current card is not 'hot'),
  //   * null
  //     (meaning we had inserted the card ptr into the "hot" card cache,
  //     which had some headroom),
  //   * a pointer to a "hot" card that was evicted from the "hot" cache.
  //

  G1HotCardCache* hot_card_cache = _cg1r->hot_card_cache();
  if (hot_card_cache->use_cache()) {
    assert(!check_for_refs_into_cset, "sanity");
    assert(!SafepointSynchronize::is_at_safepoint(), "sanity");

    card_ptr = hot_card_cache->insert(card_ptr);
    if (card_ptr == NULL) {
      // There was no eviction. Nothing to do.
      return false;
    }

    start = _ct_bs->addr_for(card_ptr);
    r = _g1->heap_region_containing(start);

    // Checking whether the region we got back from the cache
    // is young here is inappropriate. The region could have been
    // freed, reallocated and tagged as young while in the cache.
    // Hence we could see its young type change at any time.
  }
551

552 553 554 555
  // Don't use addr_for(card_ptr + 1) which can ask for
  // a card beyond the heap.  This is not safe without a perm
  // gen at the upper end of the heap.
  HeapWord* end   = start + CardTableModRefBS::card_size_in_words;
556 557 558
  MemRegion dirtyRegion(start, end);

#if CARD_REPEAT_HISTO
559
  init_ct_freq_table(_g1->max_capacity());
560 561 562
  ct_freq_note_card(_ct_bs->index_for(start));
#endif

563 564 565 566 567 568 569 570 571
  OopsInHeapRegionClosure* oops_in_heap_closure = NULL;
  if (check_for_refs_into_cset) {
    // ConcurrentG1RefineThreads have worker numbers larger than what
    // _cset_rs_update_cl[] is set up to handle. But those threads should
    // only be active outside of a collection which means that when they
    // reach here they should have check_for_refs_into_cset == false.
    assert((size_t)worker_i < n_workers(), "index of worker larger than _cset_rs_update_cl[].length");
    oops_in_heap_closure = _cset_rs_update_cl[worker_i];
  }
572 573 574 575 576
  G1UpdateRSOrPushRefOopClosure update_rs_oop_cl(_g1,
                                                 _g1->g1_rem_set(),
                                                 oops_in_heap_closure,
                                                 check_for_refs_into_cset,
                                                 worker_i);
577
  update_rs_oop_cl.set_from(r);
J
johnc 已提交
578

579
  G1TriggerClosure trigger_cl;
580
  FilterIntoCSClosure into_cs_cl(NULL, _g1, &trigger_cl);
581 582
  G1InvokeIfNotTriggeredClosure invoke_cl(&trigger_cl, &into_cs_cl);
  G1Mux2Closure mux(&invoke_cl, &update_rs_oop_cl);
J
johnc 已提交
583 584 585 586 587

  FilterOutOfRegionClosure filter_then_update_rs_oop_cl(r,
                        (check_for_refs_into_cset ?
                                (OopClosure*)&mux :
                                (OopClosure*)&update_rs_oop_cl));
588

589 590 591 592 593 594 595 596
  // The region for the current card may be a young region. The
  // current card may have been a card that was evicted from the
  // card cache. When the card was inserted into the cache, we had
  // determined that its region was non-young. While in the cache,
  // the region may have been freed during a cleanup pause, reallocated
  // and tagged as young.
  //
  // We wish to filter out cards for such a region but the current
597
  // thread, if we're running concurrently, may "see" the young type
598 599 600 601 602 603
  // change at any time (so an earlier "is_young" check may pass or
  // fail arbitrarily). We tell the iteration code to perform this
  // filtering when it has been determined that there has been an actual
  // allocation in this region and making it safe to check the young type.
  bool filter_young = true;

604 605
  HeapWord* stop_point =
    r->oops_on_card_seq_iterate_careful(dirtyRegion,
606
                                        &filter_then_update_rs_oop_cl,
607 608
                                        filter_young,
                                        card_ptr);
609

610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628
  // If stop_point is non-null, then we encountered an unallocated region
  // (perhaps the unfilled portion of a TLAB.)  For now, we'll dirty the
  // card and re-enqueue: if we put off the card until a GC pause, then the
  // unallocated portion will be filled in.  Alternatively, we might try
  // the full complexity of the technique used in "regular" precleaning.
  if (stop_point != NULL) {
    // The card might have gotten re-dirtied and re-enqueued while we
    // worked.  (In fact, it's pretty likely.)
    if (*card_ptr != CardTableModRefBS::dirty_card_val()) {
      *card_ptr = CardTableModRefBS::dirty_card_val();
      MutexLockerEx x(Shared_DirtyCardQ_lock,
                      Mutex::_no_safepoint_check_flag);
      DirtyCardQueue* sdcq =
        JavaThread::dirty_card_queue_set().shared_dirty_card_queue();
      sdcq->enqueue(card_ptr);
    }
  } else {
    _conc_refine_cards++;
  }
J
johnc 已提交
629

630 631 632
  // This gets set to true if the card being refined has
  // references that point into the collection set.
  bool has_refs_into_cset = trigger_cl.triggered();
633

634 635 636 637
  // We should only be detecting that the card contains references
  // that point into the collection set if the current thread is
  // a GC worker thread.
  assert(!has_refs_into_cset || SafepointSynchronize::is_at_safepoint(),
J
johnc 已提交
638
           "invalid result at non safepoint");
639 640

  return has_refs_into_cset;
641 642
}

643
void G1RemSet::print_periodic_summary_info(const char* header) {
644
  G1RemSetSummary current;
645
  current.initialize(this);
646

647
  _prev_period_summary.subtract_from(&current);
648
  print_summary_info(&_prev_period_summary, header);
649

650 651
  _prev_period_summary.set(&current);
}
652

653
void G1RemSet::print_summary_info() {
654
  G1RemSetSummary current;
655
  current.initialize(this);
656 657 658 659 660 661 662 663 664 665

  print_summary_info(&current, " Cumulative RS summary");
}

void G1RemSet::print_summary_info(G1RemSetSummary * summary, const char * header) {
  assert(summary != NULL, "just checking");

  if (header != NULL) {
    gclog_or_tty->print_cr("%s", header);
  }
666 667 668 669 670 671 672

#if CARD_REPEAT_HISTO
  gclog_or_tty->print_cr("\nG1 card_repeat count histogram: ");
  gclog_or_tty->print_cr("  # of repeats --> # of cards with that number.");
  card_repeat_count.print_on(gclog_or_tty);
#endif

673
  summary->print_on(gclog_or_tty);
674
}
J
johnc 已提交
675

676
void G1RemSet::prepare_for_verify() {
677 678
  if (G1HRRSFlushLogBuffersOnVerify &&
      (VerifyBeforeGC || VerifyAfterGC)
679
      &&  (!_g1->full_collection() || G1VerifyRSetsDuringFullGC)) {
680 681 682 683 684 685
    cleanupHRRS();
    _g1->set_refine_cte_cl_concurrency(false);
    if (SafepointSynchronize::is_at_safepoint()) {
      DirtyCardQueueSet& dcqs = JavaThread::dirty_card_queue_set();
      dcqs.concatenate_logs();
    }
686 687 688 689 690

    G1HotCardCache* hot_card_cache = _cg1r->hot_card_cache();
    bool use_hot_card_cache = hot_card_cache->use_cache();
    hot_card_cache->set_use_cache(false);

J
johnc 已提交
691 692 693
    DirtyCardQueue into_cset_dcq(&_g1->into_cset_dirty_card_queue_set());
    updateRS(&into_cset_dcq, 0);
    _g1->into_cset_dirty_card_queue_set().clear();
694

695
    hot_card_cache->set_use_cache(use_hot_card_cache);
696
    assert(JavaThread::dirty_card_queue_set().completed_buffers_num() == 0, "All should be consumed");
697 698
  }
}