hotspot/src/share/vm/memory/referenceProcessor.cpp
author acorn
Thu, 05 Mar 2009 22:07:29 -0500
changeset 2140 07437c6a4cd4
parent 1910 386106352d02
child 2105 347008ce7984
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/_referenceProcessor.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    28
ReferencePolicy* ReferenceProcessor::_always_clear_soft_ref_policy = NULL;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    29
ReferencePolicy* ReferenceProcessor::_default_soft_ref_policy      = NULL;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    30
oop              ReferenceProcessor::_sentinelRef = NULL;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    31
const int        subclasses_of_ref                = REF_PHANTOM - REF_OTHER;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    32
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
// List of discovered references.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
class DiscoveredList {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
public:
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    36
  DiscoveredList() : _len(0), _compressed_head(0), _oop_head(NULL) { }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    37
  oop head() const     {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    38
     return UseCompressedOops ?  oopDesc::decode_heap_oop_not_null(_compressed_head) :
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    39
                                _oop_head;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    40
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    41
  HeapWord* adr_head() {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    42
    return UseCompressedOops ? (HeapWord*)&_compressed_head :
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    43
                               (HeapWord*)&_oop_head;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    44
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    45
  void   set_head(oop o) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    46
    if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    47
      // Must compress the head ptr.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    48
      _compressed_head = oopDesc::encode_heap_oop_not_null(o);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    49
    } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    50
      _oop_head = o;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    51
    }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    52
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    53
  bool   empty() const          { return head() == ReferenceProcessor::sentinel_ref(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
  size_t length()               { return _len; }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
    55
  void   set_length(size_t len) { _len = len;  }
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
    56
  void   inc_length(size_t inc) { _len += inc; assert(_len > 0, "Error"); }
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
    57
  void   dec_length(size_t dec) { _len -= dec; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
private:
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    59
  // Set value depending on UseCompressedOops. This could be a template class
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    60
  // but then we have to fix all the instantiations and declarations that use this class.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    61
  oop       _oop_head;
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    62
  narrowOop _compressed_head;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  size_t _len;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
void referenceProcessor_init() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  ReferenceProcessor::init_statics();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
void ReferenceProcessor::init_statics() {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    71
  assert(_sentinelRef == NULL, "should be initialized precisely once");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  EXCEPTION_MARK;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  _sentinelRef = instanceKlass::cast(
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    74
                    SystemDictionary::reference_klass())->
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    75
                      allocate_permanent_instance(THREAD);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  // Initialize the master soft ref clock.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  java_lang_ref_SoftReference::set_clock(os::javaTimeMillis());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
      Handle ex(THREAD, PENDING_EXCEPTION);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
      vm_exit_during_initialization(ex);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  assert(_sentinelRef != NULL && _sentinelRef->is_oop(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
         "Just constructed it!");
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    86
  _always_clear_soft_ref_policy = new AlwaysClearPolicy();
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    87
  _default_soft_ref_policy      = new COMPILER2_PRESENT(LRUMaxHeapPolicy())
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    88
                                      NOT_COMPILER2(LRUCurrentHeapPolicy());
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    89
  if (_always_clear_soft_ref_policy == NULL || _default_soft_ref_policy == NULL) {
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    90
    vm_exit_during_initialization("Could not allocate reference policy object");
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    91
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  guarantee(RefDiscoveryPolicy == ReferenceBasedDiscovery ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
            RefDiscoveryPolicy == ReferentBasedDiscovery,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
            "Unrecongnized RefDiscoveryPolicy");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    97
ReferenceProcessor*
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    98
ReferenceProcessor::create_ref_processor(MemRegion          span,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    99
                                         bool               atomic_discovery,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   100
                                         bool               mt_discovery,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   101
                                         BoolObjectClosure* is_alive_non_header,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   102
                                         int                parallel_gc_threads,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   103
                                         bool               mt_processing,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   104
                                         bool               dl_needs_barrier) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  int mt_degree = 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  if (parallel_gc_threads > 1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
    mt_degree = parallel_gc_threads;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  ReferenceProcessor* rp =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
    new ReferenceProcessor(span, atomic_discovery,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
                           mt_discovery, mt_degree,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   112
                           mt_processing && (parallel_gc_threads > 0),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   113
                           dl_needs_barrier);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  if (rp == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
    vm_exit_during_initialization("Could not allocate ReferenceProcessor object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  rp->set_is_alive_non_header(is_alive_non_header);
1610
5dddd195cc86 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 1606
diff changeset
   118
  rp->setup_policy(false /* default soft ref policy */);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  return rp;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
ReferenceProcessor::ReferenceProcessor(MemRegion span,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   123
                                       bool      atomic_discovery,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   124
                                       bool      mt_discovery,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   125
                                       int       mt_degree,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   126
                                       bool      mt_processing,
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   127
                                       bool      discovered_list_needs_barrier)  :
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  _discovering_refs(false),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  _enqueuing_is_done(false),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  _is_alive_non_header(NULL),
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   131
  _discovered_list_needs_barrier(discovered_list_needs_barrier),
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   132
  _bs(NULL),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  _processing_is_mt(mt_processing),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
  _next_id(0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  _span = span;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
  _discovery_is_atomic = atomic_discovery;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  _discovery_is_mt     = mt_discovery;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  _num_q               = mt_degree;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  _discoveredSoftRefs  = NEW_C_HEAP_ARRAY(DiscoveredList, _num_q * subclasses_of_ref);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  if (_discoveredSoftRefs == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
    vm_exit_during_initialization("Could not allocated RefProc Array");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
  _discoveredWeakRefs    = &_discoveredSoftRefs[_num_q];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  _discoveredFinalRefs   = &_discoveredWeakRefs[_num_q];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  _discoveredPhantomRefs = &_discoveredFinalRefs[_num_q];
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   147
  assert(sentinel_ref() != NULL, "_sentinelRef is NULL");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  // Initialized all entries to _sentinelRef
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   150
        _discoveredSoftRefs[i].set_head(sentinel_ref());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
    _discoveredSoftRefs[i].set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  }
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   153
  // If we do barreirs, cache a copy of the barrier set.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   154
  if (discovered_list_needs_barrier) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   155
    _bs = Universe::heap()->barrier_set();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   156
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
void ReferenceProcessor::verify_no_references_recorded() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  guarantee(!_discovering_refs, "Discovering refs?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
    guarantee(_discoveredSoftRefs[i].empty(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
              "Found non-empty discovered list");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
void ReferenceProcessor::weak_oops_do(OopClosure* f) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   171
    if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   172
      f->do_oop((narrowOop*)_discoveredSoftRefs[i].adr_head());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   173
    } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   174
      f->do_oop((oop*)_discoveredSoftRefs[i].adr_head());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   175
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
void ReferenceProcessor::oops_do(OopClosure* f) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   180
  f->do_oop(adr_sentinel_ref());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   183
void ReferenceProcessor::update_soft_ref_master_clock() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  // Update (advance) the soft ref master clock field. This must be done
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  // after processing the soft ref list.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  jlong now = os::javaTimeMillis();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  jlong clock = java_lang_ref_SoftReference::clock();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   189
  if (now < clock) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   190
    warning("time warp: %d to %d", clock, now);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   191
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
  // In product mode, protect ourselves from system time being adjusted
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  // externally and going backward; see note in the implementation of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
  // GenCollectedHeap::time_since_last_gc() for the right way to fix
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
  // this uniformly throughout the VM; see bug-id 4741166. XXX
489c9b5090e2 Initial load
duke
parents:
diff changeset
   197
  if (now > clock) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   198
    java_lang_ref_SoftReference::set_clock(now);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   199
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   200
  // Else leave clock stalled at its old value until time progresses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   201
  // past clock value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   202
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   203
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   204
void ReferenceProcessor::process_discovered_references(
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   205
  BoolObjectClosure*           is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   206
  OopClosure*                  keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  VoidClosure*                 complete_gc,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   208
  AbstractRefProcTaskExecutor* task_executor) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  NOT_PRODUCT(verify_ok_to_handle_reflists());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   210
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  assert(!enqueuing_is_done(), "If here enqueuing should not be complete");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   212
  // Stop treating discovered references specially.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   213
  disable_discovery();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   214
489c9b5090e2 Initial load
duke
parents:
diff changeset
   215
  bool trace_time = PrintGCDetails && PrintReferenceGC;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  // Soft references
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
    TraceTime tt("SoftReference", trace_time, false, gclog_or_tty);
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
   219
    process_discovered_reflist(_discoveredSoftRefs, _current_soft_ref_policy, true,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
                               is_alive, keep_alive, complete_gc, task_executor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   221
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
489c9b5090e2 Initial load
duke
parents:
diff changeset
   223
  update_soft_ref_master_clock();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   224
489c9b5090e2 Initial load
duke
parents:
diff changeset
   225
  // Weak references
489c9b5090e2 Initial load
duke
parents:
diff changeset
   226
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
    TraceTime tt("WeakReference", trace_time, false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
    process_discovered_reflist(_discoveredWeakRefs, NULL, true,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
                               is_alive, keep_alive, complete_gc, task_executor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   230
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
489c9b5090e2 Initial load
duke
parents:
diff changeset
   232
  // Final references
489c9b5090e2 Initial load
duke
parents:
diff changeset
   233
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   234
    TraceTime tt("FinalReference", trace_time, false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   235
    process_discovered_reflist(_discoveredFinalRefs, NULL, false,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
                               is_alive, keep_alive, complete_gc, task_executor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
489c9b5090e2 Initial load
duke
parents:
diff changeset
   239
  // Phantom references
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   241
    TraceTime tt("PhantomReference", trace_time, false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   242
    process_discovered_reflist(_discoveredPhantomRefs, NULL, false,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   243
                               is_alive, keep_alive, complete_gc, task_executor);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   244
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   245
489c9b5090e2 Initial load
duke
parents:
diff changeset
   246
  // Weak global JNI references. It would make more sense (semantically) to
489c9b5090e2 Initial load
duke
parents:
diff changeset
   247
  // traverse these simultaneously with the regular weak references above, but
489c9b5090e2 Initial load
duke
parents:
diff changeset
   248
  // that is not how the JDK1.2 specification is. See #4126360. Native code can
489c9b5090e2 Initial load
duke
parents:
diff changeset
   249
  // thus use JNI weak references to circumvent the phantom references and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   250
  // resurrect a "post-mortem" object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   251
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   252
    TraceTime tt("JNI Weak Reference", trace_time, false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   253
    if (task_executor != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   254
      task_executor->set_single_threaded_mode();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
    process_phaseJNI(is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
// Calculate the number of jni handles.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   262
uint ReferenceProcessor::count_jni_refs() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
  class AlwaysAliveClosure: public BoolObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   264
  public:
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   265
    virtual bool do_object_b(oop obj) { return true; }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   266
    virtual void do_object(oop obj) { assert(false, "Don't call"); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   268
489c9b5090e2 Initial load
duke
parents:
diff changeset
   269
  class CountHandleClosure: public OopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   271
    int _count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   272
  public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
    CountHandleClosure(): _count(0) {}
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   274
    void do_oop(oop* unused)       { _count++; }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   275
    void do_oop(narrowOop* unused) { ShouldNotReachHere(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
    int count() { return _count; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   277
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
  CountHandleClosure global_handle_count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  AlwaysAliveClosure always_alive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   280
  JNIHandles::weak_oops_do(&always_alive, &global_handle_count);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
  return global_handle_count.count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
void ReferenceProcessor::process_phaseJNI(BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
                                          OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
                                          VoidClosure*       complete_gc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   288
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   289
  if (PrintGCDetails && PrintReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
    unsigned int count = count_jni_refs();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
    gclog_or_tty->print(", %u refs", count);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  JNIHandles::weak_oops_do(is_alive, keep_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  // Finally remember to keep sentinel around
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   296
  keep_alive->do_oop(adr_sentinel_ref());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   299
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   300
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   301
template <class T>
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   302
static bool enqueue_discovered_ref_helper(ReferenceProcessor* ref,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   303
                                          AbstractRefProcTaskExecutor* task_executor) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   304
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   305
  // Remember old value of pending references list
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   306
  T* pending_list_addr = (T*)java_lang_ref_Reference::pending_list_addr();
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   307
  T old_pending_list_value = *pending_list_addr;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
489c9b5090e2 Initial load
duke
parents:
diff changeset
   309
  // Enqueue references that are not made active again, and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
  // clear the decks for the next collection (cycle).
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   311
  ref->enqueue_discovered_reflists((HeapWord*)pending_list_addr, task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   312
  // Do the oop-check on pending_list_addr missed in
489c9b5090e2 Initial load
duke
parents:
diff changeset
   313
  // enqueue_discovered_reflist. We should probably
489c9b5090e2 Initial load
duke
parents:
diff changeset
   314
  // do a raw oop_check so that future such idempotent
489c9b5090e2 Initial load
duke
parents:
diff changeset
   315
  // oop_stores relying on the oop-check side-effect
489c9b5090e2 Initial load
duke
parents:
diff changeset
   316
  // may be elided automatically and safely without
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  // affecting correctness.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   318
  oop_store(pending_list_addr, oopDesc::load_decode_heap_oop(pending_list_addr));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   319
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
  // Stop treating discovered references specially.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   321
  ref->disable_discovery();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
489c9b5090e2 Initial load
duke
parents:
diff changeset
   323
  // Return true if new pending references were added
489c9b5090e2 Initial load
duke
parents:
diff changeset
   324
  return old_pending_list_value != *pending_list_addr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   325
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   326
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   327
bool ReferenceProcessor::enqueue_discovered_references(AbstractRefProcTaskExecutor* task_executor) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   328
  NOT_PRODUCT(verify_ok_to_handle_reflists());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   329
  if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   330
    return enqueue_discovered_ref_helper<narrowOop>(this, task_executor);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   331
  } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   332
    return enqueue_discovered_ref_helper<oop>(this, task_executor);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   333
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   334
}
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   335
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   336
void ReferenceProcessor::enqueue_discovered_reflist(DiscoveredList& refs_list,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   337
                                                    HeapWord* pending_list_addr) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   338
  // Given a list of refs linked through the "discovered" field
489c9b5090e2 Initial load
duke
parents:
diff changeset
   339
  // (java.lang.ref.Reference.discovered) chain them through the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   340
  // "next" field (java.lang.ref.Reference.next) and prepend
489c9b5090e2 Initial load
duke
parents:
diff changeset
   341
  // to the pending list.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   342
  if (TraceReferenceGC && PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
    gclog_or_tty->print_cr("ReferenceProcessor::enqueue_discovered_reflist list "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   344
                           INTPTR_FORMAT, (address)refs_list.head());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  oop obj = refs_list.head();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  // Walk down the list, copying the discovered field into
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
  // the next field and clearing it (except for the last
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
  // non-sentinel object which is treated specially to avoid
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
  // confusion with an active reference).
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   351
  while (obj != sentinel_ref()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
    assert(obj->is_instanceRef(), "should be reference object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
    oop next = java_lang_ref_Reference::discovered(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
    if (TraceReferenceGC && PrintGCDetails) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   355
      gclog_or_tty->print_cr("        obj " INTPTR_FORMAT "/next " INTPTR_FORMAT,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   356
                             obj, next);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
    }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   358
    assert(java_lang_ref_Reference::next(obj) == NULL,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   359
           "The reference should not be enqueued");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   360
    if (next == sentinel_ref()) {  // obj is last
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
      // Swap refs_list into pendling_list_addr and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
      // set obj's next to what we read from pending_list_addr.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   363
      oop old = oopDesc::atomic_exchange_oop(refs_list.head(), pending_list_addr);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   364
      // Need oop_check on pending_list_addr above;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   365
      // see special oop-check code at the end of
489c9b5090e2 Initial load
duke
parents:
diff changeset
   366
      // enqueue_discovered_reflists() further below.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   367
      if (old == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   368
        // obj should be made to point to itself, since
489c9b5090e2 Initial load
duke
parents:
diff changeset
   369
        // pending list was empty.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   370
        java_lang_ref_Reference::set_next(obj, obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   371
      } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   372
        java_lang_ref_Reference::set_next(obj, old);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   374
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   375
      java_lang_ref_Reference::set_next(obj, next);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   376
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   377
    java_lang_ref_Reference::set_discovered(obj, (oop) NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   378
    obj = next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   379
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   380
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   381
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
// Parallel enqueue task
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
class RefProcEnqueueTask: public AbstractRefProcTaskExecutor::EnqueueTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
  RefProcEnqueueTask(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
                     DiscoveredList      discovered_refs[],
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   387
                     HeapWord*           pending_list_addr,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
                     oop                 sentinel_ref,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
                     int                 n_queues)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
    : EnqueueTask(ref_processor, discovered_refs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
                  pending_list_addr, sentinel_ref, n_queues)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   394
  virtual void work(unsigned int work_id) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
    assert(work_id < (unsigned int)_ref_processor.num_q(), "Index out-of-bounds");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
    // Simplest first cut: static partitioning.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
    int index = work_id;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
    for (int j = 0; j < subclasses_of_ref; j++, index += _n_queues) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
      _ref_processor.enqueue_discovered_reflist(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
        _refs_lists[index], _pending_list_addr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
      _refs_lists[index].set_head(_sentinel_ref);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
      _refs_lists[index].set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   404
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
489c9b5090e2 Initial load
duke
parents:
diff changeset
   407
// Enqueue references that are not made active again
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   408
void ReferenceProcessor::enqueue_discovered_reflists(HeapWord* pending_list_addr,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   409
  AbstractRefProcTaskExecutor* task_executor) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   410
  if (_processing_is_mt && task_executor != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   411
    // Parallel code
489c9b5090e2 Initial load
duke
parents:
diff changeset
   412
    RefProcEnqueueTask tsk(*this, _discoveredSoftRefs,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   413
                           pending_list_addr, sentinel_ref(), _num_q);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   414
    task_executor->execute(tsk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
    // Serial code: call the parent class's implementation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   417
    for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
      enqueue_discovered_reflist(_discoveredSoftRefs[i], pending_list_addr);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   419
      _discoveredSoftRefs[i].set_head(sentinel_ref());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
      _discoveredSoftRefs[i].set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   424
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
// Iterator for the list of discovered references.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
class DiscoveredListIterator {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   428
  inline DiscoveredListIterator(DiscoveredList&    refs_list,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   429
                                OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
                                BoolObjectClosure* is_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
  // End Of List.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   433
  inline bool has_next() const { return _next != ReferenceProcessor::sentinel_ref(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   434
489c9b5090e2 Initial load
duke
parents:
diff changeset
   435
  // Get oop to the Reference object.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   436
  inline oop obj() const { return _ref; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  // Get oop to the referent object.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   439
  inline oop referent() const { return _referent; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
489c9b5090e2 Initial load
duke
parents:
diff changeset
   441
  // Returns true if referent is alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  inline bool is_referent_alive() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   443
489c9b5090e2 Initial load
duke
parents:
diff changeset
   444
  // Loads data for the current reference.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   445
  // The "allow_null_referent" argument tells us to allow for the possibility
489c9b5090e2 Initial load
duke
parents:
diff changeset
   446
  // of a NULL referent in the discovered Reference object. This typically
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  // happens in the case of concurrent collectors that may have done the
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   448
  // discovery concurrently, or interleaved, with mutator execution.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
  inline void load_ptrs(DEBUG_ONLY(bool allow_null_referent));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
  // Move to the next discovered reference.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
  inline void next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   454
  // Remove the current reference from the list
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   455
  inline void remove();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   456
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
  // Make the Reference object active again.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
  inline void make_active() { java_lang_ref_Reference::set_next(_ref, NULL); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   459
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
  // Make the referent alive.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   461
  inline void make_referent_alive() {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   462
    if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   463
      _keep_alive->do_oop((narrowOop*)_referent_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   464
    } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   465
      _keep_alive->do_oop((oop*)_referent_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   466
    }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   467
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   468
489c9b5090e2 Initial load
duke
parents:
diff changeset
   469
  // Update the discovered field.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   470
  inline void update_discovered() {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   471
    // First _prev_next ref actually points into DiscoveredList (gross).
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   472
    if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   473
      _keep_alive->do_oop((narrowOop*)_prev_next);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   474
    } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   475
      _keep_alive->do_oop((oop*)_prev_next);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   476
    }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   477
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   478
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
  // NULL out referent pointer.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   480
  inline void clear_referent() { oop_store_raw(_referent_addr, NULL); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   481
489c9b5090e2 Initial load
duke
parents:
diff changeset
   482
  // Statistics
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
  inline size_t processed() const { return _processed; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
  inline size_t removed() const   { return _removed; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
  inline void move_to_next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
  DiscoveredList&    _refs_list;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   492
  HeapWord*          _prev_next;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
  oop                _ref;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   494
  HeapWord*          _discovered_addr;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
  oop                _next;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   496
  HeapWord*          _referent_addr;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
  oop                _referent;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   498
  OopClosure*        _keep_alive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
  BoolObjectClosure* _is_alive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
  DEBUG_ONLY(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
  oop                _first_seen; // cyclic linked list check
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   504
  size_t             _processed;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
  size_t             _removed;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
489c9b5090e2 Initial load
duke
parents:
diff changeset
   509
inline DiscoveredListIterator::DiscoveredListIterator(DiscoveredList&    refs_list,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   510
                                                      OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
                                                      BoolObjectClosure* is_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
  : _refs_list(refs_list),
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   513
    _prev_next(refs_list.adr_head()),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
    _ref(refs_list.head()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   515
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   516
    _first_seen(refs_list.head()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   519
    _processed(0),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
    _removed(0),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
    _next(refs_list.head()),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
    _keep_alive(keep_alive),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
    _is_alive(is_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
{ }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   527
inline bool DiscoveredListIterator::is_referent_alive() const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   528
  return _is_alive->do_object_b(_referent);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   529
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   530
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   531
inline void DiscoveredListIterator::load_ptrs(DEBUG_ONLY(bool allow_null_referent)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  _discovered_addr = java_lang_ref_Reference::discovered_addr(_ref);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   533
  oop discovered = java_lang_ref_Reference::discovered(_ref);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   534
  assert(_discovered_addr && discovered->is_oop_or_null(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
         "discovered field is bad");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   536
  _next = discovered;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
  _referent_addr = java_lang_ref_Reference::referent_addr(_ref);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   538
  _referent = java_lang_ref_Reference::referent(_ref);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
  assert(Universe::heap()->is_in_reserved_or_null(_referent),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   540
         "Wrong oop found in java.lang.Reference object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
  assert(allow_null_referent ?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   542
             _referent->is_oop_or_null()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
           : _referent->is_oop(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
         "bad referent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   545
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   546
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   547
inline void DiscoveredListIterator::next() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
  _prev_next = _discovered_addr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
  move_to_next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   550
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   552
inline void DiscoveredListIterator::remove() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   553
  assert(_ref->is_oop(), "Dropping a bad reference");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   554
  oop_store_raw(_discovered_addr, NULL);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   555
  // First _prev_next ref actually points into DiscoveredList (gross).
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   556
  if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   557
    // Remove Reference object from list.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   558
    oopDesc::encode_store_heap_oop_not_null((narrowOop*)_prev_next, _next);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   559
  } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   560
    // Remove Reference object from list.
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   561
    oopDesc::store_heap_oop((oop*)_prev_next, _next);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   562
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
  NOT_PRODUCT(_removed++);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   564
  _refs_list.dec_length(1);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   565
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   566
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   567
inline void DiscoveredListIterator::move_to_next() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   568
  _ref = _next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
  assert(_ref != _first_seen, "cyclic ref_list found");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  NOT_PRODUCT(_processed++);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
// NOTE: process_phase*() are largely similar, and at a high level
489c9b5090e2 Initial load
duke
parents:
diff changeset
   574
// merely iterate over the extant list applying a predicate to
489c9b5090e2 Initial load
duke
parents:
diff changeset
   575
// each of its elements and possibly removing that element from the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   576
// list and applying some further closures to that element.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   577
// We should consider the possibility of replacing these
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
// process_phase*() methods by abstracting them into
489c9b5090e2 Initial load
duke
parents:
diff changeset
   579
// a single general iterator invocation that receives appropriate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
// closures that accomplish this work.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
489c9b5090e2 Initial load
duke
parents:
diff changeset
   582
// (SoftReferences only) Traverse the list and remove any SoftReferences whose
489c9b5090e2 Initial load
duke
parents:
diff changeset
   583
// referents are not alive, but that should be kept alive for policy reasons.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
// Keep alive the transitive closure of all such referents.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   585
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   586
ReferenceProcessor::process_phase1(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
                                   ReferencePolicy*   policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
                                   BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
                                   OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
                                   VoidClosure*       complete_gc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   591
  assert(policy != NULL, "Must have a non-NULL policy");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   592
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   593
  // Decide which softly reachable refs should be kept alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   594
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   595
    iter.load_ptrs(DEBUG_ONLY(!discovery_is_atomic() /* allow_null_referent */));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   596
    bool referent_is_dead = (iter.referent() != NULL) && !iter.is_referent_alive();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
    if (referent_is_dead && !policy->should_clear_reference(iter.obj())) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
        gclog_or_tty->print_cr("Dropping reference (" INTPTR_FORMAT ": %s"  ") by policy",
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   600
                               iter.obj(), iter.obj()->blueprint()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   602
      // Remove Reference object from list
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   603
      iter.remove();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   604
      // Make the Reference object active again
489c9b5090e2 Initial load
duke
parents:
diff changeset
   605
      iter.make_active();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   606
      // keep the referent around
489c9b5090e2 Initial load
duke
parents:
diff changeset
   607
      iter.make_referent_alive();
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   608
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   613
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   616
    if (PrintGCDetails && TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
      gclog_or_tty->print(" Dropped %d dead Refs out of %d "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
        "discovered Refs by policy ", iter.removed(), iter.processed());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   621
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   622
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
// Traverse the list and remove any Refs that are not active, or
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
// whose referents are either alive or NULL.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   626
ReferenceProcessor::pp2_work(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
                             BoolObjectClosure* is_alive,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   628
                             OopClosure*        keep_alive) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
  assert(discovery_is_atomic(), "Error");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   630
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
    iter.load_ptrs(DEBUG_ONLY(false /* allow_null_referent */));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   633
    DEBUG_ONLY(oop next = java_lang_ref_Reference::next(iter.obj());)
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   634
    assert(next == NULL, "Should not discover inactive Reference");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   635
    if (iter.is_referent_alive()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
        gclog_or_tty->print_cr("Dropping strongly reachable reference (" INTPTR_FORMAT ": %s)",
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   638
                               iter.obj(), iter.obj()->blueprint()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
      // The referent is reachable after all.
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   641
      // Remove Reference object from list.
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   642
      iter.remove();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
      // Update the referent pointer as necessary: Note that this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
      // should not entail any recursive marking because the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   645
      // referent must already have been traversed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   646
      iter.make_referent_alive();
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   647
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   648
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   649
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   650
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   651
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   653
    if (PrintGCDetails && TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   654
      gclog_or_tty->print(" Dropped %d active Refs out of %d "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
        "Refs in discovered list ", iter.removed(), iter.processed());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   657
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   658
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   659
489c9b5090e2 Initial load
duke
parents:
diff changeset
   660
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   661
ReferenceProcessor::pp2_work_concurrent_discovery(DiscoveredList&    refs_list,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   662
                                                  BoolObjectClosure* is_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   663
                                                  OopClosure*        keep_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   664
                                                  VoidClosure*       complete_gc) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
  assert(!discovery_is_atomic(), "Error");
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   666
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
    iter.load_ptrs(DEBUG_ONLY(true /* allow_null_referent */));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   669
    HeapWord* next_addr = java_lang_ref_Reference::next_addr(iter.obj());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   670
    oop next = java_lang_ref_Reference::next(iter.obj());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
    if ((iter.referent() == NULL || iter.is_referent_alive() ||
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   672
         next != NULL)) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   673
      assert(next->is_oop_or_null(), "bad next field");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
      // Remove Reference object from list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
      iter.remove();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
      // Trace the cohorts
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
      iter.make_referent_alive();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   678
      if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   679
        keep_alive->do_oop((narrowOop*)next_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   680
      } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   681
        keep_alive->do_oop((oop*)next_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   682
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   683
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
  // Now close the newly reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
    if (PrintGCDetails && TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
      gclog_or_tty->print(" Dropped %d active Refs out of %d "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
        "Refs in discovered list ", iter.removed(), iter.processed());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
// Traverse the list and process the referents, by either
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   699
// clearing them or keeping them (and their reachable
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
// closure) alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   702
ReferenceProcessor::process_phase3(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
                                   bool               clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
                                   BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
                                   OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
                                   VoidClosure*       complete_gc) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   707
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
    iter.update_discovered();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
    iter.load_ptrs(DEBUG_ONLY(false /* allow_null_referent */));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
    if (clear_referent) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
      // NULL out referent pointer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
      iter.clear_referent();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
      // keep the referent around
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
      iter.make_referent_alive();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   718
    if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   719
      gclog_or_tty->print_cr("Adding %sreference (" INTPTR_FORMAT ": %s) as pending",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   720
                             clear_referent ? "cleared " : "",
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   721
                             iter.obj(), iter.obj()->blueprint()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   722
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
    assert(iter.obj()->is_oop(UseConcMarkSweepGC), "Adding a bad reference");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
    iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
  // Remember to keep sentinel pointer around
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
  iter.update_discovered();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   731
489c9b5090e2 Initial load
duke
parents:
diff changeset
   732
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   733
ReferenceProcessor::abandon_partial_discovered_list(DiscoveredList& refs_list) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   734
  oop obj = refs_list.head();
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   735
  while (obj != sentinel_ref()) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   736
    oop discovered = java_lang_ref_Reference::discovered(obj);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   737
    java_lang_ref_Reference::set_discovered_raw(obj, NULL);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   738
    obj = discovered;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   739
  }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   740
  refs_list.set_head(sentinel_ref());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   741
  refs_list.set_length(0);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   742
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   744
void ReferenceProcessor::abandon_partial_discovery() {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   745
  // loop over the lists
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   746
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   747
    if (TraceReferenceGC && PrintGCDetails && ((i % _num_q) == 0)) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   748
      gclog_or_tty->print_cr(
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   749
        "\nAbandoning %s discovered list",
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   750
        list_name(i));
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   751
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   752
    abandon_partial_discovered_list(_discoveredSoftRefs[i]);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   753
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   754
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   755
489c9b5090e2 Initial load
duke
parents:
diff changeset
   756
class RefProcPhase1Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   757
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   758
  RefProcPhase1Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   759
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
                    ReferencePolicy*    policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   763
      _policy(policy)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   764
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   765
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   766
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   767
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   768
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   769
    _ref_processor.process_phase1(_refs_lists[i], _policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   770
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   771
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   772
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   773
  ReferencePolicy* _policy;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   774
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
class RefProcPhase2Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
  RefProcPhase2Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   781
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   783
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   784
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   785
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   786
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   787
    _ref_processor.process_phase2(_refs_lists[i],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   788
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   789
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   790
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
489c9b5090e2 Initial load
duke
parents:
diff changeset
   792
class RefProcPhase3Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   793
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   794
  RefProcPhase3Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   795
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   796
                    bool                clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   797
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   798
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   799
      _clear_referent(clear_referent)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   800
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   801
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   802
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   803
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   804
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
    _ref_processor.process_phase3(_refs_lists[i], _clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   806
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
  bool _clear_referent;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   810
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   811
489c9b5090e2 Initial load
duke
parents:
diff changeset
   812
// Balances reference queues.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   813
void ReferenceProcessor::balance_queues(DiscoveredList ref_lists[])
489c9b5090e2 Initial load
duke
parents:
diff changeset
   814
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   815
  // calculate total length
489c9b5090e2 Initial load
duke
parents:
diff changeset
   816
  size_t total_refs = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   817
  for (int i = 0; i < _num_q; ++i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   818
    total_refs += ref_lists[i].length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   819
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   820
  size_t avg_refs = total_refs / _num_q + 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   821
  int to_idx = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   822
  for (int from_idx = 0; from_idx < _num_q; from_idx++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   823
    while (ref_lists[from_idx].length() > avg_refs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   824
      assert(to_idx < _num_q, "Sanity Check!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   825
      if (ref_lists[to_idx].length() < avg_refs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   826
        // move superfluous refs
489c9b5090e2 Initial load
duke
parents:
diff changeset
   827
        size_t refs_to_move =
489c9b5090e2 Initial load
duke
parents:
diff changeset
   828
          MIN2(ref_lists[from_idx].length() - avg_refs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   829
               avg_refs - ref_lists[to_idx].length());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   830
        oop move_head = ref_lists[from_idx].head();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   831
        oop move_tail = move_head;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
        oop new_head  = move_head;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
        // find an element to split the list on
489c9b5090e2 Initial load
duke
parents:
diff changeset
   834
        for (size_t j = 0; j < refs_to_move; ++j) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
          move_tail = new_head;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   836
          new_head = java_lang_ref_Reference::discovered(new_head);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
        java_lang_ref_Reference::set_discovered(move_tail, ref_lists[to_idx].head());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
        ref_lists[to_idx].set_head(move_head);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   840
        ref_lists[to_idx].inc_length(refs_to_move);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
        ref_lists[from_idx].set_head(new_head);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   842
        ref_lists[from_idx].dec_length(refs_to_move);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
      } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   844
        ++to_idx;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   845
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   846
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   847
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   848
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   849
489c9b5090e2 Initial load
duke
parents:
diff changeset
   850
void
489c9b5090e2 Initial load
duke
parents:
diff changeset
   851
ReferenceProcessor::process_discovered_reflist(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   852
  DiscoveredList               refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   853
  ReferencePolicy*             policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   854
  bool                         clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
  BoolObjectClosure*           is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  OopClosure*                  keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   857
  VoidClosure*                 complete_gc,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   858
  AbstractRefProcTaskExecutor* task_executor)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   859
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
  bool mt = task_executor != NULL && _processing_is_mt;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   861
  if (mt && ParallelRefProcBalancingEnabled) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
    balance_queues(refs_lists);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
  if (PrintReferenceGC && PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
    size_t total = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
    for (int i = 0; i < _num_q; ++i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
      total += refs_lists[i].length();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
    gclog_or_tty->print(", %u refs", total);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   870
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
  // Phase 1 (soft refs only):
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
  // . Traverse the list and remove any SoftReferences whose
489c9b5090e2 Initial load
duke
parents:
diff changeset
   874
  //   referents are not alive, but that should be kept alive for
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
  //   policy reasons. Keep alive the transitive closure of all
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
  //   such referents.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
  if (policy != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
    if (mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
      RefProcPhase1Task phase1(*this, refs_lists, policy, true /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
      task_executor->execute(phase1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
      for (int i = 0; i < _num_q; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
        process_phase1(refs_lists[i], policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
                       is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   886
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
  } else { // policy == NULL
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
    assert(refs_lists != _discoveredSoftRefs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
           "Policy must be specified for soft references.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   890
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
  // Phase 2:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
  // . Traverse the list and remove any refs whose referents are alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
  if (mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
    RefProcPhase2Task phase2(*this, refs_lists, !discovery_is_atomic() /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
    task_executor->execute(phase2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   897
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
    for (int i = 0; i < _num_q; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
      process_phase2(refs_lists[i], is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   900
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   901
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
  // Phase 3:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
  // . Traverse the list and process referents as appropriate.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
  if (mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   906
    RefProcPhase3Task phase3(*this, refs_lists, clear_referent, true /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   907
    task_executor->execute(phase3);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
    for (int i = 0; i < _num_q; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
      process_phase3(refs_lists[i], clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   911
                     is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
void ReferenceProcessor::clean_up_discovered_references() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   917
  // loop over the lists
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
    if (TraceReferenceGC && PrintGCDetails && ((i % _num_q) == 0)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
      gclog_or_tty->print_cr(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
        "\nScrubbing %s discovered list of Null referents",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
        list_name(i));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
    clean_up_discovered_reflist(_discoveredSoftRefs[i]);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   925
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
void ReferenceProcessor::clean_up_discovered_reflist(DiscoveredList& refs_list) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
  assert(!discovery_is_atomic(), "Else why call this method?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
  DiscoveredListIterator iter(refs_list, NULL, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
    iter.load_ptrs(DEBUG_ONLY(true /* allow_null_referent */));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   933
    oop next = java_lang_ref_Reference::next(iter.obj());
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   934
    assert(next->is_oop_or_null(), "bad next field");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
    // If referent has been cleared or Reference is not active,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
    // drop it.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   937
    if (iter.referent() == NULL || next != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
      debug_only(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   939
        if (PrintGCDetails && TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
          gclog_or_tty->print_cr("clean_up_discovered_list: Dropping Reference: "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
            INTPTR_FORMAT " with next field: " INTPTR_FORMAT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
            " and referent: " INTPTR_FORMAT,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   943
            iter.obj(), next, iter.referent());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
        }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   945
      )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   946
      // Remove Reference object from list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   947
      iter.remove();
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   948
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   949
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   950
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   952
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   954
    if (PrintGCDetails && TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   955
      gclog_or_tty->print(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   956
        " Removed %d Refs with NULL referents out of %d discovered Refs",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
        iter.removed(), iter.processed());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   960
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   961
489c9b5090e2 Initial load
duke
parents:
diff changeset
   962
inline DiscoveredList* ReferenceProcessor::get_discovered_list(ReferenceType rt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   963
  int id = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
  // Determine the queue index to use for this object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
  if (_discovery_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
    // During a multi-threaded discovery phase,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   967
    // each thread saves to its "own" list.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   968
    Thread* thr = Thread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   969
    assert(thr->is_GC_task_thread(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   970
           "Dubious cast from Thread* to WorkerThread*?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   971
    id = ((WorkerThread*)thr)->id();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   972
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
    // single-threaded discovery, we save in round-robin
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
    // fashion to each of the lists.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   975
    if (_processing_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
      id = next_id();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   977
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   978
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   979
  assert(0 <= id && id < _num_q, "Id is out-of-bounds (call Freud?)");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   980
489c9b5090e2 Initial load
duke
parents:
diff changeset
   981
  // Get the discovered queue to which we will add
489c9b5090e2 Initial load
duke
parents:
diff changeset
   982
  DiscoveredList* list = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   983
  switch (rt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
    case REF_OTHER:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
      // Unknown reference type, no special treatment
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
    case REF_SOFT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   988
      list = &_discoveredSoftRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   989
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
    case REF_WEAK:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
      list = &_discoveredWeakRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   992
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   993
    case REF_FINAL:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   994
      list = &_discoveredFinalRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   995
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   996
    case REF_PHANTOM:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   997
      list = &_discoveredPhantomRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   998
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   999
    case REF_NONE:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1000
      // we should not reach here if we are an instanceRefKlass
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1001
    default:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1002
      ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1003
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1004
  return list;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1005
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1006
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1007
inline void
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1008
ReferenceProcessor::add_to_discovered_list_mt(DiscoveredList& refs_list,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1009
                                              oop             obj,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1010
                                              HeapWord*       discovered_addr) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
  assert(_discovery_is_mt, "!_discovery_is_mt should have been handled by caller");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
  // First we must make sure this object is only enqueued once. CAS in a non null
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1013
  // discovered_addr.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1014
  oop current_head = refs_list.head();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1015
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1016
  // Note: In the case of G1, this pre-barrier is strictly
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1017
  // not necessary because the only case we are interested in
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1018
  // here is when *discovered_addr is NULL, so this will expand to
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1019
  // nothing. As a result, I am just manually eliding this out for G1.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1020
  if (_discovered_list_needs_barrier && !UseG1GC) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1021
    _bs->write_ref_field_pre((void*)discovered_addr, current_head); guarantee(false, "Needs to be fixed: YSR");
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1022
  }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1023
  oop retest = oopDesc::atomic_compare_exchange_oop(current_head, discovered_addr,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1024
                                                    NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
  if (retest == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
    // This thread just won the right to enqueue the object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
    // We have separate lists for enqueueing so no synchronization
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
    // is necessary.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1029
    refs_list.set_head(obj);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1030
    refs_list.inc_length(1);
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1031
    if (_discovered_list_needs_barrier) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1032
      _bs->write_ref_field((void*)discovered_addr, current_head); guarantee(false, "Needs to be fixed: YSR");
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1033
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1034
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1035
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
    // If retest was non NULL, another thread beat us to it:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
    // The reference has already been discovered...
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
    if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1039
      gclog_or_tty->print_cr("Already enqueued reference (" INTPTR_FORMAT ": %s)",
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1040
                             obj, obj->blueprint()->internal_name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1041
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
// We mention two of several possible choices here:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
// #0: if the reference object is not in the "originating generation"
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1047
//     (or part of the heap being collected, indicated by our "span"
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
//     we don't treat it specially (i.e. we scan it as we would
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1049
//     a normal oop, treating its references as strong references).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1050
//     This means that references can't be enqueued unless their
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1051
//     referent is also in the same span. This is the simplest,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
//     most "local" and most conservative approach, albeit one
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
//     that may cause weak references to be enqueued least promptly.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1054
//     We call this choice the "ReferenceBasedDiscovery" policy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1055
// #1: the reference object may be in any generation (span), but if
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1056
//     the referent is in the generation (span) being currently collected
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1057
//     then we can discover the reference object, provided
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1058
//     the object has not already been discovered by
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1059
//     a different concurrently running collector (as may be the
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1060
//     case, for instance, if the reference object is in CMS and
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1061
//     the referent in DefNewGeneration), and provided the processing
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1062
//     of this reference object by the current collector will
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1063
//     appear atomic to every other collector in the system.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1064
//     (Thus, for instance, a concurrent collector may not
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1065
//     discover references in other generations even if the
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1066
//     referent is in its own generation). This policy may,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1067
//     in certain cases, enqueue references somewhat sooner than
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1068
//     might Policy #0 above, but at marginally increased cost
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1069
//     and complexity in processing these references.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1070
//     We call this choice the "RefeferentBasedDiscovery" policy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1071
bool ReferenceProcessor::discover_reference(oop obj, ReferenceType rt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1072
  // We enqueue references only if we are discovering refs
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1073
  // (rather than processing discovered refs).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
  if (!_discovering_refs || !RegisterReferences) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1075
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1076
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1077
  // We only enqueue active references.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1078
  oop next = java_lang_ref_Reference::next(obj);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1079
  if (next != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1080
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1083
  HeapWord* obj_addr = (HeapWord*)obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1084
  if (RefDiscoveryPolicy == ReferenceBasedDiscovery &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
      !_span.contains(obj_addr)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
    // Reference is not in the originating generation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
    // don't treat it specially (i.e. we want to scan it as a normal
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1088
    // object with strong references).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1090
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1091
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1092
  // We only enqueue references whose referents are not (yet) strongly
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1093
  // reachable.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1094
  if (is_alive_non_header() != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1095
    oop referent = java_lang_ref_Reference::referent(obj);
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1096
    // In the case of non-concurrent discovery, the last
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1097
    // disjunct below should hold. It may not hold in the
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1098
    // case of concurrent discovery because mutators may
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1099
    // concurrently clear() a Reference.
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1100
    assert(UseConcMarkSweepGC || UseG1GC || referent != NULL,
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1101
           "Refs with null referents already filtered");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1102
    if (is_alive_non_header()->do_object_b(referent)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1103
      return false;  // referent is reachable
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1104
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1105
  }
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1106
  if (rt == REF_SOFT) {
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1107
    // For soft refs we can decide now if these are not
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1108
    // current candidates for clearing, in which case we
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1109
    // can mark through them now, rather than delaying that
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1110
    // to the reference-processing phase. Since all current
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1111
    // time-stamp policies advance the soft-ref clock only
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1112
    // at a major collection cycle, this is always currently
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1113
    // accurate.
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1114
    if (!_current_soft_ref_policy->should_clear_reference(obj)) {
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1115
      return false;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1116
    }
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1117
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1118
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1119
  HeapWord* const discovered_addr = java_lang_ref_Reference::discovered_addr(obj);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1120
  const oop  discovered = java_lang_ref_Reference::discovered(obj);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1121
  assert(discovered->is_oop_or_null(), "bad discovered field");
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1122
  if (discovered != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1123
    // The reference has already been discovered...
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1124
    if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1125
      gclog_or_tty->print_cr("Already enqueued reference (" INTPTR_FORMAT ": %s)",
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1126
                             obj, obj->blueprint()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1127
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1128
    if (RefDiscoveryPolicy == ReferentBasedDiscovery) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1129
      // assumes that an object is not processed twice;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1130
      // if it's been already discovered it must be on another
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1131
      // generation's discovered list; so we won't discover it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1132
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1133
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1134
      assert(RefDiscoveryPolicy == ReferenceBasedDiscovery,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1135
             "Unrecognized policy");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1136
      // Check assumption that an object is not potentially
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1137
      // discovered twice except by concurrent collectors that potentially
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1138
      // trace the same Reference object twice.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1139
      assert(UseConcMarkSweepGC,
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1140
             "Only possible with an incremental-update concurrent collector");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1141
      return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1142
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1143
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1144
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1145
  if (RefDiscoveryPolicy == ReferentBasedDiscovery) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1146
    oop referent = java_lang_ref_Reference::referent(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1147
    assert(referent->is_oop(), "bad referent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1148
    // enqueue if and only if either:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1149
    // reference is in our span or
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1150
    // we are an atomic collector and referent is in our span
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1151
    if (_span.contains(obj_addr) ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1152
        (discovery_is_atomic() && _span.contains(referent))) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1153
      // should_enqueue = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1154
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1155
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1156
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1157
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1158
    assert(RefDiscoveryPolicy == ReferenceBasedDiscovery &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1159
           _span.contains(obj_addr), "code inconsistency");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1160
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1161
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1162
  // Get the right type of discovered queue head.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1163
  DiscoveredList* list = get_discovered_list(rt);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1164
  if (list == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1165
    return false;   // nothing special needs to be done
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1166
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1167
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1168
  if (_discovery_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1169
    add_to_discovered_list_mt(*list, obj, discovered_addr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1170
  } else {
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1171
    // If "_discovered_list_needs_barrier", we do write barriers when
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1172
    // updating the discovered reference list.  Otherwise, we do a raw store
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1173
    // here: the field will be visited later when processing the discovered
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1174
    // references.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1175
    oop current_head = list->head();
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1176
    // As in the case further above, since we are over-writing a NULL
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1177
    // pre-value, we can safely elide the pre-barrier here for the case of G1.
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1178
    assert(discovered == NULL, "control point invariant");
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1179
    if (_discovered_list_needs_barrier && !UseG1GC) { // safe to elide for G1
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1180
      _bs->write_ref_field_pre((oop*)discovered_addr, current_head);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1181
    }
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1182
    oop_store_raw(discovered_addr, current_head);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1183
    if (_discovered_list_needs_barrier) {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1184
      _bs->write_ref_field((oop*)discovered_addr, current_head);
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1185
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1186
    list->set_head(obj);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1187
    list->inc_length(1);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1188
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1189
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1190
  // In the MT discovery case, it is currently possible to see
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1191
  // the following message multiple times if several threads
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1192
  // discover a reference about the same time. Only one will
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1193
  // however have actually added it to the disocvered queue.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1194
  // One could let add_to_discovered_list_mt() return an
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1195
  // indication for success in queueing (by 1 thread) or
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1196
  // failure (by all other threads), but I decided the extra
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1197
  // code was not worth the effort for something that is
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1198
  // only used for debugging support.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1199
  if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1200
    oop referent = java_lang_ref_Reference::referent(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1201
    if (PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1202
      gclog_or_tty->print_cr("Enqueued reference (" INTPTR_FORMAT ": %s)",
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1203
                             obj, obj->blueprint()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1204
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1205
    assert(referent->is_oop(), "Enqueued a bad referent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1206
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1207
  assert(obj->is_oop(), "Enqueued a bad reference");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1208
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1209
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1210
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1211
// Preclean the discovered references by removing those
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1212
// whose referents are alive, and by marking from those that
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1213
// are not active. These lists can be handled here
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1214
// in any order and, indeed, concurrently.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1215
void ReferenceProcessor::preclean_discovered_references(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1216
  BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1217
  OopClosure* keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1218
  VoidClosure* complete_gc,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1219
  YieldClosure* yield) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1220
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1221
  NOT_PRODUCT(verify_ok_to_handle_reflists());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1222
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1223
  // Soft references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1224
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1225
    TraceTime tt("Preclean SoftReferences", PrintGCDetails && PrintReferenceGC,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1226
              false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1227
    for (int i = 0; i < _num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1228
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1229
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1230
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1231
      preclean_discovered_reflist(_discoveredSoftRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1232
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1233
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1234
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1235
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1236
  // Weak references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1237
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1238
    TraceTime tt("Preclean WeakReferences", PrintGCDetails && PrintReferenceGC,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1239
              false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1240
    for (int i = 0; i < _num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1241
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1242
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1243
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1244
      preclean_discovered_reflist(_discoveredWeakRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1245
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1246
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1247
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1248
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1249
  // Final references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1250
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1251
    TraceTime tt("Preclean FinalReferences", PrintGCDetails && PrintReferenceGC,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1252
              false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1253
    for (int i = 0; i < _num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1254
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1255
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1256
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1257
      preclean_discovered_reflist(_discoveredFinalRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1258
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1259
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1260
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1261
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1262
  // Phantom references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1263
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1264
    TraceTime tt("Preclean PhantomReferences", PrintGCDetails && PrintReferenceGC,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1265
              false, gclog_or_tty);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1266
    for (int i = 0; i < _num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1267
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1268
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1269
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1270
      preclean_discovered_reflist(_discoveredPhantomRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1271
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1272
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1273
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1274
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1275
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1276
// Walk the given discovered ref list, and remove all reference objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1277
// whose referents are still alive, whose referents are NULL or which
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1278
// are not active (have a non-NULL next field). NOTE: When we are
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1279
// thus precleaning the ref lists (which happens single-threaded today),
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1280
// we do not disable refs discovery to honour the correct semantics of
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1281
// java.lang.Reference. As a result, we need to be careful below
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1282
// that ref removal steps interleave safely with ref discovery steps
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1283
// (in this thread).
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1284
void
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1285
ReferenceProcessor::preclean_discovered_reflist(DiscoveredList&    refs_list,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1286
                                                BoolObjectClosure* is_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1287
                                                OopClosure*        keep_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1288
                                                VoidClosure*       complete_gc,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1289
                                                YieldClosure*      yield) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1290
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1291
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1292
    iter.load_ptrs(DEBUG_ONLY(true /* allow_null_referent */));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1293
    oop obj = iter.obj();
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1294
    oop next = java_lang_ref_Reference::next(obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1295
    if (iter.referent() == NULL || iter.is_referent_alive() ||
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1296
        next != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1297
      // The referent has been cleared, or is alive, or the Reference is not
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1298
      // active; we need to trace and mark its cohort.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1299
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1300
        gclog_or_tty->print_cr("Precleaning Reference (" INTPTR_FORMAT ": %s)",
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1301
                               iter.obj(), iter.obj()->blueprint()->internal_name());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1302
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1303
      // Remove Reference object from list
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1304
      iter.remove();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1305
      // Keep alive its cohort.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1306
      iter.make_referent_alive();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1307
      if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1308
        narrowOop* next_addr = (narrowOop*)java_lang_ref_Reference::next_addr(obj);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1309
        keep_alive->do_oop(next_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1310
      } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1311
        oop* next_addr = (oop*)java_lang_ref_Reference::next_addr(obj);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1312
        keep_alive->do_oop(next_addr);
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1313
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1314
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1315
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1316
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1317
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1318
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1319
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1320
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1321
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1322
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1323
    if (PrintGCDetails && PrintReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1324
      gclog_or_tty->print(" Dropped %d Refs out of %d "
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1325
        "Refs in discovered list ", iter.removed(), iter.processed());
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1326
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1327
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1328
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1329
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1330
const char* ReferenceProcessor::list_name(int i) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1331
   assert(i >= 0 && i <= _num_q * subclasses_of_ref, "Out of bounds index");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1332
   int j = i / _num_q;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1333
   switch (j) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1334
     case 0: return "SoftRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1335
     case 1: return "WeakRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1336
     case 2: return "FinalRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1337
     case 3: return "PhantomRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1338
   }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1339
   ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1340
   return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1341
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1342
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1343
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1344
void ReferenceProcessor::verify_ok_to_handle_reflists() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1345
  // empty for now
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1346
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1347
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1348
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1349
void ReferenceProcessor::verify() {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1350
  guarantee(sentinel_ref() != NULL && sentinel_ref()->is_oop(), "Lost _sentinelRef");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1351
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1352
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1353
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1354
void ReferenceProcessor::clear_discovered_references() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1355
  guarantee(!_discovering_refs, "Discovering refs?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1356
  for (int i = 0; i < _num_q * subclasses_of_ref; i++) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1357
    oop obj = _discoveredSoftRefs[i].head();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1358
    while (obj != sentinel_ref()) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1359
      oop next = java_lang_ref_Reference::discovered(obj);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1360
      java_lang_ref_Reference::set_discovered(obj, (oop) NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1361
      obj = next;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1362
    }
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1363
    _discoveredSoftRefs[i].set_head(sentinel_ref());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1364
    _discoveredSoftRefs[i].set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1365
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1366
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1367
#endif // PRODUCT