src/hotspot/share/gc/g1/concurrentMarkThread.hpp
author eosterlund
Mon, 26 Feb 2018 09:34:12 +0100
changeset 49164 7e958a8ebcd3
parent 47756 55714c3d544c
child 49644 50a01910e00a
permissions -rw-r--r--
8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy Reviewed-by: stefank, coleenp, kvn, ehelin
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
/*
46384
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
     2
 * Copyright (c) 2001, 2017, 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: 5243
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5243
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: 5243
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
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 24331
diff changeset
    25
#ifndef SHARE_VM_GC_G1_CONCURRENTMARKTHREAD_HPP
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 24331
diff changeset
    26
#define SHARE_VM_GC_G1_CONCURRENTMARKTHREAD_HPP
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6766
diff changeset
    27
46384
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    28
#include "gc/shared/concurrentGCPhaseManager.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 24331
diff changeset
    29
#include "gc/shared/concurrentGCThread.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6766
diff changeset
    30
35943
e726308008c0 8148973: Rename g1/concurrentMark.{hpp,cpp,inline.hpp} to g1/g1ConcurrentMark.{hpp,cpp,inline.hpp}
ehelin
parents: 35061
diff changeset
    31
// The Concurrent Mark GC Thread triggers the parallel G1CMConcurrentMarkingTasks
33608
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    32
// as well as handling various marking cleanup.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    33
35943
e726308008c0 8148973: Rename g1/concurrentMark.{hpp,cpp,inline.hpp} to g1/g1ConcurrentMark.{hpp,cpp,inline.hpp}
ehelin
parents: 35061
diff changeset
    34
class G1ConcurrentMark;
37985
539c597ee0fa 8154154: Separate G1 specific policy code from the CollectorPolicy class hierarchy
mgerdin
parents: 37129
diff changeset
    35
class G1Policy;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    36
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    37
class ConcurrentMarkThread: public ConcurrentGCThread {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    38
  friend class VMStructs;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    39
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    40
  double _vtime_start;  // Initial virtual time.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    41
  double _vtime_accum;  // Accumulated virtual time.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    42
  double _vtime_mark_accum;
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    43
35943
e726308008c0 8148973: Rename g1/concurrentMark.{hpp,cpp,inline.hpp} to g1/g1ConcurrentMark.{hpp,cpp,inline.hpp}
ehelin
parents: 35061
diff changeset
    44
  G1ConcurrentMark*                _cm;
31597
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    45
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    46
  enum State {
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    47
    Idle,
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    48
    Started,
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    49
    InProgress
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    50
  };
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    51
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    52
  volatile State _state;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    53
46384
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    54
  // WhiteBox testing support.
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    55
  ConcurrentGCPhaseManager::Stack _phase_manager_stack;
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    56
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    57
  void sleepBeforeNextCycle();
47756
55714c3d544c 8185278: TestGreyReclaimedHumongousObjects.java fails guarantee(index != trim_index(_head_index + 1)) failed: should not go past head
sangheki
parents: 47216
diff changeset
    58
  // Delay marking to meet MMU.
37985
539c597ee0fa 8154154: Separate G1 specific policy code from the CollectorPolicy class hierarchy
mgerdin
parents: 37129
diff changeset
    59
  void delay_to_keep_mmu(G1Policy* g1_policy, bool remark);
47756
55714c3d544c 8185278: TestGreyReclaimedHumongousObjects.java fails guarantee(index != trim_index(_head_index + 1)) failed: should not go past head
sangheki
parents: 47216
diff changeset
    60
  double mmu_sleep_time(G1Policy* g1_policy, bool remark);
33608
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    61
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    62
  void run_service();
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    63
  void stop_service();
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    64
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    65
 public:
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    66
  // Constructor
35943
e726308008c0 8148973: Rename g1/concurrentMark.{hpp,cpp,inline.hpp} to g1/g1ConcurrentMark.{hpp,cpp,inline.hpp}
ehelin
parents: 35061
diff changeset
    67
  ConcurrentMarkThread(G1ConcurrentMark* cm);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    68
33608
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    69
  // Total virtual time so far for this thread and concurrent marking tasks.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    70
  double vtime_accum();
33608
7afc768e4d62 8138920: Refactor the sampling thread from ConcurrentG1RefineThread
drwhite
parents: 31597
diff changeset
    71
  // Marking virtual time so far this thread and concurrent marking tasks.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    72
  double vtime_mark_accum();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
    73
35943
e726308008c0 8148973: Rename g1/concurrentMark.{hpp,cpp,inline.hpp} to g1/g1ConcurrentMark.{hpp,cpp,inline.hpp}
ehelin
parents: 35061
diff changeset
    74
  G1ConcurrentMark* cm()   { return _cm; }
5243
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    75
31597
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    76
  void set_idle()          { assert(_state != Started, "must not be starting a new cycle"); _state = Idle; }
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    77
  bool idle()              { return _state == Idle; }
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    78
  void set_started()       { assert(_state == Idle, "cycle in progress"); _state = Started; }
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    79
  bool started()           { return _state == Started; }
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    80
  void set_in_progress()   { assert(_state == Started, "must be starting a cycle"); _state = InProgress; }
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    81
  bool in_progress()       { return _state == InProgress; }
5243
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    82
31597
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    83
  // Returns true from the moment a marking cycle is
5243
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    84
  // initiated (during the initial-mark pause when started() is set)
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    85
  // to the moment when the cycle completes (just after the next
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    86
  // marking bitmap has been cleared and in_progress() is
31597
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    87
  // cleared). While during_cycle() is true we will not start another cycle
5243
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    88
  // so that cycles do not overlap. We cannot use just in_progress()
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    89
  // as the CM thread might take some time to wake up before noticing
99e5a8f5d81f 6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents: 4022
diff changeset
    90
  // that started() is set and set in_progress().
31597
f63dde8cc8f7 8129626: G1: set_in_progress() and clear_started() needs a barrier on non-TSO platforms
brutisso
parents: 31397
diff changeset
    91
  bool during_cycle()      { return !idle(); }
46384
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    92
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    93
  // WhiteBox testing support.
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    94
  const char* const* concurrent_phases() const;
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    95
  bool request_concurrent_phase(const char* phase);
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    96
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    97
  ConcurrentGCPhaseManager::Stack* phase_manager_stack() {
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    98
    return &_phase_manager_stack;
dacebddcdea0 8169517: WhiteBox should provide concurrent GC phase control
kbarrett
parents: 37985
diff changeset
    99
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
   100
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6766
diff changeset
   101
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 24331
diff changeset
   102
#endif // SHARE_VM_GC_G1_CONCURRENTMARKTHREAD_HPP