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