src/hotspot/share/gc/g1/g1Policy.cpp
author tschatzl
Fri, 25 Oct 2019 12:32:46 +0200
changeset 58798 08e78887ff96
parent 58797 f29ca6895893
child 59198 92c98aa0f801
permissions -rw-r--r--
8232776: G1 should always take rs_length_diff into account when predicting rs_lengths Reviewed-by: sangheki, kbarrett
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     1
/*
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
     2
 * Copyright (c) 2001, 2019, Oracle and/or its affiliates. All rights reserved.
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     4
 *
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     7
 * published by the Free Software Foundation.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     8
 *
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    13
 * accompanied this code).
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    14
 *
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    18
 *
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    21
 * questions.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    22
 *
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    23
 */
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    24
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    25
#include "precompiled.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    26
#include "gc/g1/g1Analytics.hpp"
54678
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    27
#include "gc/g1/g1Arguments.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    28
#include "gc/g1/g1CollectedHeap.inline.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    29
#include "gc/g1/g1CollectionSet.hpp"
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
    30
#include "gc/g1/g1CollectionSetCandidates.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    31
#include "gc/g1/g1ConcurrentMark.hpp"
49659
0ed1370f52bb 8200371: In g1, rename ConcurrentMarkThread to G1ConcurrentMarkThread
lkorinth
parents: 49643
diff changeset
    32
#include "gc/g1/g1ConcurrentMarkThread.inline.hpp"
47789
a77a7d3bc4f6 8149127: Rename g1/concurrentMarkThread.* to g1/g1ConcurrentMarkThread.*
tschatzl
parents: 47681
diff changeset
    33
#include "gc/g1/g1ConcurrentRefine.hpp"
53704
ef72c85a0534 8217328: Rename CollectionSetChooser to G1CollectionSetChooser
tschatzl
parents: 53703
diff changeset
    34
#include "gc/g1/g1CollectionSetChooser.hpp"
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
    35
#include "gc/g1/g1HeterogeneousHeapPolicy.hpp"
38172
90f405aac699 8155524: HotCardCache shouldn't be part of ConcurrentG1Refine
kbarrett
parents: 38162
diff changeset
    36
#include "gc/g1/g1HotCardCache.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    37
#include "gc/g1/g1IHOPControl.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    38
#include "gc/g1/g1GCPhaseTimes.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    39
#include "gc/g1/g1Policy.hpp"
38186
ccaa890f8617 8155943: Move G1Eden/SurvivorRegions into their own source files
mgerdin
parents: 38185
diff changeset
    40
#include "gc/g1/g1SurvivorRegions.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    41
#include "gc/g1/g1YoungGenSizer.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    42
#include "gc/g1/heapRegion.inline.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    43
#include "gc/g1/heapRegionRemSet.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    44
#include "gc/shared/gcPolicyCounters.hpp"
38183
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
    45
#include "logging/logStream.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    46
#include "runtime/arguments.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    47
#include "runtime/java.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    48
#include "runtime/mutexLocker.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    49
#include "utilities/debug.hpp"
38162
4e2c3433a3ae 8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents: 38107
diff changeset
    50
#include "utilities/growableArray.hpp"
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    51
#include "utilities/pair.hpp"
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    52
54678
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    53
G1Policy::G1Policy(STWGCTimer* gc_timer) :
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    54
  _predictor(G1ConfidencePercent / 100.0),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    55
  _analytics(new G1Analytics(&_predictor)),
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
    56
  _remset_tracker(),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    57
  _mmu_tracker(new G1MMUTrackerQueue(GCPauseIntervalMillis / 1000.0, MaxGCPauseMillis / 1000.0)),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    58
  _ihop_control(create_ihop_control(&_predictor)),
48117
d64722b0b371 8080345: With perm gen gone, perfdata counter sun.gc.policy.generations should be 2, not 3
ehelin
parents: 47789
diff changeset
    59
  _policy_counters(new GCPolicyCounters("GarbageFirst", 1, 2)),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    60
  _full_collection_start_sec(0.0),
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    61
  _collection_pause_end_millis(os::javaTimeNanos() / NANOSECS_PER_MILLISEC),
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    62
  _young_list_target_length(0),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    63
  _young_list_fixed_length(0),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    64
  _young_list_max_length(0),
38185
c432f8466c73 8155634: Clean out old logging and dead code from SurvRateGroup
mgerdin
parents: 38183
diff changeset
    65
  _short_lived_surv_rate_group(new SurvRateGroup()),
c432f8466c73 8155634: Clean out old logging and dead code from SurvRateGroup
mgerdin
parents: 38183
diff changeset
    66
  _survivor_surv_rate_group(new SurvRateGroup()),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    67
  _reserve_factor((double) G1ReservePercent / 100.0),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    68
  _reserve_regions(0),
54678
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    69
  _young_gen_sizer(G1YoungGenSizer::create_gen_sizer()),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    70
  _free_regions_at_end_of_collection(0),
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
    71
  _rs_length(0),
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
    72
  _rs_length_prediction(0),
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
    73
  _pending_cards_at_gc_start(0),
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
    74
  _pending_cards_at_prev_gc_end(0),
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
    75
  _total_mutator_refined_cards(0),
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
    76
  _total_concurrent_refined_cards(0),
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
    77
  _total_concurrent_refinement_time(),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    78
  _bytes_allocated_in_old_since_last_gc(0),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    79
  _initial_mark_to_mixed(),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    80
  _collection_set(NULL),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    81
  _bytes_copied_during_gc(0),
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
    82
  _g1h(NULL),
46795
623a5e42deb6 8173335: Improve logging for j.l.ref.reference processing
sangheki
parents: 41284
diff changeset
    83
  _phase_times(new G1GCPhaseTimes(gc_timer, ParallelGCThreads)),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    84
  _mark_remark_start_sec(0),
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    85
  _mark_cleanup_start_sec(0),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    86
  _tenuring_threshold(MaxTenuringThreshold),
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    87
  _max_survivor_regions(0),
51332
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    88
  _survivors_age_table(true)
c25572739e7c 8208669: GC changes to allow enabling -Wreorder
tschatzl
parents: 50441
diff changeset
    89
{
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
    90
}
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    91
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
    92
G1Policy::~G1Policy() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
    93
  delete _ihop_control;
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
    94
  delete _young_gen_sizer;
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
    95
}
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
    96
