hotspot/src/share/vm/memory/genMarkSweep.cpp
author jmasa
Tue, 13 Apr 2010 13:52:10 -0700
changeset 5343 95a5c4b89273
parent 5076 8b74a4b60b31
child 5547 f4b087cbb361
permissions -rw-r--r--
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit. Summary: Ensure a full GC that clears SoftReferences before throwing an out-of-memory Reviewed-by: ysr, jcoomes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
5343
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
     2
 * Copyright 2001-2010 Sun Microsystems, Inc.  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
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
#include "incls/_precompiled.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
#include "incls/_genMarkSweep.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
void GenMarkSweep::invoke_at_safepoint(int level, ReferenceProcessor* rp,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
  bool clear_all_softrefs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
  assert(SafepointSynchronize::is_at_safepoint(), "must be at a safepoint");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
5343
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    32
  GenCollectedHeap* gch = GenCollectedHeap::heap();
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    33
#ifdef ASSERT
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    34
  if (gch->collector_policy()->should_clear_all_soft_refs()) {
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    35
    assert(clear_all_softrefs, "Policy should have been checked earlier");
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    36
  }
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    37
#endif
95a5c4b89273 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 5076
diff changeset
    38
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
  // hook up weak ref data so it can be used during Mark-Sweep
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  assert(ref_processor() == NULL, "no stomping");
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1388
diff changeset
    41
  assert(rp != NULL, "should be non-NULL");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  _ref_processor = rp;
1610
5dddd195cc86 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 1606
diff changeset
    43
  rp->setup_policy(clear_all_softrefs);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  TraceTime t1("Full GC", PrintGC && !PrintGCDetails, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
  // When collecting the permanent generation methodOops may be moving,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
  // so we either have to flush all bcp data or convert it into bci.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  CodeCache::gc_prologue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
  Threads::gc_prologue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  // Increment the invocation count for the permanent generation, since it is
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  // implicitly collected whenever we do a full mark sweep collection.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  gch->perm_gen()->stat_record()->invocations++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
  // Capture heap size before collection for printing.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  size_t gch_prev_used = gch->used();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  // Some of the card table updates below assume that the perm gen is
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  // also being collected.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  assert(level == gch->n_gens() - 1,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
         "All generations are being collected, ergo perm gen too.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  // Capture used regions for each generation that will be
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  // subject to collection, so that card table adjustments can
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  // be made intelligently (see clear / invalidate further below).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  gch->save_used_regions(level, true /* perm */);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  allocate_stacks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  mark_sweep_phase1(level, clear_all_softrefs);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  mark_sweep_phase2();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  // Don't add any more derived pointers during phase3
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  COMPILER2_PRESENT(assert(DerivedPointerTable::is_active(), "Sanity"));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  COMPILER2_PRESENT(DerivedPointerTable::set_active(false));
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
  mark_sweep_phase3(level);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  VALIDATE_MARK_SWEEP_ONLY(
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
    if (ValidateMarkSweep) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    83
      guarantee(_root_refs_stack->length() == 0, "should be empty by now");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  mark_sweep_phase4();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  VALIDATE_MARK_SWEEP_ONLY(
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
    if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
      guarantee(_live_oops->length() == _live_oops_moved_to->length(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
                "should be the same size");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  restore_marks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  // Set saved marks for allocation profiler (and other things? -- dld)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  // (Should this be in general part?)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  gch->save_marks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  deallocate_stacks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  // If compaction completely evacuated all generations younger than this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  // one, then we can clear the card table.  Otherwise, we must invalidate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  // it (consider all cards dirty).  In the future, we might consider doing
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  // compaction within generations only, and doing card-table sliding.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  bool all_empty = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  for (int i = 0; all_empty && i < level; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
    Generation* g = gch->get_gen(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
    all_empty = all_empty && gch->get_gen(i)->used() == 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  GenRemSet* rs = gch->rem_set();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  // Clear/invalidate below make use of the "prev_used_regions" saved earlier.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  if (all_empty) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
    // We've evacuated all generations below us.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
    Generation* g = gch->get_gen(level);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
    rs->clear_into_younger(g, true /* perm */);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
    // Invalidate the cards corresponding to the currently used
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
    // region and clear those corresponding to the evacuated region
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
    // of all generations just collected (i.e. level and younger).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
    rs->invalidate_or_clear(gch->get_gen(level),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
                            true /* younger */,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
                            true /* perm */);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  Threads::gc_epilogue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  CodeCache::gc_epilogue();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  if (PrintGC && !PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
    gch->print_heap_change(gch_prev_used);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  // refs processing: clean slate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  _ref_processor = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  // Update heap occupancy information which is used as
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  // input to soft ref clearing policy at the next gc.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  Universe::update_heap_info_at_gc();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  // Update time of last gc for all generations we collected
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  // (which curently is all the generations in the heap).
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  gch->update_time_of_last_gc(os::javaTimeMillis());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
void GenMarkSweep::allocate_stacks() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  // Scratch request on behalf of oldest generation; will do no
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  // allocation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  ScratchBlock* scratch = gch->gather_scratch(gch->_gens[gch->_n_gens-1], 0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  // $$$ To cut a corner, we'll only use the first scratch block, and then
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
  // revert to malloc.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  if (scratch != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
    _preserved_count_max =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
      scratch->num_words * HeapWordSize / sizeof(PreservedMark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
    _preserved_count_max = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  _preserved_marks = (PreservedMark*)scratch;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
  _preserved_count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
  _preserved_mark_stack = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  _preserved_oop_stack = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  _marking_stack       = new (ResourceObj::C_HEAP) GrowableArray<oop>(4000, true);
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   168
  _objarray_stack      = new (ResourceObj::C_HEAP) GrowableArray<ObjArrayTask>(50, true);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  int size = SystemDictionary::number_of_classes() * 2;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  _revisit_klass_stack = new (ResourceObj::C_HEAP) GrowableArray<Klass*>(size, true);
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   172
  // (#klass/k)^2 for k ~ 10 appears to be a better fit, but this will have to do for
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   173
  // now until we have had a chance to investigate a more optimal setting.
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   174
  _revisit_mdo_stack   = new (ResourceObj::C_HEAP) GrowableArray<DataLayout*>(2*size, true);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
#ifdef VALIDATE_MARK_SWEEP
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
  if (ValidateMarkSweep) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   178
    _root_refs_stack    = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   179
    _other_refs_stack   = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   180
    _adjusted_pointers  = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
    _live_oops          = new (ResourceObj::C_HEAP) GrowableArray<oop>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
    _live_oops_moved_to = new (ResourceObj::C_HEAP) GrowableArray<oop>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
    _live_oops_size     = new (ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  if (RecordMarkSweepCompaction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
    if (_cur_gc_live_oops == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
      _cur_gc_live_oops           = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
      _cur_gc_live_oops_moved_to  = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
      _cur_gc_live_oops_size      = new(ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
      _last_gc_live_oops          = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
      _last_gc_live_oops_moved_to = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
      _last_gc_live_oops_size     = new(ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
      _cur_gc_live_oops->clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
      _cur_gc_live_oops_moved_to->clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
      _cur_gc_live_oops_size->clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
void GenMarkSweep::deallocate_stacks() {
1388
tonyp
parents: 977
diff changeset
   204
  if (!UseG1GC) {
tonyp
parents: 977
diff changeset
   205
    GenCollectedHeap* gch = GenCollectedHeap::heap();
tonyp
parents: 977
diff changeset
   206
    gch->release_scratch();
tonyp
parents: 977
diff changeset
   207
  }
971
f0b20be4165d 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 360
diff changeset
   208
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  if (_preserved_oop_stack) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
    delete _preserved_mark_stack;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
    _preserved_mark_stack = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
    delete _preserved_oop_stack;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
    _preserved_oop_stack = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  delete _marking_stack;
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   217
  delete _objarray_stack;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  delete _revisit_klass_stack;
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   219
  delete _revisit_mdo_stack;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
#ifdef VALIDATE_MARK_SWEEP
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
    delete _root_refs_stack;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
    delete _other_refs_stack;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
    delete _adjusted_pointers;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
    delete _live_oops;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
    delete _live_oops_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
    delete _live_oops_moved_to;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
    _live_oops_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
    _live_oops_index_at_perm = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
void GenMarkSweep::mark_sweep_phase1(int level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
                                  bool clear_all_softrefs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
  // Recursively traverse all live objects and mark them
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  EventMark m("1 mark object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  TraceTime tm("phase 1", PrintGC && Verbose, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  trace(" 1");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
  VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  // Because follow_root_closure is created statically, cannot
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
  // use OopsInGenClosure constructor which takes a generation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  // as the Universe has not been created when the static constructors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  // are run.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  follow_root_closure.set_orig_generation(gch->get_gen(level));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
  gch->gen_process_strong_roots(level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
                                false, // Younger gens are not roots.
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   254
                                true,  // activate StrongRootsScope
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
                                true,  // Collecting permanent generation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
                                SharedHeap::SO_SystemClasses,
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   257
                                &follow_root_closure,
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   258
                                true,   // walk code active on stacks
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   259
                                &follow_root_closure);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  // Process reference objects found during marking
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
  {
1610
5dddd195cc86 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 1606
diff changeset
   263
    ref_processor()->setup_policy(clear_all_softrefs);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
    ref_processor()->process_discovered_references(
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1388
diff changeset
   265
      &is_alive, &keep_alive, &follow_stack_closure, NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
  // Follow system dictionary roots and unload classes
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
  bool purged_class = SystemDictionary::do_unloading(&is_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
  // Follow code cache roots
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  CodeCache::do_unloading(&is_alive, &keep_alive, purged_class);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
  follow_stack(); // Flush marking stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  // Update subklass/sibling/implementor links of live klasses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
  follow_weak_klass_links();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  assert(_marking_stack->is_empty(), "just drained");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   279
  // Visit memoized MDO's and clear any unmarked weak refs
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   280
  follow_mdo_weak_refs();
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   281
  assert(_marking_stack->is_empty(), "just drained");
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 1610
diff changeset
   282
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
  // Visit symbol and interned string tables and delete unmarked oops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  SymbolTable::unlink(&is_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  StringTable::unlink(&is_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
  assert(_marking_stack->is_empty(), "stack should be empty by now");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
void GenMarkSweep::mark_sweep_phase2() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  // Now all live objects are marked, compute the new object addresses.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  // It is imperative that we traverse perm_gen LAST. If dead space is
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  // allowed a range of dead object may get overwritten by a dead int
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
  // array. If perm_gen is not traversed last a klassOop may get
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  // overwritten. This is fine since it is dead, but if the class has dead
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
  // instances we have to skip them, and in order to find their size we
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
  // need the klassOop!
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  //
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
  // It is not required that we traverse spaces in the same order in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
  // phase2, phase3 and phase4, but the ValidateMarkSweep live oops
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
  // tracking expects us to do so. See comment under phase4.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  Generation* pg = gch->perm_gen();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  EventMark m("2 compute new addresses");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  TraceTime tm("phase 2", PrintGC && Verbose, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  trace("2");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  gch->prepare_for_compaction();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  VALIDATE_MARK_SWEEP_ONLY(_live_oops_index_at_perm = _live_oops_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  CompactPoint perm_cp(pg, NULL, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
  pg->prepare_for_compaction(&perm_cp);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
class GenAdjustPointersClosure: public GenCollectedHeap::GenClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  void do_generation(Generation* gen) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
    gen->adjust_pointers();
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
void GenMarkSweep::mark_sweep_phase3(int level) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
  Generation* pg = gch->perm_gen();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  // Adjust the pointers to reflect the new locations
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
  EventMark m("3 adjust pointers");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
  TraceTime tm("phase 3", PrintGC && Verbose, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
  trace("3");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
  VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  // Needs to be done before the system dictionary is adjusted.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  pg->pre_adjust_pointers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  // Because the two closures below are created statically, cannot
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
  // use OopsInGenClosure constructor which takes a generation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
  // as the Universe has not been created when the static constructors
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  // are run.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  adjust_root_pointer_closure.set_orig_generation(gch->get_gen(level));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  adjust_pointer_closure.set_orig_generation(gch->get_gen(level));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  gch->gen_process_strong_roots(level,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
                                false, // Younger gens are not roots.
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   351
                                true,  // activate StrongRootsScope
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
                                true,  // Collecting permanent generation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
                                SharedHeap::SO_AllClasses,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
                                &adjust_root_pointer_closure,
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   355
                                false, // do not walk code
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
                                &adjust_root_pointer_closure);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  // Now adjust pointers in remaining weak roots.  (All of which should
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  // have been cleared if they pointed to non-surviving objects.)
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   360
  CodeBlobToOopClosure adjust_code_pointer_closure(&adjust_pointer_closure,
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   361
                                                   /*do_marking=*/ false);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
  gch->gen_process_weak_roots(&adjust_root_pointer_closure,
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 1610
diff changeset
   363
                              &adjust_code_pointer_closure,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
                              &adjust_pointer_closure);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
  adjust_marks();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
  GenAdjustPointersClosure blk;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
  gch->generation_iterate(&blk, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
  pg->adjust_pointers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
class GenCompactClosure: public GenCollectedHeap::GenClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
  void do_generation(Generation* gen) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
    gen->compact();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
void GenMarkSweep::mark_sweep_phase4() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
  // All pointers are now adjusted, move objects accordingly
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
  // It is imperative that we traverse perm_gen first in phase4. All
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
  // classes must be allocated earlier than their instances, and traversing
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
  // perm_gen first makes sure that all klassOops have moved to their new
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  // location before any instance does a dispatch through it's klass!
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
  // The ValidateMarkSweep live oops tracking expects us to traverse spaces
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
  // in the same order in phase2, phase3 and phase4. We don't quite do that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  // here (perm_gen first rather than last), so we tell the validate code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
  // to use a higher index (saved from phase2) when verifying perm_gen.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
  GenCollectedHeap* gch = GenCollectedHeap::heap();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  Generation* pg = gch->perm_gen();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
  EventMark m("4 compact heap");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  TraceTime tm("phase 4", PrintGC && Verbose, true, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  trace("4");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
  VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(true));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
  pg->compact();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
  VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  GenCompactClosure blk;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
  gch->generation_iterate(&blk, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
  VALIDATE_MARK_SWEEP_ONLY(compaction_complete());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   408
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  pg->post_compact(); // Shared spaces verification.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
}