src/hotspot/share/gc/shared/weakProcessorPhases.cpp
author phh
Sat, 30 Nov 2019 14:33:05 -0800
changeset 59330 5b96c12f909d
parent 57828 35db8fba55f9
permissions -rw-r--r--
8234541: C1 emits an empty message when it inlines successfully Summary: Use "inline" as the message when successfull Reviewed-by: thartmann, mdoerr Contributed-by: navy.xliu@gmail.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     1
/*
53536
482109fae02b 8213229: Investigate treating StringTable as weak in young collections
tschatzl
parents: 51599
diff changeset
     2
 * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     4
 *
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     7
 * published by the Free Software Foundation.
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     8
 *
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    13
 * accompanied this code).
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    14
 *
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    18
 *
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    21
 * questions.
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    22
 *
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    23
 */
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    24
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    25
#include "precompiled.hpp"
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    26
#include "gc/shared/oopStorageSet.hpp"
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    27
#include "gc/shared/weakProcessorPhases.hpp"
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    28
#include "utilities/debug.hpp"
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    29
#include "utilities/macros.hpp"
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    30
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    31
#if INCLUDE_JFR
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    32
#include "jfr/jfr.hpp"
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    33
#endif // INCLUDE_JFR
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    34
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    35
#if INCLUDE_JVMTI
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    36
#include "prims/jvmtiExport.hpp"
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    37
#endif // INCLUDE_JVMTI
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    38
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    39
// serial_phase_count is 0 if JFR and JVMTI are both not built,
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    40
// requiring some code to be careful to avoid tautological checks
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    41
// that some compilers warn about.
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    42
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    43
#define HAVE_SERIAL_PHASES (INCLUDE_JVMTI || INCLUDE_JFR)
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    44
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    45
WeakProcessorPhases::Phase WeakProcessorPhases::serial_phase(uint value) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    46
#if HAVE_SERIAL_PHASES
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    47
  assert(value < serial_phase_count, "Invalid serial phase value %u", value);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    48
  return static_cast<Phase>(value + serial_phase_start);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    49
#else
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    50
  STATIC_ASSERT(serial_phase_count == 0);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    51
  fatal("invalid serial phase value %u", value);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    52
  return static_cast<Phase>(serial_phase_start);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    53
#endif // HAVE_SERIAL_PHASES
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    54
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    55
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    56
WeakProcessorPhases::Phase WeakProcessorPhases::oopstorage_phase(uint value) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    57
  assert(value < oopstorage_phase_count, "Invalid oopstorage phase value %u", value);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    58
  return static_cast<Phase>(value + oopstorage_phase_start);
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    59
}
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    60
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    61
static uint raw_phase_index(WeakProcessorPhases::Phase phase) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    62
  return static_cast<uint>(phase);
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    63
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    64
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    65
uint WeakProcessorPhases::serial_index(Phase phase) {
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    66
  assert(is_serial(phase), "not serial phase %u", raw_phase_index(phase));
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    67
  return raw_phase_index(phase) - serial_phase_start;
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    68
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    69
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    70
uint WeakProcessorPhases::oopstorage_index(Phase phase) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    71
  assert(is_oopstorage(phase), "not oopstorage phase %u", raw_phase_index(phase));
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    72
  return raw_phase_index(phase) - oopstorage_phase_start;
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    73
}
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    74
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    75
static bool is_phase(WeakProcessorPhases::Phase phase, uint start, uint count) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    76
  return (raw_phase_index(phase) - start) < count;
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    77
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    78
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    79
bool WeakProcessorPhases::is_serial(Phase phase) {
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    80
#if HAVE_SERIAL_PHASES
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    81
  return is_phase(phase, serial_phase_start, serial_phase_count);
51599
3198179d97fa 8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents: 51546
diff changeset
    82
#else
3198179d97fa 8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents: 51546
diff changeset
    83
  STATIC_ASSERT(serial_phase_count == 0);
3198179d97fa 8210164: building Minimal VM fails with error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
avoitylov
parents: 51546
diff changeset
    84
  return false;
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    85
#endif // HAVE_SERIAL_PHASES
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    86
}
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    87
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    88
bool WeakProcessorPhases::is_oopstorage(Phase phase) {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    89
  return is_phase(phase, oopstorage_phase_start, oopstorage_phase_count);
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    90
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    91
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    92
#ifdef ASSERT
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    93
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    94
void WeakProcessorPhases::Iterator::verify_nonsingular() const {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    95
  assert(_limit != singular_value, "precondition");
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    96
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
    97
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    98
void WeakProcessorPhases::Iterator::verify_category_match(const Iterator& other) const {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
    99
  verify_nonsingular();
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   100
  assert(_limit == other._limit, "precondition");
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   101
}
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   102
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   103
void WeakProcessorPhases::Iterator::verify_dereferenceable() const {
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   104
  verify_nonsingular();
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   105
  assert(_index < _limit, "precondition");
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   106
}
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   107
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   108
#endif // ASSERT
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   109
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   110
const char* WeakProcessorPhases::description(Phase phase) {
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   111
  switch (phase) {
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   112
  JVMTI_ONLY(case jvmti: return "JVMTI weak processing";)
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   113
  JFR_ONLY(case jfr: return "JFR weak processing";)
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   114
  default:
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   115
    ShouldNotReachHere();
57828
35db8fba55f9 8227054: ServiceThread needs to know about all OopStorage objects
kbarrett
parents: 54511
diff changeset
   116
    return "Invalid serial weak processing phase";
51546
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   117
  }
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   118
}
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   119
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   120
WeakProcessorPhases::Processor WeakProcessorPhases::processor(Phase phase) {
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   121
  switch (phase) {
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   122
  JVMTI_ONLY(case jvmti: return &JvmtiExport::weak_oops_do;)
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   123
  JFR_ONLY(case jfr: return &Jfr::weak_oops_do;)
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   124
  default:
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   125
    ShouldNotReachHere();
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   126
    return NULL;
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   127
  }
b9f6a4427da9 8072498: Multi-thread JNI weak reference processing
kbarrett
parents:
diff changeset
   128
}