54678
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    97
G1Policy* G1Policy::create_policy(STWGCTimer* gc_timer_stw) {
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    98
  if (G1Arguments::is_heterogeneous_heap()) {
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
    99
    return new G1HeterogeneousHeapPolicy(gc_timer_stw);
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   100
  } else {
54678
93f09ca4a7f8 8198505: Remove CollectorPolicy and its subclasses
stefank
parents: 54466
diff changeset
   101
    return new G1Policy(gc_timer_stw);
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   102
  }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   103
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   104
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   105
G1CollectorState* G1Policy::collector_state() const { return _g1h->collector_state(); }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   106
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   107
void G1Policy::init(G1CollectedHeap* g1h, G1CollectionSet* collection_set) {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   108
  _g1h = g1h;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   109
  _collection_set = collection_set;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   110
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   111
  assert(Heap_lock->owned_by_self(), "Locking discipline.");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   112
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   113
  if (!use_adaptive_young_list_length()) {
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   114
    _young_list_fixed_length = _young_gen_sizer->min_desired_young_length();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   115
  }
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   116
  _young_gen_sizer->adjust_max_new_size(_g1h->max_expandable_regions());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   117
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   118
  _free_regions_at_end_of_collection = _g1h->num_free_regions();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   119
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   120
  update_young_list_max_and_target_length();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   121
  // We may immediately start allocating regions and placing them on the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   122
  // collection set list. Initialize the per-collection set info
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   123
  _collection_set->start_incremental_building();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   124
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   125
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   126
void G1Policy::note_gc_start() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   127
  phase_times()->note_gc_start();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   128
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   129
49392
2956d0ece7a9 8199282: Remove ValueObj class for allocation subclassing for gc code
coleenp
parents: 49375
diff changeset
   130
class G1YoungLengthPredictor {
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   131
  const bool _during_cm;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   132
  const double _base_time_ms;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   133
  const double _base_free_regions;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   134
  const double _target_pause_time_ms;
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   135
  const G1Policy* const _policy;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   136
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   137
 public:
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   138
  G1YoungLengthPredictor(bool during_cm,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   139
                         double base_time_ms,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   140
                         double base_free_regions,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   141
                         double target_pause_time_ms,
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   142
                         const G1Policy* policy) :
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   143
    _during_cm(during_cm),
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   144
    _base_time_ms(base_time_ms),
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   145
    _base_free_regions(base_free_regions),
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   146
    _target_pause_time_ms(target_pause_time_ms),
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   147
    _policy(policy) {}
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   148
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   149
  bool will_fit(uint young_length) const {
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   150
    if (young_length >= _base_free_regions) {
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   151
      // end condition 1: not enough space for the young regions
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   152
      return false;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   153
    }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   154
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   155
    const double accum_surv_rate = _policy->accum_yg_surv_rate_pred((int) young_length - 1);
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   156
    const size_t bytes_to_copy =
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   157
                 (size_t) (accum_surv_rate * (double) HeapRegion::GrainBytes);
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   158
    const double copy_time_ms =
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   159
      _policy->analytics()->predict_object_copy_time_ms(bytes_to_copy, _during_cm);
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   160
    const double young_other_time_ms = _policy->analytics()->predict_young_other_time_ms(young_length);
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   161
    const double pause_time_ms = _base_time_ms + copy_time_ms + young_other_time_ms;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   162
    if (pause_time_ms > _target_pause_time_ms) {
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   163
      // end condition 2: prediction is over the target pause time
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   164
      return false;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   165
    }
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   166
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   167
    const size_t free_bytes = (_base_free_regions - young_length) * HeapRegion::GrainBytes;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   168
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   169
    // When copying, we will likely need more bytes free than is live in the region.
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   170
    // Add some safety margin to factor in the confidence of our guess, and the
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   171
    // natural expected waste.
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   172
    // (100.0 / G1ConfidencePercent) is a scale factor that expresses the uncertainty
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   173
    // of the calculation: the lower the confidence, the more headroom.
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   174
    // (100 + TargetPLABWastePct) represents the increase in expected bytes during
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   175
    // copying due to anticipated waste in the PLABs.
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   176
    const double safety_factor = (100.0 / G1ConfidencePercent) * (100 + TargetPLABWastePct) / 100.0;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   177
    const size_t expected_bytes_to_copy = (size_t)(safety_factor * bytes_to_copy);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   178
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   179
    if (expected_bytes_to_copy > free_bytes) {
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   180
      // end condition 3: out-of-space
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   181
      return false;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   182
    }
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   183
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   184
    // success!
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   185
    return true;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   186
  }
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   187
};
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   188
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   189
void G1Policy::record_new_heap_size(uint new_number_of_regions) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   190
  // re-calculate the necessary reserve
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   191
  double reserve_regions_d = (double) new_number_of_regions * _reserve_factor;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   192
  // We use ceiling so that if reserve_regions_d is > 0.0 (but
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   193
  // smaller than 1.0) we'll get 1.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   194
  _reserve_regions = (uint) ceil(reserve_regions_d);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   195
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   196
  _young_gen_sizer->heap_size_changed(new_number_of_regions);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   197
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   198
  _ihop_control->update_target_occupancy(new_number_of_regions * HeapRegion::GrainBytes);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   199
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   200
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   201
uint G1Policy::calculate_young_list_desired_min_length(uint base_min_length) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   202
  uint desired_min_length = 0;
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   203
  if (use_adaptive_young_list_length()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   204
    if (_analytics->num_alloc_rate_ms() > 3) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   205
      double now_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   206
      double when_ms = _mmu_tracker->when_max_gc_sec(now_sec) * 1000.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   207
      double alloc_rate_ms = _analytics->predict_alloc_rate_ms();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   208
      desired_min_length = (uint) ceil(alloc_rate_ms * when_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   209
    } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   210
      // otherwise we don't have enough info to make the prediction
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   211
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   212
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   213
  desired_min_length += base_min_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   214
  // make sure we don't go below any user-defined minimum bound
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   215
  return MAX2(_young_gen_sizer->min_desired_young_length(), desired_min_length);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   216
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   217
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   218
uint G1Policy::calculate_young_list_desired_max_length() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   219
  // Here, we might want to also take into account any additional
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   220
  // constraints (i.e., user-defined minimum bound). Currently, we
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   221
  // effectively don't set this bound.
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   222
  return _young_gen_sizer->max_desired_young_length();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   223
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   224
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   225
uint G1Policy::update_young_list_max_and_target_length() {
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   226
  return update_young_list_max_and_target_length(_analytics->predict_rs_length());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   227
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   228
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   229
uint G1Policy::update_young_list_max_and_target_length(size_t rs_length) {
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   230
  uint unbounded_target_length = update_young_list_target_length(rs_length);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   231
  update_max_gc_locker_expansion();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   232
  return unbounded_target_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   233
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   234
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   235
uint G1Policy::update_young_list_target_length(size_t rs_length) {
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   236
  YoungTargetLengths young_lengths = young_list_target_lengths(rs_length);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   237
  _young_list_target_length = young_lengths.first;
53116
bb03098c4dde 8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents: 52975
diff changeset
   238
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   239
  return young_lengths.second;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   240
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   241
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   242
G1Policy::YoungTargetLengths G1Policy::young_list_target_lengths(size_t rs_length) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   243
  YoungTargetLengths result;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   244
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   245
  // Calculate the absolute and desired min bounds first.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   246
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   247
  // This is how many young regions we already have (currently: the survivors).
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   248
  const uint base_min_length = _g1h->survivor_regions_count();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   249
  uint desired_min_length = calculate_young_list_desired_min_length(base_min_length);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   250
  // This is the absolute minimum young length. Ensure that we
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   251
  // will at least have one eden region available for allocation.
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   252
  uint absolute_min_length = base_min_length + MAX2(_g1h->eden_regions_count(), (uint)1);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   253
  // If we shrank the young list target it should not shrink below the current size.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   254
  desired_min_length = MAX2(desired_min_length, absolute_min_length);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   255
  // Calculate the absolute and desired max bounds.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   256
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   257
  uint desired_max_length = calculate_young_list_desired_max_length();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   258
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   259
  uint young_list_target_length = 0;
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   260
  if (use_adaptive_young_list_length()) {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   261
    if (collector_state()->in_young_only_phase()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   262
      young_list_target_length =
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   263
                        calculate_young_list_target_length(rs_length,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   264
                                                           base_min_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   265
                                                           desired_min_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   266
                                                           desired_max_length);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   267
    } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   268
      // Don't calculate anything and let the code below bound it to
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   269
      // the desired_min_length, i.e., do the next GC as soon as
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   270
      // possible to maximize how many old regions we can add to it.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   271
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   272
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   273
    // The user asked for a fixed young gen so we'll fix the young gen
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   274
    // whether the next GC is young or mixed.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   275
    young_list_target_length = _young_list_fixed_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   276
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   277
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   278
  result.second = young_list_target_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   279
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   280
  // We will try our best not to "eat" into the reserve.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   281
  uint absolute_max_length = 0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   282
  if (_free_regions_at_end_of_collection > _reserve_regions) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   283
    absolute_max_length = _free_regions_at_end_of_collection - _reserve_regions;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   284
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   285
  if (desired_max_length > absolute_max_length) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   286
    desired_max_length = absolute_max_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   287
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   288
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   289
  // Make sure we don't go over the desired max length, nor under the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   290
  // desired min length. In case they clash, desired_min_length wins
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   291
  // which is why that test is second.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   292
  if (young_list_target_length > desired_max_length) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   293
    young_list_target_length = desired_max_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   294
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   295
  if (young_list_target_length < desired_min_length) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   296
    young_list_target_length = desired_min_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   297
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   298
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   299
  assert(young_list_target_length > base_min_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   300
         "we should be able to allocate at least one eden region");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   301
  assert(young_list_target_length >= absolute_min_length, "post-condition");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   302
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   303
  result.first = young_list_target_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   304
  return result;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   305
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   306
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   307
uint
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   308
G1Policy::calculate_young_list_target_length(size_t rs_length,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   309
                                                    uint base_min_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   310
                                                    uint desired_min_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   311
                                                    uint desired_max_length) const {
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   312
  assert(use_adaptive_young_list_length(), "pre-condition");
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   313
  assert(collector_state()->in_young_only_phase(), "only call this for young GCs");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   314
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   315
  // In case some edge-condition makes the desired max length too small...
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   316
  if (desired_max_length <= desired_min_length) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   317
    return desired_min_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   318
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   319
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   320
  // We'll adjust min_young_length and max_young_length not to include
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   321
  // the already allocated young regions (i.e., so they reflect the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   322
  // min and max eden regions we'll allocate). The base_min_length
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   323
  // will be reflected in the predictions by the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   324
  // survivor_regions_evac_time prediction.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   325
  assert(desired_min_length > base_min_length, "invariant");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   326
  uint min_young_length = desired_min_length - base_min_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   327
  assert(desired_max_length > base_min_length, "invariant");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   328
  uint max_young_length = desired_max_length - base_min_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   329
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   330
  const double target_pause_time_ms = _mmu_tracker->max_gc_time() * 1000.0;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   331
  const double survivor_regions_evac_time = predict_survivor_regions_evac_time();
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   332
  const size_t pending_cards = _analytics->predict_pending_cards();
58798
08e78887ff96 8232776: G1 should always take rs_length_diff into account when predicting rs_lengths
tschatzl
parents: 58797
diff changeset
   333
  const size_t scanned_cards = _analytics->predict_card_num(rs_length, true /* for_young_gc */);
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   334
  const double base_time_ms =
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   335
    predict_base_elapsed_time_ms(pending_cards, scanned_cards) +
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   336
    survivor_regions_evac_time;
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   337
  const uint available_free_regions = _free_regions_at_end_of_collection;
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   338
  const uint base_free_regions =
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   339
    available_free_regions > _reserve_regions ? available_free_regions - _reserve_regions : 0;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   340
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   341
  // Here, we will make sure that the shortest young length that
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   342
  // makes sense fits within the target pause time.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   343
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   344
  G1YoungLengthPredictor p(collector_state()->mark_or_rebuild_in_progress(),
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   345
                           base_time_ms,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   346
                           base_free_regions,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   347
                           target_pause_time_ms,
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   348
                           this);
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   349
  if (p.will_fit(min_young_length)) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   350
    // The shortest young length will fit into the target pause time;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   351
    // we'll now check whether the absolute maximum number of young
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   352
    // regions will fit in the target pause time. If not, we'll do
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   353
    // a binary search between min_young_length and max_young_length.
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   354
    if (p.will_fit(max_young_length)) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   355
      // The maximum young length will fit into the target pause time.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   356
      // We are done so set min young length to the maximum length (as
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   357
      // the result is assumed to be returned in min_young_length).
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   358
      min_young_length = max_young_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   359
    } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   360
      // The maximum possible number of young regions will not fit within
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   361
      // the target pause time so we'll search for the optimal
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   362
      // length. The loop invariants are:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   363
      //
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   364
      // min_young_length < max_young_length
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   365
      // min_young_length is known to fit into the target pause time
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   366
      // max_young_length is known not to fit into the target pause time
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   367
      //
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   368
      // Going into the loop we know the above hold as we've just
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   369
      // checked them. Every time around the loop we check whether
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   370
      // the middle value between min_young_length and
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   371
      // max_young_length fits into the target pause time. If it
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   372
      // does, it becomes the new min. If it doesn't, it becomes
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   373
      // the new max. This way we maintain the loop invariants.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   374
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   375
      assert(min_young_length < max_young_length, "invariant");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   376
      uint diff = (max_young_length - min_young_length) / 2;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   377
      while (diff > 0) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   378
        uint young_length = min_young_length + diff;
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   379
        if (p.will_fit(young_length)) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   380
          min_young_length = young_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   381
        } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   382
          max_young_length = young_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   383
        }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   384
        assert(min_young_length <  max_young_length, "invariant");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   385
        diff = (max_young_length - min_young_length) / 2;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   386
      }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   387
      // The results is min_young_length which, according to the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   388
      // loop invariants, should fit within the target pause time.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   389
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   390
      // These are the post-conditions of the binary search above:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   391
      assert(min_young_length < max_young_length,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   392
             "otherwise we should have discovered that max_young_length "
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   393
             "fits into the pause target and not done the binary search");
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   394
      assert(p.will_fit(min_young_length),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   395
             "min_young_length, the result of the binary search, should "
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   396
             "fit into the pause target");
40000
90441a39361d 8159464: DumpHeap.java hits assert in G1 code
ehelin
parents: 39979
diff changeset
   397
      assert(!p.will_fit(min_young_length + 1),
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   398
             "min_young_length, the result of the binary search, should be "
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   399
             "optimal, so no larger length should fit into the pause target");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   400
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   401
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   402
    // Even the minimum length doesn't fit into the pause time
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   403
    // target, return it as the result nevertheless.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   404
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   405
  return base_min_length + min_young_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   406
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   407
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   408
double G1Policy::predict_survivor_regions_evac_time() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   409
  double survivor_regions_evac_time = 0.0;
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   410
  const GrowableArray<HeapRegion*>* survivor_regions = _g1h->survivor()->regions();
38162
4e2c3433a3ae 8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents: 38107
diff changeset
   411
4e2c3433a3ae 8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents: 38107
diff changeset
   412
  for (GrowableArrayIterator<HeapRegion*> it = survivor_regions->begin();
4e2c3433a3ae 8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents: 38107
diff changeset
   413
       it != survivor_regions->end();
4e2c3433a3ae 8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents: 38107
diff changeset
   414
       ++it) {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   415
    survivor_regions_evac_time += predict_region_elapsed_time_ms(*it, collector_state()->in_young_only_phase());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   416
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   417
  return survivor_regions_evac_time;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   418
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   419
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   420
void G1Policy::revise_young_list_target_length_if_necessary(size_t rs_length) {
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   421
  guarantee(use_adaptive_young_list_length(), "should not call this otherwise" );
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   422
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   423
  if (rs_length > _rs_length_prediction) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   424
    // add 10% to avoid having to recalculate often
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   425
    size_t rs_length_prediction = rs_length * 1100 / 1000;
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   426
    update_rs_length_prediction(rs_length_prediction);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   427
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   428
    update_young_list_max_and_target_length(rs_length_prediction);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   429
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   430
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   431
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   432
void G1Policy::update_rs_length_prediction() {
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   433
  update_rs_length_prediction(_analytics->predict_rs_length());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   434
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   435
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   436
void G1Policy::update_rs_length_prediction(size_t prediction) {
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
   437
  if (collector_state()->in_young_only_phase() && use_adaptive_young_list_length()) {
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   438
    _rs_length_prediction = prediction;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   439
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   440
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   441
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   442
void G1Policy::record_full_collection_start() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   443
  _full_collection_start_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   444
  // Release the future to-space so that it is available for compaction into.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   445
  collector_state()->set_in_young_only_phase(false);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   446
  collector_state()->set_in_full_gc(true);
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
   447
  _collection_set->clear_candidates();
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   448
  record_concurrent_refinement_data(true /* is_full_collection */);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   449
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   450
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   451
void G1Policy::record_full_collection_end() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   452
  // Consider this like a collection pause for the purposes of allocation
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   453
  // since last pause.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   454
  double end_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   455
  double full_gc_time_sec = end_sec - _full_collection_start_sec;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   456
  double full_gc_time_ms = full_gc_time_sec * 1000.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   457
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   458
  _analytics->update_recent_gc_times(end_sec, full_gc_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   459
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   460
  collector_state()->set_in_full_gc(false);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   461
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   462
  // "Nuke" the heuristics that control the young/mixed GC
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   463
  // transitions and make sure we start with young GCs after the Full GC.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   464
  collector_state()->set_in_young_only_phase(true);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   465
  collector_state()->set_in_young_gc_before_mixed(false);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   466
  collector_state()->set_initiate_conc_mark_if_possible(need_to_start_conc_mark("end of Full GC", 0));
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   467
  collector_state()->set_in_initial_mark_gc(false);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   468
  collector_state()->set_mark_or_rebuild_in_progress(false);
49664
9a04cc89dde0 8200234: Cleanup Remark and Cleanup pause code
tschatzl
parents: 49659
diff changeset
   469
  collector_state()->set_clearing_next_bitmap(false);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   470
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   471
  _short_lived_surv_rate_group->start_adding_regions();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   472
  // also call this on any additional surv rate groups
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   473
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   474
  _free_regions_at_end_of_collection = _g1h->num_free_regions();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   475
  // Reset survivors SurvRateGroup.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   476
  _survivor_surv_rate_group->reset();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   477
  update_young_list_max_and_target_length();
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   478
  update_rs_length_prediction();
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   479
  _pending_cards_at_prev_gc_end = _g1h->pending_card_num();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   480
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   481
  _bytes_allocated_in_old_since_last_gc = 0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   482
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   483
  record_pause(FullGC, _full_collection_start_sec, end_sec);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   484
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   485
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   486
void G1Policy::record_concurrent_refinement_data(bool is_full_collection) {
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   487
  _pending_cards_at_gc_start = _g1h->pending_card_num();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   488
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   489
  // Record info about concurrent refinement thread processing.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   490
  G1ConcurrentRefine* cr = _g1h->concurrent_refine();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   491
  G1ConcurrentRefine::RefinementStats cr_stats = cr->total_refinement_stats();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   492
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   493
  Tickspan cr_time = cr_stats._time - _total_concurrent_refinement_time;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   494
  _total_concurrent_refinement_time = cr_stats._time;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   495
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   496
  size_t cr_cards = cr_stats._cards - _total_concurrent_refined_cards;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   497
  _total_concurrent_refined_cards = cr_stats._cards;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   498
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   499
  // Don't update rate if full collection.  We could be in an implicit full
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   500
  // collection after a non-full collection failure, in which case there
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   501
  // wasn't any mutator/cr-thread activity since last recording.  And if
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   502
  // we're in an explicit full collection, the time since the last GC can
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   503
  // be arbitrarily short, so not a very good sample.  Similarly, don't
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   504
  // update the rate if the current sample is empty or time is zero.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   505
  if (!is_full_collection && (cr_cards > 0) && (cr_time > Tickspan())) {
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   506
    double rate = cr_cards / (cr_time.seconds() * MILLIUNITS);
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   507
    _analytics->report_concurrent_refine_rate_ms(rate);
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   508
  }
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   509
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   510
  // Record info about mutator thread processing.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   511
  G1DirtyCardQueueSet& dcqs = G1BarrierSet::dirty_card_queue_set();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   512
  size_t mut_total_cards = dcqs.total_mutator_refined_cards();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   513
  size_t mut_cards = mut_total_cards - _total_mutator_refined_cards;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   514
  _total_mutator_refined_cards = mut_total_cards;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   515
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   516
  // Record mutator's card logging rate.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   517
  // Don't update if full collection; see above.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   518
  if (!is_full_collection) {
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   519
    size_t total_cards = _pending_cards_at_gc_start + cr_cards + mut_cards;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   520
    assert(_pending_cards_at_prev_gc_end <= total_cards,
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   521
           "untracked cards: last pending: " SIZE_FORMAT
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   522
           ", pending: " SIZE_FORMAT ", conc refine: " SIZE_FORMAT
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   523
           ", mut refine:" SIZE_FORMAT,
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   524
           _pending_cards_at_prev_gc_end, _pending_cards_at_gc_start,
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   525
           cr_cards, mut_cards);
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   526
    size_t logged_cards = total_cards - _pending_cards_at_prev_gc_end;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   527
    double logging_start_time = _analytics->prev_collection_pause_end_ms();
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   528
    double logging_end_time = Ticks::now().seconds() * MILLIUNITS;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   529
    double logging_time = logging_end_time - logging_start_time;
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   530
    // Unlike above for conc-refine rate, here we should not require a
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   531
    // non-empty sample, since an application could go some time with only
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   532
    // young-gen or filtered out writes.  But we'll ignore unusually short
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   533
    // sample periods, as they may just pollute the predictions.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   534
    if (logging_time > 1.0) {   // Require > 1ms sample time.
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   535
      _analytics->report_logged_cards_rate_ms(logged_cards / logging_time);
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   536
    }
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   537
  }
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   538
}
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   539
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   540
void G1Policy::record_collection_pause_start(double start_time_sec) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   541
  // We only need to do this here as the policy will only be applied
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   542
  // to the GC we're about to start. so, no point is calculating this
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   543
  // every time we calculate / recalculate the target young length.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   544
  update_survivors_policy();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   545
52975
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
   546
  assert(max_survivor_regions() + _g1h->num_used_regions() <= _g1h->max_regions(),
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
   547
         "Maximum survivor regions %u plus used regions %u exceeds max regions %u",
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
   548
         max_survivor_regions(), _g1h->num_used_regions(), _g1h->max_regions());
54726
671e35cf611b 8221509: Refactor assert( G1CollectedHeap::used() == recalculate_used() ) with better message
sangheki
parents: 54678
diff changeset
   549
  assert_used_and_recalculate_used_equal(_g1h);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   550
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   551
  phase_times()->record_cur_collection_start_sec(start_time_sec);
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   552
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   553
  record_concurrent_refinement_data(false /* is_full_collection */);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   554
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   555
  _collection_set->reset_bytes_used_before();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   556
  _bytes_copied_during_gc = 0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   557
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   558
  // do that for any other surv rate groups
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   559
  _short_lived_surv_rate_group->stop_adding_regions();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   560
  _survivors_age_table.clear();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   561
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   562
  assert(_g1h->collection_set()->verify_young_ages(), "region age verification failed");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   563
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   564
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   565
void G1Policy::record_concurrent_mark_init_end(double mark_init_elapsed_time_ms) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   566
  assert(!collector_state()->initiate_conc_mark_if_possible(), "we should have cleared it by now");
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   567
  collector_state()->set_in_initial_mark_gc(false);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   568
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   569
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   570
void G1Policy::record_concurrent_mark_remark_start() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   571
  _mark_remark_start_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   572
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   573
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   574
void G1Policy::record_concurrent_mark_remark_end() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   575
  double end_time_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   576
  double elapsed_time_ms = (end_time_sec - _mark_remark_start_sec)*1000.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   577
  _analytics->report_concurrent_mark_remark_times_ms(elapsed_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   578
  _analytics->append_prev_collection_pause_end_ms(elapsed_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   579
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   580
  record_pause(Remark, _mark_remark_start_sec, end_time_sec);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   581
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   582
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   583
void G1Policy::record_concurrent_mark_cleanup_start() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   584
  _mark_cleanup_start_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   585
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   586
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   587
double G1Policy::average_time_ms(G1GCPhaseTimes::GCParPhases phase) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   588
  return phase_times()->average_time_ms(phase);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   589
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   590
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   591
double G1Policy::young_other_time_ms() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   592
  return phase_times()->young_cset_choice_time_ms() +
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   593
         phase_times()->average_time_ms(G1GCPhaseTimes::YoungFreeCSet);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   594
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   595
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   596
double G1Policy::non_young_other_time_ms() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   597
  return phase_times()->non_young_cset_choice_time_ms() +
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   598
         phase_times()->average_time_ms(G1GCPhaseTimes::NonYoungFreeCSet);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   599
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   600
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   601
double G1Policy::other_time_ms(double pause_time_ms) const {
38107
aee6db99b6c7 8155087: Calculation in other_time_ms() is incorrect
sjohanss
parents: 38106
diff changeset
   602
  return pause_time_ms - phase_times()->cur_collection_par_time_ms();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   603
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   604
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   605
double G1Policy::constant_other_time_ms(double pause_time_ms) const {
39979
b17e445924da 8034842: Parallelize the Free CSet phase in G1
tschatzl
parents: 39698
diff changeset
   606
  return other_time_ms(pause_time_ms) - phase_times()->total_free_cset_time_ms();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   607
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   608
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   609
bool G1Policy::about_to_start_mixed_phase() const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   610
  return _g1h->concurrent_mark()->cm_thread()->during_cycle() || collector_state()->in_young_gc_before_mixed();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   611
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   612
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   613
bool G1Policy::need_to_start_conc_mark(const char* source, size_t alloc_word_size) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   614
  if (about_to_start_mixed_phase()) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   615
    return false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   616
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   617
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   618
  size_t marking_initiating_used_threshold = _ihop_control->get_conc_mark_start_threshold();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   619
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   620
  size_t cur_used_bytes = _g1h->non_young_capacity_bytes();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   621
  size_t alloc_byte_size = alloc_word_size * HeapWordSize;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   622
  size_t marking_request_bytes = cur_used_bytes + alloc_byte_size;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   623
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   624
  bool result = false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   625
  if (marking_request_bytes > marking_initiating_used_threshold) {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   626
    result = collector_state()->in_young_only_phase() && !collector_state()->in_young_gc_before_mixed();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   627
    log_debug(gc, ergo, ihop)("%s occupancy: " SIZE_FORMAT "B allocation request: " SIZE_FORMAT "B threshold: " SIZE_FORMAT "B (%1.2f) source: %s",
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   628
                              result ? "Request concurrent cycle initiation (occupancy higher than threshold)" : "Do not request concurrent cycle initiation (still doing mixed collections)",
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   629
                              cur_used_bytes, alloc_byte_size, marking_initiating_used_threshold, (double) marking_initiating_used_threshold / _g1h->capacity() * 100, source);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   630
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   631
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   632
  return result;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   633
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   634
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   635
double G1Policy::logged_cards_processing_time() const {
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   636
  double all_cards_processing_time = average_time_ms(G1GCPhaseTimes::ScanHR) + average_time_ms(G1GCPhaseTimes::OptScanHR);
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   637
  size_t logged_dirty_cards = phase_times()->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards);
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   638
  size_t scan_heap_roots_cards = phase_times()->sum_thread_work_items(G1GCPhaseTimes::ScanHR, G1GCPhaseTimes::ScanHRScannedCards) +
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   639
                                 phase_times()->sum_thread_work_items(G1GCPhaseTimes::OptScanHR, G1GCPhaseTimes::ScanHRScannedCards);
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   640
  // This may happen if there are duplicate cards in different log buffers.
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   641
  if (logged_dirty_cards > scan_heap_roots_cards) {
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   642
    return all_cards_processing_time + average_time_ms(G1GCPhaseTimes::MergeLB);
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   643
  }
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   644
  return (all_cards_processing_time * logged_dirty_cards / scan_heap_roots_cards) + average_time_ms(G1GCPhaseTimes::MergeLB);
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   645
}
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   646
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   647
// Anything below that is considered to be zero
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   648
#define MIN_TIMER_GRANULARITY 0.0000001
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   649
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   650
void G1Policy::record_collection_pause_end(double pause_time_ms, size_t heap_used_bytes_before_gc) {
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   651
  G1GCPhaseTimes* p = phase_times();
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   652
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   653
  double end_time_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   654
54726
671e35cf611b 8221509: Refactor assert( G1CollectedHeap::used() == recalculate_used() ) with better message
sangheki
parents: 54678
diff changeset
   655
  assert_used_and_recalculate_used_equal(_g1h);
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   656
  size_t cur_used_bytes = _g1h->used();
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   657
  bool this_pause_included_initial_mark = false;
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   658
  bool this_pause_was_young_only = collector_state()->in_young_only_phase();
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   659
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   660
  bool update_stats = !_g1h->evacuation_failed();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   661
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   662
  record_pause(young_gc_pause_kind(), end_time_sec - pause_time_ms / 1000.0, end_time_sec);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   663
41284
b4276ec89d0d 8164482: [REDO] G1 does not implement millis_since_last_gc which is needed by RMI GC
jprovino
parents: 40914
diff changeset
   664
  _collection_pause_end_millis = os::javaTimeNanos() / NANOSECS_PER_MILLISEC;
b4276ec89d0d 8164482: [REDO] G1 does not implement millis_since_last_gc which is needed by RMI GC
jprovino
parents: 40914
diff changeset
   665
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   666
  this_pause_included_initial_mark = collector_state()->in_initial_mark_gc();
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   667
  if (this_pause_included_initial_mark) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   668
    record_concurrent_mark_init_end(0.0);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   669
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   670
    maybe_start_marking();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   671
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   672
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   673
  double app_time_ms = (phase_times()->cur_collection_start_sec() * 1000.0 - _analytics->prev_collection_pause_end_ms());
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   674
  if (app_time_ms < MIN_TIMER_GRANULARITY) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   675
    // This usually happens due to the timer not having the required
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   676
    // granularity. Some Linuxes are the usual culprits.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   677
    // We'll just set it to something (arbitrarily) small.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   678
    app_time_ms = 1.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   679
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   680
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   681
  if (update_stats) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   682
    // We maintain the invariant that all objects allocated by mutator
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   683
    // threads will be allocated out of eden regions. So, we can use
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   684
    // the eden region number allocated since the previous GC to
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   685
    // calculate the application's allocate rate. The only exception
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   686
    // to that is humongous objects that are allocated separately. But
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   687
    // given that humongous object allocations do not really affect
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   688
    // either the pause's duration nor when the next pause will take
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   689
    // place we can safely ignore them here.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   690
    uint regions_allocated = _collection_set->eden_region_length();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   691
    double alloc_rate_ms = (double) regions_allocated / app_time_ms;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   692
    _analytics->report_alloc_rate_ms(alloc_rate_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   693
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   694
    double interval_ms =
40523
20873f6704de 8164124: [BACKOUT] G1 does not implement millis_since_last_gc which is needed by RMI GC
jwilhelm
parents: 40328
diff changeset
   695
      (end_time_sec - _analytics->last_known_gc_end_time_sec()) * 1000.0;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   696
    _analytics->update_recent_gc_times(end_time_sec, pause_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   697
    _analytics->compute_pause_time_ratio(interval_ms, pause_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   698
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   699
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   700
  if (collector_state()->in_young_gc_before_mixed()) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   701
    assert(!this_pause_included_initial_mark, "The young GC before mixed is not allowed to be an initial mark GC");
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   702
    // This has been the young GC before we start doing mixed GCs. We already
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
   703
    // decided to start mixed GCs much earlier, so there is nothing to do except
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
   704
    // advancing the state.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   705
    collector_state()->set_in_young_only_phase(false);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   706
    collector_state()->set_in_young_gc_before_mixed(false);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   707
  } else if (!this_pause_was_young_only) {
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
   708
    // This is a mixed GC. Here we decide whether to continue doing more
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   709
    // mixed GCs or not.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   710
    if (!next_gc_should_be_mixed("continue mixed GCs",
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   711
                                 "do not continue mixed GCs")) {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   712
      collector_state()->set_in_young_only_phase(true);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   713
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
   714
      clear_collection_set_candidates();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   715
      maybe_start_marking();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   716
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   717
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   718
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   719
  _short_lived_surv_rate_group->start_adding_regions();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   720
  // Do that for any other surv rate groups
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   721
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   722
  double scan_hcc_time_ms = G1HotCardCache::default_use_cache() ? average_time_ms(G1GCPhaseTimes::MergeHCC) : 0.0;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   723
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   724
  if (update_stats) {
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   725
    double cost_per_logged_card = 0.0;
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   726
    size_t const pending_logged_cards = p->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards);
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   727
    if (pending_logged_cards > 0) {
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   728
      cost_per_logged_card = logged_cards_processing_time() / pending_logged_cards;
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   729
      _analytics->report_cost_per_logged_card_ms(cost_per_logged_card);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   730
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   731
    _analytics->report_cost_scan_hcc(scan_hcc_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   732
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   733
    size_t const total_cards_scanned = p->sum_thread_work_items(G1GCPhaseTimes::ScanHR, G1GCPhaseTimes::ScanHRScannedCards) +
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   734
                                       p->sum_thread_work_items(G1GCPhaseTimes::OptScanHR, G1GCPhaseTimes::ScanHRScannedCards);
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   735
    size_t remset_cards_scanned = 0;
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   736
    // There might have been duplicate log buffer entries in the queues which could
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   737
    // increase this value beyond the cards scanned. In this case attribute all cards
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   738
    // to the log buffers.
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   739
    if (pending_logged_cards <= total_cards_scanned) {
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   740
      remset_cards_scanned = total_cards_scanned - pending_logged_cards;
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   741
    }
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   742
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   743
    double cost_per_remset_card_ms = 0.0;
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   744
    if (remset_cards_scanned > 10) {
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   745
      double avg_time_remset_scan = ((average_time_ms(G1GCPhaseTimes::ScanHR) + average_time_ms(G1GCPhaseTimes::OptScanHR)) *
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   746
                                     remset_cards_scanned / total_cards_scanned) +
55723
95706898c3ea 8227089: Add timing information for merging humongous remembered sets
tschatzl
parents: 55510
diff changeset
   747
                                     average_time_ms(G1GCPhaseTimes::MergeER) +
55724
3504188512e2 8227090: G1 does not account the OptMergeRS in cost per card calculation
tschatzl
parents: 55723
diff changeset
   748
                                     average_time_ms(G1GCPhaseTimes::MergeRS) +
3504188512e2 8227090: G1 does not account the OptMergeRS in cost per card calculation
tschatzl
parents: 55723
diff changeset
   749
                                     average_time_ms(G1GCPhaseTimes::OptMergeRS);
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   750
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   751
      cost_per_remset_card_ms = avg_time_remset_scan / remset_cards_scanned;
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   752
      _analytics->report_cost_per_remset_card_ms(cost_per_remset_card_ms, this_pause_was_young_only);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   753
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   754
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   755
    if (_rs_length > 0) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   756
      double cards_per_entry_ratio =
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   757
        (double) remset_cards_scanned / (double) _rs_length;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   758
      _analytics->report_cards_per_entry_ratio(cards_per_entry_ratio, this_pause_was_young_only);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   759
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   760
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   761
    // This is defensive. For a while _rs_length could get
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   762
    // smaller than _recorded_rs_length which was causing
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   763
    // rs_length_diff to get very large and mess up the RSet length
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   764
    // predictions. The reason was unsafe concurrent updates to the
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   765
    // _inc_cset_recorded_rs_length field which the code below guards
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   766
    // against (see CR 7118202). This bug has now been fixed (see CR
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   767
    // 7119027). However, I'm still worried that
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   768
    // _inc_cset_recorded_rs_length might still end up somewhat
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   769
    // inaccurate. The concurrent refinement thread calculates an
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   770
    // RSet's length concurrently with other CR threads updating it
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   771
    // which might cause it to calculate the length incorrectly (if,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   772
    // say, it's in mid-coarsening). So I'll leave in the defensive
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   773
    // conditional below just in case.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   774
    size_t rs_length_diff = 0;
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   775
    size_t recorded_rs_length = _collection_set->recorded_rs_length();
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   776
    if (_rs_length > recorded_rs_length) {
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   777
      rs_length_diff = _rs_length - recorded_rs_length;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   778
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   779
    _analytics->report_rs_length_diff((double) rs_length_diff);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   780
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   781
    size_t freed_bytes = heap_used_bytes_before_gc - cur_used_bytes;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   782
    size_t copied_bytes = _collection_set->bytes_used_before() - freed_bytes;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   783
    double cost_per_byte_ms = 0.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   784
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   785
    if (copied_bytes > 0) {
54465
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
   786
      cost_per_byte_ms = (average_time_ms(G1GCPhaseTimes::ObjCopy) + average_time_ms(G1GCPhaseTimes::OptObjCopy)) / (double) copied_bytes;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   787
      _analytics->report_cost_per_byte_ms(cost_per_byte_ms, collector_state()->mark_or_rebuild_in_progress());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   788
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   789
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   790
    if (_collection_set->young_region_length() > 0) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   791
      _analytics->report_young_other_cost_per_region_ms(young_other_time_ms() /
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   792
                                                        _collection_set->young_region_length());
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   793
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   794
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   795
    if (_collection_set->old_region_length() > 0) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   796
      _analytics->report_non_young_other_cost_per_region_ms(non_young_other_time_ms() /
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   797
                                                            _collection_set->old_region_length());
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   798
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   799
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   800
    _analytics->report_constant_other_time_ms(constant_other_time_ms(pause_time_ms));
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   801
49805
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   802
    // Do not update RS lengths and the number of pending cards with information from mixed gc:
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   803
    // these are is wildly different to during young only gc and mess up young gen sizing right
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   804
    // after the mixed gc phase.
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   805
    // During mixed gc we do not use them for young gen sizing.
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   806
    if (this_pause_was_young_only) {
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   807
      _analytics->report_pending_cards((double) _pending_cards_at_gc_start);
58797
f29ca6895893 8232777: Rename G1Policy::_max_rs_length as it is no maximum
tschatzl
parents: 58508
diff changeset
   808
      _analytics->report_rs_length((double) _rs_length);
49805
1ccbcd88f66c 8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents: 49664
diff changeset
   809
    }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   810
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   811
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   812
  assert(!(this_pause_included_initial_mark && collector_state()->mark_or_rebuild_in_progress()),
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   813
         "If the last pause has been an initial mark, we should not have been in the marking window");
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   814
  if (this_pause_included_initial_mark) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   815
    collector_state()->set_mark_or_rebuild_in_progress(true);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   816
  }
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   817
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   818
  _free_regions_at_end_of_collection = _g1h->num_free_regions();
52918
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   819
57663
bf8e76d86d05 8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents: 55724
diff changeset
   820
  update_rs_length_prediction();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   821
52918
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   822
  // Do not update dynamic IHOP due to G1 periodic collection as it is highly likely
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   823
  // that in this case we are not running in a "normal" operating mode.
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   824
  if (_g1h->gc_cause() != GCCause::_g1_periodic_collection) {
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   825
    // IHOP control wants to know the expected young gen length if it were not
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   826
    // restrained by the heap reserve. Using the actual length would make the
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   827
    // prediction too small and the limit the young gen every time we get to the
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   828
    // predicted target occupancy.
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   829
    size_t last_unrestrained_young_length = update_young_list_max_and_target_length();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   830
52918
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   831
    update_ihop_prediction(app_time_ms / 1000.0,
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   832
                           _bytes_allocated_in_old_since_last_gc,
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   833
                           last_unrestrained_young_length * HeapRegion::GrainBytes,
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   834
                           this_pause_was_young_only);
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   835
    _bytes_allocated_in_old_since_last_gc = 0;
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   836
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   837
    _ihop_control->send_trace_event(_g1h->gc_tracer_stw());
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   838
  } else {
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   839
    // Any garbage collection triggered as periodic collection resets the time-to-mixed
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   840
    // measurement. Periodic collection typically means that the application is "inactive", i.e.
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   841
    // the marking threads may have received an uncharacterisic amount of cpu time
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   842
    // for completing the marking, i.e. are faster than expected.
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   843
    // This skews the predicted marking length towards smaller values which might cause
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   844
    // the mark start being too late.
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   845
    _initial_mark_to_mixed.reset();
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
   846
  }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   847
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   848
  // Note that _mmu_tracker->max_gc_time() returns the time in seconds.
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   849
  double scan_logged_cards_time_goal_ms = _mmu_tracker->max_gc_time() * MILLIUNITS * G1RSetUpdatingPauseTimePercent / 100.0;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   850
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   851
  if (scan_logged_cards_time_goal_ms < scan_hcc_time_ms) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   852
    log_debug(gc, ergo, refine)("Adjust concurrent refinement thresholds (scanning the HCC expected to take longer than Update RS time goal)."
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   853
                                "Logged Cards Scan time goal: %1.2fms Scan HCC time: %1.2fms",
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   854
                                scan_logged_cards_time_goal_ms, scan_hcc_time_ms);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   855
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   856
    scan_logged_cards_time_goal_ms = 0;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   857
  } else {
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   858
    scan_logged_cards_time_goal_ms -= scan_hcc_time_ms;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   859
  }
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   860
58508
d6058bd73982 8231153: Improve concurrent refinement statistics
kbarrett
parents: 57953
diff changeset
   861
  _pending_cards_at_prev_gc_end = _g1h->pending_card_num();
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   862
  double const logged_cards_time = logged_cards_processing_time();
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   863
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   864
  log_debug(gc, ergo, refine)("Concurrent refinement times: Logged Cards Scan time goal: %1.2fms Logged Cards Scan time: %1.2fms HCC time: %1.2fms",
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   865
                              scan_logged_cards_time_goal_ms, logged_cards_time, scan_hcc_time_ms);
55510
3e31a8beaae4 8213108: Improve work distribution during remembered set scan
tschatzl
parents: 54726
diff changeset
   866
57953
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   867
  _g1h->concurrent_refine()->adjust(logged_cards_time,
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   868
                                    phase_times()->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards),
d78c910f9069 8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents: 57663
diff changeset
   869
                                    scan_logged_cards_time_goal_ms);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   870
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   871
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   872
G1IHOPControl* G1Policy::create_ihop_control(const G1Predictions* predictor){
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   873
  if (G1UseAdaptiveIHOP) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   874
    return new G1AdaptiveIHOPControl(InitiatingHeapOccupancyPercent,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   875
                                     predictor,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   876
                                     G1ReservePercent,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   877
                                     G1HeapWastePercent);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   878
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   879
    return new G1StaticIHOPControl(InitiatingHeapOccupancyPercent);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   880
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   881
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   882
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   883
void G1Policy::update_ihop_prediction(double mutator_time_s,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   884
                                      size_t mutator_alloc_bytes,
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   885
                                      size_t young_gen_size,
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   886
                                      bool this_gc_was_young_only) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   887
  // Always try to update IHOP prediction. Even evacuation failures give information
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   888
  // about e.g. whether to start IHOP earlier next time.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   889
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   890
  // Avoid using really small application times that might create samples with
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   891
  // very high or very low values. They may be caused by e.g. back-to-back gcs.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   892
  double const min_valid_time = 1e-6;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   893
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   894
  bool report = false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   895
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   896
  double marking_to_mixed_time = -1.0;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   897
  if (!this_gc_was_young_only && _initial_mark_to_mixed.has_result()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   898
    marking_to_mixed_time = _initial_mark_to_mixed.last_marking_time();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   899
    assert(marking_to_mixed_time > 0.0,
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   900
           "Initial mark to mixed time must be larger than zero but is %.3f",
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   901
           marking_to_mixed_time);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   902
    if (marking_to_mixed_time > min_valid_time) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   903
      _ihop_control->update_marking_length(marking_to_mixed_time);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   904
      report = true;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   905
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   906
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   907
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   908
  // As an approximation for the young gc promotion rates during marking we use
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   909
  // all of them. In many applications there are only a few if any young gcs during
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   910
  // marking, which makes any prediction useless. This increases the accuracy of the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   911
  // prediction.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   912
  if (this_gc_was_young_only && mutator_time_s > min_valid_time) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   913
    _ihop_control->update_allocation_info(mutator_time_s, mutator_alloc_bytes, young_gen_size);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   914
    report = true;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   915
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   916
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   917
  if (report) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   918
    report_ihop_statistics();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   919
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   920
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   921
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   922
void G1Policy::report_ihop_statistics() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   923
  _ihop_control->print();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   924
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   925
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   926
void G1Policy::print_phases() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   927
  phase_times()->print();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   928
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   929
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   930
double G1Policy::predict_yg_surv_rate(int age, SurvRateGroup* surv_rate_group) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   931
  TruncatedSeq* seq = surv_rate_group->get_seq(age);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   932
  guarantee(seq->num() > 0, "There should be some young gen survivor samples available. Tried to access with age %d", age);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   933
  double pred = _predictor.get_new_prediction(seq);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   934
  if (pred > 1.0) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   935
    pred = 1.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   936
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   937
  return pred;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   938
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   939
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   940
double G1Policy::accum_yg_surv_rate_pred(int age) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   941
  return _short_lived_surv_rate_group->accum_surv_rate_pred(age);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   942
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   943
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   944
double G1Policy::predict_base_elapsed_time_ms(size_t pending_cards,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   945
                                              size_t scanned_cards) const {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   946
  return
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   947
    _analytics->predict_rs_update_time_ms(pending_cards) +
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   948
    _analytics->predict_rs_scan_time_ms(scanned_cards, collector_state()->in_young_only_phase()) +
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   949
    _analytics->predict_constant_other_time_ms();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   950
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   951
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   952
double G1Policy::predict_base_elapsed_time_ms(size_t pending_cards) const {
58798
08e78887ff96 8232776: G1 should always take rs_length_diff into account when predicting rs_lengths
tschatzl
parents: 58797
diff changeset
   953
  size_t rs_length = _analytics->predict_rs_length();
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   954
  size_t card_num = _analytics->predict_card_num(rs_length, collector_state()->in_young_only_phase());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   955
  return predict_base_elapsed_time_ms(pending_cards, card_num);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   956
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   957
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   958
size_t G1Policy::predict_bytes_to_copy(HeapRegion* hr) const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   959
  size_t bytes_to_copy;
50441
523c2a73a3dc 8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents: 49911
diff changeset
   960
  if (!hr->is_young()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   961
    bytes_to_copy = hr->max_live_bytes();
50441
523c2a73a3dc 8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents: 49911
diff changeset
   962
  } else {
523c2a73a3dc 8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents: 49911
diff changeset
   963
    assert(hr->age_in_surv_rate_group() != -1, "invariant");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   964
    int age = hr->age_in_surv_rate_group();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   965
    double yg_surv_rate = predict_yg_surv_rate(age, hr->surv_rate_group());
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   966
    bytes_to_copy = (size_t) (hr->used() * yg_surv_rate);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   967
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   968
  return bytes_to_copy;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   969
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   970
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   971
double G1Policy::predict_region_elapsed_time_ms(HeapRegion* hr,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   972
                                                bool for_young_gc) const {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   973
  size_t rs_length = hr->rem_set()->occupied();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   974
  // Predicting the number of cards is based on which type of GC
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   975
  // we're predicting for.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   976
  size_t card_num = _analytics->predict_card_num(rs_length, for_young_gc);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   977
  size_t bytes_to_copy = predict_bytes_to_copy(hr);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   978
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   979
  double region_elapsed_time_ms =
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   980
    _analytics->predict_rs_scan_time_ms(card_num, collector_state()->in_young_only_phase()) +
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
   981
    _analytics->predict_object_copy_time_ms(bytes_to_copy, collector_state()->mark_or_rebuild_in_progress());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   982
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   983
  // The prediction of the "other" time for this region is based
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   984
  // upon the region type and NOT the GC type.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   985
  if (hr->is_young()) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   986
    region_elapsed_time_ms += _analytics->predict_young_other_time_ms(1);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   987
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   988
    region_elapsed_time_ms += _analytics->predict_non_young_other_time_ms(1);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   989
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   990
  return region_elapsed_time_ms;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   991
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   992
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   993
bool G1Policy::should_allocate_mutator_region() const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
   994
  uint young_list_length = _g1h->young_regions_count();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   995
  uint young_list_target_length = _young_list_target_length;
38106
da14ba2f0cd9 8155082: Refactor mutator region restriction
sjohanss
parents: 38105
diff changeset
   996
  return young_list_length < young_list_target_length;
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   997
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
   998
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
   999
bool G1Policy::can_expand_young_list() const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
  1000
  uint young_list_length = _g1h->young_regions_count();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1001
  uint young_list_max_length = _young_list_max_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1002
  return young_list_length < young_list_max_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1003
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1004
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
  1005
bool G1Policy::use_adaptive_young_list_length() const {
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
  1006
  return _young_gen_sizer->use_adaptive_young_list_length();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1007
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1008
52975
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1009
size_t G1Policy::desired_survivor_size(uint max_regions) const {
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1010
  size_t const survivor_capacity = HeapRegion::GrainWords * max_regions;
40914
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1011
  return (size_t)((((double)survivor_capacity) * TargetSurvivorRatio) / 100);
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1012
}
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1013
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1014
void G1Policy::print_age_table() {
40914
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1015
  _survivors_age_table.print_age_table(_tenuring_threshold);
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1016
}
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1017
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1018
void G1Policy::update_max_gc_locker_expansion() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1019
  uint expansion_region_num = 0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1020
  if (GCLockerEdenExpansionPercent > 0) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1021
    double perc = (double) GCLockerEdenExpansionPercent / 100.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1022
    double expansion_region_num_d = perc * (double) _young_list_target_length;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1023
    // We use ceiling so that if expansion_region_num_d is > 0.0 (but
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1024
    // less than 1.0) we'll get 1.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1025
    expansion_region_num = (uint) ceil(expansion_region_num_d);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1026
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1027
    assert(expansion_region_num == 0, "sanity");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1028
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1029
  _young_list_max_length = _young_list_target_length + expansion_region_num;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1030
  assert(_young_list_target_length <= _young_list_max_length, "post-condition");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1031
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1032
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1033
// Calculates survivor space parameters.
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1034
void G1Policy::update_survivors_policy() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1035
  double max_survivor_regions_d =
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1036
                 (double) _young_list_target_length / (double) SurvivorRatio;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1037
52975
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1038
  // Calculate desired survivor size based on desired max survivor regions (unconstrained
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1039
  // by remaining heap). Otherwise we may cause undesired promotions as we are
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1040
  // already getting close to end of the heap, impacting performance even more.
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1041
  uint const desired_max_survivor_regions = ceil(max_survivor_regions_d);
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1042
  size_t const survivor_size = desired_survivor_size(desired_max_survivor_regions);
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1043
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1044
  _tenuring_threshold = _survivors_age_table.compute_tenuring_threshold(survivor_size);
40914
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1045
  if (UsePerfData) {
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1046
    _policy_counters->tenuring_threshold()->set_value(_tenuring_threshold);
52975
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1047
    _policy_counters->desired_survivor_size()->set_value(survivor_size * oopSize);
40914
90c87069b39c 8164936: G1 age table printout contains contents from previous GC
tschatzl
parents: 40523
diff changeset
  1048
  }
52975
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1049
  // The real maximum survivor size is bounded by the number of regions that can
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1050
  // be allocated into.
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1051
  _max_survivor_regions = MIN2(desired_max_survivor_regions,
35e2bbea78b2 8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents: 52918
diff changeset
  1052
                               _g1h->num_free_or_available_regions());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1053
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1054
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1055
bool G1Policy::force_initial_mark_if_outside_cycle(GCCause::Cause gc_cause) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1056
  // We actually check whether we are marking here and not if we are in a
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1057
  // reclamation phase. This means that we will schedule a concurrent mark
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1058
  // even while we are still in the process of reclaiming memory.
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
  1059
  bool during_cycle = _g1h->concurrent_mark()->cm_thread()->during_cycle();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1060
  if (!during_cycle) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1061
    log_debug(gc, ergo)("Request concurrent cycle initiation (requested by GC cause). GC cause: %s", GCCause::to_string(gc_cause));
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1062
    collector_state()->set_initiate_conc_mark_if_possible(true);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1063
    return true;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1064
  } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1065
    log_debug(gc, ergo)("Do not request concurrent cycle initiation (concurrent cycle already in progress). GC cause: %s", GCCause::to_string(gc_cause));
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1066
    return false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1067
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1068
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1069
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1070
void G1Policy::initiate_conc_mark() {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1071
  collector_state()->set_in_initial_mark_gc(true);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1072
  collector_state()->set_initiate_conc_mark_if_possible(false);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1073
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1074
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1075
void G1Policy::decide_on_conc_mark_initiation() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1076
  // We are about to decide on whether this pause will be an
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1077
  // initial-mark pause.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1078
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1079
  // First, collector_state()->in_initial_mark_gc() should not be already set. We
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1080
  // will set it here if we have to. However, it should be cleared by
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1081
  // the end of the pause (it's only set for the duration of an
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1082
  // initial-mark pause).
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1083
  assert(!collector_state()->in_initial_mark_gc(), "pre-condition");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1084
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1085
  if (collector_state()->initiate_conc_mark_if_possible()) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1086
    // We had noticed on a previous pause that the heap occupancy has
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1087
    // gone over the initiating threshold and we should start a
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1088
    // concurrent marking cycle. So we might initiate one.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1089
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1090
    if (!about_to_start_mixed_phase() && collector_state()->in_young_only_phase()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1091
      // Initiate a new initial mark if there is no marking or reclamation going on.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1092
      initiate_conc_mark();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1093
      log_debug(gc, ergo)("Initiate concurrent cycle (concurrent cycle initiation requested)");
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
  1094
    } else if (_g1h->is_user_requested_concurrent_full_gc(_g1h->gc_cause())) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1095
      // Initiate a user requested initial mark. An initial mark must be young only
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1096
      // GC, so the collector state must be updated to reflect this.
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1097
      collector_state()->set_in_young_only_phase(true);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1098
      collector_state()->set_in_young_gc_before_mixed(false);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1099
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1100
      // We might have ended up coming here about to start a mixed phase with a collection set
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1101
      // active. The following remark might change the change the "evacuation efficiency" of
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1102
      // the regions in this set, leading to failing asserts later.
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1103
      // Since the concurrent cycle will recreate the collection set anyway, simply drop it here.
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1104
      clear_collection_set_candidates();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1105
      abort_time_to_mixed_tracking();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1106
      initiate_conc_mark();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1107
      log_debug(gc, ergo)("Initiate concurrent cycle (user requested concurrent cycle)");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1108
    } else {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1109
      // The concurrent marking thread is still finishing up the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1110
      // previous cycle. If we start one right now the two cycles
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1111
      // overlap. In particular, the concurrent marking thread might
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1112
      // be in the process of clearing the next marking bitmap (which
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1113
      // we will use for the next cycle if we start one). Starting a
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1114
      // cycle now will be bad given that parts of the marking
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1115
      // information might get cleared by the marking thread. And we
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1116
      // cannot wait for the marking thread to finish the cycle as it
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1117
      // periodically yields while clearing the next marking bitmap
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1118
      // and, if it's in a yield point, it's waiting for us to
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1119
      // finish. So, at this point we will not start a cycle and we'll
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1120
      // let the concurrent marking thread complete the last one.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1121
      log_debug(gc, ergo)("Do not initiate concurrent cycle (concurrent cycle already in progress)");
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1122
    }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1123
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1124
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1125
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1126
void G1Policy::record_concurrent_mark_cleanup_end() {
53704
ef72c85a0534 8217328: Rename CollectionSetChooser to G1CollectionSetChooser
tschatzl
parents: 53703
diff changeset
  1127
  G1CollectionSetCandidates* candidates = G1CollectionSetChooser::build(_g1h->workers(), _g1h->num_regions());
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1128
  _collection_set->set_candidates(candidates);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1129
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1130
  bool mixed_gc_pending = next_gc_should_be_mixed("request mixed gcs", "request young-only gcs");
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1131
  if (!mixed_gc_pending) {
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1132
    clear_collection_set_candidates();
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1133
    abort_time_to_mixed_tracking();
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1134
  }
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1135
  collector_state()->set_in_young_gc_before_mixed(mixed_gc_pending);
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1136
  collector_state()->set_mark_or_rebuild_in_progress(false);
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1137
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1138
  double end_sec = os::elapsedTime();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1139
  double elapsed_time_ms = (end_sec - _mark_cleanup_start_sec) * 1000.0;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1140
  _analytics->report_concurrent_mark_cleanup_times_ms(elapsed_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1141
  _analytics->append_prev_collection_pause_end_ms(elapsed_time_ms);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1142
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1143
  record_pause(Cleanup, _mark_cleanup_start_sec, end_sec);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1144
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1145
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1146
double G1Policy::reclaimable_bytes_percent(size_t reclaimable_bytes) const {
49806
2d62570a615c 8200426: Make G1 code use _g1h members
tschatzl
parents: 49805
diff changeset
  1147
  return percent_of(reclaimable_bytes, _g1h->capacity());
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1148
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1149
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1150
class G1ClearCollectionSetCandidateRemSets : public HeapRegionClosure {
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1151
  virtual bool do_heap_region(HeapRegion* r) {
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1152
    r->rem_set()->clear_locked(true /* only_cardset */);
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1153
    return false;
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1154
  }
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1155
};
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1156
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1157
void G1Policy::clear_collection_set_candidates() {
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1158
  // Clear remembered sets of remaining candidate regions and the actual candidate
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1159
  // set.
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1160
  G1ClearCollectionSetCandidateRemSets cl;
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1161
  _collection_set->candidates()->iterate(&cl);
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1162
  _collection_set->clear_candidates();
49607
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1163
}
acffe6ff3ae7 8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents: 49412
diff changeset
  1164
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1165
void G1Policy::maybe_start_marking() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1166
  if (need_to_start_conc_mark("end of GC")) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1167
    // Note: this might have already been set, if during the last
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1168
    // pause we decided to start a cycle but at the beginning of
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1169
    // this pause we decided to postpone it. That's OK.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1170
    collector_state()->set_initiate_conc_mark_if_possible(true);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1171
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1172
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1173
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1174
G1Policy::PauseKind G1Policy::young_gc_pause_kind() const {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1175
  assert(!collector_state()->in_full_gc(), "must be");
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1176
  if (collector_state()->in_initial_mark_gc()) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1177
    assert(!collector_state()->in_young_gc_before_mixed(), "must be");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1178
    return InitialMarkGC;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1179
  } else if (collector_state()->in_young_gc_before_mixed()) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1180
    assert(!collector_state()->in_initial_mark_gc(), "must be");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1181
    return LastYoungGC;
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1182
  } else if (collector_state()->in_mixed_phase()) {
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1183
    assert(!collector_state()->in_initial_mark_gc(), "must be");
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1184
    assert(!collector_state()->in_young_gc_before_mixed(), "must be");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1185
    return MixedGC;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1186
  } else {
49643
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1187
    assert(!collector_state()->in_initial_mark_gc(), "must be");
a3453bbd5418 8199742: Clean up state flags in G1CollectorState
tschatzl
parents: 49632
diff changeset
  1188
    assert(!collector_state()->in_young_gc_before_mixed(), "must be");
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1189
    return YoungOnlyGC;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1190
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1191
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1192
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1193
void G1Policy::record_pause(PauseKind kind, double start, double end) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1194
  // Manage the MMU tracker. For some reason it ignores Full GCs.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1195
  if (kind != FullGC) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1196
    _mmu_tracker->add_pause(start, end);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1197
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1198
  // Manage the mutator time tracking from initial mark to first mixed gc.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1199
  switch (kind) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1200
    case FullGC:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1201
      abort_time_to_mixed_tracking();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1202
      break;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1203
    case Cleanup:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1204
    case Remark:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1205
    case YoungOnlyGC:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1206
    case LastYoungGC:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1207
      _initial_mark_to_mixed.add_pause(end - start);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1208
      break;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1209
    case InitialMarkGC:
52918
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
  1210
      if (_g1h->gc_cause() != GCCause::_g1_periodic_collection) {
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
  1211
        _initial_mark_to_mixed.record_initial_mark_end(end);
f94c7929a44b 8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents: 51332
diff changeset
  1212
      }
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1213
      break;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1214
    case MixedGC:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1215
      _initial_mark_to_mixed.record_mixed_gc_start(start);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1216
      break;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1217
    default:
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1218
      ShouldNotReachHere();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1219
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1220
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1221
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1222
void G1Policy::abort_time_to_mixed_tracking() {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1223
  _initial_mark_to_mixed.reset();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1224
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1225
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1226
bool G1Policy::next_gc_should_be_mixed(const char* true_action_str,
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1227
                                       const char* false_action_str) const {
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1228
  G1CollectionSetCandidates* candidates = _collection_set->candidates();
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1229
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1230
  if (candidates->is_empty()) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1231
    log_debug(gc, ergo)("%s (candidate old regions not available)", false_action_str);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1232
    return false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1233
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1234
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1235
  // Is the amount of uncollected reclaimable space above G1HeapWastePercent?
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1236
  size_t reclaimable_bytes = candidates->remaining_reclaimable_bytes();
47681
149745044e48 8189729: Change _perc suffixes in identifiers to _percent
tschatzl
parents: 47679
diff changeset
  1237
  double reclaimable_percent = reclaimable_bytes_percent(reclaimable_bytes);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1238
  double threshold = (double) G1HeapWastePercent;
47681
149745044e48 8189729: Change _perc suffixes in identifiers to _percent
tschatzl
parents: 47679
diff changeset
  1239
  if (reclaimable_percent <= threshold) {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1240
    log_debug(gc, ergo)("%s (reclaimable percentage not over threshold). candidate old regions: %u reclaimable: " SIZE_FORMAT " (%1.2f) threshold: " UINTX_FORMAT,
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1241
                        false_action_str, candidates->num_remaining(), reclaimable_bytes, reclaimable_percent, G1HeapWastePercent);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1242
    return false;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1243
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1244
  log_debug(gc, ergo)("%s (candidate old regions available). candidate old regions: %u reclaimable: " SIZE_FORMAT " (%1.2f) threshold: " UINTX_FORMAT,
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1245
                      true_action_str, candidates->num_remaining(), reclaimable_bytes, reclaimable_percent, G1HeapWastePercent);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1246
  return true;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1247
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1248
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1249
uint G1Policy::calc_min_old_cset_length() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1250
  // The min old CSet region bound is based on the maximum desired
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1251
  // number of mixed GCs after a cycle. I.e., even if some old regions
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1252
  // look expensive, we should add them to the CSet anyway to make
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1253
  // sure we go through the available old regions in no more than the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1254
  // maximum desired number of mixed GCs.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1255
  //
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1256
  // The calculation is based on the number of marked regions we added
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1257
  // to the CSet candidates in the first place, not how many remain, so
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1258
  // that the result is the same during all mixed GCs that follow a cycle.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1259
53703
24341625d8f2 8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents: 53116
diff changeset
  1260
  const size_t region_num = _collection_set->candidates()->num_regions();
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1261
  const size_t gc_num = (size_t) MAX2(G1MixedGCCountTarget, (uintx) 1);
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1262
  size_t result = region_num / gc_num;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1263
  // emulate ceiling
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1264
  if (result * gc_num < region_num) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1265
    result += 1;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1266
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1267
  return (uint) result;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1268
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1269
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1270
uint G1Policy::calc_max_old_cset_length() const {
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1271
  // The max old CSet region bound is based on the threshold expressed
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1272
  // as a percentage of the heap size. I.e., it should bound the
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1273
  // number of old regions added to the CSet irrespective of how many
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1274
  // of them are available.
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1275
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1276
  const G1CollectedHeap* g1h = G1CollectedHeap::heap();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1277
  const size_t region_num = g1h->num_regions();
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1278
  const size_t perc = (size_t) G1OldCSetRegionThresholdPercent;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1279
  size_t result = region_num * perc / 100;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1280
  // emulate ceiling
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1281
  if (100 * result < region_num * perc) {
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1282
    result += 1;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1283
  }
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1284
  return (uint) result;
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1285
}
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1286
54465
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1287
void G1Policy::calculate_old_collection_set_regions(G1CollectionSetCandidates* candidates,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1288
                                                    double time_remaining_ms,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1289
                                                    uint& num_initial_regions,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1290
                                                    uint& num_optional_regions) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1291
  assert(candidates != NULL, "Must be");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1292
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1293
  num_initial_regions = 0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1294
  num_optional_regions = 0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1295
  uint num_expensive_regions = 0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1296
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1297
  double predicted_old_time_ms = 0.0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1298
  double predicted_initial_time_ms = 0.0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1299
  double predicted_optional_time_ms = 0.0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1300
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1301
  double optional_threshold_ms = time_remaining_ms * optional_prediction_fraction();
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1302
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1303
  const uint min_old_cset_length = calc_min_old_cset_length();
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1304
  const uint max_old_cset_length = MAX2(min_old_cset_length, calc_max_old_cset_length());
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1305
  const uint max_optional_regions = max_old_cset_length - min_old_cset_length;
54466
58751415d5f8 8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents: 54465
diff changeset
  1306
  bool check_time_remaining = use_adaptive_young_list_length();
54465
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1307
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1308
  uint candidate_idx = candidates->cur_idx();
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1309
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1310
  log_debug(gc, ergo, cset)("Start adding old regions to collection set. Min %u regions, max %u regions, "
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1311
                            "time remaining %1.2fms, optional threshold %1.2fms",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1312
                            min_old_cset_length, max_old_cset_length, time_remaining_ms, optional_threshold_ms);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1313
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1314
  HeapRegion* hr = candidates->at(candidate_idx);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1315
  while (hr != NULL) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1316
    if (num_initial_regions + num_optional_regions >= max_old_cset_length) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1317
      // Added maximum number of old regions to the CSet.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1318
      log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Maximum number of regions). "
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1319
                                "Initial %u regions, optional %u regions",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1320
                                num_initial_regions, num_optional_regions);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1321
      break;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1322
    }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1323
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1324
    // Stop adding regions if the remaining reclaimable space is
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1325
    // not above G1HeapWastePercent.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1326
    size_t reclaimable_bytes = candidates->remaining_reclaimable_bytes();
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1327
    double reclaimable_percent = reclaimable_bytes_percent(reclaimable_bytes);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1328
    double threshold = (double) G1HeapWastePercent;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1329
    if (reclaimable_percent <= threshold) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1330
      // We've added enough old regions that the amount of uncollected
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1331
      // reclaimable space is at or below the waste threshold. Stop
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1332
      // adding old regions to the CSet.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1333
      log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Reclaimable percentage below threshold). "
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1334
                                "Reclaimable: " SIZE_FORMAT "%s (%1.2f%%) threshold: " UINTX_FORMAT "%%",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1335
                                byte_size_in_proper_unit(reclaimable_bytes), proper_unit_for_byte_size(reclaimable_bytes),
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1336
                                reclaimable_percent, G1HeapWastePercent);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1337
      break;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1338
    }
54262
1f9ad92e337b 8219100: Improve do_collection_pause_at_safepoint
tschatzl
parents: 53987
diff changeset
  1339
54465
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1340
    double predicted_time_ms = predict_region_elapsed_time_ms(hr, false);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1341
    time_remaining_ms = MAX2(time_remaining_ms - predicted_time_ms, 0.0);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1342
    // Add regions to old set until we reach the minimum amount
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1343
    if (num_initial_regions < min_old_cset_length) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1344
      predicted_old_time_ms += predicted_time_ms;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1345
      num_initial_regions++;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1346
      // Record the number of regions added with no time remaining
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1347
      if (time_remaining_ms == 0.0) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1348
        num_expensive_regions++;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1349
      }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1350
    } else if (!check_time_remaining) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1351
      // In the non-auto-tuning case, we'll finish adding regions
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1352
      // to the CSet if we reach the minimum.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1353
      log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Region amount reached min).");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1354
      break;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1355
    } else {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1356
      // Keep adding regions to old set until we reach the optional threshold
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1357
      if (time_remaining_ms > optional_threshold_ms) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1358
        predicted_old_time_ms += predicted_time_ms;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1359
        num_initial_regions++;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1360
      } else if (time_remaining_ms > 0) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1361
        // Keep adding optional regions until time is up.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1362
        assert(num_optional_regions < max_optional_regions, "Should not be possible.");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1363
        predicted_optional_time_ms += predicted_time_ms;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1364
        num_optional_regions++;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1365
      } else {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1366
        log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Predicted time too high).");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1367
        break;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1368
      }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1369
    }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1370
    hr = candidates->at(++candidate_idx);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1371
  }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1372
  if (hr == NULL) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1373
    log_debug(gc, ergo, cset)("Old candidate collection set empty.");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1374
  }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1375
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1376
  if (num_expensive_regions > 0) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1377
    log_debug(gc, ergo, cset)("Added %u initial old regions to collection set although the predicted time was too high.",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1378
                              num_expensive_regions);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1379
  }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1380
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1381
  log_debug(gc, ergo, cset)("Finish choosing collection set old regions. Initial: %u, optional: %u, "
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1382
                            "predicted old time: %1.2fms, predicted optional time: %1.2fms, time remaining: %1.2f",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1383
                            num_initial_regions, num_optional_regions,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1384
                            predicted_initial_time_ms, predicted_optional_time_ms, time_remaining_ms);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1385
}
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1386
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1387
void G1Policy::calculate_optional_collection_set_regions(G1CollectionSetCandidates* candidates,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1388
                                                         uint const max_optional_regions,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1389
                                                         double time_remaining_ms,
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1390
                                                         uint& num_optional_regions) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1391
  assert(_g1h->collector_state()->in_mixed_phase(), "Should only be called in mixed phase");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1392
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1393
  num_optional_regions = 0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1394
  double prediction_ms = 0;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1395
  uint candidate_idx = candidates->cur_idx();
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1396
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1397
  HeapRegion* r = candidates->at(candidate_idx);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1398
  while (num_optional_regions < max_optional_regions) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1399
    assert(r != NULL, "Region must exist");
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1400
    prediction_ms += predict_region_elapsed_time_ms(r, false);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1401
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1402
    if (prediction_ms > time_remaining_ms) {
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1403
      log_debug(gc, ergo, cset)("Prediction %.3fms for region %u does not fit remaining time: %.3fms.",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1404
                                prediction_ms, r->hrm_index(), time_remaining_ms);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1405
      break;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1406
    }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1407
    // This region will be included in the next optional evacuation.
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1408
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1409
    time_remaining_ms -= prediction_ms;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1410
    num_optional_regions++;
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1411
    r = candidates->at(++candidate_idx);
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1412
  }
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1413
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1414
  log_debug(gc, ergo, cset)("Prepared %u regions out of %u for optional evacuation. Predicted time: %.3fms",
c4f16445675a 8218668: Clean up evacuation of optional collection set
tschatzl
parents: 54262
diff changeset
  1415
                            num_optional_regions, max_optional_regions, prediction_ms);
38076
581ddcff38d9 8154753: Turn G1Policy into an interface
ehelin
parents:
diff changeset
  1416
}
38183
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1417
49375
9453739cb5b0 8197852: Move G1DefaultPolicy into G1Policy
ehelin
parents: 48117
diff changeset
  1418
void G1Policy::transfer_survivors_to_cset(const G1SurvivorRegions* survivors) {
38183
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1419
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1420
  // Add survivor regions to SurvRateGroup.
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1421
  note_start_adding_survivor_regions();
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1422
  finished_recalculating_age_indexes(true /* is_survivors */);
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1423
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1424
  HeapRegion* last = NULL;
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1425
  for (GrowableArrayIterator<HeapRegion*> it = survivors->regions()->begin();
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1426
       it != survivors->regions()->end();
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1427
       ++it) {
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1428
    HeapRegion* curr = *it;
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1429
    set_region_survivor(curr);
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1430
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1431
    // The region is a non-empty survivor so let's add it to
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1432
    // the incremental collection set for the next evacuation
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1433
    // pause.
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1434
    _collection_set->add_survivor_regions(curr);
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1435
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1436
    last = curr;
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1437
  }
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1438
  note_stop_adding_survivor_regions();
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1439
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1440
  // Don't clear the survivor list handles until the start of
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1441
  // the next evacuation pause - we need it in order to re-tag
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1442
  // the survivor regions from this evacuation pause as 'young'
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1443
  // at the start of the next.
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1444
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1445
  finished_recalculating_age_indexes(false /* is_survivors */);
cb68e4923223 8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents: 38172
diff changeset
  1446
}