src/hotspot/share/gc/g1/g1CollectorState.hpp
author mgronlun
Sat, 14 Sep 2019 13:03:44 +0200
branchJEP-349-branch
changeset 58154 060d9d139109
parent 53244 9807daeb47c4
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     1
/*
53244
9807daeb47c4 8216167: Update include guards to reflect correct directories
coleenp
parents: 49664
diff changeset
     2
 * Copyright (c) 2015, 2019, Oracle and/or its affiliates. All rights reserved.
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     4
 *
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     7
 * published by the Free Software Foundation.
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     8
 *
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    13
 * accompanied this code).
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    14
 *
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    18
 *
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    21
 * questions.
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    22
 *
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    23
 */
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    24
53244
9807daeb47c4 8216167: Update include guards to reflect correct directories
coleenp
parents: 49664
diff changeset
    25
#ifndef SHARE_GC_G1_G1COLLECTORSTATE_HPP
9807daeb47c4 8216167: Update include guards to reflect correct directories
coleenp
parents: 49664
diff changeset
    26
#define SHARE_GC_G1_G1COLLECTORSTATE_HPP
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    27
37039
79f62b89a7a6 8151178: Move the collection set out of the G1 collector policy
mgerdin
parents: 35191
diff changeset
    28
#include "gc/g1/g1YCTypes.hpp"
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    29
#include "utilities/globalDefinitions.hpp"
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    30
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    31
// State of the G1 collection.
49392
2956d0ece7a9 8199282: Remove ValueObj class for allocation subclassing for gc code
coleenp
parents: 47216
diff changeset
    32
class G1CollectorState {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    33
  // Indicates whether we are in the phase where we do partial gcs that only contain
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    34
  // the young generation. Not set while _in_full_gc is set.
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    35
  bool _in_young_only_phase;
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    36
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    37
  // Indicates whether we are in the last young gc before the mixed gc phase. This GC
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    38
  // is required to keep pause time requirements.
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    39
  bool _in_young_gc_before_mixed;
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    40
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    41
  // If _initiate_conc_mark_if_possible is set at the beginning of a
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    42
  // pause, it is a suggestion that the pause should start a marking
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    43
  // cycle by doing the initial-mark work. However, it is possible
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    44
  // that the concurrent marking thread is still finishing up the
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    45
  // previous marking cycle (e.g., clearing the next marking
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    46
  // bitmap). If that is the case we cannot start a new cycle and
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    47
  // we'll have to wait for the concurrent marking thread to finish
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    48
  // what it is doing. In this case we will postpone the marking cycle
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    49
  // initiation decision for the next pause. When we eventually decide
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    50
  // to start a cycle, we will set _in_initial_mark_gc which
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    51
  // will stay true until the end of the initial-mark pause doing the
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    52
  // initial-mark work.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    53
  volatile bool _in_initial_mark_gc;
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    54
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    55
  // At the end of a pause we check the heap occupancy and we decide
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    56
  // whether we will start a marking cycle during the next pause. If
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    57
  // we decide that we want to do that, set this parameter. This parameter will
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    58
  // stay set until the beginning of a subsequent pause (not necessarily
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    59
  // the next one) when we decide that we will indeed start a marking cycle and
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    60
  // do the initial-mark work.
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    61
  volatile bool _initiate_conc_mark_if_possible;
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    62
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    63
  // Marking or rebuilding remembered set work is in progress. Set from the end
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    64
  // of the initial mark pause to the end of the Cleanup pause.
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    65
  bool _mark_or_rebuild_in_progress;
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    66
49664
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    67
  // The next bitmap is currently being cleared or about to be cleared. TAMS and bitmap
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    68
  // may be out of sync.
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    69
  bool _clearing_next_bitmap;
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    70
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    71
  // Set during a full gc pause.
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    72
  bool _in_full_gc;
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    73
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    74
public:
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    75
  G1CollectorState() :
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    76
    _in_young_only_phase(true),
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    77
    _in_young_gc_before_mixed(false),
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    78
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    79
    _in_initial_mark_gc(false),
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    80
    _initiate_conc_mark_if_possible(false),
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    81
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    82
    _mark_or_rebuild_in_progress(false),
49664
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    83
    _clearing_next_bitmap(false),
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    84
    _in_full_gc(false) { }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    85
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    86
  // Phase setters
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    87
  void set_in_young_only_phase(bool v) { _in_young_only_phase = v; }
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    88
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    89
  // Pause setters
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    90
  void set_in_young_gc_before_mixed(bool v) { _in_young_gc_before_mixed = v; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    91
  void set_in_initial_mark_gc(bool v) { _in_initial_mark_gc = v; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    92
  void set_in_full_gc(bool v) { _in_full_gc = v; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    93
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    94
  void set_initiate_conc_mark_if_possible(bool v) { _initiate_conc_mark_if_possible = v; }
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    95
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    96
  void set_mark_or_rebuild_in_progress(bool v) { _mark_or_rebuild_in_progress = v; }
49664
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
    97
  void set_clearing_next_bitmap(bool v) { _clearing_next_bitmap = v; }
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
    98
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
    99
  // Phase getters
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   100
  bool in_young_only_phase() const { return _in_young_only_phase && !_in_full_gc; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   101
  bool in_mixed_phase() const { return !in_young_only_phase() && !_in_full_gc; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   102
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   103
  // Specific pauses
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   104
  bool in_young_gc_before_mixed() const { return _in_young_gc_before_mixed; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   105
  bool in_full_gc() const { return _in_full_gc; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   106
  bool in_initial_mark_gc() const { return _in_initial_mark_gc; }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   107
33130
a776072941e8 8138969: G1CollectorPolicy should use const for applicable methods
ehelin
parents: 31331
diff changeset
   108
  bool initiate_conc_mark_if_possible() const { return _initiate_conc_mark_if_possible; }
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   109
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   110
  bool mark_or_rebuild_in_progress() const { return _mark_or_rebuild_in_progress; }
49664
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49643
diff changeset
   111
  bool clearing_next_bitmap() const { return _clearing_next_bitmap; }
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   112
33214
5a00fba36171 8137082: Factor out G1 prediction code from G1CollectorPolicy and clean up
tschatzl
parents: 33130
diff changeset
   113
  G1YCType yc_type() const {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   114
    if (in_initial_mark_gc()) {
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   115
      return InitialMark;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   116
    } else if (mark_or_rebuild_in_progress()) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   117
      return DuringMarkOrRebuild;
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   118
    } else if (in_young_only_phase()) {
31331
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   119
      return Normal;
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   120
    } else {
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   121
      return Mixed;
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   122
    }
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   123
  }
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   124
};
a7c714b6cfb3 7097567: G1: abstract and encapsulate collector phases and transitions between them
drwhite
parents:
diff changeset
   125
53244
9807daeb47c4 8216167: Update include guards to reflect correct directories
coleenp
parents: 49664
diff changeset
   126
#endif // SHARE_GC_G1_G1COLLECTORSTATE_HPP