src/hotspot/share/gc/g1/heapRegion.cpp
author sangheki
Wed, 13 Nov 2019 10:51:41 -0800
changeset 59062 6530de931b8e
parent 59060 fce1fa1bdc91
child 59218 a1155217a563
permissions -rw-r--r--
8220312: Implementation: NUMA-Aware Memory Allocation for G1, Logging (3/3) Reviewed-by: kbarrett, sjohanss, tschatzl
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     1
/*
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
     2
 * Copyright (c) 2001, 2019, Oracle and/or its affiliates. All rights reserved.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     4
 *
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     7
 * published by the Free Software Foundation.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     8
 *
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    13
 * accompanied this code).
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    14
 *
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5545
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5545
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5545
diff changeset
    21
 * questions.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    22
 *
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    23
 */
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6983
diff changeset
    25
#include "precompiled.hpp"
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
    26
#include "code/nmethod.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    27
#include "gc/g1/g1BlockOffsetTable.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    28
#include "gc/g1/g1CollectedHeap.inline.hpp"
52897
495c05ee2a9a 8213890: Implementation of JEP 344: Abortable Mixed Collections for G1
sjohanss
parents: 51332
diff changeset
    29
#include "gc/g1/g1CollectionSet.hpp"
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
    30
#include "gc/g1/g1HeapRegionTraceType.hpp"
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
    31
#include "gc/g1/g1NUMA.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    32
#include "gc/g1/g1OopClosures.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    33
#include "gc/g1/heapRegion.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    34
#include "gc/g1/heapRegionBounds.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    35
#include "gc/g1/heapRegionManager.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    36
#include "gc/g1/heapRegionRemSet.hpp"
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
    37
#include "gc/g1/heapRegionTracer.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    38
#include "gc/shared/genOopClosures.inline.hpp"
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
    39
#include "logging/log.hpp"
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
    40
#include "logging/logStream.hpp"
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 50429
diff changeset
    41
#include "memory/iterator.inline.hpp"
37248
11a660dbbb8e 8132524: Missing includes to resourceArea.hpp
jprovino
parents: 37243
diff changeset
    42
#include "memory/resourceArea.hpp"
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
    43
#include "oops/access.inline.hpp"
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
    44
#include "oops/compressedOops.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6983
diff changeset
    45
#include "oops/oop.inline.hpp"
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 39979
diff changeset
    46
#include "runtime/atomic.hpp"
50429
83aec1d357d4 8204301: Make OrderAccess functions available to hpp rather than inline.hpp files
coleenp
parents: 49806
diff changeset
    47
#include "runtime/orderAccess.hpp"
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    48
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    49
int    HeapRegion::LogOfHRGrainBytes = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    50
int    HeapRegion::LogOfHRGrainWords = 0;
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54983
diff changeset
    51
int    HeapRegion::LogCardsPerRegion = 0;
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    52
size_t HeapRegion::GrainBytes        = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    53
size_t HeapRegion::GrainWords        = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    54
size_t HeapRegion::CardsPerRegion    = 0;
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    55
19986
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
    56
size_t HeapRegion::max_region_size() {
26840
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    57
  return HeapRegionBounds::max_size();
19986
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
    58
}
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
    59
31346
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
    60
size_t HeapRegion::min_region_size_in_words() {
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
    61
  return HeapRegionBounds::min_size() >> LogHeapWordSize;
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
    62
}
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
    63
19728
9e1556506d2d 8019902: G1: Use the average heap size rather than the minimum heap size to calculate the region size
brutisso
parents: 19339
diff changeset
    64
