hotspot/src/share/vm/gc/shared/referenceProcessor.cpp
author ysr
Wed, 02 Sep 2015 11:56:10 +0200
changeset 32607 c69a7b61ab02
parent 30766 8afe4435d599
child 32623 390a27af5657
permissions -rw-r--r--
8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125 Summary: Test contributed by brutisso Reviewed-by: tonyp, tschatzl
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 28510
diff changeset
     2
 * Copyright (c) 2001, 2015, Oracle and/or its affiliates. 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
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4738
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4738
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4738
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    26
#include "classfile/javaClasses.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    27
#include "classfile/systemDictionary.hpp"
30764
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    28
#include "gc/shared/collectedHeap.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    29
#include "gc/shared/collectedHeap.inline.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    30
#include "gc/shared/gcTimer.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    31
#include "gc/shared/gcTraceTime.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    32
#include "gc/shared/referencePolicy.hpp"
fec48bf5a827 8079792: GC directory structure cleanup
pliden
parents: 30579
diff changeset
    33
#include "gc/shared/referenceProcessor.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    34
#include "oops/oop.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    35
#include "runtime/java.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    36
#include "runtime/jniHandles.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    38
ReferencePolicy* ReferenceProcessor::_always_clear_soft_ref_policy = NULL;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    39
ReferencePolicy* ReferenceProcessor::_default_soft_ref_policy      = NULL;
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    40
jlong            ReferenceProcessor::_soft_ref_timestamp_clock = 0;
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    41
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
void referenceProcessor_init() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
  ReferenceProcessor::init_statics();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
