src/hotspot/share/gc/g1/g1Arguments.cpp
author sjohanss
Fri, 01 Dec 2017 08:56:22 +0100
changeset 48179 34fe70d22e9c
parent 48145 f913f6dba2d3
child 48316 4d28288c9f9e
permissions -rw-r--r--
8191821: Finer granularity for GC verification Reviewed-by: tschatzl, poonam, sangheki
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
47901
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     1
/*
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     2
 * Copyright (c) 2017, Red Hat, Inc. and/or its affiliates.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     4
 *
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     8
 *
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    13
 * accompanied this code).
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    14
 *
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    18
 *
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    21
 * questions.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    22
 *
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    23
 */
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    24
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    25
#include "precompiled.hpp"
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    26
#include "gc/g1/g1Arguments.hpp"
47913
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
    27
#include "gc/g1/g1CollectedHeap.inline.hpp"
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
    28
#include "gc/g1/g1CollectorPolicy.hpp"
48179
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
    29
#include "gc/g1/g1HeapVerifier.hpp"
47901
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    30
#include "gc/g1/heapRegion.hpp"
47913
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
    31
#include "gc/shared/gcArguments.inline.hpp"
47901
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    32
#include "runtime/globals.hpp"
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    33
#include "runtime/globals_extension.hpp"
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    34
#include "runtime/vm_version.hpp"
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    35
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    36
size_t G1Arguments::conservative_max_heap_alignment() {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    37
  return HeapRegion::max_region_size();
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    38
}
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    39
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    40
void G1Arguments::initialize_flags() {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    41
  GCArguments::initialize_flags();
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    42
  assert(UseG1GC, "Error");
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    43
#if defined(COMPILER1) || INCLUDE_JVMCI
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    44
  FastTLABRefill = false;
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    45
#endif
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    46
  FLAG_SET_DEFAULT(ParallelGCThreads, Abstract_VM_Version::parallel_worker_threads());
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    47
  if (ParallelGCThreads == 0) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    48
    assert(!FLAG_IS_DEFAULT(ParallelGCThreads), "The default value for ParallelGCThreads should not be 0.");
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    49
    vm_exit_during_initialization("The flag -XX:+UseG1GC can not be combined with -XX:ParallelGCThreads=0", NULL);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    50
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    51
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    52
#if INCLUDE_ALL_GCS
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    53
  if (FLAG_IS_DEFAULT(G1ConcRefinementThreads)) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    54
    FLAG_SET_ERGO(uint, G1ConcRefinementThreads, ParallelGCThreads);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    55
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    56
#endif
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    57
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    58
  // MarkStackSize will be set (if it hasn't been set by the user)
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    59
  // when concurrent marking is initialized.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    60
  // Its value will be based upon the number of parallel marking threads.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    61
  // But we do set the maximum mark stack size here.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    62
  if (FLAG_IS_DEFAULT(MarkStackSizeMax)) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    63
    FLAG_SET_DEFAULT(MarkStackSizeMax, 128 * TASKQUEUE_SIZE);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    64
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    65
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    66
  if (FLAG_IS_DEFAULT(GCTimeRatio) || GCTimeRatio == 0) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    67
    // In G1, we want the default GC overhead goal to be higher than
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    68
    // it is for PS, or the heap might be expanded too aggressively.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    69
    // We set it here to ~8%.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    70
    FLAG_SET_DEFAULT(GCTimeRatio, 12);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    71
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    72
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    73
  // Below, we might need to calculate the pause time interval based on
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    74
  // the pause target. When we do so we are going to give G1 maximum
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    75
  // flexibility and allow it to do pauses when it needs to. So, we'll
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    76
  // arrange that the pause interval to be pause time target + 1 to
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    77
  // ensure that a) the pause time target is maximized with respect to
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    78
  // the pause interval and b) we maintain the invariant that pause
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    79
  // time target < pause interval. If the user does not want this
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    80
  // maximum flexibility, they will have to set the pause interval
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    81
  // explicitly.
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    82
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    83
  if (FLAG_IS_DEFAULT(MaxGCPauseMillis)) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    84
    // The default pause time target in G1 is 200ms
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    85
    FLAG_SET_DEFAULT(MaxGCPauseMillis, 200);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    86
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    87
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    88
  // Then, if the interval parameter was not set, set it according to
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    89
  // the pause time target (this will also deal with the case when the
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    90
  // pause time target is the default value).
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    91
  if (FLAG_IS_DEFAULT(GCPauseIntervalMillis)) {
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    92
    FLAG_SET_DEFAULT(GCPauseIntervalMillis, MaxGCPauseMillis + 1);
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    93
  }
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    94
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
    95
  log_trace(gc)("MarkStackSize: %uk  MarkStackSizeMax: %uk", (unsigned int) (MarkStackSize / K), (uint) (MarkStackSizeMax / K));
48145
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
    96
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
    97
#ifdef COMPILER2
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
    98
  // Enable loop strip mining to offer better pause time guarantees
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
    99
  if (FLAG_IS_DEFAULT(UseCountedLoopSafepoints)) {
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   100
    FLAG_SET_DEFAULT(UseCountedLoopSafepoints, true);
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   101
  }
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   102
  if (UseCountedLoopSafepoints && FLAG_IS_DEFAULT(LoopStripMiningIter)) {
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   103
    FLAG_SET_DEFAULT(LoopStripMiningIter, 1000);
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   104
  }
f913f6dba2d3 8186027: C2: loop strip mining
roland
parents: 47913
diff changeset
   105
#endif
47901
4c42aa431f40 8189171: Move GC argument processing into GC specific classes
rkennke
parents:
diff changeset
   106
}
47913
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
   107
48179
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   108
bool G1Arguments::parse_verification_type(const char* type) {
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   109
  G1CollectedHeap::heap()->verifier()->parse_verification_type(type);
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   110
  // Always return true because we want to parse all values.
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   111
  return true;
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   112
}
34fe70d22e9c 8191821: Finer granularity for GC verification
sjohanss
parents: 48145
diff changeset
   113
47913
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
   114
CollectedHeap* G1Arguments::create_heap() {
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
   115
  return create_heap_with_policy<G1CollectedHeap, G1CollectorPolicy>();
cde4a65ba47d 8189389: Move heap creation into GC interface
rkennke
parents: 47901
diff changeset
   116
}