hotspot/src/share/vm/gc_implementation/parNew/parNewGeneration.cpp
author ysr
Fri, 17 Dec 2010 23:41:31 -0800
changeset 7658 b970e410547a
parent 7397 5b173b4ca846
child 8688 493d12ccc6db
permissions -rw-r--r--
6807801: CMS: could save/restore fewer header words during scavenge Summary: Age bits need not enter the mark-word preservation calculus; also affected, in addition to CMS, per CR synopsis above, were ParNew (but not DefNew), ParallelScavenge and G1, albeit to a lesser degree than CMS. Reviewed-by: tonyp, johnc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5343
diff changeset
     2
 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5343
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5343
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5343
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    26
#include "gc_implementation/concurrentMarkSweep/concurrentMarkSweepGeneration.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    27
#include "gc_implementation/parNew/parGCAllocBuffer.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    28
#include "gc_implementation/parNew/parNewGeneration.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    29
#include "gc_implementation/parNew/parOopClosures.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    30
#include "gc_implementation/shared/adaptiveSizePolicy.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    31
#include "gc_implementation/shared/ageTable.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    32
#include "gc_implementation/shared/spaceDecorator.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    33
#include "memory/defNewGeneration.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    34
#include "memory/genCollectedHeap.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    35
#include "memory/genOopClosures.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    36
#include "memory/generation.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    37
#include "memory/generation.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    38
#include "memory/referencePolicy.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    39
#include "memory/resourceArea.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    40
#include "memory/sharedHeap.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    41
#include "memory/space.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    42
#include "oops/objArrayOop.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    43
#include "oops/oop.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    44
#include "oops/oop.pcgc.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    45
#include "runtime/handles.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    46
#include "runtime/handles.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    47
#include "runtime/java.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    48
#include "runtime/thread.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    49
#include "utilities/copy.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    50
#include "utilities/globalDefinitions.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6985
diff changeset
    51
#include "utilities/workgroup.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
#ifdef _MSC_VER
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
#pragma warning( push )
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
#pragma warning( disable:4355 ) // 'this' : used in base member initializer list
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
ParScanThreadState::ParScanThreadState(Space* to_space_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
                                       ParNewGeneration* gen_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
                                       Generation* old_gen_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
                                       int thread_num_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
                                       ObjToScanQueueSet* work_queue_set_,
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
    62
                                       Stack<oop>* overflow_stacks_,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
                                       size_t desired_plab_sz_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
                                       ParallelTaskTerminator& term_) :
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
    65
  _to_space(to_space_), _old_gen(old_gen_), _young_gen(gen_), _thread_num(thread_num_),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  _work_queue(work_queue_set_->queue(thread_num_)), _to_space_full(false),
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
    67
  _overflow_stack(overflow_stacks_ ? overflow_stacks_ + thread_num_ : NULL),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  _ageTable(false), // false ==> not the global age table, no perf data.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  _to_space_alloc_buffer(desired_plab_sz_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  _to_space_closure(gen_, this), _old_gen_closure(gen_, this),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  _to_space_root_closure(gen_, this), _old_gen_root_closure(gen_, this),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  _older_gen_closure(gen_, this),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  _evacuate_followers(this, &_to_space_closure, &_old_gen_closure,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
                      &_to_space_root_closure, gen_, &_old_gen_root_closure,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
                      work_queue_set_, &term_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  _is_alive_closure(gen_), _scan_weak_ref_closure(gen_, this),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  _keep_alive_closure(&_scan_weak_ref_closure),
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
    78
  _promotion_failure_size(0),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
  _strong_roots_time(0.0), _term_time(0.0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
{
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    81
  #if TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    82
  _term_attempts = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    83
  _overflow_refills = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    84
  _overflow_refill_objs = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    85
  #endif // TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
    86
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  _survivor_chunk_array =
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
    (ChunkArray*) old_gen()->get_data_recorder(thread_num());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  _hash_seed = 17;  // Might want to take time-based random value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  _start = os::elapsedTime();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  _old_gen_closure.set_generation(old_gen_);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  _old_gen_root_closure.set_generation(old_gen_);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
#ifdef _MSC_VER
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
#pragma warning( pop )
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
void ParScanThreadState::record_survivor_plab(HeapWord* plab_start,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
                                              size_t plab_word_size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  ChunkArray* sca = survivor_chunk_array();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  if (sca != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
    // A non-null SCA implies that we want the PLAB data recorded.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
    sca->record_sample(plab_start, plab_word_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
bool ParScanThreadState::should_be_partially_scanned(oop new_obj, oop old_obj) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  return new_obj->is_objArray() &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
         arrayOop(new_obj)->length() > ParGCArrayScanChunk &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
         new_obj != old_obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
void ParScanThreadState::scan_partial_array_and_push_remainder(oop old) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  assert(old->is_objArray(), "must be obj array");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  assert(old->is_forwarded(), "must be forwarded");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  assert(Universe::heap()->is_in_reserved(old), "must be in heap.");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   117
  assert(!old_gen()->is_in(old), "must be in young generation.");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  objArrayOop obj = objArrayOop(old->forwardee());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
  // Process ParGCArrayScanChunk elements now
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  // and push the remainder back onto queue
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  int start     = arrayOop(old)->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  int end       = obj->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  int remainder = end - start;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  assert(start <= end, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  if (remainder > 2 * ParGCArrayScanChunk) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
    // Test above combines last partial chunk with a full chunk
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
    end = start + ParGCArrayScanChunk;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
    arrayOop(old)->set_length(end);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
    // Push remainder.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
    bool ok = work_queue()->push(old);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
    assert(ok, "just popped, push must be okay");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
    // Restore length so that it can be used if there
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
    // is a promotion failure and forwarding pointers
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
    // must be removed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
    arrayOop(old)->set_length(end);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   139
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  // process our set of indices (include header in first chunk)
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   141
  // should make sure end is even (aligned to HeapWord in case of compressed oops)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  if ((HeapWord *)obj < young_old_boundary()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
    // object is in to_space
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   144
    obj->oop_iterate_range(&_to_space_closure, start, end);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
    // object is in old generation
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   147
    obj->oop_iterate_range(&_old_gen_closure, start, end);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
void ParScanThreadState::trim_queues(int max_size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  ObjToScanQueue* queue = work_queue();
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   154
  do {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   155
    while (queue->size() > (juint)max_size) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   156
      oop obj_to_scan;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   157
      if (queue->pop_local(obj_to_scan)) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   158
        if ((HeapWord *)obj_to_scan < young_old_boundary()) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   159
          if (obj_to_scan->is_objArray() &&
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   160
              obj_to_scan->is_forwarded() &&
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   161
              obj_to_scan->forwardee() != obj_to_scan) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   162
            scan_partial_array_and_push_remainder(obj_to_scan);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   163
          } else {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   164
            // object is in to_space
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   165
            obj_to_scan->oop_iterate(&_to_space_closure);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   166
          }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
        } else {
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   168
          // object is in old generation
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   169
          obj_to_scan->oop_iterate(&_old_gen_closure);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
    }
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   173
    // For the  case of compressed oops, we have a private, non-shared
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   174
    // overflow stack, so we eagerly drain it so as to more evenly
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   175
    // distribute load early. Note: this may be good to do in
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   176
    // general rather than delay for the final stealing phase.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   177
    // If applicable, we'll transfer a set of objects over to our
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   178
    // work queue, allowing them to be stolen and draining our
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   179
    // private overflow stack.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   180
  } while (ParGCTrimOverflow && young_gen()->take_from_overflow_list(this));
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   181
}
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   182
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   183
bool ParScanThreadState::take_from_overflow_stack() {
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   184
  assert(ParGCUseLocalOverflow, "Else should not call");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   185
  assert(young_gen()->overflow_list() == NULL, "Error");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   186
  ObjToScanQueue* queue = work_queue();
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   187
  Stack<oop>* const of_stack = overflow_stack();
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   188
  const size_t num_overflow_elems = of_stack->size();
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   189
  const size_t space_available = queue->max_elems() - queue->size();
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   190
  const size_t num_take_elems = MIN3(space_available / 4,
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   191
                                     ParGCDesiredObjsFromOverflowList,
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   192
                                     num_overflow_elems);
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   193
  // Transfer the most recent num_take_elems from the overflow
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   194
  // stack to our work queue.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   195
  for (size_t i = 0; i != num_take_elems; i++) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   196
    oop cur = of_stack->pop();
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   197
    oop obj_to_push = cur->forwardee();
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   198
    assert(Universe::heap()->is_in_reserved(cur), "Should be in heap");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   199
    assert(!old_gen()->is_in_reserved(cur), "Should be in young gen");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   200
    assert(Universe::heap()->is_in_reserved(obj_to_push), "Should be in heap");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   201
    if (should_be_partially_scanned(obj_to_push, cur)) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   202
      assert(arrayOop(cur)->length() == 0, "entire array remaining to be scanned");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   203
      obj_to_push = cur;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   204
    }
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   205
    bool ok = queue->push(obj_to_push);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   206
    assert(ok, "Should have succeeded");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  }
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   208
  assert(young_gen()->overflow_list() == NULL, "Error");
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   209
  return num_take_elems > 0;  // was something transferred?
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   210
}
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   211
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   212
void ParScanThreadState::push_on_overflow_stack(oop p) {
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   213
  assert(ParGCUseLocalOverflow, "Else should not call");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   214
  overflow_stack()->push(p);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   215
  assert(young_gen()->overflow_list() == NULL, "Error");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
HeapWord* ParScanThreadState::alloc_in_to_space_slow(size_t word_sz) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  // Otherwise, if the object is small enough, try to reallocate the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  // buffer.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  HeapWord* obj = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  if (!_to_space_full) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
    ParGCAllocBuffer* const plab = to_space_alloc_buffer();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
    Space*            const sp   = to_space();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
    if (word_sz * 100 <
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
        ParallelGCBufferWastePct * plab->word_sz()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
      // Is small enough; abandon this buffer and start a new one.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
      plab->retire(false, false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
      size_t buf_size = plab->word_sz();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
      HeapWord* buf_space = sp->par_allocate(buf_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
      if (buf_space == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
        const size_t min_bytes =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
          ParGCAllocBuffer::min_size() << LogHeapWordSize;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
        size_t free_bytes = sp->free();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
        while(buf_space == NULL && free_bytes >= min_bytes) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
          buf_size = free_bytes >> LogHeapWordSize;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
          assert(buf_size == (size_t)align_object_size(buf_size),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
                 "Invariant");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
          buf_space  = sp->par_allocate(buf_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
          free_bytes = sp->free();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
      if (buf_space != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
        plab->set_word_size(buf_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
        plab->set_buf(buf_space);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
        record_survivor_plab(buf_space, buf_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
        obj = plab->allocate(word_sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
        // Note that we cannot compare buf_size < word_sz below
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
        // because of AlignmentReserve (see ParGCAllocBuffer::allocate()).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
        assert(obj != NULL || plab->words_remaining() < word_sz,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
               "Else should have been able to allocate");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
        // It's conceivable that we may be able to use the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
        // buffer we just grabbed for subsequent small requests
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
        // even if not for this one.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
      } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
        // We're used up.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
        _to_space_full = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
      // Too large; allocate the object individually.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
      obj = sp->par_allocate(word_sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  return obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
void ParScanThreadState::undo_alloc_in_to_space(HeapWord* obj,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
                                                size_t word_sz) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  // Is the alloc in the current alloc buffer?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  if (to_space_alloc_buffer()->contains(obj)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
    assert(to_space_alloc_buffer()->contains(obj + word_sz - 1),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
           "Should contain whole object.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
    to_space_alloc_buffer()->undo_allocation(obj, word_sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  } else {
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1610
diff changeset
   278
    CollectedHeap::fill_with_object(obj, word_sz);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   282
void ParScanThreadState::print_and_clear_promotion_failure_size() {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   283
  if (_promotion_failure_size != 0) {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   284
    if (PrintPromotionFailure) {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   285
      gclog_or_tty->print(" (%d: promotion failure size = " SIZE_FORMAT ") ",
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   286
        _thread_num, _promotion_failure_size);
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   287
    }
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   288
    _promotion_failure_size = 0;
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   289
  }
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   290
}
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   291
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
class ParScanThreadStateSet: private ResourceArray {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  // Initializes states for the specified number of threads;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  ParScanThreadStateSet(int                     num_threads,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
                        Space&                  to_space,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
                        ParNewGeneration&       gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
                        Generation&             old_gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
                        ObjToScanQueueSet&      queue_set,
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   300
                        Stack<oop>*             overflow_stacks_,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
                        size_t                  desired_plab_sz,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
                        ParallelTaskTerminator& term);
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   303
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   304
  ~ParScanThreadStateSet() { TASKQUEUE_STATS_ONLY(reset_stats()); }
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   305
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   306
  inline ParScanThreadState& thread_state(int i);
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   307
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   308
  void reset(bool promotion_failed);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  void flush();
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   310
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   311
  #if TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   312
  static void
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   313
    print_termination_stats_hdr(outputStream* const st = gclog_or_tty);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   314
  void print_termination_stats(outputStream* const st = gclog_or_tty);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   315
  static void
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   316
    print_taskqueue_stats_hdr(outputStream* const st = gclog_or_tty);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   317
  void print_taskqueue_stats(outputStream* const st = gclog_or_tty);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   318
  void reset_stats();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   319
  #endif // TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   320
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  ParallelTaskTerminator& _term;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  ParNewGeneration&       _gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  Generation&             _next_gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
ParScanThreadStateSet::ParScanThreadStateSet(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
  int num_threads, Space& to_space, ParNewGeneration& gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  Generation& old_gen, ObjToScanQueueSet& queue_set,
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   331
  Stack<oop>* overflow_stacks,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  size_t desired_plab_sz, ParallelTaskTerminator& term)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  : ResourceArray(sizeof(ParScanThreadState), num_threads),
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   334
    _gen(gen), _next_gen(old_gen), _term(term)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
  assert(num_threads > 0, "sanity check!");
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   337
  assert(ParGCUseLocalOverflow == (overflow_stacks != NULL),
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   338
         "overflow_stack allocation mismatch");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  // Initialize states.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  for (int i = 0; i < num_threads; ++i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
    new ((ParScanThreadState*)_data + i)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
        ParScanThreadState(&to_space, &gen, &old_gen, i, &queue_set,
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   343
                           overflow_stacks, desired_plab_sz, term);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   347
inline ParScanThreadState& ParScanThreadStateSet::thread_state(int i)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  assert(i >= 0 && i < length(), "sanity check!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  return ((ParScanThreadState*)_data)[i];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   354
void ParScanThreadStateSet::reset(bool promotion_failed)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  _term.reset_for_reuse();
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   357
  if (promotion_failed) {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   358
    for (int i = 0; i < length(); ++i) {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   359
      thread_state(i).print_and_clear_promotion_failure_size();
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   360
    }
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   361
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   364
#if TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   365
void
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   366
ParScanThreadState::reset_stats()
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   367
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   368
  taskqueue_stats().reset();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   369
  _term_attempts = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   370
  _overflow_refills = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   371
  _overflow_refill_objs = 0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   372
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   373
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   374
void ParScanThreadStateSet::reset_stats()
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   375
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   376
  for (int i = 0; i < length(); ++i) {
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   377
    thread_state(i).reset_stats();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   378
  }
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   379
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   380
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   381
void
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   382
ParScanThreadStateSet::print_termination_stats_hdr(outputStream* const st)
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   383
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   384
  st->print_raw_cr("GC Termination Stats");
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   385
  st->print_raw_cr("     elapsed  --strong roots-- "
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   386
                   "-------termination-------");
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   387
  st->print_raw_cr("thr     ms        ms       %   "
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   388
                   "    ms       %   attempts");
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   389
  st->print_raw_cr("--- --------- --------- ------ "
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   390
                   "--------- ------ --------");
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   391
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   392
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   393
void ParScanThreadStateSet::print_termination_stats(outputStream* const st)
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   394
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   395
  print_termination_stats_hdr(st);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   396
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   397
  for (int i = 0; i < length(); ++i) {
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   398
    const ParScanThreadState & pss = thread_state(i);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   399
    const double elapsed_ms = pss.elapsed_time() * 1000.0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   400
    const double s_roots_ms = pss.strong_roots_time() * 1000.0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   401
    const double term_ms = pss.term_time() * 1000.0;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   402
    st->print_cr("%3d %9.2f %9.2f %6.2f "
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   403
                 "%9.2f %6.2f " SIZE_FORMAT_W(8),
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   404
                 i, elapsed_ms, s_roots_ms, s_roots_ms * 100 / elapsed_ms,
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   405
                 term_ms, term_ms * 100 / elapsed_ms, pss.term_attempts());
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   406
  }
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   407
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   408
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   409
// Print stats related to work queue activity.
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   410
void ParScanThreadStateSet::print_taskqueue_stats_hdr(outputStream* const st)
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   411
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   412
  st->print_raw_cr("GC Task Stats");
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   413
  st->print_raw("thr "); TaskQueueStats::print_header(1, st); st->cr();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   414
  st->print_raw("--- "); TaskQueueStats::print_header(2, st); st->cr();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   415
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   416
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   417
void ParScanThreadStateSet::print_taskqueue_stats(outputStream* const st)
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   418
{
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   419
  print_taskqueue_stats_hdr(st);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   420
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   421
  TaskQueueStats totals;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   422
  for (int i = 0; i < length(); ++i) {
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   423
    const ParScanThreadState & pss = thread_state(i);
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   424
    const TaskQueueStats & stats = pss.taskqueue_stats();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   425
    st->print("%3d ", i); stats.print(st); st->cr();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   426
    totals += stats;
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   427
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   428
    if (pss.overflow_refills() > 0) {
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   429
      st->print_cr("    " SIZE_FORMAT_W(10) " overflow refills    "
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   430
                   SIZE_FORMAT_W(10) " overflow objects",
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   431
                   pss.overflow_refills(), pss.overflow_refill_objs());
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   432
    }
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   433
  }
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   434
  st->print("tot "); totals.print(st); st->cr();
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   435
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   436
  DEBUG_ONLY(totals.verify());
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   437
}
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   438
#endif // TASKQUEUE_STATS
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   439
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
void ParScanThreadStateSet::flush()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
{
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   442
  // Work in this loop should be kept as lightweight as
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   443
  // possible since this might otherwise become a bottleneck
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   444
  // to scaling. Should we add heavy-weight work into this
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   445
  // loop, consider parallelizing the loop into the worker threads.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  for (int i = 0; i < length(); ++i) {
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   447
    ParScanThreadState& par_scan_state = thread_state(i);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   448
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
    // Flush stats related to To-space PLAB activity and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
    // retire the last buffer.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
    par_scan_state.to_space_alloc_buffer()->
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
      flush_stats_and_retire(_gen.plab_stats(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
                             false /* !retain */);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   454
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
    // Every thread has its own age table.  We need to merge
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
    // them all into one.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
    ageTable *local_table = par_scan_state.age_table();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
    _gen.age_table()->merge(local_table);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
    // Inform old gen that we're done.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   461
    _next_gen.par_promote_alloc_done(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   462
    _next_gen.par_oop_since_save_marks_iterate_done(i);
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   463
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   464
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   465
  if (UseConcMarkSweepGC && ParallelGCThreads > 0) {
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   466
    // We need to call this even when ResizeOldPLAB is disabled
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   467
    // so as to avoid breaking some asserts. While we may be able
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   468
    // to avoid this by reorganizing the code a bit, I am loathe
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   469
    // to do that unless we find cases where ergo leads to bad
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   470
    // performance.
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   471
    CFLS_LAB::compute_desired_plab_size();
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   472
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   473
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   474
489c9b5090e2 Initial load
duke
parents:
diff changeset
   475
ParScanClosure::ParScanClosure(ParNewGeneration* g,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   476
                               ParScanThreadState* par_scan_state) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
  OopsInGenClosure(g), _par_scan_state(par_scan_state), _g(g)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
  assert(_g->level() == 0, "Optimized for youngest generation");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
  _boundary = _g->reserved().end();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   483
void ParScanWithBarrierClosure::do_oop(oop* p)       { ParScanClosure::do_oop_work(p, true, false); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   484
void ParScanWithBarrierClosure::do_oop(narrowOop* p) { ParScanClosure::do_oop_work(p, true, false); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   485
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   486
void ParScanWithoutBarrierClosure::do_oop(oop* p)       { ParScanClosure::do_oop_work(p, false, false); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   487
void ParScanWithoutBarrierClosure::do_oop(narrowOop* p) { ParScanClosure::do_oop_work(p, false, false); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   488
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   489
void ParRootScanWithBarrierTwoGensClosure::do_oop(oop* p)       { ParScanClosure::do_oop_work(p, true, true); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   490
void ParRootScanWithBarrierTwoGensClosure::do_oop(narrowOop* p) { ParScanClosure::do_oop_work(p, true, true); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   491
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   492
void ParRootScanWithoutBarrierClosure::do_oop(oop* p)       { ParScanClosure::do_oop_work(p, false, true); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   493
void ParRootScanWithoutBarrierClosure::do_oop(narrowOop* p) { ParScanClosure::do_oop_work(p, false, true); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   494
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
ParScanWeakRefClosure::ParScanWeakRefClosure(ParNewGeneration* g,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
                                             ParScanThreadState* par_scan_state)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
  : ScanWeakRefClosure(g), _par_scan_state(par_scan_state)
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   498
{}
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   499
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   500
void ParScanWeakRefClosure::do_oop(oop* p)       { ParScanWeakRefClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   501
void ParScanWeakRefClosure::do_oop(narrowOop* p) { ParScanWeakRefClosure::do_oop_work(p); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
#ifdef WIN32
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
#pragma warning(disable: 4786) /* identifier was truncated to '255' characters in the browser information */
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
ParEvacuateFollowersClosure::ParEvacuateFollowersClosure(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
    ParScanThreadState* par_scan_state_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
    ParScanWithoutBarrierClosure* to_space_closure_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
    ParScanWithBarrierClosure* old_gen_closure_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
    ParRootScanWithoutBarrierClosure* to_space_root_closure_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
    ParNewGeneration* par_gen_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   513
    ParRootScanWithBarrierTwoGensClosure* old_gen_root_closure_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
    ObjToScanQueueSet* task_queues_,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
    ParallelTaskTerminator* terminator_) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
    _par_scan_state(par_scan_state_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
    _to_space_closure(to_space_closure_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
    _old_gen_closure(old_gen_closure_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
    _to_space_root_closure(to_space_root_closure_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
    _old_gen_root_closure(old_gen_root_closure_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
    _par_gen(par_gen_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
    _task_queues(task_queues_),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
    _terminator(terminator_)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
{}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
void ParEvacuateFollowersClosure::do_void() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
  ObjToScanQueue* work_q = par_scan_state()->work_queue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
  while (true) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
    // Scan to-space and old-gen objs until we run out of both.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
    oop obj_to_scan;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
    par_scan_state()->trim_queues(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
    // We have no local work, attempt to steal from other threads.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
489c9b5090e2 Initial load
duke
parents:
diff changeset
   538
    // attempt to steal work from promoted.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
    if (task_queues()->steal(par_scan_state()->thread_num(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
                             par_scan_state()->hash_seed(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
                             obj_to_scan)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
      bool res = work_q->push(obj_to_scan);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
      assert(res, "Empty queue should have room for a push.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
      //   if successful, goto Start.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
      continue;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
      // try global overflow list.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
    } else if (par_gen()->take_from_overflow_list(par_scan_state())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
      continue;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
    // Otherwise, offer termination.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   554
    par_scan_state()->start_term_time();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
    if (terminator()->offer_termination()) break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
    par_scan_state()->end_term_time();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
  }
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
   558
  assert(par_gen()->_overflow_list == NULL && par_gen()->_num_par_pushes == 0,
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
   559
         "Broken overflow list?");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
  // Finish the last termination pause.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
  par_scan_state()->end_term_time();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
ParNewGenTask::ParNewGenTask(ParNewGeneration* gen, Generation* next_gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
                HeapWord* young_old_boundary, ParScanThreadStateSet* state_set) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
    AbstractGangTask("ParNewGeneration collection"),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   567
    _gen(gen), _next_gen(next_gen),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
    _young_old_boundary(young_old_boundary),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
    _state_set(state_set)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
void ParNewGenTask::work(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
  // Since this is being done in a separate thread, need new resource
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
  // and handle marks.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
  HandleMark hm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
  // We would need multiple old-gen queues otherwise.
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
   579
  assert(gch->n_gens() == 2, "Par young collection currently only works with one older gen.");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
  Generation* old_gen = gch->next_gen(_gen);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   583
  ParScanThreadState& par_scan_state = _state_set->thread_state(i);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
  par_scan_state.set_young_old_boundary(_young_old_boundary);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
489c9b5090e2 Initial load
duke
parents:
diff changeset
   586
  par_scan_state.start_strong_roots();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
  gch->gen_process_strong_roots(_gen->level(),
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   588
                                true,  // Process younger gens, if any,
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   589
                                       // as strong roots.
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   590
                                false, // no scope; this is parallel code
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   591
                                false, // not collecting perm generation.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   592
                                SharedHeap::SO_AllClasses,
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   593
                                &par_scan_state.to_space_root_closure(),
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   594
                                true,   // walk *all* scavengable nmethods
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   595
                                &par_scan_state.older_gen_closure());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
  par_scan_state.end_strong_roots();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
  // "evacuate followers".
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
  par_scan_state.evacuate_followers_closure().do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
#ifdef _MSC_VER
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
#pragma warning( push )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
#pragma warning( disable:4355 ) // 'this' : used in base member initializer list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
ParNewGeneration::
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
ParNewGeneration(ReservedSpace rs, size_t initial_byte_size, int level)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
  : DefNewGeneration(rs, initial_byte_size, level, "PCopy"),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
  _overflow_list(NULL),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
  _is_alive_closure(this),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
  _plab_stats(YoungPLABSize, PLABWeight)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
{
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
   613
  NOT_PRODUCT(_overflow_counter = ParGCWorkQueueOverflowInterval;)
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
   614
  NOT_PRODUCT(_num_par_pushes = 0;)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
  _task_queues = new ObjToScanQueueSet(ParallelGCThreads);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
  guarantee(_task_queues != NULL, "task_queues allocation failure.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
  for (uint i1 = 0; i1 < ParallelGCThreads; i1++) {
6067
8bfddf73fc04 6962947: shared TaskQueue statistics
jcoomes
parents: 5547
diff changeset
   619
    ObjToScanQueue *q = new ObjToScanQueue();
8bfddf73fc04 6962947: shared TaskQueue statistics
jcoomes
parents: 5547
diff changeset
   620
    guarantee(q != NULL, "work_queue Allocation failure.");
8bfddf73fc04 6962947: shared TaskQueue statistics
jcoomes
parents: 5547
diff changeset
   621
    _task_queues->register_queue(i1, q);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
  for (uint i2 = 0; i2 < ParallelGCThreads; i2++)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
    _task_queues->queue(i2)->initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   627
  _overflow_stacks = NULL;
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   628
  if (ParGCUseLocalOverflow) {
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   629
    _overflow_stacks = NEW_C_HEAP_ARRAY(Stack<oop>, ParallelGCThreads);
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   630
    for (size_t i = 0; i < ParallelGCThreads; ++i) {
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   631
      new (_overflow_stacks + i) Stack<oop>();
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   632
    }
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   633
  }
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   634
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
  if (UsePerfData) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
    EXCEPTION_MARK;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
    const char* cname =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
         PerfDataManager::counter_name(_gen_counters->name_space(), "threads");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
    PerfDataManager::create_constant(SUN_GC, cname, PerfData::U_None,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
                                     ParallelGCThreads, CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
#ifdef _MSC_VER
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
#pragma warning( pop )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   647
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
// ParNewGeneration::
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
ParKeepAliveClosure::ParKeepAliveClosure(ParScanWeakRefClosure* cl) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
  DefNewGeneration::KeepAliveClosure(cl), _par_cl(cl) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   653
template <class T>
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   654
void /*ParNewGeneration::*/ParKeepAliveClosure::do_oop_work(T* p) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   655
#ifdef ASSERT
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   656
  {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   657
    assert(!oopDesc::is_null(*p), "expected non-null ref");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   658
    oop obj = oopDesc::load_decode_heap_oop_not_null(p);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   659
    // We never expect to see a null reference being processed
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   660
    // as a weak reference.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   661
    assert(obj->is_oop(), "expected an oop while scanning weak refs");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   662
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   663
#endif // ASSERT
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
  _par_cl->do_oop_nv(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
  if (Universe::heap()->is_in_reserved(p)) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   668
    oop obj = oopDesc::load_decode_heap_oop_not_null(p);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   669
    _rs->write_ref_field_gc_par(p, obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   673
void /*ParNewGeneration::*/ParKeepAliveClosure::do_oop(oop* p)       { ParKeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   674
void /*ParNewGeneration::*/ParKeepAliveClosure::do_oop(narrowOop* p) { ParKeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   675
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
// ParNewGeneration::
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
KeepAliveClosure::KeepAliveClosure(ScanWeakRefClosure* cl) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
  DefNewGeneration::KeepAliveClosure(cl) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   680
template <class T>
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   681
void /*ParNewGeneration::*/KeepAliveClosure::do_oop_work(T* p) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   682
#ifdef ASSERT
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   683
  {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   684
    assert(!oopDesc::is_null(*p), "expected non-null ref");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   685
    oop obj = oopDesc::load_decode_heap_oop_not_null(p);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   686
    // We never expect to see a null reference being processed
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   687
    // as a weak reference.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   688
    assert(obj->is_oop(), "expected an oop while scanning weak refs");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   689
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   690
#endif // ASSERT
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
  _cl->do_oop_nv(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
  if (Universe::heap()->is_in_reserved(p)) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   695
    oop obj = oopDesc::load_decode_heap_oop_not_null(p);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   696
    _rs->write_ref_field_gc_par(p, obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   700
void /*ParNewGeneration::*/KeepAliveClosure::do_oop(oop* p)       { KeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   701
void /*ParNewGeneration::*/KeepAliveClosure::do_oop(narrowOop* p) { KeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   702
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   703
template <class T> void ScanClosureWithParBarrier::do_oop_work(T* p) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   704
  T heap_oop = oopDesc::load_heap_oop(p);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   705
  if (!oopDesc::is_null(heap_oop)) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   706
    oop obj = oopDesc::decode_heap_oop_not_null(heap_oop);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
    if ((HeapWord*)obj < _boundary) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
      assert(!_g->to()->is_in_reserved(obj), "Scanning field twice?");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   709
      oop new_obj = obj->is_forwarded()
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   710
                      ? obj->forwardee()
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   711
                      : _g->DefNewGeneration::copy_to_survivor_space(obj);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   712
      oopDesc::encode_store_heap_oop_not_null(p, new_obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
    if (_gc_barrier) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
      // If p points to a younger generation, mark the card.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
      if ((HeapWord*)obj < _gen_boundary) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
        _rs->write_ref_field_gc_par(p, obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   719
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   721
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   723
void ScanClosureWithParBarrier::do_oop(oop* p)       { ScanClosureWithParBarrier::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   724
void ScanClosureWithParBarrier::do_oop(narrowOop* p) { ScanClosureWithParBarrier::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 179
diff changeset
   725
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
class ParNewRefProcTaskProxy: public AbstractGangTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
  typedef AbstractRefProcTaskExecutor::ProcessTask ProcessTask;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
  ParNewRefProcTaskProxy(ProcessTask& task, ParNewGeneration& gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
                         Generation& next_gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
                         HeapWord* young_old_boundary,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
                         ParScanThreadStateSet& state_set);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   733
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
  virtual void work(int i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   738
  ParNewGeneration&      _gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  ProcessTask&           _task;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   740
  Generation&            _next_gen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   741
  HeapWord*              _young_old_boundary;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
  ParScanThreadStateSet& _state_set;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   744
489c9b5090e2 Initial load
duke
parents:
diff changeset
   745
ParNewRefProcTaskProxy::ParNewRefProcTaskProxy(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   746
    ProcessTask& task, ParNewGeneration& gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   747
    Generation& next_gen,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   748
    HeapWord* young_old_boundary,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   749
    ParScanThreadStateSet& state_set)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  : AbstractGangTask("ParNewGeneration parallel reference processing"),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
    _gen(gen),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   752
    _task(task),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
    _next_gen(next_gen),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
    _young_old_boundary(young_old_boundary),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
    _state_set(state_set)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
void ParNewRefProcTaskProxy::work(int i)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
  ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
  HandleMark hm;
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   763
  ParScanThreadState& par_scan_state = _state_set.thread_state(i);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  par_scan_state.set_young_old_boundary(_young_old_boundary);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
  _task.work(i, par_scan_state.is_alive_closure(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
             par_scan_state.keep_alive_closure(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
             par_scan_state.evacuate_followers_closure());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
class ParNewRefEnqueueTaskProxy: public AbstractGangTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
  typedef AbstractRefProcTaskExecutor::EnqueueTask EnqueueTask;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
  EnqueueTask& _task;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
  ParNewRefEnqueueTaskProxy(EnqueueTask& task)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
    : AbstractGangTask("ParNewGeneration parallel reference enqueue"),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
      _task(task)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
  virtual void work(int i)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
    _task.work(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
void ParNewRefProcTaskExecutor::execute(ProcessTask& task)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
  assert(gch->kind() == CollectedHeap::GenCollectedHeap,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
         "not a generational heap");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
  WorkGang* workers = gch->workers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
  assert(workers != NULL, "Need parallel worker threads.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
  ParNewRefProcTaskProxy rp_task(task, _generation, *_generation.next_gen(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
                                 _generation.reserved().end(), _state_set);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
  workers->run_task(&rp_task);
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   797
  _state_set.reset(_generation.promotion_failed());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
void ParNewRefProcTaskExecutor::execute(EnqueueTask& task)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
  WorkGang* workers = gch->workers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
  assert(workers != NULL, "Need parallel worker threads.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
  ParNewRefEnqueueTaskProxy enq_task(task);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
  workers->run_task(&enq_task);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
void ParNewRefProcTaskExecutor::set_single_threaded_mode()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
  _state_set.flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
  gch->set_par_threads(0);  // 0 ==> non-parallel.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
  gch->save_marks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
ScanClosureWithParBarrier::
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
ScanClosureWithParBarrier(ParNewGeneration* g, bool gc_barrier) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
  ScanClosure(g, gc_barrier) {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
EvacuateFollowersClosureGeneral::
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
EvacuateFollowersClosureGeneral(GenCollectedHeap* gch, int level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   823
                                OopsInGenClosure* cur,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
                                OopsInGenClosure* older) :
489c9b5090e2 Initial load
duke
parents:
diff changeset
   825
  _gch(gch), _level(level),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
  _scan_cur_or_nonheap(cur), _scan_older(older)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
{}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
void EvacuateFollowersClosureGeneral::do_void() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
  do {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
    // Beware: this call will lead to closure applications via virtual
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
    // calls.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
    _gch->oop_since_save_marks_iterate(_level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
                                       _scan_cur_or_nonheap,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
                                       _scan_older);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
  } while (!_gch->no_allocs_since_save_marks(_level));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
bool ParNewGeneration::_avoid_promotion_undo = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
void ParNewGeneration::adjust_desired_tenuring_threshold() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
  // Set the desired survivor size to half the real survivor space
489c9b5090e2 Initial load
duke
parents:
diff changeset
   844
  _tenuring_threshold =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
    age_table()->compute_tenuring_threshold(to()->capacity()/HeapWordSize);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
// A Generation that does parallel young-gen collection.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   849
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
void ParNewGeneration::collect(bool   full,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
                               bool   clear_all_soft_refs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   852
                               size_t size,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
                               bool   is_tlab) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  assert(full || size > 0, "otherwise we don't want to collect");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  assert(gch->kind() == CollectedHeap::GenCollectedHeap,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
    "not a CMS generational heap");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
  AdaptiveSizePolicy* size_policy = gch->gen_policy()->size_policy();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
  WorkGang* workers = gch->workers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
  _next_gen = gch->next_gen(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
  assert(_next_gen != NULL,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
    "This must be the youngest gen, and not the only gen");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
  assert(gch->n_gens() == 2,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
         "Par collection currently only works with single older gen.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
  // Do we have to avoid promotion_undo?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
  if (gch->collector_policy()->is_concurrent_mark_sweep_policy()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
    set_avoid_promotion_undo(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
  // If the next generation is too full to accomodate worst-case promotion
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
  // from this generation, pass on collection; let the next generation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
  // do it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
  if (!collection_attempt_is_safe()) {
6985
e9364ec299ac 6896603: CMS/GCH: collection_attempt_is_safe() ergo should use more recent data
ysr
parents: 6762
diff changeset
   874
    gch->set_incremental_collection_failed();  // slight lie, in that we did not even attempt one
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
  assert(to()->is_empty(), "Else not collection_attempt_is_safe");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
  init_assuming_no_promotion_failure();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
  if (UseAdaptiveSizePolicy) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
    set_survivor_overflow(false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
    size_policy->minor_collection_begin();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
  TraceTime t1("GC", PrintGC && !PrintGCDetails, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
  // Capture heap used before collection (for printing).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
  size_t gch_prev_used = gch->used();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
  SpecializationStats::clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
  age_table()->clear();
971
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   893
  to()->clear(SpaceDecorator::Mangle);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
  gch->save_marks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
  assert(workers != NULL, "Need parallel worker threads.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   897
  ParallelTaskTerminator _term(workers->total_workers(), task_queues());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
  ParScanThreadStateSet thread_state_set(workers->total_workers(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
                                         *to(), *this, *_next_gen, *task_queues(),
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
   900
                                         _overflow_stacks, desired_plab_sz(), _term);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
  ParNewGenTask tsk(this, _next_gen, reserved().end(), &thread_state_set);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
  int n_workers = workers->total_workers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
  gch->set_par_threads(n_workers);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
  gch->rem_set()->prepare_for_younger_refs_iterate(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
  // It turns out that even when we're using 1 thread, doing the work in a
489c9b5090e2 Initial load
duke
parents:
diff changeset
   907
  // separate thread causes wide variance in run times.  We can't help this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
  // in the multi-threaded case, but we special-case n=1 here to get
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
  // repeatable measurements of the 1-thread overhead of the parallel code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
  if (n_workers > 1) {
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   911
    GenCollectedHeap::StrongRootsScope srs(gch);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
    workers->run_task(&tsk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
  } else {
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 2362
diff changeset
   914
    GenCollectedHeap::StrongRootsScope srs(gch);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
    tsk.work(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
  }
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   917
  thread_state_set.reset(promotion_failed());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
  // Process (weak) reference objects found during scavenge.
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   920
  ReferenceProcessor* rp = ref_processor();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
  IsAliveClosure is_alive(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
  ScanWeakRefClosure scan_weak_ref(this);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
  KeepAliveClosure keep_alive(&scan_weak_ref);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
  ScanClosure               scan_without_gc_barrier(this, false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
  ScanClosureWithParBarrier scan_with_gc_barrier(this, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
  set_promo_failure_scan_stack_closure(&scan_without_gc_barrier);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
  EvacuateFollowersClosureGeneral evacuate_followers(gch, _level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
    &scan_without_gc_barrier, &scan_with_gc_barrier);
1610
5dddd195cc86 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 1607
diff changeset
   929
  rp->setup_policy(clear_all_soft_refs);
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   930
  if (rp->processing_is_mt()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
    ParNewRefProcTaskExecutor task_executor(*this, thread_state_set);
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   932
    rp->process_discovered_references(&is_alive, &keep_alive,
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   933
                                      &evacuate_followers, &task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
    thread_state_set.flush();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
    gch->set_par_threads(0);  // 0 ==> non-parallel.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
    gch->save_marks();
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   938
    rp->process_discovered_references(&is_alive, &keep_alive,
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
   939
                                      &evacuate_followers, NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
  if (!promotion_failed()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
    // Swap the survivor spaces.
971
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   943
    eden()->clear(SpaceDecorator::Mangle);
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   944
    from()->clear(SpaceDecorator::Mangle);
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   945
    if (ZapUnusedHeapArea) {
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   946
      // This is now done here because of the piece-meal mangling which
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   947
      // can check for valid mangling at intermediate points in the
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   948
      // collection(s).  When a minor collection fails to collect
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   949
      // sufficient space resizing of the young generation can occur
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   950
      // an redistribute the spaces in the young generation.  Mangle
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   951
      // here so that unzapped regions don't get distributed to
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   952
      // other spaces.
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   953
      to()->mangle_unused_area();
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 593
diff changeset
   954
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
    swap_spaces();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
5343
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 4574
diff changeset
   957
    // A successful scavenge should restart the GC time limit count which is
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 4574
diff changeset
   958
    // for full GC's.
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 4574
diff changeset
   959
    size_policy->reset_gc_overhead_limit_count();
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 4574
diff changeset
   960
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
    assert(to()->is_empty(), "to space should be empty now");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   962
  } else {
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   963
    assert(_promo_failure_scan_stack.is_empty(), "post condition");
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   964
    _promo_failure_scan_stack.clear(true); // Clear cached segments.
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
   965
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
    remove_forwarding_pointers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
    if (PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
      gclog_or_tty->print(" (promotion failed)");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
    // All the spaces are in play for mark-sweep.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   971
    swap_spaces();  // Make life simpler for CMS || rescan; see 6483690.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
    from()->set_next_compaction_space(to());
6985
e9364ec299ac 6896603: CMS/GCH: collection_attempt_is_safe() ergo should use more recent data
ysr
parents: 6762
diff changeset
   973
    gch->set_incremental_collection_failed();
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   974
    // Inform the next generation that a promotion failure occurred.
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
   975
    _next_gen->promotion_failure_occurred();
179
59e3abf83f72 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 1
diff changeset
   976
59e3abf83f72 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 1
diff changeset
   977
    // Reset the PromotionFailureALot counters.
59e3abf83f72 6624765: Guarantee failure "Unexpected dirty card found"
jmasa
parents: 1
diff changeset
   978
    NOT_PRODUCT(Universe::heap()->reset_promotion_should_fail();)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
  // set new iteration safe limit for the survivor spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
  from()->set_concurrent_iteration_safe_limit(from()->top());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
  to()->set_concurrent_iteration_safe_limit(to()->top());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
  adjust_desired_tenuring_threshold();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
  if (ResizePLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
    plab_stats()->adjust_desired_plab_sz();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   988
489c9b5090e2 Initial load
duke
parents:
diff changeset
   989
  if (PrintGC && !PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
    gch->print_heap_change(gch_prev_used);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   992
6254
71523cbc990c 6976378: ParNew: stats are printed unconditionally in debug builds
jcoomes
parents: 6252
diff changeset
   993
  if (PrintGCDetails && ParallelGCVerbose) {
71523cbc990c 6976378: ParNew: stats are printed unconditionally in debug builds
jcoomes
parents: 6252
diff changeset
   994
    TASKQUEUE_STATS_ONLY(thread_state_set.print_termination_stats());
71523cbc990c 6976378: ParNew: stats are printed unconditionally in debug builds
jcoomes
parents: 6252
diff changeset
   995
    TASKQUEUE_STATS_ONLY(thread_state_set.print_taskqueue_stats());
71523cbc990c 6976378: ParNew: stats are printed unconditionally in debug builds
jcoomes
parents: 6252
diff changeset
   996
  }
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
   997
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
  if (UseAdaptiveSizePolicy) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   999
    size_policy->minor_collection_end(gch->gc_cause());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1000
    size_policy->avg_survived()->sample(from()->used());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1003
  update_time_of_last_gc(os::javaTimeMillis());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1005
  SpecializationStats::print();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1006
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
  1007
  rp->set_enqueuing_is_done(true);
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
  1008
  if (rp->processing_is_mt()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
    ParNewRefProcTaskExecutor task_executor(*this, thread_state_set);
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
  1010
    rp->enqueue_discovered_references(&task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
  } else {
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
  1012
    rp->enqueue_discovered_references(NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
  }
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 977
diff changeset
  1014
  rp->verify_no_references_recorded();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
static int sum;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
void ParNewGeneration::waste_some_time() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
  for (int i = 0; i < 100; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
    sum += i;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
static const oop ClaimedForwardPtr = oop(0x4);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
// Because of concurrency, there are times where an object for which
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
// "is_forwarded()" is true contains an "interim" forwarding pointer
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
// value.  Such a value will soon be overwritten with a real value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
// This method requires "obj" to have a forwarding pointer, and waits, if
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
// necessary for a real one to be inserted, and returns it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
oop ParNewGeneration::real_forwardee(oop obj) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
  oop forward_ptr = obj->forwardee();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
  if (forward_ptr != ClaimedForwardPtr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
    return forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
    return real_forwardee_slow(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
oop ParNewGeneration::real_forwardee_slow(oop obj) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
  // Spin-read if it is claimed but not yet written by another thread.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
  oop forward_ptr = obj->forwardee();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
  while (forward_ptr == ClaimedForwardPtr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
    waste_some_time();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
    assert(obj->is_forwarded(), "precondition");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1047
    forward_ptr = obj->forwardee();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1049
  return forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1050
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1051
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
bool ParNewGeneration::is_legal_forward_ptr(oop p) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1054
  return
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1055
    (_avoid_promotion_undo && p == ClaimedForwardPtr)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1056
    || Universe::heap()->is_in_reserved(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1057
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1058
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1059
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1060
void ParNewGeneration::preserve_mark_if_necessary(oop obj, markOop m) {
7658
b970e410547a 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 7397
diff changeset
  1061
  if (m->must_be_preserved_for_promotion_failure(obj)) {
b970e410547a 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 7397
diff changeset
  1062
    // We should really have separate per-worker stacks, rather
b970e410547a 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 7397
diff changeset
  1063
    // than use locking of a common pair of stacks.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1064
    MutexLocker ml(ParGCRareEvent_lock);
7658
b970e410547a 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 7397
diff changeset
  1065
    preserve_mark(obj, m);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1066
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1067
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1068
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
// Multiple GC threads may try to promote an object.  If the object
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
// is successfully promoted, a forwarding pointer will be installed in
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1071
// the object in the young generation.  This method claims the right
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1072
// to install the forwarding pointer before it copies the object,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1073
// thus avoiding the need to undo the copy as in
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
// copy_to_survivor_space_avoiding_with_undo.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1076
oop ParNewGeneration::copy_to_survivor_space_avoiding_promotion_undo(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1077
        ParScanThreadState* par_scan_state, oop old, size_t sz, markOop m) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1078
  // In the sequential version, this assert also says that the object is
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1079
  // not forwarded.  That might not be the case here.  It is the case that
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1080
  // the caller observed it to be not forwarded at some time in the past.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
  assert(is_in_reserved(old), "shouldn't be scavenging this oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1083
  // The sequential code read "old->age()" below.  That doesn't work here,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1084
  // since the age is in the mark word, and that might be overwritten with
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
  // a forwarding pointer by a parallel thread.  So we must save the mark
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
  // word in a local and then analyze it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
  oopDesc dummyOld;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1088
  dummyOld.set_mark(m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
  assert(!dummyOld.is_forwarded(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1090
         "should not be called with forwarding pointer mark word.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1091
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1092
  oop new_obj = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1093
  oop forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1094
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1095
  // Try allocating obj in to-space (unless too old)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1096
  if (dummyOld.age() < tenuring_threshold()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1097
    new_obj = (oop)par_scan_state->alloc_in_to_space(sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1098
    if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1099
      set_survivor_overflow(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1100
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1101
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1102
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1103
  if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1104
    // Either to-space is full or we decided to promote
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1105
    // try allocating obj tenured
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1106
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1107
    // Attempt to install a null forwarding pointer (atomically),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1108
    // to claim the right to install the real forwarding pointer.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1109
    forward_ptr = old->forward_to_atomic(ClaimedForwardPtr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1110
    if (forward_ptr != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1111
      // someone else beat us to it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1112
        return real_forwardee(old);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1113
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1114
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1115
    new_obj = _next_gen->par_promote(par_scan_state->thread_num(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1116
                                       old, m, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1117
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1118
    if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1119
      // promotion failed, forward to self
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1120
      _promotion_failed = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1121
      new_obj = old;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1122
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1123
      preserve_mark_if_necessary(old, m);
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
  1124
      // Log the size of the maiden promotion failure
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
  1125
      par_scan_state->log_promotion_failure(sz);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1126
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1127
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1128
    old->forward_to(new_obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1129
    forward_ptr = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1130
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1131
    // Is in to-space; do copying ourselves.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1132
    Copy::aligned_disjoint_words((HeapWord*)old, (HeapWord*)new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1133
    forward_ptr = old->forward_to_atomic(new_obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1134
    // Restore the mark word copied above.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1135
    new_obj->set_mark(m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1136
    // Increment age if obj still in new generation
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1137
    new_obj->incr_age();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1138
    par_scan_state->age_table()->add(new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1139
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1140
  assert(new_obj != NULL, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1141
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1142
  if (forward_ptr == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1143
    oop obj_to_push = new_obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1144
    if (par_scan_state->should_be_partially_scanned(obj_to_push, old)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1145
      // Length field used as index of next element to be scanned.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1146
      // Real length can be obtained from real_forwardee()
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1147
      arrayOop(old)->set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1148
      obj_to_push = old;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1149
      assert(obj_to_push->is_forwarded() && obj_to_push->forwardee() != obj_to_push,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1150
             "push forwarded object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1151
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1152
    // Push it on one of the queues of to-be-scanned objects.
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1153
    bool simulate_overflow = false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1154
    NOT_PRODUCT(
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1155
      if (ParGCWorkQueueOverflowALot && should_simulate_overflow()) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1156
        // simulate a stack overflow
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1157
        simulate_overflow = true;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1158
      }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1159
    )
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1160
    if (simulate_overflow || !par_scan_state->work_queue()->push(obj_to_push)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1161
      // Add stats for overflow pushes.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1162
      if (Verbose && PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1163
        gclog_or_tty->print("queue overflow!\n");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1164
      }
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1165
      push_on_overflow_list(old, par_scan_state);
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
  1166
      TASKQUEUE_STATS_ONLY(par_scan_state->taskqueue_stats().record_overflow(0));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1167
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1168
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1169
    return new_obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1170
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1171
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1172
  // Oops.  Someone beat us to it.  Undo the allocation.  Where did we
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1173
  // allocate it?
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1174
  if (is_in_reserved(new_obj)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1175
    // Must be in to_space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1176
    assert(to()->is_in_reserved(new_obj), "Checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1177
    if (forward_ptr == ClaimedForwardPtr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1178
      // Wait to get the real forwarding pointer value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1179
      forward_ptr = real_forwardee(old);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1180
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1181
    par_scan_state->undo_alloc_in_to_space((HeapWord*)new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1182
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1183
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1184
  return forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1185
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1186
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1187
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1188
// Multiple GC threads may try to promote the same object.  If two
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1189
// or more GC threads copy the object, only one wins the race to install
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1190
// the forwarding pointer.  The other threads have to undo their copy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1191
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1192
oop ParNewGeneration::copy_to_survivor_space_with_undo(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1193
        ParScanThreadState* par_scan_state, oop old, size_t sz, markOop m) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1194
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1195
  // In the sequential version, this assert also says that the object is
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1196
  // not forwarded.  That might not be the case here.  It is the case that
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1197
  // the caller observed it to be not forwarded at some time in the past.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1198
  assert(is_in_reserved(old), "shouldn't be scavenging this oop");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1199
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1200
  // The sequential code read "old->age()" below.  That doesn't work here,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1201
  // since the age is in the mark word, and that might be overwritten with
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1202
  // a forwarding pointer by a parallel thread.  So we must save the mark
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1203
  // word here, install it in a local oopDesc, and then analyze it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1204
  oopDesc dummyOld;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1205
  dummyOld.set_mark(m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1206
  assert(!dummyOld.is_forwarded(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1207
         "should not be called with forwarding pointer mark word.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1208
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1209
  bool failed_to_promote = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1210
  oop new_obj = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1211
  oop forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1212
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1213
  // Try allocating obj in to-space (unless too old)
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1214
  if (dummyOld.age() < tenuring_threshold()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1215
    new_obj = (oop)par_scan_state->alloc_in_to_space(sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1216
    if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1217
      set_survivor_overflow(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1218
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1219
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1220
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1221
  if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1222
    // Either to-space is full or we decided to promote
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1223
    // try allocating obj tenured
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1224
    new_obj = _next_gen->par_promote(par_scan_state->thread_num(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1225
                                       old, m, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1226
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1227
    if (new_obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1228
      // promotion failed, forward to self
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1229
      forward_ptr = old->forward_to_atomic(old);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1230
      new_obj = old;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1231
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1232
      if (forward_ptr != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1233
        return forward_ptr;   // someone else succeeded
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1234
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1235
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1236
      _promotion_failed = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1237
      failed_to_promote = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1238
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1239
      preserve_mark_if_necessary(old, m);
4574
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
  1240
      // Log the size of the maiden promotion failure
b2d5b0975515 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 3908
diff changeset
  1241
      par_scan_state->log_promotion_failure(sz);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1242
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1243
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1244
    // Is in to-space; do copying ourselves.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1245
    Copy::aligned_disjoint_words((HeapWord*)old, (HeapWord*)new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1246
    // Restore the mark word copied above.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1247
    new_obj->set_mark(m);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1248
    // Increment age if new_obj still in new generation
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1249
    new_obj->incr_age();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1250
    par_scan_state->age_table()->add(new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1251
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1252
  assert(new_obj != NULL, "just checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1253
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1254
  // Now attempt to install the forwarding pointer (atomically).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1255
  // We have to copy the mark word before overwriting with forwarding
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1256
  // ptr, so we can restore it below in the copy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1257
  if (!failed_to_promote) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1258
    forward_ptr = old->forward_to_atomic(new_obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1259
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1260
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1261
  if (forward_ptr == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1262
    oop obj_to_push = new_obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1263
    if (par_scan_state->should_be_partially_scanned(obj_to_push, old)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1264
      // Length field used as index of next element to be scanned.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1265
      // Real length can be obtained from real_forwardee()
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1266
      arrayOop(old)->set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1267
      obj_to_push = old;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1268
      assert(obj_to_push->is_forwarded() && obj_to_push->forwardee() != obj_to_push,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1269
             "push forwarded object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1270
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1271
    // Push it on one of the queues of to-be-scanned objects.
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1272
    bool simulate_overflow = false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1273
    NOT_PRODUCT(
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1274
      if (ParGCWorkQueueOverflowALot && should_simulate_overflow()) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1275
        // simulate a stack overflow
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1276
        simulate_overflow = true;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1277
      }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1278
    )
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1279
    if (simulate_overflow || !par_scan_state->work_queue()->push(obj_to_push)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1280
      // Add stats for overflow pushes.
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1281
      push_on_overflow_list(old, par_scan_state);
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
  1282
      TASKQUEUE_STATS_ONLY(par_scan_state->taskqueue_stats().record_overflow(0));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1283
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1284
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1285
    return new_obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1286
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1287
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1288
  // Oops.  Someone beat us to it.  Undo the allocation.  Where did we
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1289
  // allocate it?
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1290
  if (is_in_reserved(new_obj)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1291
    // Must be in to_space.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1292
    assert(to()->is_in_reserved(new_obj), "Checking");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1293
    par_scan_state->undo_alloc_in_to_space((HeapWord*)new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1294
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1295
    assert(!_avoid_promotion_undo, "Should not be here if avoiding.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1296
    _next_gen->par_promote_alloc_undo(par_scan_state->thread_num(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1297
                                      (HeapWord*)new_obj, sz);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1298
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1299
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1300
  return forward_ptr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1301
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1302
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1303
#ifndef PRODUCT
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1304
// It's OK to call this multi-threaded;  the worst thing
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1305
// that can happen is that we'll get a bunch of closely
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1306
// spaced simulated oveflows, but that's OK, in fact
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1307
// probably good as it would exercise the overflow code
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1308
// under contention.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1309
bool ParNewGeneration::should_simulate_overflow() {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1310
  if (_overflow_counter-- <= 0) { // just being defensive
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1311
    _overflow_counter = ParGCWorkQueueOverflowInterval;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1312
    return true;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1313
  } else {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1314
    return false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1315
  }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1316
}
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1317
#endif
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1318
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1319
// In case we are using compressed oops, we need to be careful.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1320
// If the object being pushed is an object array, then its length
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1321
// field keeps track of the "grey boundary" at which the next
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1322
// incremental scan will be done (see ParGCArrayScanChunk).
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1323
// When using compressed oops, this length field is kept in the
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1324
// lower 32 bits of the erstwhile klass word and cannot be used
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1325
// for the overflow chaining pointer (OCP below). As such the OCP
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1326
// would itself need to be compressed into the top 32-bits in this
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1327
// case. Unfortunately, see below, in the event that we have a
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1328
// promotion failure, the node to be pushed on the list can be
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1329
// outside of the Java heap, so the heap-based pointer compression
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1330
// would not work (we would have potential aliasing between C-heap
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1331
// and Java-heap pointers). For this reason, when using compressed
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1332
// oops, we simply use a worker-thread-local, non-shared overflow
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1333
// list in the form of a growable array, with a slightly different
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1334
// overflow stack draining strategy. If/when we start using fat
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1335
// stacks here, we can go back to using (fat) pointer chains
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1336
// (although some performance comparisons would be useful since
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1337
// single global lists have their own performance disadvantages
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1338
// as we were made painfully aware not long ago, see 6786503).
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1339
#define BUSY (oop(0x1aff1aff))
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1340
void ParNewGeneration::push_on_overflow_list(oop from_space_obj, ParScanThreadState* par_scan_state) {
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1341
  assert(is_in_reserved(from_space_obj), "Should be from this generation");
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
  1342
  if (ParGCUseLocalOverflow) {
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1343
    // In the case of compressed oops, we use a private, not-shared
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1344
    // overflow stack.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1345
    par_scan_state->push_on_overflow_stack(from_space_obj);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1346
  } else {
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
  1347
    assert(!UseCompressedOops, "Error");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1348
    // if the object has been forwarded to itself, then we cannot
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1349
    // use the klass pointer for the linked list.  Instead we have
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1350
    // to allocate an oopDesc in the C-Heap and use that for the linked list.
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1351
    // XXX This is horribly inefficient when a promotion failure occurs
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1352
    // and should be fixed. XXX FIX ME !!!
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1353
#ifndef PRODUCT
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1354
    Atomic::inc_ptr(&_num_par_pushes);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1355
    assert(_num_par_pushes > 0, "Tautology");
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1356
#endif
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1357
    if (from_space_obj->forwardee() == from_space_obj) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1358
      oopDesc* listhead = NEW_C_HEAP_ARRAY(oopDesc, 1);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1359
      listhead->forward_to(from_space_obj);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1360
      from_space_obj = listhead;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1361
    }
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1362
    oop observed_overflow_list = _overflow_list;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1363
    oop cur_overflow_list;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1364
    do {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1365
      cur_overflow_list = observed_overflow_list;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1366
      if (cur_overflow_list != BUSY) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1367
        from_space_obj->set_klass_to_list_ptr(cur_overflow_list);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1368
      } else {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1369
        from_space_obj->set_klass_to_list_ptr(NULL);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1370
      }
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1371
      observed_overflow_list =
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1372
        (oop)Atomic::cmpxchg_ptr(from_space_obj, &_overflow_list, cur_overflow_list);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1373
    } while (cur_overflow_list != observed_overflow_list);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1374
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1375
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1376
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1377
bool ParNewGeneration::take_from_overflow_list(ParScanThreadState* par_scan_state) {
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1378
  bool res;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1379
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
  1380
  if (ParGCUseLocalOverflow) {
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1381
    res = par_scan_state->take_from_overflow_stack();
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1382
  } else {
2362
5e1bfddf919e 6824570: ParNew: Fix memory leak introduced in 6819891
ysr
parents: 2346
diff changeset
  1383
    assert(!UseCompressedOops, "Error");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1384
    res = take_from_overflow_list_work(par_scan_state);
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1385
  }
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1386
  return res;
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1387
}
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1388
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1389
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1390
// *NOTE*: The overflow list manipulation code here and
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1391
// in CMSCollector:: are very similar in shape,
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1392
// except that in the CMS case we thread the objects
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1393
// directly into the list via their mark word, and do
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1394
// not need to deal with special cases below related
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1395
// to chunking of object arrays and promotion failure
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1396
// handling.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1397
// CR 6797058 has been filed to attempt consolidation of
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1398
// the common code.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1399
// Because of the common code, if you make any changes in
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1400
// the code below, please check the CMS version to see if
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1401
// similar changes might be needed.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1402
// See CMSCollector::par_take_from_overflow_list() for
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1403
// more extensive documentation comments.
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1404
bool ParNewGeneration::take_from_overflow_list_work(ParScanThreadState* par_scan_state) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1405
  ObjToScanQueue* work_q = par_scan_state->work_queue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1406
  // How many to take?
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1407
  size_t objsFromOverflow = MIN2((size_t)(work_q->max_elems() - work_q->size())/4,
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1408
                                 (size_t)ParGCDesiredObjsFromOverflowList);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1409
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 6759
diff changeset
  1410
  assert(!UseCompressedOops, "Error");
2346
3aa355016e90 6819891: ParNew: Fix work queue overflow code to deal correctly with +UseCompressedOops
ysr
parents: 2105
diff changeset
  1411
  assert(par_scan_state->overflow_stack() == NULL, "Error");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1412
  if (_overflow_list == NULL) return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1413
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1414
  // Otherwise, there was something there; try claiming the list.
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1415
  oop prefix = (oop)Atomic::xchg_ptr(BUSY, &_overflow_list);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1416
  // Trim off a prefix of at most objsFromOverflow items
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1417
  Thread* tid = Thread::current();
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1418
  size_t spin_count = (size_t)ParallelGCThreads;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1419
  size_t sleep_time_millis = MAX2((size_t)1, objsFromOverflow/100);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1420
  for (size_t spin = 0; prefix == BUSY && spin < spin_count; spin++) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1421
    // someone grabbed it before we did ...
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1422
    // ... we spin for a short while...
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1423
    os::sleep(tid, sleep_time_millis, false);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1424
    if (_overflow_list == NULL) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1425
      // nothing left to take
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1426
      return false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1427
    } else if (_overflow_list != BUSY) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1428
     // try and grab the prefix
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1429
     prefix = (oop)Atomic::xchg_ptr(BUSY, &_overflow_list);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1430
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1431
  }
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1432
  if (prefix == NULL || prefix == BUSY) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1433
     // Nothing to take or waited long enough
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1434
     if (prefix == NULL) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1435
       // Write back the NULL in case we overwrote it with BUSY above
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1436
       // and it is still the same value.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1437
       (void) Atomic::cmpxchg_ptr(NULL, &_overflow_list, BUSY);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1438
     }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1439
     return false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1440
  }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1441
  assert(prefix != NULL && prefix != BUSY, "Error");
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1442
  size_t i = 1;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1443
  oop cur = prefix;
593
803947e176bd 6696264: assert("narrow oop can never be zero") for GCBasher & ParNewGC
coleenp
parents: 360
diff changeset
  1444
  while (i < objsFromOverflow && cur->klass_or_null() != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1445
    i++; cur = oop(cur->klass());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1446
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1447
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1448
  // Reattach remaining (suffix) to overflow list
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1449
  if (cur->klass_or_null() == NULL) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1450
    // Write back the NULL in lieu of the BUSY we wrote
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1451
    // above and it is still the same value.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1452
    if (_overflow_list == BUSY) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1453
      (void) Atomic::cmpxchg_ptr(NULL, &_overflow_list, BUSY);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1454
    }
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1455
  } else {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1456
    assert(cur->klass_or_null() != BUSY, "Error");
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1457
    oop suffix = oop(cur->klass());       // suffix will be put back on global list
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1458
    cur->set_klass_to_list_ptr(NULL);     // break off suffix
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1459
    // It's possible that the list is still in the empty(busy) state
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1460
    // we left it in a short while ago; in that case we may be
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1461
    // able to place back the suffix.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1462
    oop observed_overflow_list = _overflow_list;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1463
    oop cur_overflow_list = observed_overflow_list;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1464
    bool attached = false;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1465
    while (observed_overflow_list == BUSY || observed_overflow_list == NULL) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1466
      observed_overflow_list =
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1467
        (oop) Atomic::cmpxchg_ptr(suffix, &_overflow_list, cur_overflow_list);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1468
      if (cur_overflow_list == observed_overflow_list) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1469
        attached = true;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1470
        break;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1471
      } else cur_overflow_list = observed_overflow_list;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1472
    }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1473
    if (!attached) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1474
      // Too bad, someone else got in in between; we'll need to do a splice.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1475
      // Find the last item of suffix list
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1476
      oop last = suffix;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1477
      while (last->klass_or_null() != NULL) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1478
        last = oop(last->klass());
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1479
      }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1480
      // Atomically prepend suffix to current overflow list
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1481
      observed_overflow_list = _overflow_list;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1482
      do {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1483
        cur_overflow_list = observed_overflow_list;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1484
        if (cur_overflow_list != BUSY) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1485
          // Do the splice ...
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1486
          last->set_klass_to_list_ptr(cur_overflow_list);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1487
        } else { // cur_overflow_list == BUSY
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1488
          last->set_klass_to_list_ptr(NULL);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1489
        }
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1490
        observed_overflow_list =
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1491
          (oop)Atomic::cmpxchg_ptr(suffix, &_overflow_list, cur_overflow_list);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1492
      } while (cur_overflow_list != observed_overflow_list);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1493
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1494
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1495
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1496
  // Push objects on prefix list onto this thread's work queue
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1497
  assert(prefix != NULL && prefix != BUSY, "program logic");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1498
  cur = prefix;
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1499
  ssize_t n = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1500
  while (cur != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1501
    oop obj_to_push = cur->forwardee();
1607
be7d05bc07b2 6774607: SIGSEGV or (!is_null(v),"oop value can never be zero") assertion when running with CMS and COOPs
ysr
parents: 1606
diff changeset
  1502
    oop next        = oop(cur->klass_or_null());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1503
    cur->set_klass(obj_to_push->klass());
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1504
    // This may be an array object that is self-forwarded. In that case, the list pointer
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1505
    // space, cur, is not in the Java heap, but rather in the C-heap and should be freed.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1506
    if (!is_in_reserved(cur)) {
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1507
      // This can become a scaling bottleneck when there is work queue overflow coincident
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1508
      // with promotion failure.
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1509
      oopDesc* f = cur;
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1510
      FREE_C_HEAP_ARRAY(oopDesc, f);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1511
    } else if (par_scan_state->should_be_partially_scanned(obj_to_push, cur)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1512
      assert(arrayOop(cur)->length() == 0, "entire array remaining to be scanned");
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1513
      obj_to_push = cur;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1514
    }
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1515
    bool ok = work_q->push(obj_to_push);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1516
    assert(ok, "Should have succeeded");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1517
    cur = next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1518
    n++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1519
  }
6252
dce68ee3d184 6970376: ParNew: shared TaskQueue statistics
jcoomes
parents: 6067
diff changeset
  1520
  TASKQUEUE_STATS_ONLY(par_scan_state->note_overflow_refill(n));
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1521
#ifndef PRODUCT
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1522
  assert(_num_par_pushes >= n, "Too many pops?");
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1523
  Atomic::add_ptr(-(intptr_t)n, &_num_par_pushes);
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1524
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1525
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1526
}
1910
386106352d02 6786503: Overflow list performance can be improved
ysr
parents: 1668
diff changeset
  1527
#undef BUSY
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1528
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1529
void ParNewGeneration::ref_processor_init()
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1530
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1531
  if (_ref_processor == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1532
    // Allocate and initialize a reference processor
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1533
    _ref_processor = ReferenceProcessor::create_ref_processor(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1534
        _reserved,                  // span
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1535
        refs_discovery_is_atomic(), // atomic_discovery
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1536
        refs_discovery_is_mt(),     // mt_discovery
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1537
        NULL,                       // is_alive_non_header
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1538
        ParallelGCThreads,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1539
        ParallelRefProcEnabled);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1540
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1541
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1542
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1543
const char* ParNewGeneration::name() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1544
  return "par new generation";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1545
}
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 6254
diff changeset
  1546
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 6254
diff changeset
  1547
bool ParNewGeneration::in_use() {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 6254
diff changeset
  1548
  return UseParNewGC && ParallelGCThreads > 0;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 6254
diff changeset
  1549
}