void ReferenceProcessor::init_statics() {
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22496
diff changeset
    47
  // We need a monotonically non-decreasing time in ms but
11251
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
    48
  // os::javaTimeMillis() does not guarantee monotonicity.
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
    49
  jlong now = os::javaTimeNanos() / NANOSECS_PER_MILLISEC;
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    50
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    51
  // Initialize the soft ref timestamp clock.
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    52
  _soft_ref_timestamp_clock = now;
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    53
  // Also update the soft ref clock in j.l.r.SoftReference
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    54
  java_lang_ref_SoftReference::set_clock(_soft_ref_timestamp_clock);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    56
  _always_clear_soft_ref_policy = new AlwaysClearPolicy();
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    57
  _default_soft_ref_policy      = new COMPILER2_PRESENT(LRUMaxHeapPolicy())
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    58
                                      NOT_COMPILER2(LRUCurrentHeapPolicy());
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    59
  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
    60
    vm_exit_during_initialization("Could not allocate reference policy object");
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
    61
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  guarantee(RefDiscoveryPolicy == ReferenceBasedDiscovery ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
            RefDiscoveryPolicy == ReferentBasedDiscovery,
22775
52bc5222f5f1 8026849: Fix typos in the GC code, part 2
jwilhelm
parents: 22768
diff changeset
    64
            "Unrecognized RefDiscoveryPolicy");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
28212
647b7d0efb88 8066827: Remove ReferenceProcessor::clean_up_discovered_references()
kbarrett
parents: 26831
diff changeset
    67
void ReferenceProcessor::enable_discovery(bool check_no_refs) {
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    68
#ifdef ASSERT
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    69
  // Verify that we're not currently discovering refs
28212
647b7d0efb88 8066827: Remove ReferenceProcessor::clean_up_discovered_references()
kbarrett
parents: 26831
diff changeset
    70
  assert(!_discovering_refs, "nested call?");
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    71
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    72
  if (check_no_refs) {
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    73
    // Verify that the discovered lists are empty
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    74
    verify_no_references_recorded();
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    75
  }
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    76
#endif // ASSERT
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    77
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    78
  // Someone could have modified the value of the static
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    79
  // field in the j.l.r.SoftReference class that holds the
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    80
  // soft reference timestamp clock using reflection or
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    81
  // Unsafe between GCs. Unconditionally update the static
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    82
  // field in ReferenceProcessor here so that we use the new
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    83
  // value during reference discovery.
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    84
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    85
  _soft_ref_timestamp_clock = java_lang_ref_SoftReference::clock();
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    86
  _discovering_refs = true;
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    87
}
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
    88
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
ReferenceProcessor::ReferenceProcessor(MemRegion span,
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
    90
                                       bool      mt_processing,
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
    91
                                       uint      mt_processing_degree,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
    92
                                       bool      mt_discovery,
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
    93
                                       uint      mt_discovery_degree,
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
    94
                                       bool      atomic_discovery,
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
    95
                                       BoolObjectClosure* is_alive_non_header)  :
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  _discovering_refs(false),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  _enqueuing_is_done(false),
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
    98
  _is_alive_non_header(is_alive_non_header),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  _processing_is_mt(mt_processing),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  _next_id(0)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  _span = span;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  _discovery_is_atomic = atomic_discovery;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  _discovery_is_mt     = mt_discovery;
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   105
  _num_q               = MAX2(1U, mt_processing_degree);
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   106
  _max_num_q           = MAX2(_num_q, mt_discovery_degree);
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   107
  _discovered_refs     = NEW_C_HEAP_ARRAY(DiscoveredList,
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 11396
diff changeset
   108
            _max_num_q * number_of_subclasses_of_ref(), mtGC);
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 11396
diff changeset
   109
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   110
  if (_discovered_refs == NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
    vm_exit_during_initialization("Could not allocated RefProc Array");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  }
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   113
  _discoveredSoftRefs    = &_discovered_refs[0];
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   114
  _discoveredWeakRefs    = &_discoveredSoftRefs[_max_num_q];
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   115
  _discoveredFinalRefs   = &_discoveredWeakRefs[_max_num_q];
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   116
  _discoveredPhantomRefs = &_discoveredFinalRefs[_max_num_q];
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   117
  _discoveredCleanerRefs = &_discoveredPhantomRefs[_max_num_q];
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   118
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   119
  // Initialize all entries to NULL
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   120
  for (uint i = 0; i < _max_num_q * number_of_subclasses_of_ref(); i++) {
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   121
    _discovered_refs[i].set_head(NULL);
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   122
    _discovered_refs[i].set_length(0);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  }
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   124
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   125
  setup_policy(false /* default soft ref policy */);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
void ReferenceProcessor::verify_no_references_recorded() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  guarantee(!_discovering_refs, "Discovering refs?");
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   131
  for (uint i = 0; i < _max_num_q * number_of_subclasses_of_ref(); i++) {
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   132
    guarantee(_discovered_refs[i].is_empty(),
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
              "Found non-empty discovered list");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
void ReferenceProcessor::weak_oops_do(OopClosure* f) {
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   139
  for (uint i = 0; i < _max_num_q * number_of_subclasses_of_ref(); i++) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   140
    if (UseCompressedOops) {
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   141
      f->do_oop((narrowOop*)_discovered_refs[i].adr_head());
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   142
    } else {
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   143
      f->do_oop((oop*)_discovered_refs[i].adr_head());
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   144
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   148
void ReferenceProcessor::update_soft_ref_master_clock() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  // Update (advance) the soft ref master clock field. This must be done
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  // after processing the soft ref list.
11251
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   151
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22496
diff changeset
   152
  // We need a monotonically non-decreasing time in ms but
11251
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   153
  // os::javaTimeMillis() does not guarantee monotonicity.
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   154
  jlong now = os::javaTimeNanos() / NANOSECS_PER_MILLISEC;
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   155
  jlong soft_ref_clock = java_lang_ref_SoftReference::clock();
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   156
  assert(soft_ref_clock == _soft_ref_timestamp_clock, "soft ref clocks out of sync");
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   157
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  NOT_PRODUCT(
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   159
  if (now < _soft_ref_timestamp_clock) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   160
    warning("time warp: " JLONG_FORMAT " to " JLONG_FORMAT,
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   161
            _soft_ref_timestamp_clock, now);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
  )
11251
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   164
  // The values of now and _soft_ref_timestamp_clock are set using
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   165
  // javaTimeNanos(), which is guaranteed to be monotonically
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   166
  // non-decreasing provided the underlying platform provides such
e29da6b5622b 7117303: VM uses non-monotonic time source and complains that it is non-monotonic
johnc
parents: 10747
diff changeset
   167
  // a time source (and it is bug free).
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22496
diff changeset
   168
  // In product mode, however, protect ourselves from non-monotonicity.
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   169
  if (now > _soft_ref_timestamp_clock) {
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   170
    _soft_ref_timestamp_clock = now;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
    java_lang_ref_SoftReference::set_clock(now);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
  // Else leave clock stalled at its old value until time progresses
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
  // past clock value.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   177
size_t ReferenceProcessor::total_count(DiscoveredList lists[]) {
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   178
  size_t total = 0;
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   179
  for (uint i = 0; i < _max_num_q; ++i) {
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   180
    total += lists[i].length();
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   181
  }
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   182
  return total;
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   183
}
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   184
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   185
ReferenceProcessorStats ReferenceProcessor::process_discovered_references(
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
  BoolObjectClosure*           is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   187
  OopClosure*                  keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   188
  VoidClosure*                 complete_gc,
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   189
  AbstractRefProcTaskExecutor* task_executor,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   190
  GCTimer*                     gc_timer,
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   191
  GCId                         gc_id) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   192
489c9b5090e2 Initial load
duke
parents:
diff changeset
   193
  assert(!enqueuing_is_done(), "If here enqueuing should not be complete");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   194
  // Stop treating discovered references specially.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   195
  disable_discovery();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   196
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   197
  // If discovery was concurrent, someone could have modified
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   198
  // the value of the static field in the j.l.r.SoftReference
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   199
  // class that holds the soft reference timestamp clock using
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   200
  // reflection or Unsafe between when discovery was enabled and
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   201
  // now. Unconditionally update the static field in ReferenceProcessor
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   202
  // here so that we use the new value during processing of the
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   203
  // discovered soft refs.
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   204
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   205
  _soft_ref_timestamp_clock = java_lang_ref_SoftReference::clock();
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   206
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   207
  bool trace_time = PrintGCDetails && PrintReferenceGC;
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   208
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   209
  // Soft references
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   210
  size_t soft_count = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   211
  {
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   212
    GCTraceTime tt("SoftReference", trace_time, false, gc_timer, gc_id);
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   213
    soft_count =
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   214
      process_discovered_reflist(_discoveredSoftRefs, _current_soft_ref_policy, true,
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   215
                                 is_alive, keep_alive, complete_gc, task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   216
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   217
489c9b5090e2 Initial load
duke
parents:
diff changeset
   218
  update_soft_ref_master_clock();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   219
489c9b5090e2 Initial load
duke
parents:
diff changeset
   220
  // Weak references
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   221
  size_t weak_count = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   222
  {
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   223
    GCTraceTime tt("WeakReference", trace_time, false, gc_timer, gc_id);
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   224
    weak_count =
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   225
      process_discovered_reflist(_discoveredWeakRefs, NULL, true,
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   226
                                 is_alive, keep_alive, complete_gc, task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   227
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   228
489c9b5090e2 Initial load
duke
parents:
diff changeset
   229
  // Final references
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   230
  size_t final_count = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   231
  {
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   232
    GCTraceTime tt("FinalReference", trace_time, false, gc_timer, gc_id);
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   233
    final_count =
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   234
      process_discovered_reflist(_discoveredFinalRefs, NULL, false,
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   235
                                 is_alive, keep_alive, complete_gc, task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   236
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   237
489c9b5090e2 Initial load
duke
parents:
diff changeset
   238
  // Phantom references
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   239
  size_t phantom_count = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   240
  {
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   241
    GCTraceTime tt("PhantomReference", trace_time, false, gc_timer, gc_id);
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   242
    phantom_count =
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   243
      process_discovered_reflist(_discoveredPhantomRefs, NULL, false,
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   244
                                 is_alive, keep_alive, complete_gc, task_executor);
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   245
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   246
  }
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   247
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   248
  // Cleaners
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   249
  size_t cleaner_count = 0;
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   250
  {
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   251
    GCTraceTime tt("Cleaners", trace_time, false, gc_timer, gc_id);
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   252
    cleaner_count =
29872
f7c7fb04a0d7 8071931: Return of the phantom menace
kbarrett
parents: 29807
diff changeset
   253
      process_discovered_reflist(_discoveredCleanerRefs, NULL, true,
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   254
                                 is_alive, keep_alive, complete_gc, task_executor);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   255
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   256
489c9b5090e2 Initial load
duke
parents:
diff changeset
   257
  // Weak global JNI references. It would make more sense (semantically) to
489c9b5090e2 Initial load
duke
parents:
diff changeset
   258
  // traverse these simultaneously with the regular weak references above, but
489c9b5090e2 Initial load
duke
parents:
diff changeset
   259
  // that is not how the JDK1.2 specification is. See #4126360. Native code can
489c9b5090e2 Initial load
duke
parents:
diff changeset
   260
  // thus use JNI weak references to circumvent the phantom references and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   261
  // resurrect a "post-mortem" object.
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   262
  size_t jni_weak_ref_count = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   263
  {
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
   264
    GCTraceTime tt("JNI Weak Reference", trace_time, false, gc_timer, gc_id);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   265
    if (task_executor != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   266
      task_executor->set_single_threaded_mode();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   267
    }
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   268
    jni_weak_ref_count =
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   269
      process_phaseJNI(is_alive, keep_alive, complete_gc);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   270
  }
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   271
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   272
  return ReferenceProcessorStats(soft_count, weak_count, final_count, phantom_count, cleaner_count, jni_weak_ref_count);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   273
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   274
489c9b5090e2 Initial load
duke
parents:
diff changeset
   275
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   276
// 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
   277
uint ReferenceProcessor::count_jni_refs() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   278
  class AlwaysAliveClosure: public BoolObjectClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   279
  public:
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   280
    virtual bool do_object_b(oop obj) { return true; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   281
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   282
489c9b5090e2 Initial load
duke
parents:
diff changeset
   283
  class CountHandleClosure: public OopClosure {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   284
  private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   285
    int _count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   286
  public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   287
    CountHandleClosure(): _count(0) {}
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   288
    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
   289
    void do_oop(narrowOop* unused) { ShouldNotReachHere(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   290
    int count() { return _count; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   291
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
   292
  CountHandleClosure global_handle_count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   293
  AlwaysAliveClosure always_alive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   294
  JNIHandles::weak_oops_do(&always_alive, &global_handle_count);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   295
  return global_handle_count.count();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   296
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   297
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   298
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   299
size_t ReferenceProcessor::process_phaseJNI(BoolObjectClosure* is_alive,
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   300
                                            OopClosure*        keep_alive,
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   301
                                            VoidClosure*       complete_gc) {
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   302
  DEBUG_ONLY(size_t check_count = count_jni_refs();)
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   303
  size_t count = JNIHandles::weak_oops_do(is_alive, keep_alive);
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   304
  assert(count == check_count, "Counts didn't match");
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   305
  complete_gc->do_void();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   306
  if (PrintGCDetails && PrintReferenceGC) {
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   307
    gclog_or_tty->print(", " SIZE_FORMAT " refs", count);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   308
  }
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   309
  return count;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   310
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   311
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   312
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   313
template <class T>
4493
9204129f065e 6843629: Make current hotspot build part of jdk5 control build
phh
parents: 3690
diff changeset
   314
bool enqueue_discovered_ref_helper(ReferenceProcessor* ref,
9204129f065e 6843629: Make current hotspot build part of jdk5 control build
phh
parents: 3690
diff changeset
   315
                                   AbstractRefProcTaskExecutor* task_executor) {
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   316
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   317
  // 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
   318
  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
   319
  T old_pending_list_value = *pending_list_addr;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   320
489c9b5090e2 Initial load
duke
parents:
diff changeset
   321
  // Enqueue references that are not made active again, and
489c9b5090e2 Initial load
duke
parents:
diff changeset
   322
  // 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
   323
  ref->enqueue_discovered_reflists((HeapWord*)pending_list_addr, task_executor);
22496
383a5bdef99d 8029255: G1: Reference processing should not enqueue references on the shared SATB queue
pliden
parents: 20282
diff changeset
   324
  // Do the post-barrier on pending_list_addr missed in
383a5bdef99d 8029255: G1: Reference processing should not enqueue references on the shared SATB queue
pliden
parents: 20282
diff changeset
   325
  // enqueue_discovered_reflist.
383a5bdef99d 8029255: G1: Reference processing should not enqueue references on the shared SATB queue
pliden
parents: 20282
diff changeset
   326
  oopDesc::bs()->write_ref_field(pending_list_addr, oopDesc::load_decode_heap_oop(pending_list_addr));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   327
489c9b5090e2 Initial load
duke
parents:
diff changeset
   328
  // 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
   329
  ref->disable_discovery();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   330
489c9b5090e2 Initial load
duke
parents:
diff changeset
   331
  // Return true if new pending references were added
489c9b5090e2 Initial load
duke
parents:
diff changeset
   332
  return old_pending_list_value != *pending_list_addr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   333
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   334
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   335
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
   336
  if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   337
    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
   338
  } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   339
    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
   340
  }
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   341
}
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   342
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   343
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
   344
                                                    HeapWord* pending_list_addr) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
  // Given a list of refs linked through the "discovered" field
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   346
  // (java.lang.ref.Reference.discovered), self-loop their "next" field
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   347
  // thus distinguishing them from active References, then
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   348
  // prepend them to the pending list.
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   349
  //
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   350
  // The Java threads will see the Reference objects linked together through
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   351
  // the discovered field. Instead of trying to do the write barrier updates
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   352
  // in all places in the reference processor where we manipulate the discovered
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   353
  // field we make sure to do the barrier here where we anyway iterate through
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   354
  // all linked Reference objects. Note that it is important to not dirty any
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   355
  // cards during reference processing since this will cause card table
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   356
  // verification to fail for G1.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  if (TraceReferenceGC && PrintGCDetails) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
    gclog_or_tty->print_cr("ReferenceProcessor::enqueue_discovered_reflist list "
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   359
                           INTPTR_FORMAT, p2i(refs_list.head()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
  }
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   361
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   362
  oop obj = NULL;
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   363
  oop next_d = refs_list.head();
30558
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   364
  // Walk down the list, self-looping the next field
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   365
  // so that the References are not considered active.
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   366
  while (obj != next_d) {
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   367
    obj = next_d;
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   368
    assert(obj->is_instanceRef(), "should be reference object");
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   369
    next_d = java_lang_ref_Reference::discovered(obj);
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   370
    if (TraceReferenceGC && PrintGCDetails) {
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   371
      gclog_or_tty->print_cr("        obj " INTPTR_FORMAT "/next_d " INTPTR_FORMAT,
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   372
                             p2i(obj), p2i(next_d));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   373
    }
30558
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   374
    assert(java_lang_ref_Reference::next(obj) == NULL,
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   375
           "Reference not active; should not be discovered");
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   376
    // Self-loop next, so as to make Ref not active.
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   377
    java_lang_ref_Reference::set_next_raw(obj, obj);
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   378
    if (next_d != obj) {
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   379
      oopDesc::bs()->write_ref_field(java_lang_ref_Reference::discovered_addr(obj), next_d);
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   380
    } else {
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   381
      // This is the last object.
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   382
      // Swap refs_list into pending_list_addr and
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   383
      // set obj's discovered to what we read from pending_list_addr.
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   384
      oop old = oopDesc::atomic_exchange_oop(refs_list.head(), pending_list_addr);
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   385
      // Need post-barrier on pending_list_addr. See enqueue_discovered_ref_helper() above.
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   386
      java_lang_ref_Reference::set_discovered_raw(obj, old); // old may be NULL
baec90a2699f 8031401: Remove unused code in the reference processor
kbarrett
parents: 29807
diff changeset
   387
      oopDesc::bs()->write_ref_field(java_lang_ref_Reference::discovered_addr(obj), old);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
// Parallel enqueue task
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
class RefProcEnqueueTask: public AbstractRefProcTaskExecutor::EnqueueTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
  RefProcEnqueueTask(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
                     DiscoveredList      discovered_refs[],
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   397
                     HeapWord*           pending_list_addr,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
                     int                 n_queues)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
    : EnqueueTask(ref_processor, discovered_refs,
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   400
                  pending_list_addr, n_queues)
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   403
  virtual void work(unsigned int work_id) {
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   404
    assert(work_id < (unsigned int)_ref_processor.max_num_q(), "Index out-of-bounds");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   405
    // Simplest first cut: static partitioning.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   406
    int index = work_id;
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   407
    // The increment on "index" must correspond to the maximum number of queues
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   408
    // (n_queues) with which that ReferenceProcessor was created.  That
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   409
    // is because of the "clever" way the discovered references lists were
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   410
    // allocated and are indexed into.
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   411
    assert(_n_queues == (int) _ref_processor.max_num_q(), "Different number not expected");
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   412
    for (int j = 0;
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   413
         j < ReferenceProcessor::number_of_subclasses_of_ref();
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   414
         j++, index += _n_queues) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   415
      _ref_processor.enqueue_discovered_reflist(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   416
        _refs_lists[index], _pending_list_addr);
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   417
      _refs_lists[index].set_head(NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   418
      _refs_lists[index].set_length(0);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   419
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   420
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   421
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   422
489c9b5090e2 Initial load
duke
parents:
diff changeset
   423
// 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
   424
void ReferenceProcessor::enqueue_discovered_reflists(HeapWord* pending_list_addr,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   425
  AbstractRefProcTaskExecutor* task_executor) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   426
  if (_processing_is_mt && task_executor != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   427
    // Parallel code
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   428
    RefProcEnqueueTask tsk(*this, _discovered_refs,
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   429
                           pending_list_addr, _max_num_q);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   430
    task_executor->execute(tsk);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   431
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   432
    // Serial code: call the parent class's implementation
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   433
    for (uint i = 0; i < _max_num_q * number_of_subclasses_of_ref(); i++) {
10747
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   434
      enqueue_discovered_reflist(_discovered_refs[i], pending_list_addr);
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   435
      _discovered_refs[i].set_head(NULL);
dfdb9eb56e49 7095243: Disambiguate ReferenceProcessor::_discoveredSoftRefs
johnc
parents: 10683
diff changeset
   436
      _discovered_refs[i].set_length(0);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   437
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   438
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   439
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   440
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   441
void DiscoveredListIterator::load_ptrs(DEBUG_ONLY(bool allow_null_referent)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   442
  _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
   443
  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
   444
  assert(_discovered_addr && discovered->is_oop_or_null(),
26831
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
   445
         err_msg("Expected an oop or NULL for discovered field at " PTR_FORMAT, p2i(discovered)));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   446
  _next = discovered;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   447
  _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
   448
  _referent = java_lang_ref_Reference::referent(_ref);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   449
  assert(Universe::heap()->is_in_reserved_or_null(_referent),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   450
         "Wrong oop found in java.lang.Reference object");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   451
  assert(allow_null_referent ?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   452
             _referent->is_oop_or_null()
489c9b5090e2 Initial load
duke
parents:
diff changeset
   453
           : _referent->is_oop(),
26831
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
   454
         err_msg("Expected an oop%s for referent field at " PTR_FORMAT,
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
   455
                 (allow_null_referent ? " or NULL" : ""),
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
   456
                 p2i(_referent)));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   457
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   458
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   459
void DiscoveredListIterator::remove() {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   460
  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
   461
  oop_store_raw(_discovered_addr, NULL);
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   462
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   463
  // First _prev_next ref actually points into DiscoveredList (gross).
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   464
  oop new_next;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   465
  if (_next == _ref) {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   466
    // At the end of the list, we should make _prev point to itself.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   467
    // If _ref is the first ref, then _prev_next will be in the DiscoveredList,
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   468
    // and _prev will be NULL.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   469
    new_next = _prev;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   470
  } else {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   471
    new_next = _next;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   472
  }
22768
363a44995a71 8031703: Missing post-barrier in ReferenceProcessor
pliden
parents: 22551
diff changeset
   473
  // Remove Reference object from discovered list. Note that G1 does not need a
363a44995a71 8031703: Missing post-barrier in ReferenceProcessor
pliden
parents: 22551
diff changeset
   474
  // pre-barrier here because we know the Reference has already been found/marked,
363a44995a71 8031703: Missing post-barrier in ReferenceProcessor
pliden
parents: 22551
diff changeset
   475
  // that's how it ended up in the discovered list in the first place.
363a44995a71 8031703: Missing post-barrier in ReferenceProcessor
pliden
parents: 22551
diff changeset
   476
  oop_store_raw(_prev_next, new_next);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   477
  NOT_PRODUCT(_removed++);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   478
  _refs_list.dec_length(1);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   479
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   480
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   481
void DiscoveredListIterator::clear_referent() {
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   482
  oop_store_raw(_referent_addr, NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   483
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   484
489c9b5090e2 Initial load
duke
parents:
diff changeset
   485
// NOTE: process_phase*() are largely similar, and at a high level
489c9b5090e2 Initial load
duke
parents:
diff changeset
   486
// merely iterate over the extant list applying a predicate to
489c9b5090e2 Initial load
duke
parents:
diff changeset
   487
// each of its elements and possibly removing that element from the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   488
// list and applying some further closures to that element.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   489
// We should consider the possibility of replacing these
489c9b5090e2 Initial load
duke
parents:
diff changeset
   490
// process_phase*() methods by abstracting them into
489c9b5090e2 Initial load
duke
parents:
diff changeset
   491
// a single general iterator invocation that receives appropriate
489c9b5090e2 Initial load
duke
parents:
diff changeset
   492
// closures that accomplish this work.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   493
489c9b5090e2 Initial load
duke
parents:
diff changeset
   494
// (SoftReferences only) Traverse the list and remove any SoftReferences whose
489c9b5090e2 Initial load
duke
parents:
diff changeset
   495
// referents are not alive, but that should be kept alive for policy reasons.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   496
// Keep alive the transitive closure of all such referents.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   497
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   498
ReferenceProcessor::process_phase1(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   499
                                   ReferencePolicy*   policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   500
                                   BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   501
                                   OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   502
                                   VoidClosure*       complete_gc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   503
  assert(policy != NULL, "Must have a non-NULL policy");
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   504
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   505
  // Decide which softly reachable refs should be kept alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   506
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   507
    iter.load_ptrs(DEBUG_ONLY(!discovery_is_atomic() /* allow_null_referent */));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   508
    bool referent_is_dead = (iter.referent() != NULL) && !iter.is_referent_alive();
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   509
    if (referent_is_dead &&
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
   510
        !policy->should_clear_reference(iter.obj(), _soft_ref_timestamp_clock)) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   511
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   512
        gclog_or_tty->print_cr("Dropping reference (" INTPTR_FORMAT ": %s"  ") by policy",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   513
                               p2i(iter.obj()), iter.obj()->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   514
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   515
      // Remove Reference object from list
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   516
      iter.remove();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   517
      // keep the referent around
489c9b5090e2 Initial load
duke
parents:
diff changeset
   518
      iter.make_referent_alive();
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   519
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   520
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   521
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   522
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   523
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   524
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   525
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   526
  NOT_PRODUCT(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   527
    if (PrintGCDetails && TraceReferenceGC) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   528
      gclog_or_tty->print_cr(" Dropped " SIZE_FORMAT " dead Refs out of " SIZE_FORMAT
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   529
        " discovered Refs by policy, from list " INTPTR_FORMAT,
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   530
        iter.removed(), iter.processed(), p2i(refs_list.head()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   531
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   532
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   533
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   534
489c9b5090e2 Initial load
duke
parents:
diff changeset
   535
// Traverse the list and remove any Refs that are not active, or
489c9b5090e2 Initial load
duke
parents:
diff changeset
   536
// whose referents are either alive or NULL.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   537
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   538
ReferenceProcessor::pp2_work(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   539
                             BoolObjectClosure* is_alive,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   540
                             OopClosure*        keep_alive) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   541
  assert(discovery_is_atomic(), "Error");
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   542
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   543
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   544
    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
   545
    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
   546
    assert(next == NULL, "Should not discover inactive Reference");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   547
    if (iter.is_referent_alive()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   548
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   549
        gclog_or_tty->print_cr("Dropping strongly reachable reference (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   550
                               p2i(iter.obj()), iter.obj()->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   551
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   552
      // The referent is reachable after all.
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   553
      // Remove Reference object from list.
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   554
      iter.remove();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   555
      // Update the referent pointer as necessary: Note that this
489c9b5090e2 Initial load
duke
parents:
diff changeset
   556
      // should not entail any recursive marking because the
489c9b5090e2 Initial load
duke
parents:
diff changeset
   557
      // referent must already have been traversed.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   558
      iter.make_referent_alive();
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   559
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   560
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   561
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   562
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   563
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   564
  NOT_PRODUCT(
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   565
    if (PrintGCDetails && TraceReferenceGC && (iter.processed() > 0)) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   566
      gclog_or_tty->print_cr(" Dropped " SIZE_FORMAT " active Refs out of " SIZE_FORMAT
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   567
        " Refs in discovered list " INTPTR_FORMAT,
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   568
        iter.removed(), iter.processed(), p2i(refs_list.head()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   569
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   570
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   571
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   572
489c9b5090e2 Initial load
duke
parents:
diff changeset
   573
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   574
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
   575
                                                  BoolObjectClosure* is_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   576
                                                  OopClosure*        keep_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   577
                                                  VoidClosure*       complete_gc) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   578
  assert(!discovery_is_atomic(), "Error");
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   579
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   580
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   581
    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
   582
    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
   583
    oop next = java_lang_ref_Reference::next(iter.obj());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   584
    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
   585
         next != NULL)) {
26831
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
   586
      assert(next->is_oop_or_null(), err_msg("Expected an oop or NULL for next field at " PTR_FORMAT, p2i(next)));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   587
      // Remove Reference object from list
489c9b5090e2 Initial load
duke
parents:
diff changeset
   588
      iter.remove();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   589
      // Trace the cohorts
489c9b5090e2 Initial load
duke
parents:
diff changeset
   590
      iter.make_referent_alive();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   591
      if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   592
        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
   593
      } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   594
        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
   595
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   596
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   597
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   598
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   599
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   600
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   601
  // Now close the newly reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   602
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   603
  NOT_PRODUCT(
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
   604
    if (PrintGCDetails && TraceReferenceGC && (iter.processed() > 0)) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   605
      gclog_or_tty->print_cr(" Dropped " SIZE_FORMAT " active Refs out of " SIZE_FORMAT
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   606
        " Refs in discovered list " INTPTR_FORMAT,
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   607
        iter.removed(), iter.processed(), p2i(refs_list.head()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   608
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   609
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
   610
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   611
489c9b5090e2 Initial load
duke
parents:
diff changeset
   612
// 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
   613
// clearing them or keeping them (and their reachable
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   614
// closure) alive.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   615
void
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   616
ReferenceProcessor::process_phase3(DiscoveredList&    refs_list,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   617
                                   bool               clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   618
                                   BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   619
                                   OopClosure*        keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   620
                                   VoidClosure*       complete_gc) {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   621
  ResourceMark rm;
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   622
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   623
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   624
    iter.load_ptrs(DEBUG_ONLY(false /* allow_null_referent */));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   625
    if (clear_referent) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   626
      // NULL out referent pointer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   627
      iter.clear_referent();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   628
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   629
      // keep the referent around
489c9b5090e2 Initial load
duke
parents:
diff changeset
   630
      iter.make_referent_alive();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   631
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   632
    if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   633
      gclog_or_tty->print_cr("Adding %sreference (" INTPTR_FORMAT ": %s) as pending",
489c9b5090e2 Initial load
duke
parents:
diff changeset
   634
                             clear_referent ? "cleared " : "",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   635
                             p2i(iter.obj()), iter.obj()->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   636
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   637
    assert(iter.obj()->is_oop(UseConcMarkSweepGC), "Adding a bad reference");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   638
    iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   639
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   640
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
   641
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   642
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   643
489c9b5090e2 Initial load
duke
parents:
diff changeset
   644
void
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   645
ReferenceProcessor::clear_discovered_references(DiscoveredList& refs_list) {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   646
  oop obj = NULL;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   647
  oop next = refs_list.head();
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   648
  while (next != obj) {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   649
    obj = next;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   650
    next = 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
   651
    java_lang_ref_Reference::set_discovered_raw(obj, NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   652
  }
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   653
  refs_list.set_head(NULL);
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   654
  refs_list.set_length(0);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   655
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   656
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   657
void ReferenceProcessor::abandon_partial_discovery() {
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   658
  // loop over the lists
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   659
  for (uint i = 0; i < _max_num_q * number_of_subclasses_of_ref(); i++) {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   660
    if (TraceReferenceGC && PrintGCDetails && ((i % _max_num_q) == 0)) {
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
   661
      gclog_or_tty->print_cr("\nAbandoning %s discovered list", list_name(i));
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   662
    }
30766
8afe4435d599 8058265: No callers of ReferenceProcessor::clear_discovered_references
kbarrett
parents: 30764
diff changeset
   663
    clear_discovered_references(_discovered_refs[i]);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   664
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   665
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   666
489c9b5090e2 Initial load
duke
parents:
diff changeset
   667
class RefProcPhase1Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   668
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   669
  RefProcPhase1Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   670
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   671
                    ReferencePolicy*    policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   672
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   673
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   674
      _policy(policy)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   675
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   676
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   677
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   678
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   679
  {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   680
    Thread* thr = Thread::current();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   681
    int refs_list_index = ((WorkerThread*)thr)->id();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   682
    _ref_processor.process_phase1(_refs_lists[refs_list_index], _policy,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   683
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   684
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   685
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   686
  ReferencePolicy* _policy;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   687
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   688
489c9b5090e2 Initial load
duke
parents:
diff changeset
   689
class RefProcPhase2Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   690
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   691
  RefProcPhase2Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   692
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   693
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   694
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   695
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   696
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   697
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   698
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   699
  {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   700
    _ref_processor.process_phase2(_refs_lists[i],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   701
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   702
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   703
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   704
489c9b5090e2 Initial load
duke
parents:
diff changeset
   705
class RefProcPhase3Task: public AbstractRefProcTaskExecutor::ProcessTask {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   706
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   707
  RefProcPhase3Task(ReferenceProcessor& ref_processor,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   708
                    DiscoveredList      refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   709
                    bool                clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   710
                    bool                marks_oops_alive)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   711
    : ProcessTask(ref_processor, refs_lists, marks_oops_alive),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   712
      _clear_referent(clear_referent)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   713
  { }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   714
  virtual void work(unsigned int i, BoolObjectClosure& is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   715
                    OopClosure& keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   716
                    VoidClosure& complete_gc)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   717
  {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   718
    // Don't use "refs_list_index" calculated in this way because
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   719
    // balance_queues() has moved the Ref's into the first n queues.
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   720
    // Thread* thr = Thread::current();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   721
    // int refs_list_index = ((WorkerThread*)thr)->id();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   722
    // _ref_processor.process_phase3(_refs_lists[refs_list_index], _clear_referent,
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   723
    _ref_processor.process_phase3(_refs_lists[i], _clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   724
                                  &is_alive, &keep_alive, &complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   725
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   726
private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   727
  bool _clear_referent;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   728
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   729
489c9b5090e2 Initial load
duke
parents:
diff changeset
   730
// Balances reference queues.
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   731
// Move entries from all queues[0, 1, ..., _max_num_q-1] to
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   732
// queues[0, 1, ..., _num_q-1] because only the first _num_q
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   733
// corresponding to the active workers will be processed.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   734
void ReferenceProcessor::balance_queues(DiscoveredList ref_lists[])
489c9b5090e2 Initial load
duke
parents:
diff changeset
   735
{
489c9b5090e2 Initial load
duke
parents:
diff changeset
   736
  // calculate total length
489c9b5090e2 Initial load
duke
parents:
diff changeset
   737
  size_t total_refs = 0;
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   738
  if (TraceReferenceGC && PrintGCDetails) {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   739
    gclog_or_tty->print_cr("\nBalance ref_lists ");
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   740
  }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   741
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   742
  for (uint i = 0; i < _max_num_q; ++i) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   743
    total_refs += ref_lists[i].length();
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   744
    if (TraceReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   745
      gclog_or_tty->print(SIZE_FORMAT " ", ref_lists[i].length());
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   746
    }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   747
  }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   748
  if (TraceReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   749
    gclog_or_tty->print_cr(" = " SIZE_FORMAT, total_refs);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   750
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   751
  size_t avg_refs = total_refs / _num_q + 1;
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   752
  uint to_idx = 0;
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   753
  for (uint from_idx = 0; from_idx < _max_num_q; from_idx++) {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   754
    bool move_all = false;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   755
    if (from_idx >= _num_q) {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   756
      move_all = ref_lists[from_idx].length() > 0;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   757
    }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   758
    while ((ref_lists[from_idx].length() > avg_refs) ||
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   759
           move_all) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   760
      assert(to_idx < _num_q, "Sanity Check!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   761
      if (ref_lists[to_idx].length() < avg_refs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   762
        // move superfluous refs
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   763
        size_t refs_to_move;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   764
        // Move all the Ref's if the from queue will not be processed.
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   765
        if (move_all) {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   766
          refs_to_move = MIN2(ref_lists[from_idx].length(),
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   767
                              avg_refs - ref_lists[to_idx].length());
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   768
        } else {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   769
          refs_to_move = MIN2(ref_lists[from_idx].length() - avg_refs,
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   770
                              avg_refs - ref_lists[to_idx].length());
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   771
        }
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   772
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   773
        assert(refs_to_move > 0, "otherwise the code below will fail");
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   774
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   775
        oop move_head = ref_lists[from_idx].head();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   776
        oop move_tail = move_head;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   777
        oop new_head  = move_head;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   778
        // find an element to split the list on
489c9b5090e2 Initial load
duke
parents:
diff changeset
   779
        for (size_t j = 0; j < refs_to_move; ++j) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   780
          move_tail = new_head;
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   781
          new_head = java_lang_ref_Reference::discovered(new_head);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   782
        }
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   783
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   784
        // Add the chain to the to list.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   785
        if (ref_lists[to_idx].head() == NULL) {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   786
          // to list is empty. Make a loop at the end.
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   787
          java_lang_ref_Reference::set_discovered_raw(move_tail, move_tail);
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   788
        } else {
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
   789
          java_lang_ref_Reference::set_discovered_raw(move_tail, ref_lists[to_idx].head());
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   790
        }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   791
        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
   792
        ref_lists[to_idx].inc_length(refs_to_move);
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   793
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   794
        // Remove the chain from the from list.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   795
        if (move_tail == new_head) {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   796
          // We found the end of the from list.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   797
          ref_lists[from_idx].set_head(NULL);
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   798
        } else {
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   799
          ref_lists[from_idx].set_head(new_head);
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   800
        }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   801
        ref_lists[from_idx].dec_length(refs_to_move);
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   802
        if (ref_lists[from_idx].length() == 0) {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   803
          break;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   804
        }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   805
      } else {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   806
        to_idx = (to_idx + 1) % _num_q;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   807
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   808
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   809
  }
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   810
#ifdef ASSERT
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   811
  size_t balanced_total_refs = 0;
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   812
  for (uint i = 0; i < _max_num_q; ++i) {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   813
    balanced_total_refs += ref_lists[i].length();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   814
    if (TraceReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   815
      gclog_or_tty->print(SIZE_FORMAT " ", ref_lists[i].length());
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   816
    }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   817
  }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   818
  if (TraceReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   819
    gclog_or_tty->print_cr(" = " SIZE_FORMAT, balanced_total_refs);
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   820
    gclog_or_tty->flush();
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   821
  }
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   822
  assert(total_refs == balanced_total_refs, "Balancing was incomplete");
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   823
#endif
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   824
}
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   825
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   826
void ReferenceProcessor::balance_all_queues() {
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   827
  balance_queues(_discoveredSoftRefs);
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   828
  balance_queues(_discoveredWeakRefs);
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   829
  balance_queues(_discoveredFinalRefs);
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   830
  balance_queues(_discoveredPhantomRefs);
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   831
  balance_queues(_discoveredCleanerRefs);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   832
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   833
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   834
size_t
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   835
ReferenceProcessor::process_discovered_reflist(
489c9b5090e2 Initial load
duke
parents:
diff changeset
   836
  DiscoveredList               refs_lists[],
489c9b5090e2 Initial load
duke
parents:
diff changeset
   837
  ReferencePolicy*             policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   838
  bool                         clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   839
  BoolObjectClosure*           is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   840
  OopClosure*                  keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   841
  VoidClosure*                 complete_gc,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   842
  AbstractRefProcTaskExecutor* task_executor)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   843
{
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   844
  bool mt_processing = task_executor != NULL && _processing_is_mt;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   845
  // If discovery used MT and a dynamic number of GC threads, then
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   846
  // the queues must be balanced for correctness if fewer than the
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   847
  // maximum number of queues were used.  The number of queue used
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   848
  // during discovery may be different than the number to be used
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   849
  // for processing so don't depend of _num_q < _max_num_q as part
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   850
  // of the test.
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   851
  bool must_balance = _discovery_is_mt;
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   852
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   853
  if ((mt_processing && ParallelRefProcBalancingEnabled) ||
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   854
      must_balance) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   855
    balance_queues(refs_lists);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   856
  }
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   857
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   858
  size_t total_list_count = total_count(refs_lists);
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   859
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   860
  if (PrintReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   861
    gclog_or_tty->print(", " SIZE_FORMAT " refs", total_list_count);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   862
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   863
489c9b5090e2 Initial load
duke
parents:
diff changeset
   864
  // Phase 1 (soft refs only):
489c9b5090e2 Initial load
duke
parents:
diff changeset
   865
  // . Traverse the list and remove any SoftReferences whose
489c9b5090e2 Initial load
duke
parents:
diff changeset
   866
  //   referents are not alive, but that should be kept alive for
489c9b5090e2 Initial load
duke
parents:
diff changeset
   867
  //   policy reasons. Keep alive the transitive closure of all
489c9b5090e2 Initial load
duke
parents:
diff changeset
   868
  //   such referents.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   869
  if (policy != NULL) {
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   870
    if (mt_processing) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   871
      RefProcPhase1Task phase1(*this, refs_lists, policy, true /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   872
      task_executor->execute(phase1);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   873
    } else {
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   874
      for (uint i = 0; i < _max_num_q; i++) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   875
        process_phase1(refs_lists[i], policy,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   876
                       is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   877
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   878
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   879
  } else { // policy == NULL
489c9b5090e2 Initial load
duke
parents:
diff changeset
   880
    assert(refs_lists != _discoveredSoftRefs,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   881
           "Policy must be specified for soft references.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   882
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   883
489c9b5090e2 Initial load
duke
parents:
diff changeset
   884
  // Phase 2:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   885
  // . Traverse the list and remove any refs whose referents are alive.
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   886
  if (mt_processing) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   887
    RefProcPhase2Task phase2(*this, refs_lists, !discovery_is_atomic() /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   888
    task_executor->execute(phase2);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   889
  } else {
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   890
    for (uint i = 0; i < _max_num_q; i++) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   891
      process_phase2(refs_lists[i], is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   892
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   893
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   894
489c9b5090e2 Initial load
duke
parents:
diff changeset
   895
  // Phase 3:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   896
  // . Traverse the list and process referents as appropriate.
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   897
  if (mt_processing) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   898
    RefProcPhase3Task phase3(*this, refs_lists, clear_referent, true /*marks_oops_alive*/);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   899
    task_executor->execute(phase3);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   900
  } else {
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   901
    for (uint i = 0; i < _max_num_q; i++) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   902
      process_phase3(refs_lists[i], clear_referent,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   903
                     is_alive, keep_alive, complete_gc);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   904
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   905
  }
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   906
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
   907
  return total_list_count;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   908
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   909
489c9b5090e2 Initial load
duke
parents:
diff changeset
   910
inline DiscoveredList* ReferenceProcessor::get_discovered_list(ReferenceType rt) {
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
   911
  uint id = 0;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   912
  // Determine the queue index to use for this object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   913
  if (_discovery_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   914
    // During a multi-threaded discovery phase,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   915
    // each thread saves to its "own" list.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   916
    Thread* thr = Thread::current();
7399
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
   917
    id = thr->as_Worker_thread()->id();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   918
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   919
    // single-threaded discovery, we save in round-robin
489c9b5090e2 Initial load
duke
parents:
diff changeset
   920
    // fashion to each of the lists.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   921
    if (_processing_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   922
      id = next_id();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   923
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   924
  }
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 28510
diff changeset
   925
  assert(id < _max_num_q, "Id is out-of-bounds (call Freud?)");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   926
489c9b5090e2 Initial load
duke
parents:
diff changeset
   927
  // Get the discovered queue to which we will add
489c9b5090e2 Initial load
duke
parents:
diff changeset
   928
  DiscoveredList* list = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   929
  switch (rt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   930
    case REF_OTHER:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   931
      // Unknown reference type, no special treatment
489c9b5090e2 Initial load
duke
parents:
diff changeset
   932
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   933
    case REF_SOFT:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   934
      list = &_discoveredSoftRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   935
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   936
    case REF_WEAK:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   937
      list = &_discoveredWeakRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   938
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   939
    case REF_FINAL:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   940
      list = &_discoveredFinalRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   941
      break;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   942
    case REF_PHANTOM:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   943
      list = &_discoveredPhantomRefs[id];
489c9b5090e2 Initial load
duke
parents:
diff changeset
   944
      break;
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   945
    case REF_CLEANER:
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   946
      list = &_discoveredCleanerRefs[id];
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
   947
      break;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   948
    case REF_NONE:
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   949
    case REF_JNI:
13738
d67be49a5beb 7195833: NPG: Rename instanceClassLoaderKlass, instanceRefKlass and instanceMirrorKlass
coleenp
parents: 13728
diff changeset
   950
      // we should not reach here if we are an InstanceRefKlass
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   951
    default:
32607
c69a7b61ab02 8133818: Additional number of processed references printed with -XX:+PrintReferenceGC after JDK-8047125
ysr
parents: 30766
diff changeset
   952
      guarantee(false, err_msg("rt should not be %d", rt));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   953
  }
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   954
  if (TraceReferenceGC && PrintGCDetails) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   955
    gclog_or_tty->print_cr("Thread %d gets list " INTPTR_FORMAT, id, p2i(list));
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
   956
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   957
  return list;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   958
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   959
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   960
inline void
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   961
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
   962
                                              oop             obj,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   963
                                              HeapWord*       discovered_addr) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   964
  assert(_discovery_is_mt, "!_discovery_is_mt should have been handled by caller");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   965
  // First we must make sure this object is only enqueued once. CAS in a non null
489c9b5090e2 Initial load
duke
parents:
diff changeset
   966
  // discovered_addr.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   967
  oop current_head = refs_list.head();
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   968
  // The last ref must have its discovered field pointing to itself.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   969
  oop next_discovered = (current_head != NULL) ? current_head : obj;
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
   970
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
   971
  oop retest = oopDesc::atomic_compare_exchange_oop(next_discovered, discovered_addr,
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   972
                                                    NULL);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   973
  if (retest == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   974
    // This thread just won the right to enqueue the object.
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   975
    // We have separate lists for enqueueing, so no synchronization
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   976
    // is necessary.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
   977
    refs_list.set_head(obj);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
   978
    refs_list.inc_length(1);
7399
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
   979
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
   980
    if (TraceReferenceGC) {
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   981
      gclog_or_tty->print_cr("Discovered reference (mt) (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   982
                             p2i(obj), obj->klass()->internal_name());
7399
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
   983
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   984
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   985
    // If retest was non NULL, another thread beat us to it:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   986
    // The reference has already been discovered...
489c9b5090e2 Initial load
duke
parents:
diff changeset
   987
    if (TraceReferenceGC) {
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
   988
      gclog_or_tty->print_cr("Already discovered reference (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
   989
                             p2i(obj), obj->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   990
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   991
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   992
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   993
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   994
#ifndef PRODUCT
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   995
// Non-atomic (i.e. concurrent) discovery might allow us
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   996
// to observe j.l.References with NULL referents, being those
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   997
// cleared concurrently by mutators during (or after) discovery.
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   998
void ReferenceProcessor::verify_referent(oop obj) {
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
   999
  bool da = discovery_is_atomic();
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1000
  oop referent = java_lang_ref_Reference::referent(obj);
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1001
  assert(da ? referent->is_oop() : referent->is_oop_or_null(),
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1002
         err_msg("Bad referent " INTPTR_FORMAT " found in Reference "
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1003
                 INTPTR_FORMAT " during %satomic discovery ",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1004
                 p2i(referent), p2i(obj), da ? "" : "non-"));
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1005
}
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1006
#endif
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1007
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1008
// We mention two of several possible choices here:
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1009
// #0: if the reference object is not in the "originating generation"
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1010
//     (or part of the heap being collected, indicated by our "span"
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1011
//     we don't treat it specially (i.e. we scan it as we would
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1012
//     a normal oop, treating its references as strong references).
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1013
//     This means that references can't be discovered unless their
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1014
//     referent is also in the same span. This is the simplest,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1015
//     most "local" and most conservative approach, albeit one
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1016
//     that may cause weak references to be enqueued least promptly.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1017
//     We call this choice the "ReferenceBasedDiscovery" policy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1018
// #1: the reference object may be in any generation (span), but if
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1019
//     the referent is in the generation (span) being currently collected
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1020
//     then we can discover the reference object, provided
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1021
//     the object has not already been discovered by
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1022
//     a different concurrently running collector (as may be the
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1023
//     case, for instance, if the reference object is in CMS and
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1024
//     the referent in DefNewGeneration), and provided the processing
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1025
//     of this reference object by the current collector will
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1026
//     appear atomic to every other collector in the system.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1027
//     (Thus, for instance, a concurrent collector may not
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1028
//     discover references in other generations even if the
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1029
//     referent is in its own generation). This policy may,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1030
//     in certain cases, enqueue references somewhat sooner than
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1031
//     might Policy #0 above, but at marginally increased cost
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1032
//     and complexity in processing these references.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1033
//     We call this choice the "RefeferentBasedDiscovery" policy.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1034
bool ReferenceProcessor::discover_reference(oop obj, ReferenceType rt) {
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1035
  // Make sure we are discovering refs (rather than processing discovered refs).
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1036
  if (!_discovering_refs || !RegisterReferences) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1037
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1038
  }
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1039
  // We only discover active references.
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1040
  oop next = java_lang_ref_Reference::next(obj);
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1041
  if (next != NULL) {   // Ref is no longer active
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1042
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1043
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1044
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1045
  HeapWord* obj_addr = (HeapWord*)obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1046
  if (RefDiscoveryPolicy == ReferenceBasedDiscovery &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1047
      !_span.contains(obj_addr)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1048
    // Reference is not in the originating generation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1049
    // don't treat it specially (i.e. we want to scan it as a normal
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1050
    // object with strong references).
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1051
    return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1052
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1053
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1054
  // We only discover references whose referents are not (yet)
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1055
  // known to be strongly reachable.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1056
  if (is_alive_non_header() != NULL) {
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1057
    verify_referent(obj);
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1058
    if (is_alive_non_header()->do_object_b(java_lang_ref_Reference::referent(obj))) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1059
      return false;  // referent is reachable
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1060
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1061
  }
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1062
  if (rt == REF_SOFT) {
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1063
    // 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
  1064
    // current candidates for clearing, in which case we
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1065
    // can mark through them now, rather than delaying that
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1066
    // to the reference-processing phase. Since all current
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1067
    // time-stamp policies advance the soft-ref clock only
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1068
    // at a major collection cycle, this is always currently
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1069
    // accurate.
10683
4b5a5a507864 7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
johnc
parents: 10670
diff changeset
  1070
    if (!_current_soft_ref_policy->should_clear_reference(obj, _soft_ref_timestamp_clock)) {
1606
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1071
      return false;
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1072
    }
dcf9714addbe 6684579: SoftReference processing can be made more efficient
ysr
parents: 1605
diff changeset
  1073
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1074
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
  1075
  ResourceMark rm;      // Needed for tracing.
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
  1076
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1077
  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
  1078
  const oop  discovered = java_lang_ref_Reference::discovered(obj);
26831
5c67eb0c46bc 8035729: Code using assert(is_oop_or_null) needs better error messages
mlarsson
parents: 25350
diff changeset
  1079
  assert(discovered->is_oop_or_null(), err_msg("Expected an oop or NULL for discovered field at " PTR_FORMAT, p2i(discovered)));
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1080
  if (discovered != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1081
    // The reference has already been discovered...
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1082
    if (TraceReferenceGC) {
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1083
      gclog_or_tty->print_cr("Already discovered reference (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1084
                             p2i(obj), obj->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1085
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1086
    if (RefDiscoveryPolicy == ReferentBasedDiscovery) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1087
      // assumes that an object is not processed twice;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1088
      // if it's been already discovered it must be on another
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1089
      // generation's discovered list; so we won't discover it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1090
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1091
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1092
      assert(RefDiscoveryPolicy == ReferenceBasedDiscovery,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1093
             "Unrecognized policy");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1094
      // Check assumption that an object is not potentially
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1095
      // discovered twice except by concurrent collectors that potentially
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1096
      // trace the same Reference object twice.
7399
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
  1097
      assert(UseConcMarkSweepGC || UseG1GC,
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
  1098
             "Only possible with a concurrent marking collector");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1099
      return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1100
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1101
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1102
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1103
  if (RefDiscoveryPolicy == ReferentBasedDiscovery) {
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1104
    verify_referent(obj);
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1105
    // Discover if and only if EITHER:
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1106
    // .. reference is in our span, OR
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1107
    // .. we are an atomic collector and referent is in our span
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1108
    if (_span.contains(obj_addr) ||
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1109
        (discovery_is_atomic() &&
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1110
         _span.contains(java_lang_ref_Reference::referent(obj)))) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1111
      // should_enqueue = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1112
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1113
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1114
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1115
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1116
    assert(RefDiscoveryPolicy == ReferenceBasedDiscovery &&
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1117
           _span.contains(obj_addr), "code inconsistency");
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1118
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1119
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1120
  // Get the right type of discovered queue head.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1121
  DiscoveredList* list = get_discovered_list(rt);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1122
  if (list == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1123
    return false;   // nothing special needs to be done
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1124
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1125
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1126
  if (_discovery_is_mt) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1127
    add_to_discovered_list_mt(*list, obj, discovered_addr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1128
  } else {
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
  1129
    // We do a raw store here: the field will be visited later when processing
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
  1130
    // the discovered references.
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1131
    oop current_head = list->head();
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
  1132
    // The last ref must have its discovered field pointing to itself.
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
  1133
    oop next_discovered = (current_head != NULL) ? current_head : obj;
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
  1134
1374
4c24294029a9 6711316: Open source the Garbage-First garbage collector
ysr
parents: 360
diff changeset
  1135
    assert(discovered == NULL, "control point invariant");
10524
6594ca81279a 7085906: Replace the permgen allocated sentinelRef with a self-looped end
stefank
parents: 8688
diff changeset
  1136
    oop_store_raw(discovered_addr, next_discovered);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1137
    list->set_head(obj);
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1138
    list->inc_length(1);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1139
7399
4ecd771fa2d1 6983204: G1: Nightly test nsk/regression/b4958615 failing with +ExplicitGCInvokesConcurrent
johnc
parents: 7397
diff changeset
  1140
    if (TraceReferenceGC) {
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1141
      gclog_or_tty->print_cr("Discovered reference (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1142
                                p2i(obj), obj->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1143
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1144
  }
10526
3e92f211533f 4965777: GC changes to support use of discovered field for pending references
ysr
parents: 10524
diff changeset
  1145
  assert(obj->is_oop(), "Discovered a bad reference");
7420
24071b15dde6 7005259: CMS: BubbleUpRef asserts referent(obj)->is_oop() failed: Enqueued a bad referent
ysr
parents: 7399
diff changeset
  1146
  verify_referent(obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1147
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1148
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1149
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1150
// Preclean the discovered references by removing those
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1151
// whose referents are alive, and by marking from those that
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1152
// are not active. These lists can be handled here
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1153
// in any order and, indeed, concurrently.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1154
void ReferenceProcessor::preclean_discovered_references(
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1155
  BoolObjectClosure* is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1156
  OopClosure* keep_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1157
  VoidClosure* complete_gc,
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
  1158
  YieldClosure* yield,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1159
  GCTimer* gc_timer,
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1160
  GCId     gc_id) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1161
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1162
  // Soft references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1163
  {
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
  1164
    GCTraceTime tt("Preclean SoftReferences", PrintGCDetails && PrintReferenceGC,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1165
              false, gc_timer, gc_id);
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
  1166
    for (uint i = 0; i < _max_num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1167
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1168
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1169
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1170
      preclean_discovered_reflist(_discoveredSoftRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1171
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1172
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1173
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1174
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1175
  // Weak references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1176
  {
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
  1177
    GCTraceTime tt("Preclean WeakReferences", PrintGCDetails && PrintReferenceGC,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1178
              false, gc_timer, gc_id);
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
  1179
    for (uint i = 0; i < _max_num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1180
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1181
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1182
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1183
      preclean_discovered_reflist(_discoveredWeakRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1184
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1185
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1186
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1187
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1188
  // Final references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1189
  {
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
  1190
    GCTraceTime tt("Preclean FinalReferences", PrintGCDetails && PrintReferenceGC,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1191
              false, gc_timer, gc_id);
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
  1192
    for (uint i = 0; i < _max_num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1193
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1194
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1195
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1196
      preclean_discovered_reflist(_discoveredFinalRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1197
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1198
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1199
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1200
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1201
  // Phantom references
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1202
  {
18025
b7bcf7497f93 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 17625
diff changeset
  1203
    GCTraceTime tt("Preclean PhantomReferences", PrintGCDetails && PrintReferenceGC,
25350
6423a57e5451 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 24845
diff changeset
  1204
              false, gc_timer, gc_id);
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
  1205
    for (uint i = 0; i < _max_num_q; i++) {
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1206
      if (yield->should_return()) {
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1207
        return;
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1208
      }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1209
      preclean_discovered_reflist(_discoveredPhantomRefs[i], is_alive,
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1210
                                  keep_alive, complete_gc, yield);
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1211
    }
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1212
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1213
    // Cleaner references.  Included in timing for phantom references.  We
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1214
    // expect Cleaner references to be temporary, and don't want to deal with
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1215
    // possible incompatibilities arising from making it more visible.
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1216
    for (uint i = 0; i < _max_num_q; i++) {
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1217
      if (yield->should_return()) {
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1218
        return;
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1219
      }
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1220
      preclean_discovered_reflist(_discoveredCleanerRefs[i], is_alive,
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1221
                                  keep_alive, complete_gc, yield);
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1222
    }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1223
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1224
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1225
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1226
// Walk the given discovered ref list, and remove all reference objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1227
// 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
  1228
// 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
  1229
// thus precleaning the ref lists (which happens single-threaded today),
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22496
diff changeset
  1230
// we do not disable refs discovery to honor the correct semantics of
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1231
// 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
  1232
// 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
  1233
// (in this thread).
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1234
void
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1235
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
  1236
                                                BoolObjectClosure* is_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1237
                                                OopClosure*        keep_alive,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1238
                                                VoidClosure*       complete_gc,
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1239
                                                YieldClosure*      yield) {
24845
e8b8894a77df 8043239: G1: Missing post barrier in processing of j.l.ref.Reference objects
brutisso
parents: 24424
diff changeset
  1240
  DiscoveredListIterator iter(refs_list, keep_alive, is_alive);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1241
  while (iter.has_next()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1242
    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
  1243
    oop obj = iter.obj();
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1244
    oop next = java_lang_ref_Reference::next(obj);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1245
    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
  1246
        next != NULL) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1247
      // The referent has been cleared, or is alive, or the Reference is not
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1248
      // active; we need to trace and mark its cohort.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1249
      if (TraceReferenceGC) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1250
        gclog_or_tty->print_cr("Precleaning Reference (" INTPTR_FORMAT ": %s)",
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1251
                               p2i(iter.obj()), iter.obj()->klass()->internal_name());
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1252
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1253
      // Remove Reference object from list
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1254
      iter.remove();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1255
      // Keep alive its cohort.
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1256
      iter.make_referent_alive();
360
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1257
      if (UseCompressedOops) {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1258
        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
  1259
        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
  1260
      } else {
21d113ecbf6a 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 178
diff changeset
  1261
        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
  1262
        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
  1263
      }
1605
6b43d186eb8d 6722113: CMS: Incorrect overflow handling during precleaning of Reference lists
ysr
parents: 1388
diff changeset
  1264
      iter.move_to_next();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1265
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1266
      iter.next();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1267
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1268
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1269
  // Close the reachable set
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1270
  complete_gc->do_void();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1271
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1272
  NOT_PRODUCT(
8688
493d12ccc6db 6668573: CMS: reference processing crash if ParallelCMSThreads > ParallelGCThreads
ysr
parents: 7420
diff changeset
  1273
    if (PrintGCDetails && PrintReferenceGC && (iter.processed() > 0)) {
29800
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1274
      gclog_or_tty->print_cr(" Dropped " SIZE_FORMAT " Refs out of " SIZE_FORMAT
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1275
        " Refs in discovered list " INTPTR_FORMAT,
fa5f7a2bf717 8076073: shared: PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC needs to be removed from source files
david
parents: 29580
diff changeset
  1276
        iter.removed(), iter.processed(), p2i(refs_list.head()));
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1277
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1278
  )
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1279
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1280
11396
917d8673b5ef 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 11251
diff changeset
  1281
const char* ReferenceProcessor::list_name(uint i) {
29580
a67a581cfe11 8073315: Enable gcc -Wtype-limits and fix upcoming issues.
goetz
parents: 28510
diff changeset
  1282
   assert(i <= _max_num_q * number_of_subclasses_of_ref(),
10670
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
  1283
          "Out of bounds index");
4ea0e7d2ffbc 6484982: G1: process references during evacuation pauses
johnc
parents: 10526
diff changeset
  1284
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5547
diff changeset
  1285
   int j = i / _max_num_q;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1286
   switch (j) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1287
     case 0: return "SoftRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1288
     case 1: return "WeakRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1289
     case 2: return "FinalRef";
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1290
     case 3: return "PhantomRef";
28510
4f1d3611e0bc 8047125: (ref) More phantom object references
jmasa
parents: 28212
diff changeset
  1291
     case 4: return "CleanerRef";
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1292
   }
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1293
   ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1294
   return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1295
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
  1296