hotspot/src/share/vm/gc/g1/heapRegion.cpp
author jprovino
Mon, 04 Apr 2016 12:57:48 -0400
changeset 37248 11a660dbbb8e
parent 37243 34e1821bde93
child 37985 539c597ee0fa
permissions -rw-r--r--
8132524: Missing includes to resourceArea.hpp Summary: Files that use ResourceMark are missing the include of resourceArea.hpp Reviewed-by: tschatzl, jwilhelm
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"
25351
7c198a690050 8044775: Improve usage of umbrella header atomic.inline.hpp.
goetz
parents: 24487
diff changeset
    42
#include "runtime/atomic.inline.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;
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   156
}
ea9211aa02f5 6819085: G1: use larger and/or user settable region size
tonyp
parents: 3283
diff changeset
   157
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   158
void HeapRegion::reset_after_compaction() {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   159
  G1ContiguousSpace::reset_after_compaction();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   160
  // After a compaction the mark bitmap is invalid, so we must
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   161
  // treat all objects as being inside the unmarked area.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   162
  zero_marked_bytes();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   163
  init_top_at_mark_start();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   164
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   165
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   166
void HeapRegion::hr_clear(bool par, bool clear_space, bool locked) {
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   167
  assert(_humongous_start_region == NULL,
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   168
         "we should have already filtered out humongous regions");
29470
e34bbcd36e53 8030646: track collection set membership in one place
ehelin
parents: 29325
diff changeset
   169
  assert(!in_collection_set(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   170
         "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
   171
26837
72a43d3841e7 8057536: Refactor G1 to allow context specific allocations
sjohanss
parents: 26827
diff changeset
   172
  set_allocation_context(AllocationContext::system());
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   173
  set_young_index_in_cset(-1);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   174
  uninstall_surv_rate_group();
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   175
  set_free();
8928
e5c53268bef5 7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents: 7923
diff changeset
   176
  reset_pre_dummy_top();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   177
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   178
  if (!par) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   179
    // If this is parallel, this will be done later.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   180
    HeapRegionRemSet* hrrs = rem_set();
23453
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   181
    if (locked) {
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   182
      hrrs->clear_locked();
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   183
    } else {
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   184
      hrrs->clear();
09cfb0164acf 8027295: Free CSet takes ~50% of young pause time
tschatzl
parents: 23451
diff changeset
   185
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   186
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   187
  zero_marked_bytes();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   188
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   189
  init_top_at_mark_start();
1388
tonyp
parents: 1387
diff changeset
   190
  if (clear_space) clear(SpaceDecorator::Mangle);
1374
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
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   193
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
   194
  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
   195
  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
   196
  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
   197
  hrrs->clear();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   198
  CardTableModRefBS* ct_bs =
29325
0e86e64c66e5 8069016: Add BarrierSet downcast support
kbarrett
parents: 28833
diff changeset
   199
    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
   200
  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
   201
}
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   202
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   203
void HeapRegion::calc_gc_efficiency() {
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   204
  // GC efficiency is the ratio of how much space would be
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   205
  // 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
   206
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
11756
28b6fe22e43d 7132029: G1: mixed GC phase lasts for longer than it should
tonyp
parents: 11586
diff changeset
   207
  G1CollectorPolicy* g1p = g1h->g1_policy();
13482
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   208
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   209
  // Retrieve a prediction of the elapsed time for this region for
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   210
  // a mixed gc because the region will only be evacuated during a
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   211
  // mixed gc.
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   212
  double region_elapsed_time_ms =
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   213
    g1p->predict_region_elapsed_time_ms(this, false /* for_young_gc */);
c6b6960549f1 7185699: G1: Prediction model discrepancies
johnc
parents: 13336
diff changeset
   214
  _gc_efficiency = (double) reclaimable_bytes() / region_elapsed_time_ms;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   215
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   216
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   217
void HeapRegion::set_free() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   218
  report_region_type_change(G1HeapRegionTraceType::Free);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   219
  _type.set_free();
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   220
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   221
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   222
void HeapRegion::set_eden() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   223
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   224
  _type.set_eden();
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
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   227
void HeapRegion::set_eden_pre_gc() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   228
  report_region_type_change(G1HeapRegionTraceType::Eden);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   229
  _type.set_eden_pre_gc();
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
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   232
void HeapRegion::set_survivor() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   233
  report_region_type_change(G1HeapRegionTraceType::Survivor);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   234
  _type.set_survivor();
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
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   237
void HeapRegion::set_old() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   238
  report_region_type_change(G1HeapRegionTraceType::Old);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   239
  _type.set_old();
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
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   242
void HeapRegion::set_archive() {
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   243
  report_region_type_change(G1HeapRegionTraceType::Archive);
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   244
  _type.set_archive();
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
34249
a015a11067a2 8138681: Runtime.getFreeMemory() reports wrong value after humongous allocation.
david
parents: 33786
diff changeset
   247
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
   248
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   249
  assert(top() == bottom(), "should be empty");
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   250
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   251
  report_region_type_change(G1HeapRegionTraceType::StartsHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   252
  _type.set_starts_humongous();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   253
  _humongous_start_region = this;
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   254
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   255
  _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
   256
}
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   257
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   258
void HeapRegion::set_continues_humongous(HeapRegion* first_hr) {
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   259
  assert(!is_humongous(), "sanity / pre-condition");
6983
a8c50cedbce9 6991377: G1: race between concurrent refinement and humongous object allocation
tonyp
parents: 6260
diff changeset
   260
  assert(top() == bottom(), "should be empty");
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   261
  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
   262
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   263
  report_region_type_change(G1HeapRegionTraceType::ContinuesHumongous);
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   264
  _type.set_continues_humongous();
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   265
  _humongous_start_region = first_hr;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   266
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   267
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   268
void HeapRegion::clear_humongous() {
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   269
  assert(is_humongous(), "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   270
10677
370a8da2d63f 7095194: G1: HeapRegion::GrainBytes, GrainWords, and CardsPerRegion should be size_t
johnc
parents: 10674
diff changeset
   271
  assert(capacity() == HeapRegion::GrainBytes, "pre-condition");
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   272
  _humongous_start_region = NULL;
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   273
}
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   274
26316
93f6b40c038b 8054819: Rename HeapRegionSeq to HeapRegionManager
tschatzl
parents: 26157
diff changeset
   275
HeapRegion::HeapRegion(uint hrm_index,
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   276
                       G1BlockOffsetTable* bot,
26839
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   277
                       MemRegion mr) :
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   278
    G1ContiguousSpace(bot),
26839
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   279
    _hrm_index(hrm_index),
021bfc544c6f 8057658: Enable G1 FullGC extensions
sjohanss
parents: 26837
diff changeset
   280
    _allocation_context(AllocationContext::system()),
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   281
    _humongous_start_region(NULL),
26827
52aab4aa2ed5 8058534: Remove HeapRegion::_orig_end
jprovino
parents: 26696
diff changeset
   282
    _next_in_special_set(NULL),
27009
e7e723732b6b 8058298: Separate heap region iterator claim values from the data structures iterated over
mlarsson
parents: 26846
diff changeset
   283
    _evacuation_failed(false),
12382
6aaecb1cbfe1 7145441: G1: collection set chooser-related cleanup
tonyp
parents: 12381
diff changeset
   284
    _prev_marked_bytes(0), _next_marked_bytes(0), _gc_efficiency(0.0),
26696
623a25e6c686 8057768: Make heap region region type in G1 HeapRegion explicit
tonyp
parents: 26571
diff changeset
   285
    _next_young_region(NULL),
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   286
    _next_dirty_cards_region(NULL), _next(NULL), _prev(NULL),
7923
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   287
#ifdef ASSERT
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   288
    _containing_set(NULL),
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   289
#endif // ASSERT
fc200fcd4e05 6977804: G1: remove the zero-filling thread
tonyp
parents: 7904
diff changeset
   290
     _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
   291
    _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
   292
    _predicted_bytes_to_copy(0)
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   293
{
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   294
  _rem_set = new HeapRegionRemSet(bot, this);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   295
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   296
  initialize(mr);
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
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   299
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
   300
  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
   301
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   302
  G1ContiguousSpace::initialize(mr, clear_space, mangle_space);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
   303
13756
3b72f3da8cd4 7016955: G1: remove the is_zeroed parameter from the HeapRegion constructor
johnc
parents: 13728
diff changeset
   304
  hr_clear(false /*par*/, false /*clear_space*/);
1388
tonyp
parents: 1387
diff changeset
   305
  set_top(bottom());
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
   306
  record_timestamp();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   307
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   308
36098
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   309
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
   310
  HeapRegionTracer::send_region_type_change(_hrm_index,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   311
                                            get_trace_type(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   312
                                            to,
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   313
                                            (uintptr_t)bottom(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   314
                                            used(),
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   315
                                            (uint)allocation_context());
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   316
}
e056a98ac7ca 8149650: Create a trace event for G1 heap region type transitions
david
parents: 36091
diff changeset
   317
13336
e582172ff6ff 7114678: G1: various small fixes, code cleanup, and refactoring
tonyp
parents: 12508
diff changeset
   318
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
   319
  return G1CollectedHeap::heap()->next_compaction_region(this);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   320
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   321
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   322
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
   323
                                                    bool during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   324
  // 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
   325
  // 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
   326
  // 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
   327
  _prev_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   328
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   329
  if (during_initial_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   330
    // 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
   331
    // 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
   332
    // objects need to be below NTAMS.
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   333
    _next_top_at_mark_start = top();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   334
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   335
  } else if (during_conc_mark) {
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   336
    // 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
   337
    // 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
   338
    // 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
   339
    _next_top_at_mark_start = bottom();
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   340
    _next_marked_bytes = 0;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   341
  }
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   342
}
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
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
   345
                                                  bool during_conc_mark,
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   346
                                                  size_t marked_bytes) {
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 29470
diff changeset
   347
  assert(marked_bytes <= used(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32606
diff changeset
   348
         "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
   349
  _prev_top_at_mark_start = top();
11455
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   350
  _prev_marked_bytes = marked_bytes;
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   351
}
a6ab3d8b9a4c 6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents: 11393
diff changeset
   352
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   353
HeapWord*
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   354
HeapRegion::object_iterate_mem_careful(MemRegion mr,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   355
                                                 ObjectClosure* cl) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   356
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   357
  // 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
   358
  // to update the BOT while we do this...
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   359
  HeapWord* cur = block_start(mr.start());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   360
  mr = mr.intersection(used_region());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   361
  if (mr.is_empty()) return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   362
  // Otherwise, find the obj that extends onto mr.start().
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   363
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   364
  assert(cur <= mr.start()
3262
30d1c247fc25 6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents: 3191
diff changeset
   365
         && (oop(cur)->klass_or_null() == NULL ||
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   366
             cur + oop(cur)->size() > mr.start()),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   367
         "postcondition of block_start");
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   368
  oop obj;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   369
  while (cur < mr.end()) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   370
    obj = oop(cur);
3262
30d1c247fc25 6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents: 3191
diff changeset
   371
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   372
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   373
      return cur;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   374
    } else if (!g1h->is_obj_dead(obj)) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   375
      cl->do_object(obj);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   376
    }
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   377
    cur += block_size(cur);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   378
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   379
  return NULL;
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
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   382
HeapWord*
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   383
HeapRegion::
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   384
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
   385
                                 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
   386
                                 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
   387
                                 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
   388
  // 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
   389
  // 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
   390
  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
    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
   392
  } else {
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
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   395
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   396
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   397
  // 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
   398
  // 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
   399
  // parseable.  Stop such at the "scan_top" of the region.
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   400
  if (g1h->is_gc_active()) {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
   401
    mr = mr.intersection(MemRegion(bottom(), scan_top()));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   402
  } else {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   403
    mr = mr.intersection(used_region());
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   404
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   405
  if (mr.is_empty()) return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   406
  // Otherwise, find the obj that extends onto mr.start().
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   407
6068
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   408
  // 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
   409
  // 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
   410
  // 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
   411
  // 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
   412
  // 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
   413
  // 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
   414
  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
   415
    return NULL;
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   416
  }
80ef41e75a2d 6956639: G1: assert(cached_ptr != card_ptr) failed: shouldn't be, concurrentG1Refine.cpp:307
johnc
parents: 5547
diff changeset
   417
6247
00e5cc407d03 6814437: G1: remove the _new_refs array
johnc
parents: 6068
diff changeset
   418
  assert(!is_young(), "check value of filter_young");
00e5cc407d03 6814437: G1: remove the _new_refs array
johnc
parents: 6068
diff changeset
   419
9418
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   420
  // 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
   421
  // 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
   422
  // 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
   423
  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
   424
    *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
   425
    // 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
   426
    OrderAccess::storeload();
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   427
  }
32a87dd6b746 7035144: G1: nightly failure: Non-dirty cards in region that should be dirty (failures still exist...)
tonyp
parents: 8928
diff changeset
   428
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   429
  // Cache the boundaries of the memory region in some const locals
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   430
  HeapWord* const start = mr.start();
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   431
  HeapWord* const end = mr.end();
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   432
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   433
  // 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
   434
  // to update the BOT while we do this...
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   435
  HeapWord* cur = block_start(start);
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   436
  assert(cur <= start, "Postcondition");
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   437
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   438
  oop obj;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   439
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   440
  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
   441
  do {
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   442
    cur = next;
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   443
    obj = oop(cur);
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   444
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   445
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   446
      return cur;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   447
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   448
    // Otherwise...
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   449
    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
   450
  } while (next <= start);
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   451
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   452
  // 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
   453
  // 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
   454
  // inside or spans the entire region.
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   455
  assert(cur <= start, "Loop postcondition");
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   456
  assert(obj->klass_or_null() != NULL, "Loop postcondition");
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   457
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
   458
  do {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   459
    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
   460
    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
   461
    if (obj->klass_or_null() == NULL) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   462
      // Ran into an unparseable point.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   463
      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
   464
    }
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   465
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
    // 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
   467
    cur = cur + block_size(cur);
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   468
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   469
    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
   470
      // 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
   471
      // 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
   472
      // 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
   473
      // 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
   474
      if (!obj->is_objArray() || (((HeapWord*)obj) >= start && cur <= end)) {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   475
        obj->oop_iterate(cl);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   476
      } else {
11586
ccc217c177ee 7133038: G1: Some small profile based optimizations
johnc
parents: 11455
diff changeset
   477
        obj->oop_iterate(cl, mr);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   478
      }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   479
    }
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
   480
  } 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
   481
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   482
  return NULL;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   483
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   484
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   485
// Code roots support
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   486
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   487
void HeapRegion::add_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   488
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   489
  hrrs->add_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   490
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   491
26422
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   492
void HeapRegion::add_strong_code_root_locked(nmethod* nm) {
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   493
  assert_locked_or_safepoint(CodeCache_lock);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   494
  HeapRegionRemSet* hrrs = rem_set();
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   495
  hrrs->add_strong_code_root_locked(nm);
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   496
}
4ee5901e205e 8048268: G1 Code Root Migration performs poorly
mgerdin
parents: 26322
diff changeset
   497
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   498
void HeapRegion::remove_strong_code_root(nmethod* nm) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   499
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   500
  hrrs->remove_strong_code_root(nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   501
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   502
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   503
void HeapRegion::strong_code_roots_do(CodeBlobClosure* blk) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   504
  HeapRegionRemSet* hrrs = rem_set();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   505
  hrrs->strong_code_roots_do(blk);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   506
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   507
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   508
class VerifyStrongCodeRootOopClosure: public OopClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   509
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   510
  nmethod* _nm;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   511
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   512
  bool _has_oops_in_region;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   513
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   514
  template <class T> void do_oop_work(T* p) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   515
    T heap_oop = oopDesc::load_heap_oop(p);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   516
    if (!oopDesc::is_null(heap_oop)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   517
      oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   518
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   519
      // Note: not all the oops embedded in the nmethod are in the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   520
      // current region. We only look at those which are.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   521
      if (_hr->is_in(obj)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   522
        // Object is in the region. Check that its less than top
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   523
        if (_hr->top() <= (HeapWord*)obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   524
          // Object is above top
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   525
          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
   526
                               p2i(obj), p2i(_hr->bottom()), p2i(_hr->end()), p2i(_hr->top()));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   527
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   528
          return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   529
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   530
        // Nmethod has at least one oop in the current region
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   531
        _has_oops_in_region = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   532
      }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   533
    }
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
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   537
  VerifyStrongCodeRootOopClosure(const HeapRegion* hr, nmethod* nm):
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   538
    _hr(hr), _failures(false), _has_oops_in_region(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   539
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   540
  void do_oop(narrowOop* p) { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   541
  void do_oop(oop* p)       { do_oop_work(p); }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   542
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   543
  bool failures()           { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   544
  bool has_oops_in_region() { return _has_oops_in_region; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   545
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   546
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   547
class VerifyStrongCodeRootCodeBlobClosure: public CodeBlobClosure {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   548
  const HeapRegion* _hr;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   549
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   550
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   551
  VerifyStrongCodeRootCodeBlobClosure(const HeapRegion* hr) :
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   552
    _hr(hr), _failures(false) {}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   553
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   554
  void do_code_blob(CodeBlob* cb) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   555
    nmethod* nm = (cb == NULL) ? NULL : cb->as_nmethod_or_null();
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   556
    if (nm != NULL) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   557
      // Verify that the nemthod is live
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   558
      if (!nm->is_alive()) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   559
        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
   560
                              p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   561
        _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   562
      } else {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   563
        VerifyStrongCodeRootOopClosure oop_cl(_hr, nm);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   564
        nm->oops_do(&oop_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   565
        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
   566
          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
   567
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   568
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   569
        } 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
   570
          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
   571
                                p2i(_hr->bottom()), p2i(_hr->end()), p2i(nm));
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   572
          _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   573
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   574
      }
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
  bool failures()       { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   579
};
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   580
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   581
void HeapRegion::verify_strong_code_roots(VerifyOption vo, bool* failures) const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   582
  if (!G1VerifyHeapRegionCodeRoots) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   583
    // We're not verifying code roots.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   584
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   585
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   586
  if (vo == VerifyOption_G1UseMarkWord) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   587
    // Marking verification during a full GC is performed after class
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   588
    // unloading, code cache unloading, etc so the strong code roots
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   589
    // attached to each heap region are in an inconsistent state. They won't
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   590
    // be consistent until the strong code roots are rebuilt after the
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   591
    // actual GC. Skip verifying the strong code roots in this particular
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   592
    // time.
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   593
    assert(VerifyDuringGC, "only way to get here");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   594
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   595
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   596
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   597
  HeapRegionRemSet* hrrs = rem_set();
23451
ed2b8bb28fed 8035406: Improve data structure for Code Cache remembered sets
tschatzl
parents: 22551
diff changeset
   598
  size_t strong_code_roots_length = hrrs->strong_code_roots_list_length();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   599
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   600
  // if this region is empty then there should be no entries
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   601
  // on its strong code root list
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   602
  if (is_empty()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   603
    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
   604
      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
   605
                            p2i(bottom()), p2i(end()), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   606
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   607
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   608
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   609
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   610
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   611
  if (is_continues_humongous()) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   612
    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
   613
      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
   614
                            HR_FORMAT_PARAMS(this), strong_code_roots_length);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   615
      *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   616
    }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   617
    return;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   618
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   619
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   620
  VerifyStrongCodeRootCodeBlobClosure cb_cl(this);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   621
  strong_code_roots_do(&cb_cl);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   622
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   623
  if (cb_cl.failures()) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   624
    *failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   625
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   626
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   627
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   628
void HeapRegion::print() const { print_on(tty); }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   629
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
   630
  st->print("|%4u", this->_hrm_index);
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   631
  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
   632
            p2i(bottom()), p2i(top()), p2i(end()));
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   633
  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
   634
  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
   635
  if (in_collection_set()) {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   636
    st->print("|CS");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   637
  } else {
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   638
    st->print("|  ");
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   639
  }
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   640
  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
   641
  st->print("|AC%3u", allocation_context());
1239543c7821 8144837: Improve the printout of heap regions in hs_err dump files.
david
parents: 34249
diff changeset
   642
  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
   643
               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
   644
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   645
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   646
class G1VerificationClosure : public OopClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   647
protected:
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   648
  G1CollectedHeap* _g1h;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   649
  CardTableModRefBS* _bs;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   650
  oop _containing_obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   651
  bool _failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   652
  int _n_failures;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   653
  VerifyOption _vo;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   654
public:
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   655
  // _vo == UsePrevMarking -> use "prev" marking information,
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   656
  // _vo == UseNextMarking -> use "next" marking information,
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   657
  // _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
   658
  G1VerificationClosure(G1CollectedHeap* g1h, VerifyOption vo) :
29325
0e86e64c66e5 8069016: Add BarrierSet downcast support
kbarrett
parents: 28833
diff changeset
   659
    _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
   660
    _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
   661
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   662
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   663
  void set_containing_obj(oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   664
    _containing_obj = obj;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   665
  }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   666
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   667
  bool failures() { return _failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   668
  int n_failures() { return _n_failures; }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   669
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   670
  void print_object(outputStream* out, oop obj) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   671
#ifdef PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   672
    Klass* k = obj->klass();
33602
16053580a684 8139163: InstanceKlass::cast passes through NULL
coleenp
parents: 33105
diff changeset
   673
    const char* class_name = k->external_name();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   674
    out->print_cr("class name %s", class_name);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   675
#else // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   676
    obj->print_on(out);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   677
#endif // PRODUCT
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   678
  }
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   679
};
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   680
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   681
class VerifyLiveClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   682
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   683
  VerifyLiveClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   684
  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
   685
  virtual void do_oop(oop* p) { do_oop_work(p); }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   686
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   687
  template <class T>
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   688
  void do_oop_work(T* p) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   689
    assert(_containing_obj != NULL, "Precondition");
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   690
    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
   691
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   692
    verify_liveness(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   693
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   694
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   695
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   696
  void verify_liveness(T* p) {
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   697
    T heap_oop = oopDesc::load_heap_oop(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   698
    Log(gc, verify) log;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   699
    if (!oopDesc::is_null(heap_oop)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   700
      oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   701
      bool failed = false;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   702
      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
   703
        MutexLockerEx x(ParGCRareEvent_lock,
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   704
          Mutex::_no_safepoint_check_flag);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   705
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   706
        if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   707
          log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   708
        }
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
   709
        ResourceMark rm;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   710
        if (!_g1h->is_in_closed_subset(obj)) {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   711
          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
   712
          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
   713
            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
   714
          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
   715
          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
   716
        } else {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   717
          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
   718
          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
   719
          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
   720
            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
   721
          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
   722
          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
   723
            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
   724
          print_object(log.error_stream(), obj);
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   725
        }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   726
        log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   727
        _failures = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   728
        failed = true;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   729
        _n_failures++;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   730
      }
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   731
    }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   732
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   733
};
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   734
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   735
class VerifyRemSetClosure : public G1VerificationClosure {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   736
public:
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   737
  VerifyRemSetClosure(G1CollectedHeap* g1h, VerifyOption vo) : G1VerificationClosure(g1h, vo) {}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   738
  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
   739
  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
   740
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   741
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   742
  void do_oop_work(T* p) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   743
    assert(_containing_obj != NULL, "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   744
    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
   745
      "Precondition");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   746
    verify_remembered_set(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   747
  }
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   748
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   749
  template <class T>
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   750
  void verify_remembered_set(T* p) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   751
    T heap_oop = oopDesc::load_heap_oop(p);
37242
91e5f98fff6f 8152632: Rename LogHandle(...) to Log(...)
stefank
parents: 36394
diff changeset
   752
    Log(gc, verify) log;
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   753
    if (!oopDesc::is_null(heap_oop)) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   754
      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
   755
      bool failed = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   756
      HeapRegion* from = _g1h->heap_region_containing((HeapWord*)p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   757
      HeapRegion* to = _g1h->heap_region_containing(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   758
      if (from != NULL && to != NULL &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   759
        from != to &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   760
        !to->is_pinned()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   761
        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
   762
        jbyte cv_field = *_bs->byte_for_const(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   763
        const jbyte dirty = CardTableModRefBS::dirty_card_val();
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   764
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   765
        bool is_bad = !(from->is_young()
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   766
          || to->rem_set()->contains_reference(p)
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   767
          || !G1HRRSFlushLogBuffersOnVerify && // buffers were not flushed
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   768
          (_containing_obj->is_objArray() ?
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   769
          cv_field == dirty
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   770
          : cv_obj == dirty || cv_field == dirty));
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   771
        if (is_bad) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   772
          MutexLockerEx x(ParGCRareEvent_lock,
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   773
            Mutex::_no_safepoint_check_flag);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   774
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   775
          if (!_failures) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   776
            log.error("----------");
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   777
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   778
          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
   779
          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
   780
            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
   781
          ResourceMark rm;
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   782
          _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
   783
          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
   784
          if (obj->is_oop()) {
fe27b66d3519 8150002: Check for the validity of oop before printing it in verify_remembered_set
poonam
parents: 36098
diff changeset
   785
            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
   786
          }
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   787
          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
   788
          log.error("----------");
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   789
          _failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   790
          if (!failed) _n_failures++;
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   791
        }
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   792
      }
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
};
3000
bbce6052b595 6850846: G1: extend G1 marking verification
tonyp
parents: 2883
diff changeset
   796
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   797
// This really ought to be commoned up into OffsetTableContigSpace somehow.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   798
// 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
   799
12379
2cf45b79ce3a 4988100: oop_verify_old_oop appears to be dead
brutisso
parents: 11756
diff changeset
   800
void HeapRegion::verify(VerifyOption vo,
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   801
                        bool* failures) const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   802
  G1CollectedHeap* g1 = G1CollectedHeap::heap();
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   803
  *failures = false;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   804
  HeapWord* p = bottom();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   805
  HeapWord* prev_p = NULL;
9995
290620c08233 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 9989
diff changeset
   806
  VerifyLiveClosure vl_cl(g1, vo);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   807
  VerifyRemSetClosure vr_cl(g1, vo);
26846
7d4376f8560e 8058495: G1: normalize names for isHumongous() and friends
tonyp
parents: 26840
diff changeset
   808
  bool is_region_humongous = is_humongous();
6260
fba83fd3adc7 6974928: G1: sometimes humongous objects are allocated in young regions
tonyp
parents: 6247
diff changeset
   809
  size_t object_num = 0;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   810
  while (p < top()) {
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   811
    oop obj = oop(p);
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   812
    size_t obj_size = block_size(p);
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   813
    object_num += 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   814
9995
290620c08233 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 9989
diff changeset
   815
    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
   816
      if (obj->is_oop()) {
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13482
diff changeset
   817
        Klass* klass = obj->klass();
25492
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   818
        bool is_metaspace_object = Metaspace::contains(klass) ||
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   819
                                   (vo == VerifyOption_G1UsePrevMarking &&
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   820
                                   ClassLoaderDataGraph::unload_list_contains(klass));
d27050bdfb04 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 25491
diff changeset
   821
        if (!is_metaspace_object) {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   822
          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
   823
                                "not metadata", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   824
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   825
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   826
        } 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
   827
          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
   828
                                "not a klass", p2i(klass), p2i(obj));
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   829
          *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   830
          return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   831
        } else {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   832
          vl_cl.set_containing_obj(obj);
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   833
          if (!g1->collector_state()->full_collection() || G1VerifyRSetsDuringFullGC) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   834
            // verify liveness and rem_set
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   835
            vr_cl.set_containing_obj(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   836
            G1Mux2Closure mux(&vl_cl, &vr_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   837
            obj->oop_iterate_no_header(&mux);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   838
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   839
            if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   840
              *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   841
            }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   842
            if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   843
              vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   844
              return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   845
            }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   846
          } else {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   847
            // verify only liveness
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   848
            obj->oop_iterate_no_header(&vl_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   849
          }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   850
          if (vl_cl.failures()) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   851
            *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   852
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   853
          if (G1MaxVerifyFailures >= 0 &&
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   854
              vl_cl.n_failures() >= G1MaxVerifyFailures) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   855
            return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   856
          }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   857
        }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   858
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   859
        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
   860
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   861
        return;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   862
      }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   863
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   864
    prev_p = p;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   865
    p += obj_size;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   866
  }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   867
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   868
  if (!is_young() && !is_empty()) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   869
    _bot_part.verify();
26571
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   870
  }
5fe42815e865 8025564: gc/memory/UniThread/Linear1 times out during heap verification
brutisso
parents: 26422
diff changeset
   871
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   872
  if (is_region_humongous) {
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   873
    oop obj = oop(this->humongous_start_region()->bottom());
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   874
    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
   875
      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
   876
      *failures = true;
fd10d4ee314a 8149542: Missing failure reporting in HeapRegion::verify
brutisso
parents: 36090
diff changeset
   877
      return;
33786
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   878
    }
ac8da6513351 8139867: Change how startsHumongous and continuesHumongous regions work in G1.
david
parents: 33602
diff changeset
   879
  }
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
  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
   882
    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
   883
                          "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
   884
    *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   885
    return;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   886
  }
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   887
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   888
  HeapWord* the_end = end();
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   889
  // 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
   890
  // 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
   891
  // 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
   892
  if (p < the_end) {
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   893
    // Look up top
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   894
    HeapWord* addr_1 = p;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   895
    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
   896
    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
   897
      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
   898
                            " 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
   899
                            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
   900
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   901
      return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   902
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   903
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   904
    // Look up top + 1
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   905
    HeapWord* addr_2 = p + 1;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   906
    if (addr_2 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   907
      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
   908
      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
   909
        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
   910
                              " 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
   911
                              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
   912
        *failures = true;
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   913
        return;
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   914
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   915
    }
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
    // Look up an address between top and end
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   918
    size_t diff = pointer_delta(the_end, p) / 2;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   919
    HeapWord* addr_3 = p + diff;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   920
    if (addr_3 < the_end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   921
      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
   922
      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
   923
        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
   924
                              " 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
   925
                              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
   926
        *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   927
        return;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   928
      }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   929
    }
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   930
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 21563
diff changeset
   931
    // Look up end - 1
7904
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   932
    HeapWord* addr_4 = the_end - 1;
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   933
    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
   934
    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
   935
      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
   936
                            " 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
   937
                            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
   938
      *failures = true;
e90e097fced4 7007068: G1: refine the BOT during evac failure handling
tonyp
parents: 7397
diff changeset
   939
      return;
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   940
    }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   941
  }
