hotspot/src/share/vm/gc_implementation/parallelScavenge/psCompactionManager.hpp
author stefank
Thu, 01 Sep 2011 16:18:17 +0200
changeset 10524 6594ca81279a
parent 7397 5b173b4ca846
child 11174 fccee5238e70
permissions -rw-r--r--
7085906: Replace the permgen allocated sentinelRef with a self-looped end Summary: Remove the sentinelRef and let the last Reference in a discovered chain point back to itself. Reviewed-by: ysr, jmasa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
     2
 * Copyright (c) 2005, 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: 5076
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5076
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: 5076
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: 6762
diff changeset
    25
#ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSCOMPACTIONMANAGER_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    26
#define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSCOMPACTIONMANAGER_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    28
#include "memory/allocation.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    29
#include "utilities/stack.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    30
#include "utilities/taskqueue.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
    31
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
// Move to some global location
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
#define HAS_BEEN_MOVED 0x1501d01d
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
// End move to some global location
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
class MutableSpace;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
class PSOldGen;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
class ParCompactionManager;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
class ObjectStartArray;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
class ParallelCompactData;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
class ParMarkBitMap;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
class ParCompactionManager : public CHeapObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  friend class ParallelTaskTerminator;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
  friend class ParMarkBitMap;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  friend class PSParallelCompact;
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    48
  friend class StealRegionCompactionTask;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  friend class UpdateAndFillClosure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  friend class RefProcTaskExecutor;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
// ------------------------  Don't putback if not needed
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  // Actions that the compaction manager should take.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  enum Action {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
    Update,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
    Copy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
    UpdateAndCopy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
    CopyAndUpdate,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    VerifyUpdate,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
    ResetObjects,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
    NotValid
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
// ------------------------  End don't putback if not needed
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
 private:
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
    68
  // 32-bit:  4K * 8 = 32KiB; 64-bit:  8K * 16 = 128KiB
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    69
  #define QUEUE_SIZE (1 << NOT_LP64(12) LP64_ONLY(13))
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    70
  typedef OverflowTaskQueue<ObjArrayTask, QUEUE_SIZE> ObjArrayTaskQueue;
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    71
  typedef GenericTaskQueueSet<ObjArrayTaskQueue>      ObjArrayTaskQueueSet;
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    72
  #undef QUEUE_SIZE
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
    73
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    74
  static ParCompactionManager** _manager_array;
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    75
  static OopTaskQueueSet*       _stack_array;
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
    76
  static ObjArrayTaskQueueSet*  _objarray_queues;
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    77
  static ObjectStartArray*      _start_array;
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    78
  static RegionTaskQueueSet*    _region_array;
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    79
  static PSOldGen*              _old_gen;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
    81
private:
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    82
  OverflowTaskQueue<oop>        _marking_stack;
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
    83
  ObjArrayTaskQueue             _objarray_stack;
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
    84
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  // Is there a way to reuse the _marking_stack for the
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    86
  // saving empty regions?  For now just create a different
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  // type of TaskQueue.
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    88
  RegionTaskQueue               _region_stack;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 5918
diff changeset
    90
  Stack<Klass*>                 _revisit_klass_stack;
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 5918
diff changeset
    91
  Stack<DataLayout*>            _revisit_mdo_stack;
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 5918
diff changeset
    92
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  static ParMarkBitMap* _mark_bitmap;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  Action _action;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  static PSOldGen* old_gen()             { return _old_gen; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  static ObjectStartArray* start_array() { return _start_array; }
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
    99
  static OopTaskQueueSet* stack_array()  { return _stack_array; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  static void initialize(ParMarkBitMap* mbm);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
 protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  // Array of tasks.  Needed by the ParallelTaskTerminator.
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
   105
  static RegionTaskQueueSet* region_array()      { return _region_array; }
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   106
  OverflowTaskQueue<oop>*  marking_stack()       { return &_marking_stack; }
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   107
  RegionTaskQueue* region_stack()                { return &_region_stack; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  // Pushes onto the marking stack.  If the marking stack is full,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  // pushes onto the overflow stack.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  void stack_push(oop obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  // Do not implement an equivalent stack_pop.  Deal with the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  // marking stack and overflow stack directly.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   115
 public:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  Action action() { return _action; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  void set_action(Action v) { _action = v; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  inline static ParCompactionManager* manager_array(int index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  ParCompactionManager();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  ParMarkBitMap* mark_bitmap() { return _mark_bitmap; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
  // Take actions in preparation for a compaction.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  static void reset();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  // void drain_stacks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  bool should_update();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  bool should_copy();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  bool should_verify_only();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  bool should_reset_only();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
6762
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 5918
diff changeset
   135
  Stack<Klass*>* revisit_klass_stack() { return &_revisit_klass_stack; }
f8d1b560700e 6423256: GC stacks should use a better data structure
jcoomes
parents: 5918
diff changeset
   136
  Stack<DataLayout*>* revisit_mdo_stack() { return &_revisit_mdo_stack; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   138
  // Save for later processing.  Must not fail.
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   139
  inline void push(oop obj) { _marking_stack.push(obj); }
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   140
  inline void push_objarray(oop objarray, size_t index);
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   141
  inline void push_region(size_t index);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  // Access function for compaction managers
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  static ParCompactionManager* gc_thread_compaction_manager(int index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   146
  static bool steal(int queue_num, int* seed, oop& t) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
    return stack_array()->steal(queue_num, seed, t);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   150
  static bool steal_objarray(int queue_num, int* seed, ObjArrayTask& t) {
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   151
    return _objarray_queues->steal(queue_num, seed, t);
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   152
  }
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   153
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   154
  static bool steal(int queue_num, int* seed, size_t& region) {
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   155
    return region_array()->steal(queue_num, seed, region);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   158
  // Process tasks remaining on any marking stack
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   159
  void follow_marking_stacks();
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   160
  inline bool marking_stacks_empty() const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  // Process tasks remaining on any stack
1407
9006b01ba3fd 6725697: par compact - rename class ChunkData to RegionData
jcoomes
parents: 1
diff changeset
   163
  void drain_region_stacks();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
inline ParCompactionManager* ParCompactionManager::manager_array(int index) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  assert(_manager_array != NULL, "access of NULL manager_array");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
  assert(index >= 0 && index <= (int)ParallelGCThreads,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
    "out of range manager_array access");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  return _manager_array[index];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
}
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   173
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   174
bool ParCompactionManager::marking_stacks_empty() const {
5918
73b96456819a 6957084: simplify TaskQueue overflow handling
jcoomes
parents: 5547
diff changeset
   175
  return _marking_stack.is_empty() && _objarray_stack.is_empty();
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3795
diff changeset
   176
}
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
   177
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6762
diff changeset
   178
#endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSCOMPACTIONMANAGER_HPP