hotspot/src/share/vm/gc/g1/heapRegion.cpp
author kbarrett
Tue, 30 Aug 2016 23:48:16 -0400
changeset 40892 330a02d935ad
parent 40655 9f644073d3a0
child 41188 580be979b957
permissions -rw-r--r--
8156500: Move Reference pending list into VM to prevent deadlocks Summary: Move reference pending list and locking into VM Reviewed-by: coleenp, dholmes, dcubed, mchung, plevart Contributed-by: kim.barrett@oracle.com, per.liden@oracle.com
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
/*
37248
11a660dbbb8e 8132524: Missing includes to resourceArea.hpp
jprovino
parents: 37243
diff changeset
     2
 * Copyright (c) 2001, 2016, 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"
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
    29
#include "gc/g1/g1HeapRegionTraceType.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    30
#include "gc/g1/g1OopClosures.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    31
#include "gc/g1/heapRegion.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    32
#include "gc/g1/heapRegionBounds.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    33
#include "gc/g1/heapRegionManager.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    34
#include "gc/g1/heapRegionRemSet.hpp"
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
    35
#include "gc/g1/heapRegionTracer.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    36
#include "gc/shared/genOopClosures.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 29796
diff changeset
    37
#include "gc/shared/space.inline.hpp"
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
    38
#include "logging/log.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6983
diff changeset
    39
#include "memory/iterator.hpp"
37248
11a660dbbb8e 8132524: Missing includes to resourceArea.hpp
jprovino
parents: 37243
diff changeset
    40
#include "memory/resourceArea.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6983
diff changeset
    41
#include "oops/oop.inline.hpp"
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 39979
diff changeset
    42
#include "runtime/atomic.hpp"
24351
61b33cc6d3cf 8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents: 23538
diff changeset
    43
#include "runtime/orderAccess.inline.hpp"
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    44
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    45
int    HeapRegion::LogOfHRGrainBytes = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    46
int    HeapRegion::LogOfHRGrainWords = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    47
size_t HeapRegion::GrainBytes        = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    48
size_t HeapRegion::GrainWords        = 0;
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
    49
size_t HeapRegion::CardsPerRegion    = 0;
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
    50
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    51
HeapRegionDCTOC::HeapRegionDCTOC(G1CollectedHeap* g1,
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    52
                                 HeapRegion* hr,
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    53
                                 G1ParPushHeapRSClosure* cl,
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    54
                                 CardTableModRefBS::PrecisionStyle precision) :
25360
5b6141bf7564 8047819: G1 HeapRegionDCTOC does not need to inherit ContiguousSpaceDCTOC
mgerdin
parents: 25351
diff changeset
    55
  DirtyCardToOopClosure(hr, cl, precision, NULL),
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    56
  _hr(hr), _rs_scan(cl), _g1(g1) { }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    57
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    58
FilterOutOfRegionClosure::FilterOutOfRegionClosure(HeapRegion* r,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    59
                                                   OopClosure* oc) :
13336
e582172ff6ff 7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents: 12508
diff changeset
    60
  _r_bottom(r->bottom()), _r_end(r->end()), _oc(oc) { }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    61
25360
5b6141bf7564 8047819: G1 HeapRegionDCTOC does not need to inherit ContiguousSpaceDCTOC
mgerdin
parents: 25351
diff changeset
    62
void HeapRegionDCTOC::walk_mem_region(MemRegion mr,
5b6141bf7564 8047819: G1 HeapRegionDCTOC does not need to inherit ContiguousSpaceDCTOC
mgerdin
parents: 25351
diff changeset
    63
                                      HeapWord* bottom,
5b6141bf7564 8047819: G1 HeapRegionDCTOC does not need to inherit ContiguousSpaceDCTOC
mgerdin
parents: 25351
diff changeset
    64
                                      HeapWord* top) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    65
  G1CollectedHeap* g1h = _g1;
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
    66
  size_t oop_size;
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    67
  HeapWord* cur = bottom;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    68
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    69
  // Start filtering what we add to the remembered set. If the object is
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    70
  // not considered dead, either because it is marked (in the mark bitmap)
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    71
  // or it was allocated after marking finished, then we add it. Otherwise
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    72
  // we can safely ignore the object.
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
    73
  if (!g1h->is_obj_dead(oop(cur))) {
32606
fdaa30d06ada 8129417: Oop iteration clean-up to remove oop_ms_follow_contents
sjohanss
parents: 31592
diff changeset
    74
    oop_size = oop(cur)->oop_iterate_size(_rs_scan, mr);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    75
  } else {
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    76
    oop_size = _hr->block_size(cur);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    77
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    78
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    79
  cur += oop_size;
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10669
diff changeset
    80
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    81
  if (cur < top) {
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    82
    oop cur_oop = oop(cur);
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    83
    oop_size = _hr->block_size(cur);
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    84
    HeapWord* next_obj = cur + oop_size;
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    85
    while (next_obj < top) {
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    86
      // Keep filtering the remembered set.
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
    87
      if (!g1h->is_obj_dead(cur_oop)) {
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    88
        // Bottom lies entirely below top, so we can call the
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    89
        // non-memRegion version of oop_iterate below.
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    90
        cur_oop->oop_iterate(_rs_scan);
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    91
      }
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    92
      cur = next_obj;
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    93
      cur_oop = oop(cur);
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    94
      oop_size = _hr->block_size(cur);
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
    95
      next_obj = cur + oop_size;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    96
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    97
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    98
    // Last object. Need to do dead-obj filtering here too.
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
    99
    if (!g1h->is_obj_dead(oop(cur))) {
28207
6ad23566cbef 8067655: Clean up G1 remembered set oop iteration
mgerdin
parents: 27889
diff changeset
   100
      oop(cur)->oop_iterate(_rs_scan, mr);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   101
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   102
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   103
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   104
19986
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
   105
size_t HeapRegion::max_region_size() {
26840
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
   106
  return HeapRegionBounds::max_size();
19986
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
   107
}
33d188c66ed9 8010722: assert: failed: heap size is too big for compressed oops
tschatzl
parents: 19728
diff changeset
   108
31346
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
   109
size_t HeapRegion::min_region_size_in_words() {
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
   110
  return HeapRegionBounds::min_size() >> LogHeapWordSize;
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
   111
}
a70d45c06136 8042668: GC Support for shared heap ranges in CDS
jiangli
parents: 31331
diff changeset
   112
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
   113
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
   114
  size_t region_size = G1HeapRegionSize;
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   115
  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
   116
    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
   117
    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
   118
                       HeapRegionBounds::min_size());
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   119
  }
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   120
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   121
  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
   122
  // 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
   123
  // 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
   124
  // <= what we've calculated so far.
29697
92501504191b 8074459: Flags handling memory sizes should be of type size_t
jwilhelm
parents: 29681
diff changeset
   125
  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
   126
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   127
  // 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
   128
  if (region_size < HeapRegionBounds::min_size()) {
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
   129
    region_size = HeapRegionBounds::min_size();
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
   130
  } else if (region_size > HeapRegionBounds::max_size()) {
f3c7613a7bbb 8057710: Refactor G1 heap region default sizes
sjohanss
parents: 26839
diff changeset
   131
    region_size = HeapRegionBounds::max_size();
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   132
  }
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   133
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   134
  // And recalculate the log.
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   135
  region_size_log = log2_long((jlong) region_size);
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   136
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   137
  // Now, set up the globals.
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   138
  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
   139
  LogOfHRGrainBytes = region_size_log;
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   140
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   141
  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
   142
  LogOfHRGrainWords = LogOfHRGrainBytes - LogHeapWordSize;
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   143
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   144
  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
   145
  // 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
   146
  // 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
   147
  GrainBytes = region_size;
35908
cb12f847b199 8148733: G1: Add log message to print the heap region size
brutisso
parents: 35507
diff changeset
   148
  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
   149
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   150
  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
   151
  GrainWords = GrainBytes >> LogHeapWordSize;
12381
1438e0fbfa27 7157073: G1: type change size_t -> uint for region counts / indexes
tonyp
parents: 12379
diff changeset
   152
  guarantee((size_t) 1 << LogOfHRGrainWords == GrainWords, "sanity");
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   153
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   154
  guarantee(CardsPerRegion == 0, "we should only set it once");
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   155
  CardsPerRegion = GrainBytes >> CardTableModRefBS::card_shift;
38011
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   156
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   157
  if (G1HeapRegionSize != GrainBytes) {
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   158
    FLAG_SET_ERGO(size_t, G1HeapRegionSize, GrainBytes);
74a6871d896b 8154452: Deferred cleanups after split of G1CollectorPolicy code
mgerdin
parents: 37989
diff changeset
   159
  }
3697
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   160
}
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   161
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   162
void HeapRegion::reset_after_compaction() {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   163
  G1ContiguousSpace::reset_after_compaction();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   164
  // After a compaction the mark bitmap is invalid, so we must
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   165
  // treat all objects as being inside the unmarked area.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   166
  zero_marked_bytes();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   167
  init_top_at_mark_start();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   168
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   169
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   170
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
   171
  assert(_humongous_start_region == NULL,
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   172
         "we should have already filtered out humongous regions");
29470
e34bbcd36e53 8030646: track collection set membership in one place
ehelin
parents: 29325
diff changeset
   173
  assert(!in_collection_set(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   174
         "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
   175
26837
72a43d3841e7 8057536: Refactor G1 to allow context specific allocations
sjohanss
parents: 26827
diff changeset
   176
  set_allocation_context(AllocationContext::system());
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   177
  set_young_index_in_cset(-1);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   178
  uninstall_surv_rate_group();
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   179
  set_free();
8928
e5c53268bef5 7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents: 7923
diff changeset
   180
  reset_pre_dummy_top();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   181
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   182
  if (!keep_remset) {
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   183
    if (locked) {
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   184
      rem_set()->clear_locked();
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   185
    } else {
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   186
      rem_set()->clear();
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   187
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   188
  }
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   189
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   190
  zero_marked_bytes();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   191
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   192
  init_top_at_mark_start();
37989
e0a0f4de45c4 8153170: Card Live Data does not correctly handle eager reclaim
tschatzl
parents: 37985
diff changeset
   193
  _gc_time_stamp = G1CollectedHeap::heap()->get_gc_time_stamp();
1388
tonyp
parents: 1387
diff changeset
   194
  if (clear_space) clear(SpaceDecorator::Mangle);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   195
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   196
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   197
void HeapRegion::par_clear() {
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   198
  assert(used() == 0, "the region should have been already cleared");
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
   199
  assert(capacity() == HeapRegion::GrainBytes, "should be back to normal");
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   200
  HeapRegionRemSet* hrrs = rem_set();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   201
  hrrs->clear();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   202
  CardTableModRefBS* ct_bs =
29325
0e86e64c66e5 8069016: Add BarrierSet downcast support
kbarrett
parents: 28833
diff changeset
   203
    barrier_set_cast<CardTableModRefBS>(G1CollectedHeap::heap()->barrier_set());
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   204
  ct_bs->clear(MemRegion(bottom(), end()));
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   205
}
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   206
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   207
void HeapRegion::calc_gc_efficiency() {
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   208
  // GC efficiency is the ratio of how much space would be
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   209
  // 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
   210
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
37985
539c597ee0fa 8154154: Separate G1 specific policy code from the CollectorPolicy class hierarchy
mgerdin
parents: 37248
diff changeset
   211
  G1Policy* g1p = g1h->g1_policy();
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   212
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   213
  // Retrieve a prediction of the elapsed time for this region for
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   214
  // a mixed gc because the region will only be evacuated during a
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   215
  // mixed gc.
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   216
  double region_elapsed_time_ms =
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   217
    g1p->predict_region_elapsed_time_ms(this, false /* for_young_gc */);
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   218
  _gc_efficiency = (double) reclaimable_bytes() / region_elapsed_time_ms;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   219
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   220
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   221
void HeapRegion::set_free() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   222
  report_region_type_change(G1HeapRegionTraceType::Free);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   223
  _type.set_free();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   224
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   225
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   226
void HeapRegion::set_eden() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   227
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   228
  _type.set_eden();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   229
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   230
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   231
void HeapRegion::set_eden_pre_gc() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   232
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   233
  _type.set_eden_pre_gc();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   234
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   235
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   236
void HeapRegion::set_survivor() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   237
  report_region_type_change(G1HeapRegionTraceType::Survivor);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   238
  _type.set_survivor();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   239
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   240
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   241
void HeapRegion::set_old() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   242
  report_region_type_change(G1HeapRegionTraceType::Old);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   243
  _type.set_old();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   244
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   245
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   246
void HeapRegion::set_archive() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   247
  report_region_type_change(G1HeapRegionTraceType::Archive);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   248
  _type.set_archive();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   249
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   250
34249
a015a11067a2 8138681: Runtime.getFreeMemory() reports wrong value after humongous allocation.
david
parents: 33786
diff changeset
   251
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
   252
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   253
  assert(top() == bottom(), "should be empty");
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   254
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   255
  report_region_type_change(G1HeapRegionTraceType::StartsHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   256
  _type.set_starts_humongous();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   257
  _humongous_start_region = this;
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   258
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   259
  _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
   260
}
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   261
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   262
void HeapRegion::set_continues_humongous(HeapRegion* first_hr) {
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   263
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   264
  assert(top() == bottom(), "should be empty");
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   265
  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
   266
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   267
  report_region_type_change(G1HeapRegionTraceType::ContinuesHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   268
  _type.set_continues_humongous();
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   269
  _humongous_start_region = first_hr;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   270
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   271
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   272
void HeapRegion::clear_humongous() {
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   273
  assert(is_humongous(), "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   274
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
   275
  assert(capacity() == HeapRegion::GrainBytes, "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   276
  _humongous_start_region = NULL;
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   277
}
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   278
26316
93f6b40c038b 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 26157
diff changeset
   279
HeapRegion::HeapRegion(uint hrm_index,
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   280
                       G1BlockOffsetTable* bot,
26839
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   281
                       MemRegion mr) :
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   282
    G1ContiguousSpace(bot),
26839
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   283
    _hrm_index(hrm_index),
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   284
    _allocation_context(AllocationContext::system()),
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   285
    _humongous_start_region(NULL),
27009
e7e723732b6b 8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents: 26846
diff changeset
   286
    _evacuation_failed(false),
12382
6aaecb1cbfe1 7145441: G1: collection set chooser-related cleanup
tonyp
parents: 12381
diff changeset
   287
    _prev_marked_bytes(0), _next_marked_bytes(0), _gc_efficiency(0.0),
38154
4c30333c304e 8153507: Improve Card Table Clear Task
tschatzl
parents: 38011
diff changeset
   288
    _next(NULL), _prev(NULL),
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   289
#ifdef ASSERT
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   290
    _containing_set(NULL),
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   291
#endif // ASSERT
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   292
     _young_index_in_cset(-1), _surv_rate_group(NULL), _age_index(-1),
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   293
    _rem_set(NULL), _recorded_rs_length(0), _predicted_elapsed_time_ms(0),
5350
cccf0925702e 6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents: 5344
diff changeset
   294
    _predicted_bytes_to_copy(0)
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   295
{
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   296
  _rem_set = new HeapRegionRemSet(bot, this);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   297
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   298
  initialize(mr);
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   299
}
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   300
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   301
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
   302
  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
   303
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   304
  G1ContiguousSpace::initialize(mr, clear_space, mangle_space);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   305
13756
3b72f3da8cd4 7016955: G1: remove the is_zeroed parameter from the HeapRegion constructor
johnc
parents: 13728
diff changeset
   306
  hr_clear(false /*par*/, false /*clear_space*/);
1388
tonyp
parents: 1387
diff changeset
   307
  set_top(bottom());
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
   308
  record_timestamp();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   309
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   310
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   311
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
   312
  HeapRegionTracer::send_region_type_change(_hrm_index,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   313
                                            get_trace_type(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   314
                                            to,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   315
                                            (uintptr_t)bottom(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   316
                                            used(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   317
                                            (uint)allocation_context());
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   318
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   319
13336
e582172ff6ff 7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents: 12508
diff changeset
   320
CompactibleSpace* HeapRegion::next_compaction_space() const {
25730
7eb4e685f739 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 25492
diff changeset
   321
  return G1CollectedHeap::heap()->next_compaction_region(this);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   322
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   323
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   324
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
   325
                                                    bool during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   326
  // 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
   327
  // 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
   328
  // 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
   329
  _prev_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   330
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   331
  if (during_initial_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   332
    // 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
   333
    // 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
   334
    // objects need to be below NTAMS.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   335
    _next_top_at_mark_start = top();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   336
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   337
  } else if (during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   338
    // 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
   339
    // 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
   340
    // 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
   341
    _next_top_at_mark_start = bottom();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   342
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   343
  }
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   344
}
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   345
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   346
void HeapRegion::note_self_forwarding_removal_end(bool during_initial_mark,
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   347
                                                  bool during_conc_mark,
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   348
                                                  size_t marked_bytes) {
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 29470
diff changeset
   349
  assert(marked_bytes <= used(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   350
         "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
   351
  _prev_top_at_mark_start = top();
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   352
  _prev_marked_bytes = marked_bytes;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   353
}
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   354
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   355
HeapWord*
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   356
HeapRegion::object_iterate_mem_careful(MemRegion mr,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   357
                                                 ObjectClosure* cl) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   358
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   359
  // We used to use "block_start_careful" here.  But we're actually happy
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   360
  // to update the BOT while we do this...
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   361
  HeapWord* cur = block_start(mr.start());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   362
  mr = mr.intersection(used_region());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   363
  if (mr.is_empty()) return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   364
  // Otherwise, find the obj that extends onto mr.start().
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   365
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   366
  assert(cur <= mr.start()
3262
30d1c247fc25 6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents: 3191
diff changeset
   367
         && (oop(cur)->klass_or_null() == NULL ||
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   368
             cur + oop(cur)->size() > mr.start()),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   369
         "postcondition of block_start");
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   370
  oop obj;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   371
  while (cur < mr.end()) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   372
    obj = oop(cur);
3262
30d1c247fc25 6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents: 3191
diff changeset
   373
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   374
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   375
      return cur;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   376
    } else if (!g1h->is_obj_dead(obj)) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   377
      cl->do_object(obj);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   378
    }
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   379
    cur += block_size(cur);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   380
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   381
  return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   382
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   383
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   384
HeapWord*
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   385
HeapRegion::
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   386
oops_on_card_seq_iterate_careful(MemRegion mr,
6068
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   387
                                 FilterOutOfRegionClosure* cl,
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   388
                                 bool filter_young,
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   389
                                 jbyte* card_ptr) {
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   390
  // Currently, we should only have to clean the card if filter_young
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   391
  // is true and vice versa.
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   392
  if (filter_young) {
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   393
    assert(card_ptr != NULL, "pre-condition");
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   394
  } else {
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   395
    assert(card_ptr == NULL, "pre-condition");
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   396
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   397
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   398
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   399
  // If we're within a stop-world GC, then we might look at a card in a
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   400
  // GC alloc region that extends onto a GC LAB, which may not be
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
   401
  // parseable.  Stop such at the "scan_top" of the region.
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   402
  if (g1h->is_gc_active()) {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
   403
    mr = mr.intersection(MemRegion(bottom(), scan_top()));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   404
  } else {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   405
    mr = mr.intersection(used_region());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   406
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   407
  if (mr.is_empty()) return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   408
  // Otherwise, find the obj that extends onto mr.start().
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   409
6068
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   410
  // The intersection of the incoming mr (for the card) and the
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   411
  // allocated part of the region is non-empty. This implies that
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   412
  // we have actually allocated into this region. The code in
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   413
  // G1CollectedHeap.cpp that allocates a new region sets the
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   414
  // is_young tag on the region before allocating. Thus we
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   415
  // safely know if this region is young.
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   416
  if (is_young() && filter_young) {
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   417
    return NULL;
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   418
  }
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   419
6247
00e5cc407d03 6814437: G1: remove the _new_refs array
johnc
parents: 6068
diff changeset
   420
  assert(!is_young(), "check value of filter_young");
00e5cc407d03 6814437: G1: remove the _new_refs array
johnc
parents: 6068
diff changeset
   421
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   422
  // We can only clean the card here, after we make the decision that
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   423
  // the card is not young. And we only clean the card if we have been
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   424
  // asked to (i.e., card_ptr != NULL).
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   425
  if (card_ptr != NULL) {
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   426
    *card_ptr = CardTableModRefBS::clean_card_val();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   427
    // We must complete this write before we do any of the reads below.
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   428
    OrderAccess::storeload();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   429
  }
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   430
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   431
  // Cache the boundaries of the memory region in some const locals
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   432
  HeapWord* const start = mr.start();
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   433
  HeapWord* const end = mr.end();
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   434
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   435
  // We used to use "block_start_careful" here.  But we're actually happy
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   436
  // to update the BOT while we do this...
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   437
  HeapWord* cur = block_start(start);
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   438
  assert(cur <= start, "Postcondition");
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   439
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   440
  oop obj;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   441
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   442
  HeapWord* next = cur;
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   443
  do {
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   444
    cur = next;
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   445
    obj = oop(cur);
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   446
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   447
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   448
      return cur;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   449
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   450
    // Otherwise...
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   451
    next = cur + block_size(cur);
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   452
  } while (next <= start);
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   453
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   454
  // If we finish the above loop...We have a parseable object that
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   455
  // begins on or before the start of the memory region, and ends
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   456
  // inside or spans the entire region.
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   457
  assert(cur <= start, "Loop postcondition");
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   458
  assert(obj->klass_or_null() != NULL, "Loop postcondition");
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   459
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   460
  do {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   461
    obj = oop(cur);
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   462
    assert((cur + block_size(cur)) > (HeapWord*)obj, "Loop invariant");
3262
30d1c247fc25 6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents: 3191
diff changeset
   463
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   464
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   465
      return cur;
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   466
    }
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   467
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   468
    // Advance the current pointer. "obj" still points to the object to iterate.
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   469
    cur = cur + block_size(cur);
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   470
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   471
    if (!g1h->is_obj_dead(obj)) {
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   472
      // Non-objArrays are sometimes marked imprecise at the object start. We
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   473
      // always need to iterate over them in full.
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   474
      // We only iterate over object arrays in full if they are completely contained
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   475
      // in the memory region.
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   476
      if (!obj->is_objArray() || (((HeapWord*)obj) >= start && cur <= end)) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   477
        obj->oop_iterate(cl);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   478
      } else {
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   479
        obj->oop_iterate(cl, mr);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   480
      }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   481
    }
28833
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   482
  } while (cur < end);
747e11afce7e 8069760: When iterating over a card, G1 often iterates over much more references than are contained in the card
tschatzl
parents: 28633
diff changeset
   483
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   484
  return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   485
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   486
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   487
// Code roots support
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   488
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   489
void HeapRegion::add_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   490
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   491
  hrrs->add_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   492
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   493
26422
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   494
void HeapRegion::add_strong_code_root_locked(nmethod* nm) {
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   495
  assert_locked_or_safepoint(CodeCache_lock);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   496
  HeapRegionRemSet* hrrs = rem_set();
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   497
  hrrs->add_strong_code_root_locked(nm);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   498
}
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   499
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   500
void HeapRegion::remove_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   501
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   502
  hrrs->remove_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   503
}
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 HeapRegion::strong_code_roots_do(CodeBlobClosure* blk) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   506
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   507
  hrrs->strong_code_roots_do(blk);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   508
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   509
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   510
class VerifyStrongCodeRootOopClosure: public OopClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   511
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   512
  nmethod* _nm;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   513
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   514
  bool _has_oops_in_region;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   515
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   516
  template <class T> void do_oop_work(T* p) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   517
    T heap_oop = oopDesc::load_heap_oop(p);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   518
    if (!oopDesc::is_null(heap_oop)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   519
      oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   520
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   521
      // Note: not all the oops embedded in the nmethod are in the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   522
      // current region. We only look at those which are.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   523
      if (_hr->is_in(obj)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   524
        // Object is in the region. Check that its less than top
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   525
        if (_hr->top() <= (HeapWord*)obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   526
          // Object is above top
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   527
          log_error(gc, verify)("Object " PTR_FORMAT " in region [" PTR_FORMAT ", " PTR_FORMAT ") is above top " PTR_FORMAT,
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   528
                               p2i(obj), p2i(_hr->bottom()), p2i(_hr->end()), p2i(_hr->top()));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   529
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   530
          return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   531
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   532
        // Nmethod has at least one oop in the current region
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   533
        _has_oops_in_region = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   534
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   535
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   536
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   537
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   538
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   539
  VerifyStrongCodeRootOopClosure(const HeapRegion* hr, nmethod* nm):
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   540
    _hr(hr), _failures(false), _has_oops_in_region(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   541
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   542
  void do_oop(narrowOop* p) { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   543
  void do_oop(oop* p)       { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   544
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   545
  bool failures()           { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   546
  bool has_oops_in_region() { return _has_oops_in_region; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   547
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   548
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   549
class VerifyStrongCodeRootCodeBlobClosure: public CodeBlobClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   550
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   551
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   552
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   553
  VerifyStrongCodeRootCodeBlobClosure(const HeapRegion* hr) :
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   554
    _hr(hr), _failures(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   555
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   556
  void do_code_blob(CodeBlob* cb) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   557
    nmethod* nm = (cb == NULL) ? NULL : cb->as_nmethod_or_null();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   558
    if (nm != NULL) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   559
      // Verify that the nemthod is live
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   560
      if (!nm->is_alive()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   561
        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
   562
                              p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   563
        _failures = true;
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
        VerifyStrongCodeRootOopClosure oop_cl(_hr, nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   566
        nm->oops_do(&oop_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   567
        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
   568
          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
   569
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   570
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   571
        } 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
   572
          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
   573
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   574
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   575
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   576
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   577
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   578
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   579
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   580
  bool failures()       { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   581
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   582
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   583
void HeapRegion::verify_strong_code_roots(VerifyOption vo, bool* failures) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   584
  if (!G1VerifyHeapRegionCodeRoots) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   585
    // We're not verifying code roots.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   586
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   587
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   588
  if (vo == VerifyOption_G1UseMarkWord) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   589
    // Marking verification during a full GC is performed after class
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   590
    // unloading, code cache unloading, etc so the strong code roots
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   591
    // attached to each heap region are in an inconsistent state. They won't
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   592
    // be consistent until the strong code roots are rebuilt after the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   593
    // actual GC. Skip verifying the strong code roots in this particular
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   594
    // time.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   595
    assert(VerifyDuringGC, "only way to get here");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   596
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   597
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   598
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   599
  HeapRegionRemSet* hrrs = rem_set();
23451
ed2b8bb28fed 8035406: Improve data structure for Code Cache remembered sets
tschatzl
parents: 22551
diff changeset
   600
  size_t strong_code_roots_length = hrrs->strong_code_roots_list_length();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   601
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   602
  // if this region is empty then there should be no entries
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   603
  // on its strong code root list
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   604
  if (is_empty()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   605
    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
   606
      log_error(gc, verify)("region [" PTR_FORMAT "," PTR_FORMAT "] is empty 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
   607
                            p2i(bottom()), p2i(end()), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   608
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   609
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   610
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   611
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   612
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   613
  if (is_continues_humongous()) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   614
    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
   615
      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
   616
                            HR_FORMAT_PARAMS(this), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   617
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   618
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   619
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   620
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   621
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   622
  VerifyStrongCodeRootCodeBlobClosure cb_cl(this);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   623
  strong_code_roots_do(&cb_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   624
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   625
  if (cb_cl.failures()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   626
    *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   627
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   628
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   629
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   630
void HeapRegion::print() const { print_on(tty); }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   631
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
   632
  st->print("|%4u", this->_hrm_index);
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   633
  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
   634
            p2i(bottom()), p2i(top()), p2i(end()));
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   635
  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
   636
  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
   637
  if (in_collection_set()) {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   638
    st->print("|CS");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   639
  } else {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   640
    st->print("|  ");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   641
  }
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   642
  st->print("|TS%3u", _gc_time_stamp);
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   643
  st->print("|AC%3u", allocation_context());
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   644
  st->print_cr("|TAMS " PTR_FORMAT ", " PTR_FORMAT "|",
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   645
               p2i(prev_top_at_mark_start()), p2i(next_top_at_mark_start()));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   646
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   647
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   648
class G1VerificationClosure : public OopClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   649
protected:
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   650
  G1CollectedHeap* _g1h;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   651
  CardTableModRefBS* _bs;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   652
  oop _containing_obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   653
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   654
  int _n_failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   655
  VerifyOption _vo;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   656
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   657
  // _vo == UsePrevMarking -> use "prev" marking information,
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   658
  // _vo == UseNextMarking -> use "next" marking information,
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   659
  // _vo == UseMarkWord    -> use mark word from object header.
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   660
  G1VerificationClosure(G1CollectedHeap* g1h, VerifyOption vo) :
29325
0e86e64c66e5 8069016: Add BarrierSet downcast support
kbarrett
parents: 28833
diff changeset
   661
    _g1h(g1h), _bs(barrier_set_cast<CardTableModRefBS>(g1h->barrier_set())),
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   662
    _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
   663
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   664
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   665
  void set_containing_obj(oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   666
    _containing_obj = obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   667
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   668
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   669
  bool failures() { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   670
  int n_failures() { return _n_failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   671
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   672
  void print_object(outputStream* out, oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   673
#ifdef PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   674
    Klass* k = obj->klass();
33602
16053580a684 8139163: InstanceKlass::cast passes through NULL
coleenp
parents: 33105
diff changeset
   675
    const char* class_name = k->external_name();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   676
    out->print_cr("class name %s", class_name);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   677
#else // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   678
    obj->print_on(out);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   679
#endif // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   680
  }
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   681
};
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   682
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   683
class VerifyLiveClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   684
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   685
  VerifyLiveClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   686
  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
   687
  virtual void do_oop(oop* p) { do_oop_work(p); }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   688
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   689
  template <class T>
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   690
  void do_oop_work(T* p) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   691
    assert(_containing_obj != NULL, "Precondition");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   692
    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
   693
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   694
    verify_liveness(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   695
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   696
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   697
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   698
  void verify_liveness(T* p) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   699
    T heap_oop = oopDesc::load_heap_oop(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   700
    Log(gc, verify) log;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   701
    if (!oopDesc::is_null(heap_oop)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   702
      oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   703
      bool failed = false;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   704
      if (!_g1h->is_in_closed_subset(obj) || _g1h->is_obj_dead_cond(obj, _vo)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   705
        MutexLockerEx x(ParGCRareEvent_lock,
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   706
          Mutex::_no_safepoint_check_flag);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   707
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   708
        if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   709
          log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   710
        }
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   711
        ResourceMark rm;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   712
        if (!_g1h->is_in_closed_subset(obj)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   713
          HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   714
          log.error("Field " PTR_FORMAT " of live obj " PTR_FORMAT " in region [" PTR_FORMAT ", " PTR_FORMAT ")",
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   715
            p2i(p), p2i(_containing_obj), p2i(from->bottom()), p2i(from->end()));
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   716
          print_object(log.error_stream(), _containing_obj);
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   717
          log.error("points to obj " PTR_FORMAT " not in the heap", p2i(obj));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   718
        } else {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   719
          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
   720
          HeapRegion* to = _g1h->heap_region_containing((HeapWord*)obj);
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   721
          log.error("Field " PTR_FORMAT " of live obj " PTR_FORMAT " in region [" PTR_FORMAT ", " PTR_FORMAT ")",
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   722
            p2i(p), p2i(_containing_obj), p2i(from->bottom()), p2i(from->end()));
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   723
          print_object(log.error_stream(), _containing_obj);
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   724
          log.error("points to dead obj " PTR_FORMAT " in region [" PTR_FORMAT ", " PTR_FORMAT ")",
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   725
            p2i(obj), p2i(to->bottom()), p2i(to->end()));
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   726
          print_object(log.error_stream(), obj);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   727
        }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   728
        log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   729
        _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   730
        failed = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   731
        _n_failures++;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   732
      }
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   733
    }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   734
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   735
};
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   736
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   737
class VerifyRemSetClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   738
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   739
  VerifyRemSetClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   740
  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
   741
  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
   742
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   743
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   744
  void do_oop_work(T* p) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   745
    assert(_containing_obj != NULL, "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   746
    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
   747
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   748
    verify_remembered_set(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   749
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   750
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   751
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   752
  void verify_remembered_set(T* p) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   753
    T heap_oop = oopDesc::load_heap_oop(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   754
    Log(gc, verify) log;
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   755
    if (!oopDesc::is_null(heap_oop)) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   756
      oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   757
      bool failed = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   758
      HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   759
      HeapRegion* to = _g1h->heap_region_containing(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   760
      if (from != NULL && to != NULL &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   761
        from != to &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   762
        !to->is_pinned()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   763
        jbyte cv_obj = *_bs->byte_for_const(_containing_obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   764
        jbyte cv_field = *_bs->byte_for_const(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   765
        const jbyte dirty = CardTableModRefBS::dirty_card_val();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   766
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   767
        bool is_bad = !(from->is_young()
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   768
          || to->rem_set()->contains_reference(p)
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   769
          || !G1HRRSFlushLogBuffersOnVerify && // buffers were not flushed
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   770
          (_containing_obj->is_objArray() ?
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   771
          cv_field == dirty
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   772
          : cv_obj == dirty || cv_field == dirty));
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   773
        if (is_bad) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   774
          MutexLockerEx x(ParGCRareEvent_lock,
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   775
            Mutex::_no_safepoint_check_flag);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   776
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   777
          if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   778
            log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   779
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   780
          log.error("Missing rem set entry:");
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   781
          log.error("Field " PTR_FORMAT " of obj " PTR_FORMAT ", in region " HR_FORMAT,
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   782
            p2i(p), p2i(_containing_obj), HR_FORMAT_PARAMS(from));
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   783
          ResourceMark rm;
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   784
          _containing_obj->print_on(log.error_stream());
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   785
          log.error("points to obj " PTR_FORMAT " in region " HR_FORMAT, p2i(obj), HR_FORMAT_PARAMS(to));
36394
fe27b66d3519 8150002: Check for the validity of oop before printing it in verify_remembered_set
poonam
parents: 36098
diff changeset
   786
          if (obj->is_oop()) {
fe27b66d3519 8150002: Check for the validity of oop before printing it in verify_remembered_set
poonam
parents: 36098
diff changeset
   787
            obj->print_on(log.error_stream());
fe27b66d3519 8150002: Check for the validity of oop before printing it in verify_remembered_set
poonam
parents: 36098
diff changeset
   788
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   789
          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
   790
          log.error("----------");
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   791
          _failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   792
          if (!failed) _n_failures++;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   793
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   794
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   795
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   796
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   797
};
3000
bbce6052b595 6850846: G1: extend G1 marking verification
tonyp
parents: 2883
diff changeset
   798
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   799
// This really ought to be commoned up into OffsetTableContigSpace somehow.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   800
// We would need a mechanism to make that code skip dead objects.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   801
12379
2cf45b79ce3a 4988100: oop_verify_old_oop appears to be dead
brutisso
parents: 11756
diff changeset
   802
void HeapRegion::verify(VerifyOption vo,
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   803
                        bool* failures) const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   804
  G1CollectedHeap* g1 = G1CollectedHeap::heap();
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   805
  *failures = false;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   806
  HeapWord* p = bottom();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   807
  HeapWord* prev_p = NULL;
9995
290620c08233 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 9989
diff changeset
   808
  VerifyLiveClosure vl_cl(g1, vo);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   809
  VerifyRemSetClosure vr_cl(g1, vo);
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   810
  bool is_region_humongous = is_humongous();
6260
fba83fd3adc7 6974928: G1: sometimes humongous objects are allocated in young regions
tonyp
parents: 6247
diff changeset
   811
  size_t object_num = 0;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   812
  while (p < top()) {
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   813
    oop obj = oop(p);
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   814
    size_t obj_size = block_size(p);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   815
    object_num += 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   816
9995
290620c08233 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 9989
diff changeset
   817
    if (!g1->is_obj_dead_cond(obj, this, vo)) {
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   818
      if (obj->is_oop()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13482
diff changeset
   819
        Klass* klass = obj->klass();
25492
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   820
        bool is_metaspace_object = Metaspace::contains(klass) ||
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   821
                                   (vo == VerifyOption_G1UsePrevMarking &&
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   822
                                   ClassLoaderDataGraph::unload_list_contains(klass));
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   823
        if (!is_metaspace_object) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   824
          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
   825
                                "not metadata", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   826
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   827
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   828
        } 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
   829
          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
   830
                                "not a klass", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   831
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   832
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   833
        } else {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   834
          vl_cl.set_containing_obj(obj);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   835
          if (!g1->collector_state()->full_collection() || G1VerifyRSetsDuringFullGC) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   836
            // verify liveness and rem_set
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   837
            vr_cl.set_containing_obj(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   838
            G1Mux2Closure mux(&vl_cl, &vr_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   839
            obj->oop_iterate_no_header(&mux);
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
            if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   842
              *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   843
            }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   844
            if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   845
              vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   846
              return;
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
          } else {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   849
            // verify only liveness
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   850
            obj->oop_iterate_no_header(&vl_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   851
          }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   852
          if (vl_cl.failures()) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   853
            *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   854
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   855
          if (G1MaxVerifyFailures >= 0 &&
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   856
              vl_cl.n_failures() >= G1MaxVerifyFailures) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   857
            return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   858
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   859
        }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   860
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   861
        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
   862
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   863
        return;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   864
      }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   865
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   866
    prev_p = p;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   867
    p += obj_size;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   868
  }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   869
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   870
  if (!is_young() && !is_empty()) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   871
    _bot_part.verify();
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   872
  }
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   873
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   874
  if (is_region_humongous) {
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   875
    oop obj = oop(this->humongous_start_region()->bottom());
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   876
    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
   877
      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
   878
      *failures = true;
fd10d4ee314a 8149542: Missing failure reporting in HeapRegion::verify
brutisso
parents: 36090
diff changeset
   879
      return;
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   880
    }
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   881
  }
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   882
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   883
  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
   884
    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
   885
                          "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
   886
    *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   887
    return;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   888
  }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   889
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   890
  HeapWord* the_end = end();
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   891
  // 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
   892
  // 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
   893
  // 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
   894
  if (p < the_end) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   895
    // Look up top
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   896
    HeapWord* addr_1 = p;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   897
    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
   898
    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
   899
      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
   900
                            " 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
   901
                            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
   902
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   903
      return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   904
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   905
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   906
    // Look up top + 1
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   907
    HeapWord* addr_2 = p + 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   908
    if (addr_2 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   909
      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
   910
      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
   911
        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
   912
                              " 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
   913
                              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
   914
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   915
        return;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   916
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   917
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   918
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   919
    // Look up an address between top and end
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   920
    size_t diff = pointer_delta(the_end, p) / 2;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   921
    HeapWord* addr_3 = p + diff;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   922
    if (addr_3 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   923
      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
   924
      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
   925
        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
   926
                              " 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
   927
                              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
   928
        *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   929
        return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   930
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   931
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   932
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 21563
diff changeset
   933
    // Look up end - 1
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   934
    HeapWord* addr_4 = the_end - 1;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   935
    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
   936
    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
   937
      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
   938
                            " 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
   939
                            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
   940
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   941
      return;
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   942
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   943
  }
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   944
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   945
  verify_strong_code_roots(vo, failures);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   946
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   947
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   948
void HeapRegion::verify() const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   949
  bool dummy = false;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   950
  verify(VerifyOption_G1UsePrevMarking, /* failures */ &dummy);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   951
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   952
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   953
void HeapRegion::verify_rem_set(VerifyOption vo, bool* failures) const {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   954
  G1CollectedHeap* g1 = G1CollectedHeap::heap();
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   955
  *failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   956
  HeapWord* p = bottom();
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   957
  HeapWord* prev_p = NULL;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   958
  VerifyRemSetClosure vr_cl(g1, vo);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   959
  while (p < top()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   960
    oop obj = oop(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   961
    size_t obj_size = block_size(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   962
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   963
    if (!g1->is_obj_dead_cond(obj, this, vo)) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   964
      if (obj->is_oop()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   965
        vr_cl.set_containing_obj(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   966
        obj->oop_iterate_no_header(&vr_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   967
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   968
        if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   969
          *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   970
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   971
        if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   972
          vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   973
          return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   974
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   975
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   976
        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
   977
        *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   978
        return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   979
      }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   980
    }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   981
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   982
    prev_p = p;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   983
    p += obj_size;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   984
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   985
}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   986
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   987
void HeapRegion::verify_rem_set() const {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   988
  bool failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   989
  verify_rem_set(VerifyOption_G1UsePrevMarking, &failures);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   990
  guarantee(!failures, "HeapRegion RemSet verification failed");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   991
}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   992
27624
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   993
void HeapRegion::prepare_for_compaction(CompactPoint* cp) {
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   994
  scan_and_forward(this, cp);
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   995
}
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   996
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   997
// G1OffsetTableContigSpace code; copied from space.cpp.  Hope this can go
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   998
// away eventually.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   999
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1000
void G1ContiguousSpace::clear(bool mangle_space) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1001
  set_top(bottom());
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1002
  _scan_top = bottom();
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1003
  CompactibleSpace::clear(mangle_space);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1004
  reset_bot();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1005
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1006
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1007
#ifndef PRODUCT
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1008
void G1ContiguousSpace::mangle_unused_area() {
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1009
  mangle_unused_area_complete();
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1010
}
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1011
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1012
void G1ContiguousSpace::mangle_unused_area_complete() {
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1013
  SpaceMangler::mangle_region(MemRegion(top(), end()));
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1014
}
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1015
#endif
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1016
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1017
void G1ContiguousSpace::print() const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1018
  print_short();
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
  1019
  tty->print_cr(" [" INTPTR_FORMAT ", " INTPTR_FORMAT ", "
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1020
                INTPTR_FORMAT ", " INTPTR_FORMAT ")",
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1021
                p2i(bottom()), p2i(top()), p2i(_bot_part.threshold()), p2i(end()));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1022
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1023
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1024
HeapWord* G1ContiguousSpace::initialize_threshold() {
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1025
  return _bot_part.initialize_threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1026
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1027
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1028
HeapWord* G1ContiguousSpace::cross_threshold(HeapWord* start,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1029
                                                    HeapWord* end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1030
  _bot_part.alloc_block(start, end);
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1031
  return _bot_part.threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1032
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1033
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1034
HeapWord* G1ContiguousSpace::scan_top() const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1035
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
27681
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1036
  HeapWord* local_top = top();
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1037
  OrderAccess::loadload();
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1038
  const unsigned local_time_stamp = _gc_time_stamp;
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1039
  assert(local_time_stamp <= g1h->get_gc_time_stamp(), "invariant");
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1040
  if (local_time_stamp < g1h->get_gc_time_stamp()) {
27681
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1041
    return local_top;
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1042
  } else {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1043
    return _scan_top;
27681
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1044
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1045
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1046
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1047
void G1ContiguousSpace::record_timestamp() {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1048
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
37989
e0a0f4de45c4 8153170: Card Live Data does not correctly handle eager reclaim
tschatzl
parents: 37985
diff changeset
  1049
  uint curr_gc_time_stamp = g1h->get_gc_time_stamp();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1050
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1051
  if (_gc_time_stamp < curr_gc_time_stamp) {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1052
    // Setting the time stamp here tells concurrent readers to look at
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1053
    // scan_top to know the maximum allowed address to look at.
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1054
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1055
    // scan_top should be bottom for all regions except for the
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1056
    // retained old alloc region which should have scan_top == top
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1057
    HeapWord* st = _scan_top;
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1058
    guarantee(st == _bottom || st == _top, "invariant");
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1059
1385
1751733b089b 6723570: G1: assertion failure: p == current_top or oop(p)->is_oop(),"p is not a block start" (revisited!)
iveresov
parents: 1374
diff changeset
  1060
    _gc_time_stamp = curr_gc_time_stamp;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1061
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1062
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1063
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1064
void G1ContiguousSpace::record_retained_region() {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1065
  // scan_top is the maximum address where it's safe for the next gc to
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1066
  // scan this region.
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1067
  _scan_top = top();
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1068
}
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1069
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1070
void G1ContiguousSpace::safe_object_iterate(ObjectClosure* blk) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1071
  object_iterate(blk);
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1072
}
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1073
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1074
void G1ContiguousSpace::object_iterate(ObjectClosure* blk) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1075
  HeapWord* p = bottom();
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1076
  while (p < top()) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1077
    if (block_is_obj(p)) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1078
      blk->do_object(oop(p));
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1079
    }
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1080
    p += block_size(p);
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1081
  }
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1082
}
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1083
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1084
G1ContiguousSpace::G1ContiguousSpace(G1BlockOffsetTable* bot) :
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1085
  _bot_part(bot, this),
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1086
  _par_alloc_lock(Mutex::leaf, "OffsetTableContigSpace par alloc lock", true),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1087
  _gc_time_stamp(0)
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1088
{
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1089
}
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1090
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1091
void G1ContiguousSpace::initialize(MemRegion mr, bool clear_space, bool mangle_space) {
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1092
  CompactibleSpace::initialize(mr, clear_space, mangle_space);
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1093
  _top = bottom();
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1094
  _scan_top = bottom();
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1095
  set_saved_mark_word(NULL);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1096
  reset_bot();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1097
}
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1098