4023
6c3401503290 6882730: G1: parallel heap verification messes up region dump
tonyp
parents: 3697
diff changeset
   942
19339
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   943
  verify_strong_code_roots(vo, failures);
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   944
}
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   945
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   946
void HeapRegion::verify() const {
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   947
  bool dummy = false;
d247781beec7 7145569: G1: optimize nmethods scanning
johnc
parents: 18999
diff changeset
   948
  verify(VerifyOption_G1UsePrevMarking, /* failures */ &dummy);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   949
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   950
35507
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   951
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
   952
  G1CollectedHeap* g1 = G1CollectedHeap::heap();
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   953
  *failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   954
  HeapWord* p = bottom();
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   955
  HeapWord* prev_p = NULL;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   956
  VerifyRemSetClosure vr_cl(g1, vo);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   957
  while (p < top()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   958
    oop obj = oop(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   959
    size_t obj_size = block_size(p);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   960
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   961
    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
   962
      if (obj->is_oop()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   963
        vr_cl.set_containing_obj(obj);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   964
        obj->oop_iterate_no_header(&vr_cl);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   965
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   966
        if (vr_cl.failures()) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   967
          *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   968
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   969
        if (G1MaxVerifyFailures >= 0 &&
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   970
          vr_cl.n_failures() >= G1MaxVerifyFailures) {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   971
          return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   972
        }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   973
      } else {
36090
cffc1dd98258 8149541: Use log_error() instead of log_info() when verification reports a problem
brutisso
parents: 35908
diff changeset
   974
        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
   975
        *failures = true;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   976
        return;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   977
      }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   978
    }
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
    prev_p = p;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   981
    p += obj_size;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   982
  }
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   983
}
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
void HeapRegion::verify_rem_set() const {
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   986
  bool failures = false;
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   987
  verify_rem_set(VerifyOption_G1UsePrevMarking, &failures);
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   988
  guarantee(!failures, "HeapRegion RemSet verification failed");
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   989
}
aa2affc60a2f 8145442: Add the facility to verify remembered sets for G1
poonam
parents: 35461
diff changeset
   990
