hotspot/src/share/vm/gc/g1/g1CardLiveData.cpp
author mgerdin
Mon, 11 Apr 2016 09:49:10 +0200
changeset 37471 6ba3e52c2bd6
parent 37414 2672ba9af0dc
child 37989 e0a0f4de45c4
permissions -rw-r--r--
8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions Reviewed-by: drwhite, tschatzl
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
37414
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     1
/*
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     2
 * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     4
 *
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     7
 * published by the Free Software Foundation.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     8
 *
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    13
 * accompanied this code).
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    14
 *
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    18
 *
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    21
 * questions.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    22
 *
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    23
 */
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    24
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    25
#include "precompiled.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    26
#include "gc/g1/g1CollectedHeap.inline.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    27
#include "gc/g1/g1ConcurrentMark.inline.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    28
#include "gc/g1/g1CardLiveData.inline.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    29
#include "gc/g1/suspendibleThreadSet.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    30
#include "gc/shared/workgroup.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    31
#include "memory/universe.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    32
#include "runtime/atomic.inline.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    33
#include "runtime/globals.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    34
#include "runtime/os.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    35
#include "utilities/bitMap.inline.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    36
#include "utilities/debug.hpp"
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    37
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    38
G1CardLiveData::G1CardLiveData() :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    39
  _max_capacity(0),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    40
  _cards_per_region(0),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    41
  _live_regions(NULL),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    42
  _live_regions_size_in_bits(0),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    43
  _live_cards(NULL),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    44
  _live_cards_size_in_bits(0) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    45
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    46
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    47
G1CardLiveData::~G1CardLiveData()  {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    48
  free_large_bitmap(_live_cards, _live_cards_size_in_bits);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    49
  free_large_bitmap(_live_regions, _live_regions_size_in_bits);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    50
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    51
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    52
G1CardLiveData::bm_word_t* G1CardLiveData::allocate_large_bitmap(size_t size_in_bits) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    53
  size_t size_in_words = BitMap::calc_size_in_words(size_in_bits);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    54
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    55
  bm_word_t* map = MmapArrayAllocator<bm_word_t, mtGC>::allocate(size_in_words);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    56
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    57
  return map;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    58
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    59
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    60
void G1CardLiveData::free_large_bitmap(bm_word_t* bitmap, size_t size_in_bits) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    61
  MmapArrayAllocator<bm_word_t, mtGC>::free(bitmap, size_in_bits / BitsPerWord);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    62
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    63
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    64
void G1CardLiveData::initialize(size_t max_capacity, uint num_max_regions) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    65
  assert(max_capacity % num_max_regions == 0,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    66
         "Given capacity must be evenly divisible by region size.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    67
  size_t region_size = max_capacity / num_max_regions;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    68
  assert(region_size % (G1SATBCardTableModRefBS::card_size * BitsPerWord) == 0,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    69
         "Region size must be evenly divisible by area covered by a single word.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    70
  _max_capacity = max_capacity;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    71
  _cards_per_region = region_size / G1SATBCardTableModRefBS::card_size;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    72
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    73
  _live_regions_size_in_bits = live_region_bitmap_size_in_bits();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    74
  _live_regions = allocate_large_bitmap(_live_regions_size_in_bits);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    75
  _live_cards_size_in_bits = live_card_bitmap_size_in_bits();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    76
  _live_cards = allocate_large_bitmap(_live_cards_size_in_bits);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    77
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    78
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    79
void G1CardLiveData::pretouch() {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    80
  live_cards_bm().pretouch();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    81
  live_regions_bm().pretouch();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    82
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    83
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    84
size_t G1CardLiveData::live_region_bitmap_size_in_bits() const {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    85
  return _max_capacity / (_cards_per_region << G1SATBCardTableModRefBS::card_shift);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    86
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    87
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    88
size_t G1CardLiveData::live_card_bitmap_size_in_bits() const {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    89
  return _max_capacity >> G1SATBCardTableModRefBS::card_shift;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    90
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    91
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    92
// Helper class that provides functionality to generate the Live Data Count
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    93
// information.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    94
class G1CardLiveDataHelper VALUE_OBJ_CLASS_SPEC {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    95
private:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    96
  BitMap _region_bm;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    97
  BitMap _card_bm;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    98
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
    99
  // The card number of the bottom of the G1 heap.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   100
  // Used in biasing indices into accounting card bitmaps.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   101
  BitMap::idx_t _heap_card_bias;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   102
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   103
  // Utility routine to set an exclusive range of bits on the given
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   104
  // bitmap, optimized for very small ranges.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   105
  // There must be at least one bit to set.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   106
  void set_card_bitmap_range(BitMap::idx_t start_idx,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   107
                             BitMap::idx_t end_idx) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   108
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   109
    // Set the exclusive bit range [start_idx, end_idx).
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   110
    assert((end_idx - start_idx) > 0, "at least one bit");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   111
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   112
    // For small ranges use a simple loop; otherwise use set_range.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   113
    // The range is made up of the cards that are spanned by an object/mem
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   114
    // region so 8 cards will allow up to object sizes up to 4K to be handled
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   115
    // using the loop.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   116
    if ((end_idx - start_idx) <= 8) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   117
      for (BitMap::idx_t i = start_idx; i < end_idx; i += 1) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   118
        _card_bm.set_bit(i);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   119
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   120
    } else {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   121
      _card_bm.set_range(start_idx, end_idx);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   122
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   123
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   124
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   125
  // We cache the last mark set. This avoids setting the same bit multiple times.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   126
  // This is particularly interesting for dense bitmaps, as this avoids doing
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   127
  // lots of work most of the time.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   128
  BitMap::idx_t _last_marked_bit_idx;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   129
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   130
  // Mark the card liveness bitmap for the object spanning from start to end.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   131
  void mark_card_bitmap_range(HeapWord* start, HeapWord* end) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   132
    BitMap::idx_t start_idx = card_live_bitmap_index_for(start);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   133
    BitMap::idx_t end_idx = card_live_bitmap_index_for((HeapWord*)align_ptr_up(end, CardTableModRefBS::card_size));
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   134
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   135
    assert((end_idx - start_idx) > 0, "Trying to mark zero sized range.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   136
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   137
    if (start_idx == _last_marked_bit_idx) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   138
      start_idx++;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   139
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   140
    if (start_idx == end_idx) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   141
      return;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   142
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   143
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   144
    // Set the bits in the card bitmap for the cards spanned by this object.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   145
    set_card_bitmap_range(start_idx, end_idx);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   146
    _last_marked_bit_idx = end_idx - 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   147
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   148
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   149
  void reset_mark_cache() {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   150
    _last_marked_bit_idx = (BitMap::idx_t)-1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   151
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   152
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   153
public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   154
  // Returns the index in the per-card liveness count bitmap
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   155
  // for the given address
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   156
  inline BitMap::idx_t card_live_bitmap_index_for(HeapWord* addr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   157
    // Below, the term "card num" means the result of shifting an address
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   158
    // by the card shift -- address 0 corresponds to card number 0.  One
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   159
    // must subtract the card num of the bottom of the heap to obtain a
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   160
    // card table index.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   161
    BitMap::idx_t card_num = uintptr_t(addr) >> CardTableModRefBS::card_shift;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   162
    return card_num - _heap_card_bias;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   163
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   164
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   165
  // Takes a region that's not empty (i.e., it has at least one
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   166
  // live object in it and sets its corresponding bit on the region
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   167
  // bitmap to 1.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   168
  void set_bit_for_region(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   169
    _region_bm.par_set_bit(hr->hrm_index());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   170
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   171
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   172
  // Mark the range of bits covered by allocations done since the last marking
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   173
  // in the given heap region, i.e. from NTAMS to top of the given region.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   174
  // Returns if there has been some allocation in this region since the last marking.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   175
  bool mark_allocated_since_marking(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   176
    reset_mark_cache();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   177
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   178
    HeapWord* ntams = hr->next_top_at_mark_start();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   179
    HeapWord* top   = hr->top();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   180
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   181
    assert(hr->bottom() <= ntams && ntams <= hr->end(), "Preconditions.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   182
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   183
    // Mark the allocated-since-marking portion...
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   184
    if (ntams < top) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   185
      mark_card_bitmap_range(ntams, top);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   186
      return true;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   187
    } else {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   188
      return false;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   189
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   190
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   191
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   192
  // Mark the range of bits covered by live objects on the mark bitmap between
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   193
  // bottom and NTAMS of the given region.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   194
  // Returns the number of live bytes marked within that area for the given
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   195
  // heap region.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   196
  size_t mark_marked_during_marking(G1CMBitMap* mark_bitmap, HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   197
    reset_mark_cache();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   198
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   199
    size_t marked_bytes = 0;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   200
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   201
    HeapWord* ntams = hr->next_top_at_mark_start();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   202
    HeapWord* start = hr->bottom();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   203
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   204
    if (ntams <= start) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   205
      // Skip empty regions.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   206
      return 0;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   207
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   208
    if (hr->is_humongous()) {
37471
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   209
      HeapRegion* start_region = hr->humongous_start_region();
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   210
      if (mark_bitmap->isMarked(start_region->bottom())) {
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   211
        mark_card_bitmap_range(start, hr->top());
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   212
        return pointer_delta(hr->top(), start, 1);
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   213
      } else {
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   214
        // Humongous start object was actually dead.
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   215
        return 0;
6ba3e52c2bd6 8153843: G1CardLiveDataHelper incorrectly sets next_live_bytes on dead humongous regions
mgerdin
parents: 37414
diff changeset
   216
      }
37414
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   217
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   218
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   219
    assert(start <= hr->end() && start <= ntams && ntams <= hr->end(),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   220
           "Preconditions not met - "
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   221
           "start: " PTR_FORMAT ", ntams: " PTR_FORMAT ", end: " PTR_FORMAT,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   222
           p2i(start), p2i(ntams), p2i(hr->end()));
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   223
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   224
    // Find the first marked object at or after "start".
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   225
    start = mark_bitmap->getNextMarkedWordAddress(start, ntams);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   226
    while (start < ntams) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   227
      oop obj = oop(start);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   228
      size_t obj_size = obj->size();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   229
      HeapWord* obj_end = start + obj_size;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   230
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   231
      assert(obj_end <= hr->end(), "Humongous objects must have been handled elsewhere.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   232
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   233
      mark_card_bitmap_range(start, obj_end);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   234
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   235
      // Add the size of this object to the number of marked bytes.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   236
      marked_bytes += obj_size * HeapWordSize;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   237
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   238
      // Find the next marked object after this one.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   239
      start = mark_bitmap->getNextMarkedWordAddress(obj_end, ntams);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   240
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   241
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   242
    return marked_bytes;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   243
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   244
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   245
  G1CardLiveDataHelper(G1CardLiveData* live_data, HeapWord* base_address) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   246
    _region_bm(live_data->live_regions_bm()),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   247
    _card_bm(live_data->live_cards_bm()) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   248
    // Calculate the card number for the bottom of the heap. Used
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   249
    // in biasing indexes into the accounting card bitmaps.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   250
    _heap_card_bias =
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   251
      uintptr_t(base_address) >> CardTableModRefBS::card_shift;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   252
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   253
};
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   254
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   255
class G1CreateCardLiveDataTask: public AbstractGangTask {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   256
  // Aggregate the counting data that was constructed concurrently
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   257
  // with marking.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   258
  class G1CreateLiveDataClosure : public HeapRegionClosure {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   259
    G1CardLiveDataHelper _helper;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   260
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   261
    G1CMBitMap* _mark_bitmap;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   262
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   263
    G1ConcurrentMark* _cm;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   264
  public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   265
    G1CreateLiveDataClosure(G1CollectedHeap* g1h,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   266
                            G1ConcurrentMark* cm,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   267
                            G1CMBitMap* mark_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   268
                            G1CardLiveData* live_data) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   269
      HeapRegionClosure(),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   270
      _helper(live_data, g1h->reserved_region().start()),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   271
      _mark_bitmap(mark_bitmap),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   272
      _cm(cm) { }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   273
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   274
    bool doHeapRegion(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   275
      size_t marked_bytes = _helper.mark_marked_during_marking(_mark_bitmap, hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   276
      if (marked_bytes > 0) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   277
        hr->add_to_marked_bytes(marked_bytes);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   278
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   279
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   280
      return (_cm->do_yield_check() && _cm->has_aborted());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   281
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   282
  };
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   283
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   284
  G1ConcurrentMark* _cm;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   285
  G1CardLiveData* _live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   286
  HeapRegionClaimer _hr_claimer;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   287
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   288
public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   289
  G1CreateCardLiveDataTask(G1CMBitMap* bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   290
                           G1CardLiveData* live_data,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   291
                           uint n_workers) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   292
      AbstractGangTask("G1 Create Live Data"),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   293
      _live_data(live_data),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   294
      _hr_claimer(n_workers) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   295
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   296
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   297
  void work(uint worker_id) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   298
    SuspendibleThreadSetJoiner sts_join;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   299
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   300
    G1CollectedHeap* g1h = G1CollectedHeap::heap();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   301
    G1ConcurrentMark* cm = g1h->concurrent_mark();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   302
    G1CreateLiveDataClosure cl(g1h, cm, cm->nextMarkBitMap(), _live_data);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   303
    g1h->heap_region_par_iterate(&cl, worker_id, &_hr_claimer);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   304
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   305
};
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   306
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   307
void G1CardLiveData::create(WorkGang* workers, G1CMBitMap* mark_bitmap) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   308
  uint n_workers = workers->active_workers();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   309
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   310
  G1CreateCardLiveDataTask cl(mark_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   311
                              this,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   312
                              n_workers);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   313
  workers->run_task(&cl);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   314
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   315
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   316
class G1FinalizeCardLiveDataTask: public AbstractGangTask {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   317
  // Finalizes the liveness counting data.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   318
  // Sets the bits corresponding to the interval [NTAMS, top]
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   319
  // (which contains the implicitly live objects) in the
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   320
  // card liveness bitmap. Also sets the bit for each region
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   321
  // containing live data, in the region liveness bitmap.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   322
  class G1FinalizeCardLiveDataClosure: public HeapRegionClosure {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   323
  private:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   324
    G1CardLiveDataHelper _helper;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   325
  public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   326
    G1FinalizeCardLiveDataClosure(G1CollectedHeap* g1h,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   327
                                  G1CMBitMap* bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   328
                                  G1CardLiveData* live_data) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   329
      HeapRegionClosure(),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   330
      _helper(live_data, g1h->reserved_region().start()) { }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   331
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   332
    bool doHeapRegion(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   333
      bool allocated_since_marking = _helper.mark_allocated_since_marking(hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   334
      if (allocated_since_marking || hr->next_marked_bytes() > 0) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   335
        _helper.set_bit_for_region(hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   336
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   337
      return false;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   338
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   339
  };
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   340
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   341
  G1CMBitMap* _bitmap;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   342
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   343
  G1CardLiveData* _live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   344
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   345
  HeapRegionClaimer _hr_claimer;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   346
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   347
public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   348
  G1FinalizeCardLiveDataTask(G1CMBitMap* bitmap, G1CardLiveData* live_data, uint n_workers) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   349
    AbstractGangTask("G1 Finalize Card Live Data"),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   350
    _bitmap(bitmap),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   351
    _live_data(live_data),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   352
    _hr_claimer(n_workers) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   353
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   354
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   355
  void work(uint worker_id) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   356
    G1FinalizeCardLiveDataClosure cl(G1CollectedHeap::heap(), _bitmap, _live_data);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   357
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   358
    G1CollectedHeap::heap()->heap_region_par_iterate(&cl, worker_id, &_hr_claimer);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   359
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   360
};
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   361
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   362
void G1CardLiveData::finalize(WorkGang* workers, G1CMBitMap* mark_bitmap) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   363
  // Finalize the live data.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   364
  G1FinalizeCardLiveDataTask cl(mark_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   365
                                this,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   366
                                workers->active_workers());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   367
  workers->run_task(&cl);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   368
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   369
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   370
class G1ClearCardLiveDataTask : public AbstractGangTask {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   371
  BitMap _bitmap;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   372
  size_t _num_chunks;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   373
  size_t _cur_chunk;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   374
public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   375
  G1ClearCardLiveDataTask(BitMap bitmap, size_t num_tasks) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   376
    AbstractGangTask("G1 Clear Card Live Data"),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   377
    _bitmap(bitmap),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   378
    _num_chunks(num_tasks),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   379
    _cur_chunk(0) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   380
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   381
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   382
  static size_t chunk_size() { return M; }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   383
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   384
  virtual void work(uint worker_id) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   385
    while (true) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   386
      size_t to_process = Atomic::add(1, &_cur_chunk) - 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   387
      if (to_process >= _num_chunks) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   388
        break;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   389
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   390
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   391
      BitMap::idx_t start = M * BitsPerByte * to_process;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   392
      BitMap::idx_t end = MIN2(start + M * BitsPerByte, _bitmap.size());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   393
      _bitmap.clear_range(start, end);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   394
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   395
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   396
};
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   397
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   398
void G1CardLiveData::clear(WorkGang* workers) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   399
  guarantee(Universe::is_fully_initialized(), "Should not call this during initialization.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   400
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   401
  size_t const num_chunks = align_size_up(live_cards_bm().size_in_bytes(), G1ClearCardLiveDataTask::chunk_size()) / G1ClearCardLiveDataTask::chunk_size();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   402
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   403
  G1ClearCardLiveDataTask cl(live_cards_bm(), num_chunks);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   404
  workers->run_task(&cl);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   405
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   406
  // The region live bitmap is always very small, even for huge heaps. Clear
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   407
  // directly.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   408
  live_regions_bm().clear();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   409
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   410
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   411
class G1VerifyCardLiveDataTask: public AbstractGangTask {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   412
  // Heap region closure used for verifying the live count data
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   413
  // that was created concurrently and finalized during
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   414
  // the remark pause. This closure is applied to the heap
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   415
  // regions during the STW cleanup pause.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   416
  class G1VerifyCardLiveDataClosure: public HeapRegionClosure {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   417
  private:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   418
    G1CollectedHeap* _g1h;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   419
    G1CMBitMap* _mark_bitmap;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   420
    G1CardLiveDataHelper _helper;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   421
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   422
    G1CardLiveData* _act_live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   423
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   424
    G1CardLiveData* _exp_live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   425
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   426
    int _failures;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   427
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   428
    // Completely recreates the live data count for the given heap region and
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   429
    // returns the number of bytes marked.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   430
    size_t create_live_data_count(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   431
      size_t bytes_marked = _helper.mark_marked_during_marking(_mark_bitmap, hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   432
      bool allocated_since_marking = _helper.mark_allocated_since_marking(hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   433
      if (allocated_since_marking || bytes_marked > 0) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   434
        _helper.set_bit_for_region(hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   435
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   436
      return bytes_marked;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   437
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   438
  public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   439
    G1VerifyCardLiveDataClosure(G1CollectedHeap* g1h,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   440
                                G1CMBitMap* mark_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   441
                                G1CardLiveData* act_live_data,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   442
                                G1CardLiveData* exp_live_data) :
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   443
      _g1h(g1h),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   444
      _mark_bitmap(mark_bitmap),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   445
      _helper(exp_live_data, g1h->reserved_region().start()),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   446
      _act_live_data(act_live_data),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   447
      _exp_live_data(exp_live_data),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   448
      _failures(0) { }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   449
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   450
    int failures() const { return _failures; }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   451
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   452
    bool doHeapRegion(HeapRegion* hr) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   453
      int failures = 0;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   454
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   455
      // Walk the marking bitmap for this region and set the corresponding bits
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   456
      // in the expected region and card bitmaps.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   457
      size_t exp_marked_bytes = create_live_data_count(hr);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   458
      size_t act_marked_bytes = hr->next_marked_bytes();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   459
      // Verify the marked bytes for this region.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   460
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   461
      if (exp_marked_bytes != act_marked_bytes) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   462
        failures += 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   463
      } else if (exp_marked_bytes > HeapRegion::GrainBytes) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   464
        failures += 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   465
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   466
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   467
      // Verify the bit, for this region, in the actual and expected
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   468
      // (which was just calculated) region bit maps.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   469
      // We're not OK if the bit in the calculated expected region
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   470
      // bitmap is set and the bit in the actual region bitmap is not.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   471
      uint index = hr->hrm_index();
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   472
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   473
      bool expected = _exp_live_data->is_region_live(index);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   474
      bool actual = _act_live_data->is_region_live(index);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   475
      if (expected && !actual) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   476
        failures += 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   477
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   478
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   479
      // Verify that the card bit maps for the cards spanned by the current
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   480
      // region match. We have an error if we have a set bit in the expected
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   481
      // bit map and the corresponding bit in the actual bitmap is not set.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   482
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   483
      BitMap::idx_t start_idx = _helper.card_live_bitmap_index_for(hr->bottom());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   484
      BitMap::idx_t end_idx = _helper.card_live_bitmap_index_for(hr->top());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   485
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   486
      for (BitMap::idx_t i = start_idx; i < end_idx; i+=1) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   487
        expected = _exp_live_data->is_card_live_at(i);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   488
        actual = _act_live_data->is_card_live_at(i);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   489
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   490
        if (expected && !actual) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   491
          failures += 1;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   492
        }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   493
      }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   494
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   495
      _failures += failures;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   496
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   497
      // We could stop iteration over the heap when we
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   498
      // find the first violating region by returning true.
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   499
      return false;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   500
    }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   501
  };
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   502
protected:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   503
  G1CollectedHeap* _g1h;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   504
  G1CMBitMap* _mark_bitmap;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   505
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   506
  G1CardLiveData* _act_live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   507
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   508
  G1CardLiveData _exp_live_data;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   509
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   510
  int  _failures;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   511
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   512
  HeapRegionClaimer _hr_claimer;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   513
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   514
public:
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   515
  G1VerifyCardLiveDataTask(G1CMBitMap* bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   516
                           G1CardLiveData* act_live_data,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   517
                           uint n_workers)
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   518
  : AbstractGangTask("G1 Verify Card Live Data"),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   519
    _g1h(G1CollectedHeap::heap()),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   520
    _mark_bitmap(bitmap),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   521
    _act_live_data(act_live_data),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   522
    _exp_live_data(),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   523
    _failures(0),
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   524
    _hr_claimer(n_workers) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   525
    assert(VerifyDuringGC, "don't call this otherwise");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   526
    _exp_live_data.initialize(_g1h->max_capacity(), _g1h->max_regions());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   527
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   528
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   529
  void work(uint worker_id) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   530
    G1VerifyCardLiveDataClosure cl(_g1h,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   531
                                   _mark_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   532
                                   _act_live_data,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   533
                                   &_exp_live_data);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   534
    _g1h->heap_region_par_iterate(&cl, worker_id, &_hr_claimer);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   535
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   536
    Atomic::add(cl.failures(), &_failures);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   537
  }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   538
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   539
  int failures() const { return _failures; }
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   540
};
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   541
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   542
void G1CardLiveData::verify(WorkGang* workers, G1CMBitMap* actual_bitmap) {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   543
    ResourceMark rm;
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   544
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   545
    G1VerifyCardLiveDataTask cl(actual_bitmap,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   546
                                this,
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   547
                                workers->active_workers());
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   548
    workers->run_task(&cl);
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   549
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   550
    guarantee(cl.failures() == 0, "Unexpected accounting failures");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   551
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   552
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   553
#ifndef PRODUCT
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   554
void G1CardLiveData::verify_is_clear() {
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   555
  assert(live_cards_bm().count_one_bits() == 0, "Live cards bitmap must be clear.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   556
  assert(live_regions_bm().count_one_bits() == 0, "Live regions bitmap must be clear.");
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   557
}
2672ba9af0dc 8151386: Extract card live data out of G1ConcurrentMark
tschatzl
parents:
diff changeset
   558
#endif