src/hotspot/share/gc/g1/g1ParScanThreadState.hpp
author zgu
Fri, 03 Aug 2018 11:06:10 +0200
changeset 51292 0538a5cdb474
parent 49911 358be4680d12
child 52348 21fdf8d9a8b6
permissions -rw-r--r--
8205921: Optimizing best-of-2 work stealing queue selection Summary: Bias towards stealing from queues that we recently successfully stole from to decrease the number of unsuccessful steal attempts. Reviewed-by: eosterlund, kbarrett Contributed-by: Zhengyu Gu <zgu@redhat.com>, Thomas Schatzl <thomas.schatzl@oracle.com>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     1
/*
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
     2
 * Copyright (c) 2014, 2018, Oracle and/or its affiliates. All rights reserved.
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     4
 *
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     7
 * published by the Free Software Foundation.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     8
 *
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    13
 * accompanied this code).
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    14
 *
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    18
 *
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    21
 * questions.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    22
 *
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    23
 */
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    24
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    25
#ifndef SHARE_VM_GC_G1_G1PARSCANTHREADSTATE_HPP
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    26
#define SHARE_VM_GC_G1_G1PARSCANTHREADSTATE_HPP
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    27
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    28
#include "gc/g1/dirtyCardQueue.hpp"
49347
edb65305d3ac 8195148: Collapse G1SATBCardTableModRefBS and G1SATBCardTableLoggingModRefBS into a single G1BarrierSet
eosterlund
parents: 49323
diff changeset
    29
#include "gc/g1/g1CardTable.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    30
#include "gc/g1/g1CollectedHeap.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    31
#include "gc/g1/g1OopClosures.hpp"
37985
539c597ee0fa 8154154: Separate G1 specific policy code from the CollectorPolicy class hierarchy
mgerdin
parents: 36369
diff changeset
    32
#include "gc/g1/g1Policy.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    33
#include "gc/g1/g1RemSet.hpp"
49633
29ad59abc54a 8197928: Only enqueue deferred cards with references into regions that have a tracked remembered set during GC
tschatzl
parents: 49347
diff changeset
    34
#include "gc/g1/heapRegionRemSet.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
    35
#include "gc/shared/ageTable.hpp"
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    36
#include "memory/allocation.hpp"
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    37
#include "oops/oop.hpp"
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    38
#include "utilities/ticks.hpp"
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    39
32378
8dd0e7359751 8133470: Uses of Atomic methods in plab.hpp should be moved to .inline.hpp file
tschatzl
parents: 32377
diff changeset
    40
class G1PLABAllocator;
33213
b937f634f56e 8138762: Refactor setup of evacuation closures in G1
mgerdin
parents: 33105
diff changeset
    41
class G1EvacuationRootClosures;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    42
class HeapRegion;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    43
class outputStream;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    44
32381
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
    45