27624
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   991
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
   992
  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
   993
}
fe43edc5046d 8043243: convert SCAN_AND_FORWARD, SCAN_AND_ADJUST_POINTERS, SCAN_AND_COMPACT macros to methods
mlarsson
parents: 27009
diff changeset
   994
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   995
// G1OffsetTableContigSpace code; copied from space.cpp.  Hope this can go
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   996
// away eventually.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   997
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
   998
void G1ContiguousSpace::clear(bool mangle_space) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
   999
  set_top(bottom());
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1000
  _scan_top = bottom();
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1001
  CompactibleSpace::clear(mangle_space);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1002
  reset_bot();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1003
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1004
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1005
#ifndef PRODUCT
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1006
void G1ContiguousSpace::mangle_unused_area() {
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1007
  mangle_unused_area_complete();
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1008
}
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1009
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1010
void G1ContiguousSpace::mangle_unused_area_complete() {
29681
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1011
  SpaceMangler::mangle_region(MemRegion(top(), end()));
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1012
}
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1013
#endif
e96b344b2c42 8073463: G1 does not mangle freed heap regions
david
parents: 29470
diff changeset
  1014
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1015
void G1ContiguousSpace::print() const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1016
  print_short();
35061
be6025ebffea 8145092: Use Unified Logging for the GC logging
brutisso
parents: 34671
diff changeset
  1017
  tty->print_cr(" [" INTPTR_FORMAT ", " INTPTR_FORMAT ", "
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1018
                INTPTR_FORMAT ", " INTPTR_FORMAT ")",
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1019
                p2i(bottom()), p2i(top()), p2i(_bot_part.threshold()), p2i(end()));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1020
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1021
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1022
HeapWord* G1ContiguousSpace::initialize_threshold() {
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1023
  return _bot_part.initialize_threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1024
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1025
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1026
HeapWord* G1ContiguousSpace::cross_threshold(HeapWord* start,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1027
                                                    HeapWord* end) {
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1028
  _bot_part.alloc_block(start, end);
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1029
  return _bot_part.threshold();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1030
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1031
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1032
HeapWord* G1ContiguousSpace::scan_top() const {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1033
  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
  1034
  HeapWord* local_top = top();
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1035
  OrderAccess::loadload();
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1036
  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
  1037
  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
  1038
  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
  1039
    return local_top;
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1040
  } else {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1041
    return _scan_top;
27681
cc54c45a93ac 8058209: Race in G1 card scanning could allow scanning of memory covered by PLABs
mgerdin
parents: 27624
diff changeset
  1042
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1043
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1044
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1045
void G1ContiguousSpace::record_timestamp() {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1046
  G1CollectedHeap* g1h = G1CollectedHeap::heap();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1047
  unsigned curr_gc_time_stamp = g1h->get_gc_time_stamp();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1048
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1049
  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
  1050
    // 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
  1051
    // 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
  1052
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1053
    // 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
  1054
    // 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
  1055
    HeapWord* st = _scan_top;
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1056
    guarantee(st == _bottom || st == _top, "invariant");
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1057
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
  1058
    _gc_time_stamp = curr_gc_time_stamp;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1059
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1060
}
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1061
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1062
void G1ContiguousSpace::record_retained_region() {
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1063
  // 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
  1064
  // scan this region.
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1065
  _scan_top = top();
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1066
}
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1067
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1068
void G1ContiguousSpace::safe_object_iterate(ObjectClosure* blk) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1069
  object_iterate(blk);
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1070
}
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1071
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1072
void G1ContiguousSpace::object_iterate(ObjectClosure* blk) {
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1073
  HeapWord* p = bottom();
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1074
  while (p < top()) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1075
    if (block_is_obj(p)) {
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1076
      blk->do_object(oop(p));
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1077
    }
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1078
    p += block_size(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
}
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1081
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1082
G1ContiguousSpace::G1ContiguousSpace(G1BlockOffsetTable* bot) :
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1083
  _bot_part(bot, this),
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1084
  _par_alloc_lock(Mutex::leaf, "OffsetTableContigSpace par alloc lock", true),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1085
  _gc_time_stamp(0)
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1086
{
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1087
}
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1088
35461
1068dcb8d315 8146399: Refactor the BlockOffsetTable classes.
david
parents: 35210
diff changeset
  1089
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
  1090
  CompactibleSpace::initialize(mr, clear_space, mangle_space);
25481
1427aa24638c 8047818: G1 HeapRegions can no longer be ContiguousSpaces
mgerdin
parents: 25479
diff changeset
  1091
  _top = bottom();
27889
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1092
  _scan_top = bottom();
7d50f95e0076 8065358: Refactor G1s usage of save_marks and reduce related races
mgerdin
parents: 27681
diff changeset
  1093
  set_saved_mark_word(NULL);
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1094
  reset_bot();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
  1095
}
26157
70eddb655686 8054818: Refactor HeapRegionSeq to manage heap region and auxiliary data
tschatzl
parents: 25730
diff changeset
  1096