src/hotspot/share/runtime/threadHeapSampler.cpp
author stefank
Tue, 26 Nov 2019 10:47:46 +0100
changeset 59290 97d13893ec3c
parent 59247 56bf71d64d51
permissions -rw-r--r--
8234748: Clean up atomic and orderAccess includes Reviewed-by: dholmes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     1
/*
51559
57f1bf06742e 8210035: Fix copyrights for files created for the HeapMonitor work
jcbeyler
parents: 51138
diff changeset
     2
 * Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     3
 * Copyright (c) 2018, Google and/or its affiliates. All rights reserved.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     4
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     5
 *
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     6
 * This code is free software; you can redistribute it and/or modify it
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     7
 * under the terms of the GNU General Public License version 2 only, as
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     8
 * published by the Free Software Foundation.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
     9
 *
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    10
 * This code is distributed in the hope that it will be useful, but WITHOUT
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    11
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    12
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    13
 * version 2 for more details (a copy is included in the LICENSE file that
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    14
 * accompanied this code).
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    15
 *
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    16
 * You should have received a copy of the GNU General Public License version
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    17
 * 2 along with this work; if not, write to the Free Software Foundation,
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    18
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    19
 *
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    20
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    21
 * or visit www.oracle.com if you need additional information or have any
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    22
 * questions.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    23
 *
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    24
 */
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    25
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    26
#include "precompiled.hpp"
59290
97d13893ec3c 8234748: Clean up atomic and orderAccess includes
stefank
parents: 59247
diff changeset
    27