void HeapRegion::setup_heap_region_size(size_t initial_heap_size, size_t max_heap_size) {
29697
92501504191b 8074459: Flags handling memory sizes should be of type size_t
jwilhelm
parents: 29681
diff changeset
    65
  size_t region_size = G1HeapRegionSize;
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    66
  if (FLAG_IS_DEFAULT(G1HeapRegionSize)) {
19728
9e1556506d2d 8019902: G1: Use the average heap size rather than the minimum heap size to calculate the region size
brutisso
parents: 19339
diff changeset
    67
    size_t average_heap_size = (initial_heap_size + max_heap_size) / 2;
26840
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    68
    region_size = MAX2(average_heap_size / HeapRegionBounds::target_number(),
29697
92501504191b 8074459: Flags handling memory sizes should be of type size_t
jwilhelm
parents: 29681
diff changeset
    69
                       HeapRegionBounds::min_size());
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    70
  }
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    71
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    72
  int region_size_log = log2_long((jlong) region_size);
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    73
  // Recalculate the region size to make sure it's a power of
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    74
  // 2. This means that region_size is the largest power of 2 that's
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    75
  // <= what we've calculated so far.
29697
92501504191b 8074459: Flags handling memory sizes should be of type size_t
jwilhelm
parents: 29681
diff changeset
    76
  region_size = ((size_t)1 << region_size_log);
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    77
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    78
  // Now make sure that we don't go over or under our limits.
26840
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    79
  if (region_size < HeapRegionBounds::min_size()) {
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    80
    region_size = HeapRegionBounds::min_size();
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    81
  } else if (region_size > HeapRegionBounds::max_size()) {
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
    82
    region_size = HeapRegionBounds::max_size();
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    83
  }
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    84
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    85
  // And recalculate the log.
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    86
  region_size_log = log2_long((jlong) region_size);
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    87
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    88
  // Now, set up the globals.
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    89
  guarantee(LogOfHRGrainBytes == 0, "we should only set it once");
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    90
  LogOfHRGrainBytes = region_size_log;
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    91
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    92
  guarantee(LogOfHRGrainWords == 0, "we should only set it once");
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    93
  LogOfHRGrainWords = LogOfHRGrainBytes - LogHeapWordSize;
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    94
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    95
  guarantee(GrainBytes == 0, "we should only set it once");
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    96
  // The cast to int is safe, given that we've bounded region_size by
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    97
  // MIN_REGION_SIZE and MAX_REGION_SIZE.
29697
92501504191b 8074459: Flags handling memory sizes should be of type size_t
jwilhelm
parents: 29681
diff changeset
    98
  GrainBytes = region_size;
35908
cb12f847b199 8148733: G1: Add log message to print the heap region size
brutisso
parents: 35507
diff changeset
    99
  log_info(gc, heap)("Heap region size: " SIZE_FORMAT "M", GrainBytes / M);
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   100
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   101
  guarantee(GrainWords == 0, "we should only set it once");
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   102
  GrainWords = GrainBytes >> LogHeapWordSize;
12381
1438e0fbfa27 7157073: G1: type change size_t -> uint for region counts / indexes
tonyp
parents: 12379
diff changeset
   103
  guarantee((size_t) 1 << LogOfHRGrainWords == GrainWords, "sanity");
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   104
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   105
  guarantee(CardsPerRegion == 0, "we should only set it once");
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   106
  CardsPerRegion = GrainBytes >> G1CardTable::card_shift;
38011
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   107
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54983
diff changeset
   108
  LogCardsPerRegion = log2_long((jlong) CardsPerRegion);
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54983
diff changeset
   109
38011
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   110
  if (G1HeapRegionSize != GrainBytes) {
54983
81becad91321 8224203: Remove need to specify type when using FLAG_SET macros
stefank
parents: 54623
diff changeset
   111
    FLAG_SET_ERGO(G1HeapRegionSize, GrainBytes);
38011
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   112
  }
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   113
}
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   114
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   115
void HeapRegion::hr_clear(bool keep_remset, bool clear_space, bool locked) {
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   116
  assert(_humongous_start_region == NULL,
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   117
         "we should have already filtered out humongous regions");
29470
e34bbcd36e53 8030646: track collection set membership in one place
ehelin
parents: 29325
diff changeset
   118
  assert(!in_collection_set(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   119
         "Should not clear heap region %u in the collection set", hrm_index());
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   120
57802
854e828d6b5b 8227442: Make young_index_in_cset zero-based
tschatzl
parents: 55510
diff changeset
   121
  clear_young_index_in_cset();
54465
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54375
diff changeset
   122
  clear_index_in_opt_cset();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   123
  uninstall_surv_rate_group();
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   124
  set_free();
8928
e5c53268bef5 7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents: 7923
diff changeset
   125
  reset_pre_dummy_top();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   126
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   127
  if (!keep_remset) {
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   128
    if (locked) {
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   129
      rem_set()->clear_locked();
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   130
    } else {
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   131
      rem_set()->clear();
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   132
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   133
  }
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   134
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   135
  zero_marked_bytes();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   136
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   137
  init_top_at_mark_start();
1388
tonyp
parents: 1387
diff changeset
   138
  if (clear_space) clear(SpaceDecorator::Mangle);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   139
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   140
49632
64f9ebc85e67 8197573: Remove concurrent cleanup and secondary free list handling
tschatzl
parents: 49607
diff changeset
   141
void HeapRegion::clear_cardtable() {
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   142
  G1CardTable* ct = G1CollectedHeap::heap()->card_table();
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   143
  ct->clear(MemRegion(bottom(), end()));
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   144
}
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   145
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   146
void HeapRegion::calc_gc_efficiency() {
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   147
  // GC efficiency is the ratio of how much space would be
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   148
  // reclaimed over how long we predict it would take to reclaim it.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   149
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
53985
0da5c17f5e43 8219747: Remove g1_ prefix to g1_remset and g1_policy members in G1CollectedHeap
tschatzl
parents: 53839
diff changeset
   150
  G1Policy* policy = g1h->policy();
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   151
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   152
  // Retrieve a prediction of the elapsed time for this region for
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   153
  // a mixed gc because the region will only be evacuated during a
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   154
  // mixed gc.
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   155
  double region_elapsed_time_ms =
53985
0da5c17f5e43 8219747: Remove g1_ prefix to g1_remset and g1_policy members in G1CollectedHeap
tschatzl
parents: 53839
diff changeset
   156
    policy->predict_region_elapsed_time_ms(this, false /* for_young_gc */);
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   157
  _gc_efficiency = (double) reclaimable_bytes() / region_elapsed_time_ms;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   158
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   159
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   160
void HeapRegion::set_free() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   161
  report_region_type_change(G1HeapRegionTraceType::Free);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   162
  _type.set_free();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   163
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   164
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   165
void HeapRegion::set_eden() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   166
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   167
  _type.set_eden();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   168
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   169
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   170
void HeapRegion::set_eden_pre_gc() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   171
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   172
  _type.set_eden_pre_gc();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   173
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   174
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   175
void HeapRegion::set_survivor() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   176
  report_region_type_change(G1HeapRegionTraceType::Survivor);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   177
  _type.set_survivor();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   178
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   179
46810
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   180
void HeapRegion::move_to_old() {
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   181
  if (_type.relabel_as_old()) {
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   182
    report_region_type_change(G1HeapRegionTraceType::Old);
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   183
  }
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   184
}
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   185
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   186
void HeapRegion::set_old() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   187
  report_region_type_change(G1HeapRegionTraceType::Old);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   188
  _type.set_old();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   189
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   190
46810
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   191
void HeapRegion::set_open_archive() {
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   192
  report_region_type_change(G1HeapRegionTraceType::OpenArchive);
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   193
  _type.set_open_archive();
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   194
}
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   195
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   196
void HeapRegion::set_closed_archive() {
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   197
  report_region_type_change(G1HeapRegionTraceType::ClosedArchive);
7dad333205cd 8179302: Pre-resolve constant pool string entries and cache resolved_reference arrays in CDS archive.
jiangli
parents: 46701
diff changeset
   198
  _type.set_closed_archive();
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   199
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   200
34249
a015a11067a2 8138681: Runtime.getFreeMemory() reports wrong value after humongous allocation.
david
parents: 33786
diff changeset
   201
void HeapRegion::set_starts_humongous(HeapWord* obj_top, size_t fill_size) {
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   202
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   203
  assert(top() == bottom(), "should be empty");
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   204
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   205
  report_region_type_change(G1HeapRegionTraceType::StartsHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   206
  _type.set_starts_humongous();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   207
  _humongous_start_region = this;
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   208
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   209
  _bot_part.set_for_starts_humongous(obj_top, fill_size);
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   210
}
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   211
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   212
void HeapRegion::set_continues_humongous(HeapRegion* first_hr) {
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   213
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   214
  assert(top() == bottom(), "should be empty");
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   215
  assert(first_hr->is_starts_humongous(), "pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   216
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   217
  report_region_type_change(G1HeapRegionTraceType::ContinuesHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   218
  _type.set_continues_humongous();
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   219
  _humongous_start_region = first_hr;
46286
c112671e114e 8173764: G1 BOT wrongly assumes that objects must always begin at the start of G1BlockOffsetTablePart
sjohanss
parents: 46258
diff changeset
   220
c112671e114e 8173764: G1 BOT wrongly assumes that objects must always begin at the start of G1BlockOffsetTablePart
sjohanss
parents: 46258
diff changeset
   221
  _bot_part.set_object_can_span(true);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   222
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   223
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   224
void HeapRegion::clear_humongous() {
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   225
  assert(is_humongous(), "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   226
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
   227
  assert(capacity() == HeapRegion::GrainBytes, "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   228
  _humongous_start_region = NULL;
46286
c112671e114e 8173764: G1 BOT wrongly assumes that objects must always begin at the start of G1BlockOffsetTablePart
sjohanss
parents: 46258
diff changeset
   229
c112671e114e 8173764: G1 BOT wrongly assumes that objects must always begin at the start of G1BlockOffsetTablePart
sjohanss
parents: 46258
diff changeset
   230
  _bot_part.set_object_can_span(false);
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   231
}
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   232
26316
93f6b40c038b 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 26157
diff changeset
   233
HeapRegion::HeapRegion(uint hrm_index,
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   234
                       G1BlockOffsetTable* bot,
26839
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   235
                       MemRegion mr) :
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   236
  _bottom(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   237
  _end(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   238
  _top(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   239
  _compaction_top(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   240
  _bot_part(bot, this),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   241
  _par_alloc_lock(Mutex::leaf, "HeapRegion par alloc lock", true),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   242
  _pre_dummy_top(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   243
  _rem_set(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   244
  _hrm_index(hrm_index),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   245
  _type(),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   246
  _humongous_start_region(NULL),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   247
  _evacuation_failed(false),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   248
  _next(NULL), _prev(NULL),
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   249
#ifdef ASSERT
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   250
  _containing_set(NULL),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50752
diff changeset
   251
#endif
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   252
  _prev_marked_bytes(0), _next_marked_bytes(0), _gc_efficiency(0.0),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   253
  _index_in_opt_cset(InvalidCSetIndex), _young_index_in_cset(-1),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   254
  _surv_rate_group(NULL), _age_index(-1),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   255
  _prev_top_at_mark_start(NULL), _next_top_at_mark_start(NULL),
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   256
  _recorded_rs_length(0), _predicted_elapsed_time_ms(0),
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   257
  _node_index(G1NUMA::UnknownNodeIndex)
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   258
{
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   259
  _rem_set = new HeapRegionRemSet(bot, this);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   260
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   261
  initialize(mr);
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   262
}
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   263
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   264
void HeapRegion::initialize(MemRegion mr, bool clear_space, bool mangle_space) {
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   265
  assert(_rem_set->is_empty(), "Remembered set must be empty");
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   266
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   267
  assert(Universe::on_page_boundary(mr.start()) && Universe::on_page_boundary(mr.end()),
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   268
         "invalid space boundaries");
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   269
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   270
  set_bottom(mr.start());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   271
  set_end(mr.end());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   272
  if (clear_space) {
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   273
    clear(mangle_space);
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   274
  }
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   275
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   276
  set_top(bottom());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   277
  set_compaction_top(bottom());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   278
  reset_bot();
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   279
13756
3b72f3da8cd4 7016955: G1: remove the is_zeroed parameter from the HeapRegion constructor
johnc
parents: 13728
diff changeset
   280
  hr_clear(false /*par*/, false /*clear_space*/);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   281
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   282
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   283
void HeapRegion::report_region_type_change(G1HeapRegionTraceType::Type to) {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   284
  HeapRegionTracer::send_region_type_change(_hrm_index,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   285
                                            get_trace_type(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   286
                                            to,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   287
                                            (uintptr_t)bottom(),
49323
565336327354 8198424: Remove G1AllocationContext
sjohanss
parents: 49164
diff changeset
   288
                                            used());
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   289
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   290
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   291
void HeapRegion::note_self_forwarding_removal_start(bool during_initial_mark,
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   292
                                                    bool during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   293
  // We always recreate the prev marking info and we'll explicitly
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   294
  // mark all objects we find to be self-forwarded on the prev
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   295
  // bitmap. So all objects need to be below PTAMS.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   296
  _prev_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   297
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   298
  if (during_initial_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   299
    // During initial-mark, we'll also explicitly mark all objects
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   300
    // we find to be self-forwarded on the next bitmap. So all
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   301
    // objects need to be below NTAMS.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   302
    _next_top_at_mark_start = top();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   303
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   304
  } else if (during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   305
    // During concurrent mark, all objects in the CSet (including
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   306
    // the ones we find to be self-forwarded) are implicitly live.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   307
    // So all objects need to be above NTAMS.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   308
    _next_top_at_mark_start = bottom();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   309
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   310
  }
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   311
}
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   312
46258
d26ebd7e2f10 8142749: HeapRegion::_predicted_bytes_to_copy is unused and can be removed
fzhinkin
parents: 42650
diff changeset
   313
void HeapRegion::note_self_forwarding_removal_end(size_t marked_bytes) {
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 29470
diff changeset
   314
  assert(marked_bytes <= used(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   315
         "marked: " SIZE_FORMAT " used: " SIZE_FORMAT, marked_bytes, used());
25492
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   316
  _prev_top_at_mark_start = top();
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   317
  _prev_marked_bytes = marked_bytes;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   318
}
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   319
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   320
// Code roots support
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   321
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   322
void HeapRegion::add_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   323
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   324
  hrrs->add_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   325
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   326
26422
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   327
void HeapRegion::add_strong_code_root_locked(nmethod* nm) {
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   328
  assert_locked_or_safepoint(CodeCache_lock);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   329
  HeapRegionRemSet* hrrs = rem_set();
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   330
  hrrs->add_strong_code_root_locked(nm);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   331
}
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   332
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   333
void HeapRegion::remove_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   334
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   335
  hrrs->remove_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   336
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   337
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   338
void HeapRegion::strong_code_roots_do(CodeBlobClosure* blk) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   339
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   340
  hrrs->strong_code_roots_do(blk);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   341
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   342
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   343
class VerifyStrongCodeRootOopClosure: public OopClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   344
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   345
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   346
  bool _has_oops_in_region;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   347
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   348
  template <class T> void do_oop_work(T* p) {
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   349
    T heap_oop = RawAccess<>::oop_load(p);
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   350
    if (!CompressedOops::is_null(heap_oop)) {
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   351
      oop obj = CompressedOops::decode_not_null(heap_oop);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   352
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   353
      // Note: not all the oops embedded in the nmethod are in the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   354
      // current region. We only look at those which are.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   355
      if (_hr->is_in(obj)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   356
        // Object is in the region. Check that its less than top
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   357
        if (_hr->top() <= (HeapWord*)obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   358
          // Object is above top
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   359
          log_error(gc, verify)("Object " PTR_FORMAT " in region " HR_FORMAT " is above top ",
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   360
                                p2i(obj), HR_FORMAT_PARAMS(_hr));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   361
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   362
          return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   363
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   364
        // Nmethod has at least one oop in the current region
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   365
        _has_oops_in_region = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   366
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   367
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   368
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   369
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   370
public:
46258
d26ebd7e2f10 8142749: HeapRegion::_predicted_bytes_to_copy is unused and can be removed
fzhinkin
parents: 42650
diff changeset
   371
  VerifyStrongCodeRootOopClosure(const HeapRegion* hr):
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   372
    _hr(hr), _failures(false), _has_oops_in_region(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   373
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   374
  void do_oop(narrowOop* p) { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   375
  void do_oop(oop* p)       { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   376
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   377
  bool failures()           { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   378
  bool has_oops_in_region() { return _has_oops_in_region; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   379
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   380
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   381
class VerifyStrongCodeRootCodeBlobClosure: public CodeBlobClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   382
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   383
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   384
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   385
  VerifyStrongCodeRootCodeBlobClosure(const HeapRegion* hr) :
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   386
    _hr(hr), _failures(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   387
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   388
  void do_code_blob(CodeBlob* cb) {
42650
1f304d0c888b 8171008: Integrate AOT compiler into JDK
kvn
parents: 42589
diff changeset
   389
    nmethod* nm = (cb == NULL) ? NULL : cb->as_compiled_method()->as_nmethod_or_null();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   390
    if (nm != NULL) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   391
      // Verify that the nemthod is live
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   392
      if (!nm->is_alive()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   393
        log_error(gc, verify)("region [" PTR_FORMAT "," PTR_FORMAT "] has dead nmethod " PTR_FORMAT " in its strong code roots",
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   394
                              p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   395
        _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   396
      } else {
46258
d26ebd7e2f10 8142749: HeapRegion::_predicted_bytes_to_copy is unused and can be removed
fzhinkin
parents: 42650
diff changeset
   397
        VerifyStrongCodeRootOopClosure oop_cl(_hr);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   398
        nm->oops_do(&oop_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   399
        if (!oop_cl.has_oops_in_region()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   400
          log_error(gc, verify)("region [" PTR_FORMAT "," PTR_FORMAT "] has nmethod " PTR_FORMAT " in its strong code roots with no pointers into region",
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   401
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   402
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   403
        } else if (oop_cl.failures()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   404
          log_error(gc, verify)("region [" PTR_FORMAT "," PTR_FORMAT "] has other failures for nmethod " PTR_FORMAT,
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   405
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   406
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   407
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   408
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   409
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   410
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   411
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   412
  bool failures()       { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   413
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   414
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   415
void HeapRegion::verify_strong_code_roots(VerifyOption vo, bool* failures) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   416
  if (!G1VerifyHeapRegionCodeRoots) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   417
    // We're not verifying code roots.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   418
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   419
  }
47885
5caa1d5f74c1 8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents: 47216
diff changeset
   420
  if (vo == VerifyOption_G1UseFullMarking) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   421
    // Marking verification during a full GC is performed after class
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   422
    // unloading, code cache unloading, etc so the strong code roots
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   423
    // attached to each heap region are in an inconsistent state. They won't
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   424
    // be consistent until the strong code roots are rebuilt after the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   425
    // actual GC. Skip verifying the strong code roots in this particular
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   426
    // time.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   427
    assert(VerifyDuringGC, "only way to get here");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   428
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   429
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   430
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   431
  HeapRegionRemSet* hrrs = rem_set();
23451
ed2b8bb28fed 8035406: Improve data structure for Code Cache remembered sets
tschatzl
parents: 22551
diff changeset
   432
  size_t strong_code_roots_length = hrrs->strong_code_roots_list_length();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   433
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   434
  // if this region is empty then there should be no entries
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   435
  // on its strong code root list
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   436
  if (is_empty()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   437
    if (strong_code_roots_length > 0) {
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   438
      log_error(gc, verify)("region " HR_FORMAT " is empty but has " SIZE_FORMAT " code root entries",
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   439
                            HR_FORMAT_PARAMS(this), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   440
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   441
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   442
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   443
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   444
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   445
  if (is_continues_humongous()) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   446
    if (strong_code_roots_length > 0) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   447
      log_error(gc, verify)("region " HR_FORMAT " is a continuation of a humongous region but has " SIZE_FORMAT " code root entries",
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   448
                            HR_FORMAT_PARAMS(this), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   449
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   450
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   451
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   452
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   453
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   454
  VerifyStrongCodeRootCodeBlobClosure cb_cl(this);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   455
  strong_code_roots_do(&cb_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   456
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   457
  if (cb_cl.failures()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   458
    *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   459
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   460
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   461
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   462
void HeapRegion::print() const { print_on(tty); }
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   463
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   464
void HeapRegion::print_on(outputStream* st) const {
34671
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   465
  st->print("|%4u", this->_hrm_index);
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   466
  st->print("|" PTR_FORMAT ", " PTR_FORMAT ", " PTR_FORMAT,
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   467
            p2i(bottom()), p2i(top()), p2i(end()));
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   468
  st->print("|%3d%%", (int) ((double) used() * 100 / capacity()));
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   469
  st->print("|%2s", get_short_type_str());
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   470
  if (in_collection_set()) {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   471
    st->print("|CS");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   472
  } else {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   473
    st->print("|  ");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   474
  }
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   475
  st->print("|TAMS " PTR_FORMAT ", " PTR_FORMAT "| %s ",
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49603
diff changeset
   476
               p2i(prev_top_at_mark_start()), p2i(next_top_at_mark_start()), rem_set()->get_state_str());
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   477
  if (UseNUMA) {
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   478
    G1NUMA* numa = G1NUMA::numa();
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   479
    if (node_index() < numa->num_active_nodes()) {
59062
6530de931b8e 8220312: Implementation: NUMA-Aware Memory Allocation for G1, Logging (3/3)
sangheki
parents: 59060
diff changeset
   480
      st->print("|%d", numa->numa_id(node_index()));
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   481
    } else {
59062
6530de931b8e 8220312: Implementation: NUMA-Aware Memory Allocation for G1, Logging (3/3)
sangheki
parents: 59060
diff changeset
   482
      st->print("|-");
59060
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   483
    }
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   484
  }
fce1fa1bdc91 8220310: Implementation: NUMA-Aware Memory Allocation for G1, Mutator (1/3)
sangheki
parents: 58980
diff changeset
   485
  st->print_cr("");
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   486
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   487
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 50429
diff changeset
   488
class G1VerificationClosure : public BasicOopIterateClosure {
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   489
protected:
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   490
  G1CollectedHeap* _g1h;
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   491
  G1CardTable *_ct;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   492
  oop _containing_obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   493
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   494
  int _n_failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   495
  VerifyOption _vo;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   496
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   497
  // _vo == UsePrevMarking -> use "prev" marking information,
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   498
  // _vo == UseNextMarking -> use "next" marking information,
47885
5caa1d5f74c1 8186571: Implementation: JEP 307: Parallel Full GC for G1
sjohanss
parents: 47216
diff changeset
   499
  // _vo == UseFullMarking -> use "next" marking bitmap but no TAMS.
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   500
  G1VerificationClosure(G1CollectedHeap* g1h, VerifyOption vo) :
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   501
    _g1h(g1h), _ct(g1h->card_table()),
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   502
    _containing_obj(NULL), _failures(false), _n_failures(0), _vo(vo) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   503
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   504
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   505
  void set_containing_obj(oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   506
    _containing_obj = obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   507
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   508
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   509
  bool failures() { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   510
  int n_failures() { return _n_failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   511
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   512
  void print_object(outputStream* out, oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   513
#ifdef PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   514
    Klass* k = obj->klass();
33602
16053580a684 8139163: InstanceKlass::cast passes through NULL
coleenp
parents: 33105
diff changeset
   515
    const char* class_name = k->external_name();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   516
    out->print_cr("class name %s", class_name);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   517
#else // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   518
    obj->print_on(out);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   519
#endif // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   520
  }
49647
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   521
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   522
  // This closure provides its own oop verification code.
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   523
  debug_only(virtual bool should_verify_oops() { return false; })
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   524
};
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   525
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   526
class VerifyLiveClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   527
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   528
  VerifyLiveClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   529
  virtual void do_oop(narrowOop* p) { do_oop_work(p); }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   530
  virtual void do_oop(oop* p) { do_oop_work(p); }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   531
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   532
  template <class T>
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   533
  void do_oop_work(T* p) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   534
    assert(_containing_obj != NULL, "Precondition");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   535
    assert(!_g1h->is_obj_dead_cond(_containing_obj, _vo),
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   536
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   537
    verify_liveness(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   538
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   539
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   540
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   541
  void verify_liveness(T* p) {
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   542
    T heap_oop = RawAccess<>::oop_load(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   543
    Log(gc, verify) log;
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   544
    if (!CompressedOops::is_null(heap_oop)) {
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   545
      oop obj = CompressedOops::decode_not_null(heap_oop);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   546
      bool failed = false;
54375
a5ce9300462f 8221648: Remove CollectedHeap::is_in_closed_subset()
pliden
parents: 53985
diff changeset
   547
      if (!_g1h->is_in(obj) || _g1h->is_obj_dead_cond(obj, _vo)) {
54623
1126f0607c70 8222811: Consolidate MutexLockerEx and MutexLocker
coleenp
parents: 54465
diff changeset
   548
        MutexLocker x(ParGCRareEvent_lock,
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   549
          Mutex::_no_safepoint_check_flag);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   550
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   551
        if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   552
          log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   553
        }
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   554
        ResourceMark rm;
54375
a5ce9300462f 8221648: Remove CollectedHeap::is_in_closed_subset()
pliden
parents: 53985
diff changeset
   555
        if (!_g1h->is_in(obj)) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   556
          HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   557
          log.error("Field " PTR_FORMAT " of live obj " PTR_FORMAT " in region " HR_FORMAT,
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   558
                    p2i(p), p2i(_containing_obj), HR_FORMAT_PARAMS(from));
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   559
          LogStream ls(log.error());
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   560
          print_object(&ls, _containing_obj);
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49603
diff changeset
   561
          HeapRegion* const to = _g1h->heap_region_containing(obj);
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   562
          log.error("points to obj " PTR_FORMAT " in region " HR_FORMAT " remset %s",
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   563
                    p2i(obj), HR_FORMAT_PARAMS(to), to->rem_set()->get_state_str());
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   564
        } else {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   565
          HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   566
          HeapRegion* to = _g1h->heap_region_containing((HeapWord*)obj);
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   567
          log.error("Field " PTR_FORMAT " of live obj " PTR_FORMAT " in region " HR_FORMAT,
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   568
                    p2i(p), p2i(_containing_obj), HR_FORMAT_PARAMS(from));
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   569
          LogStream ls(log.error());
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   570
          print_object(&ls, _containing_obj);
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   571
          log.error("points to dead obj " PTR_FORMAT " in region " HR_FORMAT,
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   572
                    p2i(obj), HR_FORMAT_PARAMS(to));
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   573
          print_object(&ls, obj);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   574
        }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   575
        log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   576
        _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   577
        failed = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   578
        _n_failures++;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   579
      }
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   580
    }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   581
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   582
};
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   583
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   584
class VerifyRemSetClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   585
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   586
  VerifyRemSetClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   587
  virtual void do_oop(narrowOop* p) { do_oop_work(p); }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   588
  virtual void do_oop(oop* p) { do_oop_work(p); }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   589
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   590
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   591
  void do_oop_work(T* p) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   592
    assert(_containing_obj != NULL, "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   593
    assert(!_g1h->is_obj_dead_cond(_containing_obj, _vo),
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   594
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   595
    verify_remembered_set(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   596
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   597
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   598
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   599
  void verify_remembered_set(T* p) {
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   600
    T heap_oop = RawAccess<>::oop_load(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   601
    Log(gc, verify) log;
49592
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   602
    if (!CompressedOops::is_null(heap_oop)) {
77fb0be7d19f 8199946: Move load/store and encode/decode out of oopDesc
stefank
parents: 49323
diff changeset
   603
      oop obj = CompressedOops::decode_not_null(heap_oop);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   604
      HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   605
      HeapRegion* to = _g1h->heap_region_containing(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   606
      if (from != NULL && to != NULL &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   607
        from != to &&
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49603
diff changeset
   608
        !to->is_pinned() &&
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49603
diff changeset
   609
        to->rem_set()->is_complete()) {
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   610
        jbyte cv_obj = *_ct->byte_for_const(_containing_obj);
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   611
        jbyte cv_field = *_ct->byte_for_const(p);
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 47885
diff changeset
   612
        const jbyte dirty = G1CardTable::dirty_card_val();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   613
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   614
        bool is_bad = !(from->is_young()
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   615
          || to->rem_set()->contains_reference(p)
46611
3b8b1f7ee3b4 8153360: G1HRRSFlushLogBuffersOnVerify with remembered set verification does not work
ehelin
parents: 46520
diff changeset
   616
          || (_containing_obj->is_objArray() ?
3b8b1f7ee3b4 8153360: G1HRRSFlushLogBuffersOnVerify with remembered set verification does not work
ehelin
parents: 46520
diff changeset
   617
                cv_field == dirty :
3b8b1f7ee3b4 8153360: G1HRRSFlushLogBuffersOnVerify with remembered set verification does not work
ehelin
parents: 46520
diff changeset
   618
                cv_obj == dirty || cv_field == dirty));
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   619
        if (is_bad) {
54623
1126f0607c70 8222811: Consolidate MutexLockerEx and MutexLocker
coleenp
parents: 54465
diff changeset
   620
          MutexLocker x(ParGCRareEvent_lock,
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   621
            Mutex::_no_safepoint_check_flag);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   622
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   623
          if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   624
            log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   625
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   626
          log.error("Missing rem set entry:");
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   627
          log.error("Field " PTR_FORMAT " of obj " PTR_FORMAT " in region " HR_FORMAT,
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   628
                    p2i(p), p2i(_containing_obj), HR_FORMAT_PARAMS(from));
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   629
          ResourceMark rm;
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   630
          LogStream ls(log.error());
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   631
          _containing_obj->print_on(&ls);
53839
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   632
          log.error("points to obj " PTR_FORMAT " in region " HR_FORMAT " remset %s",
31dde2f0ddf1 8219098: Make output of region strings more regular in error messages
tschatzl
parents: 53034
diff changeset
   633
                    p2i(obj), HR_FORMAT_PARAMS(to), to->rem_set()->get_state_str());
46968
9119841280f4 8160399: is_oop_or_null involves undefined behavior
coleenp
parents: 46810
diff changeset
   634
          if (oopDesc::is_oop(obj)) {
46701
f559541c0daa 8181917: Refactor UL LogStreams to avoid using resource area
stuefe
parents: 46630
diff changeset
   635
            obj->print_on(&ls);
36394
fe27b66d3519 8150002: Check for the validity of oop before printing it in verify_remembered_set
poonam
parents: 36098
diff changeset
   636
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   637
          log.error("Obj head CTE = %d, field CTE = %d.", cv_obj, cv_field);
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   638
          log.error("----------");
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   639
          _failures = true;
46258
d26ebd7e2f10 8142749: HeapRegion::_predicted_bytes_to_copy is unused and can be removed
fzhinkin
parents: 42650
diff changeset
   640
          _n_failures++;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   641
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   642
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   643
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   644
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   645
};
3000
bbce6052b595 6850846: G1: extend G1 marking verification
tonyp
parents: 2883
diff changeset
   646
46307
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   647
// Closure that applies the given two closures in sequence.
50752
9d62da00bf15 8204540: Automatic oop closure devirtualization
stefank
parents: 50429
diff changeset
   648
class G1Mux2Closure : public BasicOopIterateClosure {
46307
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   649
  OopClosure* _c1;
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   650
  OopClosure* _c2;
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   651
public:
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   652
  G1Mux2Closure(OopClosure *c1, OopClosure *c2) { _c1 = c1; _c2 = c2; }
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   653
  template <class T> inline void do_oop_work(T* p) {
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   654
    // Apply first closure; then apply the second.
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   655
    _c1->do_oop(p);
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   656
    _c2->do_oop(p);
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   657
  }
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   658
  virtual inline void do_oop(oop* p) { do_oop_work(p); }
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   659
  virtual inline void do_oop(narrowOop* p) { do_oop_work(p); }
49647
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   660
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   661
  // This closure provides its own oop verification code.
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   662
  debug_only(virtual bool should_verify_oops() { return false; })
46307
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   663
};
686d50172bfd 8071278: Fix the closure mess in G1RemSet::refine_card()
tschatzl
parents: 46286
diff changeset
   664
12379
2cf45b79ce3a 4988100: oop_verify_old_oop appears to be dead
brutisso
parents: 11756
diff changeset
   665
void HeapRegion::verify(VerifyOption vo,
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   666
                        bool* failures) const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   667
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   668
  *failures = false;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   669
  HeapWord* p = bottom();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   670
  HeapWord* prev_p = NULL;
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   671
  VerifyLiveClosure vl_cl(g1h, vo);
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   672
  VerifyRemSetClosure vr_cl(g1h, vo);
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   673
  bool is_region_humongous = is_humongous();
6260
fba83fd3adc7 6974928: G1: sometimes humongous objects are allocated in young regions
tonyp
parents: 6247
diff changeset
   674
  size_t object_num = 0;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   675
  while (p < top()) {
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   676
    oop obj = oop(p);
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   677
    size_t obj_size = block_size(p);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   678
    object_num += 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   679
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   680
    if (!g1h->is_obj_dead_cond(obj, this, vo)) {
46968
9119841280f4 8160399: is_oop_or_null involves undefined behavior
coleenp
parents: 46810
diff changeset
   681
      if (oopDesc::is_oop(obj)) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13482
diff changeset
   682
        Klass* klass = obj->klass();
49603
6ce4db4460ca 8199007: ClassLoaderDataGraph::unload_list_contains() is wrong
coleenp
parents: 49592
diff changeset
   683
        bool is_metaspace_object = Metaspace::contains(klass);
25492
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   684
        if (!is_metaspace_object) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   685
          log_error(gc, verify)("klass " PTR_FORMAT " of object " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   686
                                "not metadata", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   687
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   688
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   689
        } else if (!klass->is_klass()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   690
          log_error(gc, verify)("klass " PTR_FORMAT " of object " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   691
                                "not a klass", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   692
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   693
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   694
        } else {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   695
          vl_cl.set_containing_obj(obj);
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   696
          if (!g1h->collector_state()->in_full_gc() || G1VerifyRSetsDuringFullGC) {
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   697
            // verify liveness and rem_set
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   698
            vr_cl.set_containing_obj(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   699
            G1Mux2Closure mux(&vl_cl, &vr_cl);
49647
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   700
            obj->oop_iterate(&mux);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   701
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   702
            if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   703
              *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   704
            }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   705
            if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   706
              vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   707
              return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   708
            }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   709
          } else {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   710
            // verify only liveness
49647
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   711
            obj->oop_iterate(&vl_cl);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   712
          }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   713
          if (vl_cl.failures()) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   714
            *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   715
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   716
          if (G1MaxVerifyFailures >= 0 &&
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   717
              vl_cl.n_failures() >= G1MaxVerifyFailures) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   718
            return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   719
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   720
        }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   721
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   722
        log_error(gc, verify)(PTR_FORMAT " not an oop", p2i(obj));
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   723
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   724
        return;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   725
      }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   726
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   727
    prev_p = p;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   728
    p += obj_size;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   729
  }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   730
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   731
  if (!is_young() && !is_empty()) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   732
    _bot_part.verify();
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   733
  }
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   734
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   735
  if (is_region_humongous) {
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   736
    oop obj = oop(this->humongous_start_region()->bottom());
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   737
    if ((HeapWord*)obj > bottom() || (HeapWord*)obj + obj->size() < bottom()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   738
      log_error(gc, verify)("this humongous region is not part of its' humongous object " PTR_FORMAT, p2i(obj));
36091
fd10d4ee314a 8149542: Missing failure reporting in HeapRegion::verify
brutisso
parents: 36090
diff changeset
   739
      *failures = true;
fd10d4ee314a 8149542: Missing failure reporting in HeapRegion::verify
brutisso
parents: 36090
diff changeset
   740
      return;
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   741
    }
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   742
  }
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   743
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   744
  if (!is_region_humongous && p != top()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   745
    log_error(gc, verify)("end of last object " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   746
                          "does not match top " PTR_FORMAT, p2i(p), p2i(top()));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   747
    *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   748
    return;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   749
  }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   750
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   751
  HeapWord* the_end = end();
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   752
  // Do some extra BOT consistency checking for addresses in the
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   753
  // range [top, end). BOT look-ups in this range should yield
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   754
  // top. No point in doing that if top == end (there's nothing there).
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   755
  if (p < the_end) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   756
    // Look up top
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   757
    HeapWord* addr_1 = p;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   758
    HeapWord* b_start_1 = _bot_part.block_start_const(addr_1);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   759
    if (b_start_1 != p) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   760
      log_error(gc, verify)("BOT look up for top: " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   761
                            " yielded " PTR_FORMAT ", expecting " PTR_FORMAT,
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   762
                            p2i(addr_1), p2i(b_start_1), p2i(p));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   763
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   764
      return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   765
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   766
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   767
    // Look up top + 1
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   768
    HeapWord* addr_2 = p + 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   769
    if (addr_2 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   770
      HeapWord* b_start_2 = _bot_part.block_start_const(addr_2);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   771
      if (b_start_2 != p) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   772
        log_error(gc, verify)("BOT look up for top + 1: " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   773
                              " yielded " PTR_FORMAT ", expecting " PTR_FORMAT,
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   774
                              p2i(addr_2), p2i(b_start_2), p2i(p));
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   775
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   776
        return;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   777
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   778
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   779
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   780
    // Look up an address between top and end
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   781
    size_t diff = pointer_delta(the_end, p) / 2;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   782
    HeapWord* addr_3 = p + diff;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   783
    if (addr_3 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   784
      HeapWord* b_start_3 = _bot_part.block_start_const(addr_3);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   785
      if (b_start_3 != p) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   786
        log_error(gc, verify)("BOT look up for top + diff: " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   787
                              " yielded " PTR_FORMAT ", expecting " PTR_FORMAT,
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   788
                              p2i(addr_3), p2i(b_start_3), p2i(p));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   789
        *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   790
        return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   791
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   792
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   793
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 21563
diff changeset
   794
    // Look up end - 1
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   795
    HeapWord* addr_4 = the_end - 1;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   796
    HeapWord* b_start_4 = _bot_part.block_start_const(addr_4);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   797
    if (b_start_4 != p) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   798
      log_error(gc, verify)("BOT look up for end - 1: " PTR_FORMAT " "
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   799
                            " yielded " PTR_FORMAT ", expecting " PTR_FORMAT,
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   800
                            p2i(addr_4), p2i(b_start_4), p2i(p));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   801
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   802
      return;
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   803
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   804
  }
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   805
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   806
  verify_strong_code_roots(vo, failures);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   807
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   808
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   809
void HeapRegion::verify() const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   810
  bool dummy = false;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   811
  verify(VerifyOption_G1UsePrevMarking, /* failures */ &dummy);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   812
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   813
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   814
void HeapRegion::verify_rem_set(VerifyOption vo, bool* failures) const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   815
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   816
  *failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   817
  HeapWord* p = bottom();
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   818
  HeapWord* prev_p = NULL;
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   819
  VerifyRemSetClosure vr_cl(g1h, vo);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   820
  while (p < top()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   821
    oop obj = oop(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   822
    size_t obj_size = block_size(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   823
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49647
diff changeset
   824
    if (!g1h->is_obj_dead_cond(obj, this, vo)) {
46968
9119841280f4 8160399: is_oop_or_null involves undefined behavior
coleenp
parents: 46810
diff changeset
   825
      if (oopDesc::is_oop(obj)) {
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   826
        vr_cl.set_containing_obj(obj);
49647
5a757c0326c7 8200362: G1Mux2Closure should disable implicit oop verification
tschatzl
parents: 49643
diff changeset
   827
        obj->oop_iterate(&vr_cl);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   828
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   829
        if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   830
          *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   831
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   832
        if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   833
          vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   834
          return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   835
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   836
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   837
        log_error(gc, verify)(PTR_FORMAT " not an oop", p2i(obj));
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   838
        *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   839
        return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   840
      }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   841
    }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   842
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   843
    prev_p = p;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   844
    p += obj_size;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   845
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   846
}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   847
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   848
void HeapRegion::verify_rem_set() const {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   849
  bool failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   850
  verify_rem_set(VerifyOption_G1UsePrevMarking, &failures);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   851
  guarantee(!failures, "HeapRegion RemSet verification failed");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   852
}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   853
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   854
void HeapRegion::clear(bool mangle_space) {
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   855
  set_top(bottom());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   856
  set_compaction_top(bottom());
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   857
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   858
  if (ZapUnusedHeapArea && mangle_space) {
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   859
    mangle_unused_area();
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   860
  }
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   861
  reset_bot();
27624
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   862
}
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   863
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
   864
#ifndef PRODUCT
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   865
void HeapRegion::mangle_unused_area() {
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
   866
  SpaceMangler::mangle_region(MemRegion(top(), end()));
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
   867
}
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
   868
#endif
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
   869
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   870
HeapWord* HeapRegion::initialize_threshold() {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   871
  return _bot_part.initialize_threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   872
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   873
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   874
HeapWord* HeapRegion::cross_threshold(HeapWord* start, HeapWord* end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   875
  _bot_part.alloc_block(start, end);
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   876
  return _bot_part.threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   877
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   878
58980
47c20fc6a517 8189737: Make HeapRegion not derive from Space
tschatzl
parents: 57802
diff changeset
   879
void HeapRegion::object_iterate(ObjectClosure* blk) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   880
  HeapWord* p = bottom();
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   881
  while (p < top()) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   882
    if (block_is_obj(p)) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   883
      blk->do_object(oop(p));
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   884
    }
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   885
    p += block_size(p);
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   886
  }
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   887
}