hotspot/src/share/vm/gc_implementation/shared/markSweep.cpp
author jcoomes
Wed, 03 Mar 2010 14:48:26 -0800
changeset 5076 8b74a4b60b31
parent 3919 b15d85d98b61
child 5080 eff0cc882603
permissions -rw-r--r--
4396719: Mark Sweep stack overflow on deeply nested Object arrays Summary: Use an explicit stack for object arrays and process them in chunks. Reviewed-by: iveresov, apetrusenko
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
3795
6227ff014cfe 6884624: Update copyright year
xdono
parents: 3696
diff changeset
     2
 * Copyright 1997-2009 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/_markSweep.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
    28
GrowableArray<oop>*          MarkSweep::_marking_stack = NULL;
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
    29
GrowableArray<ObjArrayTask>* MarkSweep::_objarray_stack = NULL;
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
    30
GrowableArray<Klass*>*       MarkSweep::_revisit_klass_stack = NULL;
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    31
GrowableArray<DataLayout*>*  MarkSweep::_revisit_mdo_stack = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
GrowableArray<oop>*     MarkSweep::_preserved_oop_stack = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
GrowableArray<markOop>* MarkSweep::_preserved_mark_stack= NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
size_t                  MarkSweep::_preserved_count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
size_t                  MarkSweep::_preserved_count_max = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
PreservedMark*          MarkSweep::_preserved_marks = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
ReferenceProcessor*     MarkSweep::_ref_processor   = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
#ifdef VALIDATE_MARK_SWEEP
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    41
GrowableArray<void*>*   MarkSweep::_root_refs_stack = NULL;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
GrowableArray<oop> *    MarkSweep::_live_oops = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
GrowableArray<oop> *    MarkSweep::_live_oops_moved_to = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
GrowableArray<size_t>*  MarkSweep::_live_oops_size = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
size_t                  MarkSweep::_live_oops_index = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
size_t                  MarkSweep::_live_oops_index_at_perm = 0;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    47
GrowableArray<void*>*   MarkSweep::_other_refs_stack = NULL;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    48
GrowableArray<void*>*   MarkSweep::_adjusted_pointers = NULL;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    49
bool                         MarkSweep::_pointer_tracking = false;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    50
bool                         MarkSweep::_root_tracking = true;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
GrowableArray<HeapWord*>* MarkSweep::_cur_gc_live_oops = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
GrowableArray<HeapWord*>* MarkSweep::_cur_gc_live_oops_moved_to = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
GrowableArray<size_t>   * MarkSweep::_cur_gc_live_oops_size = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
GrowableArray<HeapWord*>* MarkSweep::_last_gc_live_oops = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
GrowableArray<HeapWord*>* MarkSweep::_last_gc_live_oops_moved_to = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
GrowableArray<size_t>   * MarkSweep::_last_gc_live_oops_size = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
void MarkSweep::revisit_weak_klass_link(Klass* k) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  _revisit_klass_stack->push(k);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
void MarkSweep::follow_weak_klass_links() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  // All klasses on the revisit stack are marked at this point.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  // Update and follow all subklass, sibling and implementor links.
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    67
  if (PrintRevisitStats) {
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    68
    gclog_or_tty->print_cr("#classes in system dictionary = %d", SystemDictionary::number_of_classes());
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    69
    gclog_or_tty->print_cr("Revisit klass stack length = %d", _revisit_klass_stack->length());
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    70
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  for (int i = 0; i < _revisit_klass_stack->length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
    _revisit_klass_stack->at(i)->follow_weak_klass_links(&is_alive,&keep_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  follow_stack();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
3696
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    77
void MarkSweep::revisit_mdo(DataLayout* p) {
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    78
  _revisit_mdo_stack->push(p);
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    79
}
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    80
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    81
void MarkSweep::follow_mdo_weak_refs() {
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    82
  // All strongly reachable oops have been marked at this point;
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    83
  // we can visit and clear any weak references from MDO's which
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    84
  // we memoized during the strong marking phase.
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    85
  assert(_marking_stack->is_empty(), "Marking stack should be empty");
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    86
  if (PrintRevisitStats) {
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    87
    gclog_or_tty->print_cr("#classes in system dictionary = %d", SystemDictionary::number_of_classes());
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    88
    gclog_or_tty->print_cr("Revisit MDO stack length = %d", _revisit_mdo_stack->length());
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    89
  }
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    90
  for (int i = 0; i < _revisit_mdo_stack->length(); i++) {
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    91
    _revisit_mdo_stack->at(i)->follow_weak_refs(&is_alive);
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    92
  }
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    93
  follow_stack();
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    94
}
9e5d9b5e1049 4957990: Perm heap bloat in JVM
ysr
parents: 670
diff changeset
    95
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    96
MarkSweep::FollowRootClosure  MarkSweep::follow_root_closure;
3908
24b55ad4c228 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 670
diff changeset
    97
CodeBlobToOopClosure MarkSweep::follow_code_root_closure(&MarkSweep::follow_root_closure, /*do_marking=*/ true);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
    99
void MarkSweep::FollowRootClosure::do_oop(oop* p)       { follow_root(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   100
void MarkSweep::FollowRootClosure::do_oop(narrowOop* p) { follow_root(p); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
MarkSweep::MarkAndPushClosure MarkSweep::mark_and_push_closure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   104
void MarkSweep::MarkAndPushClosure::do_oop(oop* p)       { mark_and_push(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   105
void MarkSweep::MarkAndPushClosure::do_oop(narrowOop* p) { mark_and_push(p); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
void MarkSweep::follow_stack() {
5076
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   108
  do {
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   109
    while (!_marking_stack->is_empty()) {
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   110
      oop obj = _marking_stack->pop();
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   111
      assert (obj->is_gc_marked(), "p must be marked");
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   112
      obj->follow_contents();
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   113
    }
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   114
    while (!_objarray_stack->is_empty()) {
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   115
      ObjArrayTask task = _objarray_stack->pop();
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   116
      objArrayKlass* const k = (objArrayKlass*)task.obj()->blueprint();
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   117
      k->oop_follow_contents(task.obj(), task.index());
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   118
    }
8b74a4b60b31 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 3919
diff changeset
   119
  } while (!_marking_stack->is_empty() || !_objarray_stack->is_empty());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
MarkSweep::FollowStackClosure MarkSweep::follow_stack_closure;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   124
void MarkSweep::FollowStackClosure::do_void() { follow_stack(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
// We preserve the mark which should be replaced at the end and the location that it
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
// will go.  Note that the object that this markOop belongs to isn't currently at that
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
// address but it will be after phase4
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
void MarkSweep::preserve_mark(oop obj, markOop mark) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  // we try to store preserved marks in the to space of the new generation since this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  // is storage which should be available.  Most of the time this should be sufficient
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  // space for the marks we need to preserve but if it isn't we fall back in using
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  // GrowableArrays to keep track of the overflow.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
  if (_preserved_count < _preserved_count_max) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
    _preserved_marks[_preserved_count++].init(obj, mark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
    if (_preserved_mark_stack == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
      _preserved_mark_stack = new (ResourceObj::C_HEAP) GrowableArray<markOop>(40, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
      _preserved_oop_stack = new (ResourceObj::C_HEAP) GrowableArray<oop>(40, true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
    _preserved_mark_stack->push(mark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
    _preserved_oop_stack->push(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
MarkSweep::AdjustPointerClosure MarkSweep::adjust_root_pointer_closure(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
MarkSweep::AdjustPointerClosure MarkSweep::adjust_pointer_closure(false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   149
void MarkSweep::AdjustPointerClosure::do_oop(oop* p)       { adjust_pointer(p, _is_root); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   150
void MarkSweep::AdjustPointerClosure::do_oop(narrowOop* p) { adjust_pointer(p, _is_root); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   151
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
void MarkSweep::adjust_marks() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  assert(_preserved_oop_stack == NULL ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
         _preserved_oop_stack->length() == _preserved_mark_stack->length(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
         "inconsistent preserved oop stacks");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  // adjust the oops we saved earlier
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  for (size_t i = 0; i < _preserved_count; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
    _preserved_marks[i].adjust_pointer();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  // deal with the overflow stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
  if (_preserved_oop_stack) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
    for (int i = 0; i < _preserved_oop_stack->length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
      oop* p = _preserved_oop_stack->adr_at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
      adjust_pointer(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
void MarkSweep::restore_marks() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
  assert(_preserved_oop_stack == NULL ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
         _preserved_oop_stack->length() == _preserved_mark_stack->length(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
         "inconsistent preserved oop stacks");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
  if (PrintGC && Verbose) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
    gclog_or_tty->print_cr("Restoring %d marks", _preserved_count +
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
                  (_preserved_oop_stack ? _preserved_oop_stack->length() : 0));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
  // restore the marks we saved earlier
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
  for (size_t i = 0; i < _preserved_count; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
    _preserved_marks[i].restore();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  // deal with the overflow
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  if (_preserved_oop_stack) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
    for (int i = 0; i < _preserved_oop_stack->length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
      oop obj       = _preserved_oop_stack->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
      markOop mark  = _preserved_mark_stack->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
      obj->set_mark(mark);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
#ifdef VALIDATE_MARK_SWEEP
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   197
void MarkSweep::track_adjusted_pointer(void* p, bool isroot) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
  if (!ValidateMarkSweep)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  if (!isroot) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
    if (_pointer_tracking) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
      guarantee(_adjusted_pointers->contains(p), "should have seen this pointer");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   204
      _adjusted_pointers->remove(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
    ptrdiff_t index = _root_refs_stack->find(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
    if (index != -1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
      int l = _root_refs_stack->length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
      if (l > 0 && l - 1 != index) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   211
        void* last = _root_refs_stack->pop();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
        assert(last != p, "should be different");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
        _root_refs_stack->at_put(index, last);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
      } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
        _root_refs_stack->remove(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   221
void MarkSweep::check_adjust_pointer(void* p) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  _adjusted_pointers->push(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
class AdjusterTracker: public OopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
 public:
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   227
  AdjusterTracker() {}
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   228
  void do_oop(oop* o)       { MarkSweep::check_adjust_pointer(o); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   229
  void do_oop(narrowOop* o) { MarkSweep::check_adjust_pointer(o); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
void MarkSweep::track_interior_pointers(oop obj) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
    _adjusted_pointers->clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    _pointer_tracking = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
    AdjusterTracker checker;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
    obj->oop_iterate(&checker);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
void MarkSweep::check_interior_pointers() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
    _pointer_tracking = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
    guarantee(_adjusted_pointers->length() == 0, "should have processed the same pointers");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
void MarkSweep::reset_live_oop_tracking(bool at_perm) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
    guarantee((size_t)_live_oops->length() == _live_oops_index, "should be at end of live oops");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
    _live_oops_index = at_perm ? _live_oops_index_at_perm : 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
void MarkSweep::register_live_oop(oop p, size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
    _live_oops->push(p);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
    _live_oops_size->push(size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
    _live_oops_index++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   262
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
void MarkSweep::validate_live_oop(oop p, size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
    oop obj = _live_oops->at((int)_live_oops_index);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
    guarantee(obj == p, "should be the same object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
    guarantee(_live_oops_size->at((int)_live_oops_index) == size, "should be the same size");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
    _live_oops_index++;
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 MarkSweep::live_oop_moved_to(HeapWord* q, size_t size,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
                                  HeapWord* compaction_top) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
  assert(oop(q)->forwardee() == NULL || oop(q)->forwardee() == oop(compaction_top),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
         "should be moved to forwarded location");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  if (ValidateMarkSweep) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
    MarkSweep::validate_live_oop(oop(q), size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
    _live_oops_moved_to->push(oop(compaction_top));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
  if (RecordMarkSweepCompaction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
    _cur_gc_live_oops->push(q);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
    _cur_gc_live_oops_moved_to->push(compaction_top);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
    _cur_gc_live_oops_size->push(size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
void MarkSweep::compaction_complete() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  if (RecordMarkSweepCompaction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
    GrowableArray<HeapWord*>* _tmp_live_oops          = _cur_gc_live_oops;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
    GrowableArray<HeapWord*>* _tmp_live_oops_moved_to = _cur_gc_live_oops_moved_to;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
    GrowableArray<size_t>   * _tmp_live_oops_size     = _cur_gc_live_oops_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
    _cur_gc_live_oops           = _last_gc_live_oops;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
    _cur_gc_live_oops_moved_to  = _last_gc_live_oops_moved_to;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
    _cur_gc_live_oops_size      = _last_gc_live_oops_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
    _last_gc_live_oops          = _tmp_live_oops;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
    _last_gc_live_oops_moved_to = _tmp_live_oops_moved_to;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
    _last_gc_live_oops_size     = _tmp_live_oops_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   300
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   301
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   302
489c9b5090e2 Initial load
duke
parents:
diff changeset
   303
void MarkSweep::print_new_location_of_heap_address(HeapWord* q) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   304
  if (!RecordMarkSweepCompaction) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
    tty->print_cr("Requires RecordMarkSweepCompaction to be enabled");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   307
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  if (_last_gc_live_oops == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
    tty->print_cr("No compaction information gathered yet");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
    return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  for (int i = 0; i < _last_gc_live_oops->length(); i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
    HeapWord* old_oop = _last_gc_live_oops->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
    size_t    sz      = _last_gc_live_oops_size->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
    if (old_oop <= q && q < (old_oop + sz)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   318
      HeapWord* new_oop = _last_gc_live_oops_moved_to->at(i);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
      size_t offset = (q - old_oop);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
      tty->print_cr("Address " PTR_FORMAT, q);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   321
      tty->print_cr(" Was in oop " PTR_FORMAT ", size " SIZE_FORMAT ", at offset " SIZE_FORMAT, old_oop, sz, offset);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
      tty->print_cr(" Now in oop " PTR_FORMAT ", actual address " PTR_FORMAT, new_oop, new_oop + offset);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
      return;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
  tty->print_cr("Address " PTR_FORMAT " not found in live oop information from last GC", q);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   329
#endif //VALIDATE_MARK_SWEEP
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   331
MarkSweep::IsAliveClosure   MarkSweep::is_alive;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   333
void MarkSweep::IsAliveClosure::do_object(oop p)   { ShouldNotReachHere(); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   334
bool MarkSweep::IsAliveClosure::do_object_b(oop p) { return p->is_gc_marked(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   335
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
MarkSweep::KeepAliveClosure MarkSweep::keep_alive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   337
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   338
void MarkSweep::KeepAliveClosure::do_oop(oop* p)       { MarkSweep::KeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   339
void MarkSweep::KeepAliveClosure::do_oop(narrowOop* p) { MarkSweep::KeepAliveClosure::do_oop_work(p); }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 1
diff changeset
   340
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
void marksweep_init() { /* empty */ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
void MarkSweep::trace(const char* msg) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  if (TraceMarkSweep)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
    gclog_or_tty->print("%s", msg);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
#endif