#include "runtime/atomic.hpp"
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    28
#include "runtime/handles.inline.hpp"
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    29
#include "runtime/sharedRuntime.hpp"
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    30
#include "runtime/threadHeapSampler.hpp"
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    31
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    32
// Cheap random number generator.
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    33
uint64_t ThreadHeapSampler::_rnd;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    34
// Default is 512kb.
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    35
volatile int ThreadHeapSampler::_sampling_interval = 512 * 1024;
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    36
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    37
// Ordering here is important: _log_table first, _log_table_initialized second.
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    38
double ThreadHeapSampler::_log_table[1 << ThreadHeapSampler::FastLogNumBits] = {};
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    39
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    40
// Force initialization of the log_table.
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    41
bool ThreadHeapSampler::_log_table_initialized = init_log_table();
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    42
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    43
bool ThreadHeapSampler::init_log_table() {
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    44
  for (int i = 0; i < (1 << FastLogNumBits); i++) {
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    45
    _log_table[i] = (log(1.0 + static_cast<double>(i+0.5) / (1 << FastLogNumBits))
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    46
                    / log(2.0));
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    47
  }
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    48
  return true;
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    49
}
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    50
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    51
// Returns the next prng value.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    52
// pRNG is: aX+b mod c with a = 0x5DEECE66D, b =  0xB, c = 1<<48
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    53
// This is the lrand64 generator.
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    54
uint64_t ThreadHeapSampler::next_random(uint64_t rnd) {
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    55
  const uint64_t PrngMult = 0x5DEECE66DLL;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    56
  const uint64_t PrngAdd = 0xB;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    57
  const uint64_t PrngModPower = 48;
50638
f9f2e6a6a7b2 8205172: 32 bit build broken
mdoerr
parents: 50579
diff changeset
    58
  const uint64_t PrngModMask = ((uint64_t)1 << PrngModPower) - 1;
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    59
  //assert(IS_SAFE_SIZE_MUL(PrngMult, rnd), "Overflow on multiplication.");
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    60
  //assert(IS_SAFE_SIZE_ADD(PrngMult * rnd, PrngAdd), "Overflow on addition.");
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    61
  return (PrngMult * rnd + PrngAdd) & PrngModMask;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    62
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    63
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    64
double ThreadHeapSampler::fast_log2(const double& d) {
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    65
  assert(d>0, "bad value passed to assert");
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    66
  uint64_t x = 0;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    67
  assert(sizeof(d) == sizeof(x),
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    68
         "double and uint64_t do not have the same size");
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    69
  x = *reinterpret_cast<const uint64_t*>(&d);
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    70
  const uint32_t x_high = x >> 32;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    71
  assert(FastLogNumBits <= 20, "FastLogNumBits should be less than 20.");
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    72
  const uint32_t y = x_high >> (20 - FastLogNumBits) & FastLogMask;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    73
  const int32_t exponent = ((x_high >> 20) & 0x7FF) - 1023;
52131
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    74
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    75
  assert(_log_table_initialized, "log table should be initialized");
e9727e6b5fc1 8211980: Remove ThreadHeapSampler enable/disable/enabled methods
jcbeyler
parents: 52077
diff changeset
    76
  return exponent + _log_table[y];
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    77
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    78
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    79
// Generates a geometric variable with the specified mean (512K by default).
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    80
// This is done by generating a random number between 0 and 1 and applying
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    81
// the inverse cumulative distribution function for an exponential.
51138
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
    82
// Specifically: Let m be the inverse of the sample interval, then
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    83
// the probability distribution function is m*exp(-mx) so the CDF is
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    84
// p = 1 - exp(-mx), so
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    85
// q = 1 - p = exp(-mx)
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    86
// log_e(q) = -mx
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    87
// -log_e(q)/m = x
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    88
// log_2(q) * (-log_e(2) * 1/m) = x
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    89
// In the code, q is actually in the range 1 to 2**26, hence the -26 below
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    90
void ThreadHeapSampler::pick_next_geometric_sample() {
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    91
  _rnd = next_random(_rnd);
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    92
  // Take the top 26 bits as the random number
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    93
  // (This plus a 1<<58 sampling bound gives a max possible step of
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    94
  // 5194297183973780480 bytes.  In this case,
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    95
  // for sample_parameter = 1<<19, max possible step is
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    96
  // 9448372 bytes (24 bits).
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    97
  const uint64_t PrngModPower = 48;  // Number of bits in prng
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    98
  // The uint32_t cast is to prevent a (hard-to-reproduce) NAN
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
    99
  // under piii debug for some binaries.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   100
  double q = static_cast<uint32_t>(_rnd >> (PrngModPower - 26)) + 1.0;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   101
  // Put the computed p-value through the CDF of a geometric.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   102
  // For faster performance (save ~1/20th exec time), replace
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   103
  // min(0.0, FastLog2(q) - 26)  by  (Fastlog2(q) - 26.000705)
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   104
  // The value 26.000705 is used rather than 26 to compensate
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   105
  // for inaccuracies in FastLog2 which otherwise result in a
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   106
  // negative answer.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   107
  double log_val = (fast_log2(q) - 26);
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   108
  double result =
51138
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
   109
      (0.0 < log_val ? 0.0 : log_val) * (-log(2.0) * (get_sampling_interval())) + 1;
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   110
  assert(result > 0 && result < SIZE_MAX, "Result is not in an acceptable range.");
51138
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
   111
  size_t interval = static_cast<size_t>(result);
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
   112
  _bytes_until_sample = interval;
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   113
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   114
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   115
void ThreadHeapSampler::pick_next_sample(size_t overflowed_bytes) {
51647
11ad7d302a94 8208186: SetHeapSamplingInterval handles 1 explicitly
jcbeyler
parents: 51559
diff changeset
   116
  // Explicitly test if the sampling interval is 0, return 0 to sample every
11ad7d302a94 8208186: SetHeapSamplingInterval handles 1 explicitly
jcbeyler
parents: 51559
diff changeset
   117
  // allocation.
11ad7d302a94 8208186: SetHeapSamplingInterval handles 1 explicitly
jcbeyler
parents: 51559
diff changeset
   118
  if (get_sampling_interval() == 0) {
11ad7d302a94 8208186: SetHeapSamplingInterval handles 1 explicitly
jcbeyler
parents: 51559
diff changeset
   119
    _bytes_until_sample = 0;
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   120
    return;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   121
  }
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   122
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   123
  pick_next_geometric_sample();
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   124
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   125
50882
80abf702eed8 8205683: Refactor heap allocation to separate concerns
eosterlund
parents: 50638
diff changeset
   126
void ThreadHeapSampler::check_for_sampling(oop obj, size_t allocation_size, size_t bytes_since_allocation) {
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   127
  size_t total_allocated_bytes = bytes_since_allocation + allocation_size;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   128
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   129
  // If not yet time for a sample, skip it.
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   130
  if (total_allocated_bytes < _bytes_until_sample) {
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   131
    _bytes_until_sample -= total_allocated_bytes;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   132
    return;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   133
  }
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   134
50882
80abf702eed8 8205683: Refactor heap allocation to separate concerns
eosterlund
parents: 50638
diff changeset
   135
  JvmtiExport::sampled_object_alloc_event_collector(obj);
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   136
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   137
  size_t overflow_bytes = total_allocated_bytes - _bytes_until_sample;
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   138
  pick_next_sample(overflow_bytes);
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   139
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   140
51138
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
   141
int ThreadHeapSampler::get_sampling_interval() {
59247
56bf71d64d51 8234562: Move OrderAccess::release_store*/load_acquire to Atomic
stefank
parents: 54659
diff changeset
   142
  return Atomic::load_acquire(&_sampling_interval);
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   143
}
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   144
51138
914f305ba6fa 8205725: Update the JVMTI Spec for Heap Sampling
jcbeyler
parents: 50882
diff changeset
   145
void ThreadHeapSampler::set_sampling_interval(int sampling_interval) {
59247
56bf71d64d51 8234562: Move OrderAccess::release_store*/load_acquire to Atomic
stefank
parents: 54659
diff changeset
   146
  Atomic::release_store(&_sampling_interval, sampling_interval);
50579
1596f418ffe4 8205096: Add missing files for 8203394
jcbeyler
parents:
diff changeset
   147
}