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