class G1ParScanThreadState : public CHeapObj<mtGC> {
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    46
  G1CollectedHeap* _g1h;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    47
  RefToScanQueue*  _refs;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    48
  DirtyCardQueue   _dcq;
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
    49
  G1CardTable*     _ct;
33213
b937f634f56e 8138762: Refactor setup of evacuation closures in G1
mgerdin
parents: 33105
diff changeset
    50
  G1EvacuationRootClosures* _closures;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    51
32185
49a57ff2c3cb 8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents: 31976
diff changeset
    52
  G1PLABAllocator*  _plab_allocator;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    53
35492
c8c0273e6b91 8146690: Make all classes in GC follow the naming convention.
david
parents: 35051
diff changeset
    54
  AgeTable          _age_table;
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    55
  InCSetState       _dest[InCSetState::Num];
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    56
  // Local tenuring threshold.
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    57
  uint              _tenuring_threshold;
46572
fef0d64b2263 8175554: Improve G1UpdateRSOrPushRefClosure
tschatzl
parents: 46571
diff changeset
    58
  G1ScanEvacuatedObjClosure  _scanner;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    59
32187
0891f3fa84fc 8133047: Rename G1ParScanThreadState::_queue_num to _worker_id
tschatzl
parents: 32186
diff changeset
    60
  uint _worker_id;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    61
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    62
  // Upper and lower threshold to start and end work queue draining.
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    63
  uint const _stack_trim_upper_threshold;
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    64
  uint const _stack_trim_lower_threshold;
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    65
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    66
  Tickspan _trim_ticks;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    67
  // Map from young-age-index (0 == not young, 1 is youngest) to
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    68
  // surviving words. base is what we get back from the malloc call
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    69
  size_t* _surviving_young_words_base;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    70
  // this points into the array, as we use the first few entries for padding
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    71
  size_t* _surviving_young_words;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    72
32377
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
    73
  // Indicates whether in the last generation (old) there is no more space
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
    74
  // available for allocation.
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
    75
  bool _old_gen_is_full;
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
    76
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    77
#define PADDING_ELEM_NUM (DEFAULT_CACHE_LINE_SIZE / sizeof(size_t))
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    78
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    79
  DirtyCardQueue& dirty_card_queue()             { return _dcq;  }
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
    80
  G1CardTable* ct()                              { return _ct; }
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    81
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    82
  InCSetState dest(InCSetState original) const {
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    83
    assert(original.is_valid(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32737
diff changeset
    84
           "Original state invalid: " CSETSTATE_FORMAT, original.value());
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    85
    assert(_dest[original.value()].is_valid_gen(),
33105
294e48b4f704 8080775: Better argument formatting for assert() and friends
david
parents: 32737
diff changeset
    86
           "Dest state is invalid: " CSETSTATE_FORMAT, _dest[original.value()].value());
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    87
    return _dest[original.value()];
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    88
  }
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
    89
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
    90
public:
32737
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
    91
  G1ParScanThreadState(G1CollectedHeap* g1h, uint worker_id, size_t young_cset_length);
34131
d5fc001452bb 8139883: Add virtual destructor G1ParScanThreadState
ehelin
parents: 33224
diff changeset
    92
  virtual ~G1ParScanThreadState();
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    93
49827
a4672513d6e3 8201646: Introduce ReferenceDiscoverer interface
pliden
parents: 49744
diff changeset
    94
  void set_ref_discoverer(ReferenceDiscoverer* rd) { _scanner.set_ref_discoverer(rd); }
32381
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
    95
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    96
#ifdef ASSERT
25483
962ccf95c515 8035401: Fix visibility of G1ParScanThreadState members
tschatzl
parents: 25482
diff changeset
    97
  bool queue_is_empty() const { return _refs->is_empty(); }
962ccf95c515 8035401: Fix visibility of G1ParScanThreadState members
tschatzl
parents: 25482
diff changeset
    98
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
    99
  bool verify_ref(narrowOop* ref) const;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   100
  bool verify_ref(oop* ref) const;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   101
  bool verify_task(StarTask ref) const;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   102
#endif // ASSERT
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   103
35051
002d874a4284 8144714: Add extension point to G1 evacuation closures
mgerdin
parents: 34617
diff changeset
   104
  template <class T> void do_oop_ext(T* ref);
30566
18eb9aa972d0 8076177: Remove usage of stack.inline.hpp functions from taskqueue.hpp
stefank
parents: 28213
diff changeset
   105
  template <class T> void push_on_queue(T* ref);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   106
34616
421a6405ca30 8144067: Pass obj directly to G1ParScanThreadState::update_rs
ehelin
parents: 34615
diff changeset
   107
  template <class T> void update_rs(HeapRegion* from, T* p, oop o) {
46646
5165b3a5b44a 8183397: Ensure consistent closure filtering during evacuation
tschatzl
parents: 46572
diff changeset
   108
    assert(!HeapRegion::is_in_same_region(p, o), "Caller should have filtered out cross-region references already.");
5165b3a5b44a 8183397: Ensure consistent closure filtering during evacuation
tschatzl
parents: 46572
diff changeset
   109
    // If the field originates from the to-space, we don't need to include it
49633
29ad59abc54a 8197928: Only enqueue deferred cards with references into regions that have a tracked remembered set during GC
tschatzl
parents: 49347
diff changeset
   110
    // in the remembered set updates. Also, if we are not tracking the remembered
29ad59abc54a 8197928: Only enqueue deferred cards with references into regions that have a tracked remembered set during GC
tschatzl
parents: 49347
diff changeset
   111
    // set in the destination region, do not bother either.
29ad59abc54a 8197928: Only enqueue deferred cards with references into regions that have a tracked remembered set during GC
tschatzl
parents: 49347
diff changeset
   112
    if (!from->is_young() && _g1h->heap_region_containing((HeapWord*)o)->rem_set()->is_tracked()) {
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
   113
      size_t card_index = ct()->index_for(p);
26701
f8ff74a6c058 8052172: Evacuation failure handling in G1 does not evacuate all objects if -XX:-G1DeferredRSUpdate is set
tschatzl
parents: 25483
diff changeset
   114
      // If the card hasn't been added to the buffer, do it.
49164
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
   115
      if (ct()->mark_card_deferred(card_index)) {
7e958a8ebcd3 8195142: Refactor out card table from CardTableModRefBS to flatten the BarrierSet hierarchy
eosterlund
parents: 48157
diff changeset
   116
        dirty_card_queue().enqueue((jbyte*)ct()->byte_for_index(card_index));
26701
f8ff74a6c058 8052172: Evacuation failure handling in G1 does not evacuate all objects if -XX:-G1DeferredRSUpdate is set
tschatzl
parents: 25483
diff changeset
   117
      }
f8ff74a6c058 8052172: Evacuation failure handling in G1 does not evacuate all objects if -XX:-G1DeferredRSUpdate is set
tschatzl
parents: 25483
diff changeset
   118
    }
f8ff74a6c058 8052172: Evacuation failure handling in G1 does not evacuate all objects if -XX:-G1DeferredRSUpdate is set
tschatzl
parents: 25483
diff changeset
   119
  }
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   120
33213
b937f634f56e 8138762: Refactor setup of evacuation closures in G1
mgerdin
parents: 33105
diff changeset
   121
  G1EvacuationRootClosures* closures() { return _closures; }
32187
0891f3fa84fc 8133047: Rename G1ParScanThreadState::_queue_num to _worker_id
tschatzl
parents: 32186
diff changeset
   122
  uint worker_id() { return _worker_id; }
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   123
32381
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
   124
  // Returns the current amount of waste due to alignment or not being able to fit
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
   125
  // objects within LABs and the undo waste.
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
   126
  virtual void waste(size_t& wasted, size_t& undo_wasted);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   127
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   128
  size_t* surviving_young_words() {
32381
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
   129
    // We add one to hide entry 0 which accumulates surviving words for
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   130
    // age -1 regions (i.e. non-young ones)
32381
b750fd963056 8040162: Avoid reallocating PLABs between GC phases in G1
tschatzl
parents: 32378
diff changeset
   131
    return _surviving_young_words + 1;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   132
  }
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   133
32737
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
   134
  void flush(size_t* surviving_young_words);
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   135
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   136
private:
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   137
  #define G1_PARTIAL_ARRAY_MASK 0x2
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   138
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   139
  inline bool has_partial_array_mask(oop* ref) const {
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   140
    return ((uintptr_t)ref & G1_PARTIAL_ARRAY_MASK) == G1_PARTIAL_ARRAY_MASK;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   141
  }
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   142
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   143
  // We never encode partial array oops as narrowOop*, so return false immediately.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   144
  // This allows the compiler to create optimized code when popping references from
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   145
  // the work queue.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   146
  inline bool has_partial_array_mask(narrowOop* ref) const {
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   147
    assert(((uintptr_t)ref & G1_PARTIAL_ARRAY_MASK) != G1_PARTIAL_ARRAY_MASK, "Partial array oop reference encoded as narrowOop*");
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   148
    return false;
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   149
  }
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   150
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   151
  // Only implement set_partial_array_mask() for regular oops, not for narrowOops.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   152
  // We always encode partial arrays as regular oop, to allow the
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   153
  // specialization for has_partial_array_mask() for narrowOops above.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   154
  // This means that unintentional use of this method with narrowOops are caught
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   155
  // by the compiler.
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   156
  inline oop* set_partial_array_mask(oop obj) const {
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   157
    assert(((uintptr_t)(void *)obj & G1_PARTIAL_ARRAY_MASK) == 0, "Information loss!");
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   158
    return (oop*) ((uintptr_t)(void *)obj | G1_PARTIAL_ARRAY_MASK);
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   159
  }
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   160
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   161
  inline oop clear_partial_array_mask(oop* ref) const {
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   162
    return cast_to_oop((intptr_t)ref & ~G1_PARTIAL_ARRAY_MASK);
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   163
  }
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   164
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   165
  inline void do_oop_partial_array(oop* p);
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   166
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   167
  // This method is applied to the fields of the objects that have just been copied.
49744
5dcc893ad119 8200233: Simple G1 evacuation path performance enhancements
tschatzl
parents: 49633
diff changeset
   168
  template <class T> inline void do_oop_evac(T* p);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   169
49744
5dcc893ad119 8200233: Simple G1 evacuation path performance enhancements
tschatzl
parents: 49633
diff changeset
   170
  inline void deal_with_reference(oop* ref_to_scan);
5dcc893ad119 8200233: Simple G1 evacuation path performance enhancements
tschatzl
parents: 49633
diff changeset
   171
  inline void deal_with_reference(narrowOop* ref_to_scan);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   172
25483
962ccf95c515 8035401: Fix visibility of G1ParScanThreadState members
tschatzl
parents: 25482
diff changeset
   173
  inline void dispatch_reference(StarTask ref);
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   174
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   175
  // Tries to allocate word_sz in the PLAB of the next "generation" after trying to
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   176
  // allocate into dest. State is the original (source) cset state for the object
32377
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
   177
  // that is allocated for. Previous_plab_refill_failed indicates whether previously
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
   178
  // a PLAB refill into "state" failed.
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   179
  // Returns a non-NULL pointer if successful, and updates dest if required.
32377
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
   180
  // Also determines whether we should continue to try to allocate into the various
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
   181
  // generations or just end trying to allocate.
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   182
  HeapWord* allocate_in_next_plab(InCSetState const state,
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   183
                                  InCSetState* dest,
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   184
                                  size_t word_sz,
32377
5ee15c417d02 8003237: G1: Reduce unnecessary (and failing) allocation attempts when handling an evacuation failure
tschatzl
parents: 32187
diff changeset
   185
                                  bool previous_plab_refill_failed);
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   186
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   187
  inline InCSetState next_state(InCSetState const state, markOop const m, uint& age);
32608
ef2ec6fac731 8066443: Add G1 support for promotion event
sfriberg
parents: 32382
diff changeset
   188
ef2ec6fac731 8066443: Add G1 support for promotion event
sfriberg
parents: 32382
diff changeset
   189
  void report_promotion_event(InCSetState const dest_state,
ef2ec6fac731 8066443: Add G1 support for promotion event
sfriberg
parents: 32382
diff changeset
   190
                              oop const old, size_t word_sz, uint age,
49323
565336327354 8198424: Remove G1AllocationContext
sjohanss
parents: 49164
diff changeset
   191
                              HeapWord * const obj_ptr) const;
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   192
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   193
  inline bool needs_partial_trimming() const;
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   194
  inline bool is_partially_trimmed() const;
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   195
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   196
  inline void trim_queue_to_threshold(uint threshold);
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   197
public:
28213
b0bf57cd1e9d 8060025: Object copy time regressions after JDK-8031323 and JDK-8057536
tschatzl
parents: 27682
diff changeset
   198
  oop copy_to_survivor_space(InCSetState const state, oop const obj, markOop const old_mark);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   199
25483
962ccf95c515 8035401: Fix visibility of G1ParScanThreadState members
tschatzl
parents: 25482
diff changeset
   200
  void trim_queue();
49911
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   201
  void trim_queue_partially();
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   202
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   203
  Tickspan trim_ticks() const;
358be4680d12 6672778: G1 should trim task queues more aggressively during evacuation pauses
tschatzl
parents: 49827
diff changeset
   204
  void reset_trim_ticks();
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   205
25483
962ccf95c515 8035401: Fix visibility of G1ParScanThreadState members
tschatzl
parents: 25482
diff changeset
   206
  inline void steal_and_trim_queue(RefToScanQueueSet *task_queues);
31976
da45f85bf4e1 8004687: G1: Parallelize object self-forwarding and scanning during an evacuation failure
tschatzl
parents: 30764
diff changeset
   207
da45f85bf4e1 8004687: G1: Parallelize object self-forwarding and scanning during an evacuation failure
tschatzl
parents: 30764
diff changeset
   208
  // An attempt to evacuate "obj" has failed; take necessary steps.
da45f85bf4e1 8004687: G1: Parallelize object self-forwarding and scanning during an evacuation failure
tschatzl
parents: 30764
diff changeset
   209
  oop handle_evacuation_failure_par(oop obj, markOop m);
25482
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   210
};
b69656f26643 8035400: Move G1ParScanThreadState into its own files
tschatzl
parents:
diff changeset
   211
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   212
class G1ParScanThreadStateSet : public StackObj {
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   213
  G1CollectedHeap* _g1h;
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   214
  G1ParScanThreadState** _states;
32737
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
   215
  size_t* _surviving_young_words_total;
36369
f4c151403480 8150629: Initializing all ParScanThreadStates causes significant unaccounted "Other" times
tschatzl
parents: 35492
diff changeset
   216
  size_t _young_cset_length;
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   217
  uint _n_workers;
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   218
  bool _flushed;
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   219
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   220
 public:
48157
7c4d43c26352 8192061: Clean up allocation.inline.hpp includes
stefank
parents: 47216
diff changeset
   221
  G1ParScanThreadStateSet(G1CollectedHeap* g1h, uint n_workers, size_t young_cset_length);
7c4d43c26352 8192061: Clean up allocation.inline.hpp includes
stefank
parents: 47216
diff changeset
   222
  ~G1ParScanThreadStateSet();
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   223
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   224
  void flush();
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   225
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   226
  G1ParScanThreadState* state_for_worker(uint worker_id);
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   227
32737
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
   228
  const size_t* surviving_young_words() const;
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
   229
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   230
 private:
32737
f02118695c2f 8135154: Move cards scanned and surviving young words aggregation to G1ParScanThreadStateSet
mgerdin
parents: 32736
diff changeset
   231
  G1ParScanThreadState* new_par_scan_state(uint worker_id, size_t young_cset_length);
32736
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   232
};
755024a84282 8135152: Create a G1ParScanThreadStateSet class for managing G1 GC per thread states
mgerdin
parents: 32608
diff changeset
   233
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30568
diff changeset
   234
#endif // SHARE_VM_GC_G1_G1PARSCANTHREADSTATE_HPP