src/share/vm/runtime/sweeper.cpp

Tue, 17 Dec 2013 08:31:06 +0100

author
anoll
date
Tue, 17 Dec 2013 08:31:06 +0100
changeset 6205
908afcc9d1cb
parent 6131
86e6d691f2e1
child 6207
6aa49042b101
permissions
-rw-r--r--

8029091: Bug in calculation of code cache sweeping interval
Summary: Use signed data type so that no underflow can happen
Reviewed-by: kvn, roland

duke@435 1 /*
sla@5237 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "code/codeCache.hpp"
coleenp@4037 27 #include "code/compiledIC.hpp"
coleenp@4037 28 #include "code/icBuffer.hpp"
stefank@2314 29 #include "code/nmethod.hpp"
stefank@2314 30 #include "compiler/compileBroker.hpp"
stefank@2314 31 #include "memory/resourceArea.hpp"
coleenp@4037 32 #include "oops/method.hpp"
stefank@2314 33 #include "runtime/atomic.hpp"
stefank@2314 34 #include "runtime/compilationPolicy.hpp"
stefank@2314 35 #include "runtime/mutexLocker.hpp"
stefank@2314 36 #include "runtime/os.hpp"
stefank@2314 37 #include "runtime/sweeper.hpp"
stefank@2314 38 #include "runtime/vm_operations.hpp"
sla@5237 39 #include "trace/tracing.hpp"
stefank@2314 40 #include "utilities/events.hpp"
mgronlun@6131 41 #include "utilities/ticks.inline.hpp"
stefank@2314 42 #include "utilities/xmlstream.hpp"
duke@435 43
never@2916 44 #ifdef ASSERT
never@2916 45
never@2916 46 #define SWEEP(nm) record_sweep(nm, __LINE__)
never@2916 47 // Sweeper logging code
never@2916 48 class SweeperRecord {
never@2916 49 public:
never@2916 50 int traversal;
never@2916 51 int invocation;
never@2916 52 int compile_id;
never@2916 53 long traversal_mark;
never@2916 54 int state;
never@2916 55 const char* kind;
never@2916 56 address vep;
never@2916 57 address uep;
never@2916 58 int line;
never@2916 59
never@2916 60 void print() {
never@2916 61 tty->print_cr("traversal = %d invocation = %d compile_id = %d %s uep = " PTR_FORMAT " vep = "
never@2916 62 PTR_FORMAT " state = %d traversal_mark %d line = %d",
never@2916 63 traversal,
never@2916 64 invocation,
never@2916 65 compile_id,
never@2916 66 kind == NULL ? "" : kind,
never@2916 67 uep,
never@2916 68 vep,
never@2916 69 state,
never@2916 70 traversal_mark,
never@2916 71 line);
never@2916 72 }
never@2916 73 };
never@2916 74
never@2916 75 static int _sweep_index = 0;
never@2916 76 static SweeperRecord* _records = NULL;
never@2916 77
never@2916 78 void NMethodSweeper::report_events(int id, address entry) {
never@2916 79 if (_records != NULL) {
never@2916 80 for (int i = _sweep_index; i < SweeperLogEntries; i++) {
never@2916 81 if (_records[i].uep == entry ||
never@2916 82 _records[i].vep == entry ||
never@2916 83 _records[i].compile_id == id) {
never@2916 84 _records[i].print();
never@2916 85 }
never@2916 86 }
never@2916 87 for (int i = 0; i < _sweep_index; i++) {
never@2916 88 if (_records[i].uep == entry ||
never@2916 89 _records[i].vep == entry ||
never@2916 90 _records[i].compile_id == id) {
never@2916 91 _records[i].print();
never@2916 92 }
never@2916 93 }
never@2916 94 }
never@2916 95 }
never@2916 96
never@2916 97 void NMethodSweeper::report_events() {
never@2916 98 if (_records != NULL) {
never@2916 99 for (int i = _sweep_index; i < SweeperLogEntries; i++) {
never@2916 100 // skip empty records
never@2916 101 if (_records[i].vep == NULL) continue;
never@2916 102 _records[i].print();
never@2916 103 }
never@2916 104 for (int i = 0; i < _sweep_index; i++) {
never@2916 105 // skip empty records
never@2916 106 if (_records[i].vep == NULL) continue;
never@2916 107 _records[i].print();
never@2916 108 }
never@2916 109 }
never@2916 110 }
never@2916 111
never@2916 112 void NMethodSweeper::record_sweep(nmethod* nm, int line) {
never@2916 113 if (_records != NULL) {
never@2916 114 _records[_sweep_index].traversal = _traversals;
never@2916 115 _records[_sweep_index].traversal_mark = nm->_stack_traversal_mark;
anoll@6099 116 _records[_sweep_index].invocation = _sweep_fractions_left;
never@2916 117 _records[_sweep_index].compile_id = nm->compile_id();
never@2916 118 _records[_sweep_index].kind = nm->compile_kind();
never@2916 119 _records[_sweep_index].state = nm->_state;
never@2916 120 _records[_sweep_index].vep = nm->verified_entry_point();
never@2916 121 _records[_sweep_index].uep = nm->entry_point();
never@2916 122 _records[_sweep_index].line = line;
never@2916 123 _sweep_index = (_sweep_index + 1) % SweeperLogEntries;
never@2916 124 }
never@2916 125 }
never@2916 126 #else
never@2916 127 #define SWEEP(nm)
never@2916 128 #endif
never@2916 129
anoll@6099 130 nmethod* NMethodSweeper::_current = NULL; // Current nmethod
anoll@6099 131 long NMethodSweeper::_traversals = 0; // Stack scan count, also sweep ID.
anoll@6099 132 long NMethodSweeper::_time_counter = 0; // Virtual time used to periodically invoke sweeper
anoll@6099 133 long NMethodSweeper::_last_sweep = 0; // Value of _time_counter when the last sweep happened
anoll@6099 134 int NMethodSweeper::_seen = 0; // Nof. nmethod we have currently processed in current pass of CodeCache
anoll@6099 135 int NMethodSweeper::_flushed_count = 0; // Nof. nmethods flushed in current sweep
anoll@6099 136 int NMethodSweeper::_zombified_count = 0; // Nof. nmethods made zombie in current sweep
anoll@6099 137 int NMethodSweeper::_marked_for_reclamation_count = 0; // Nof. nmethods marked for reclaim in current sweep
never@2916 138
anoll@6099 139 volatile bool NMethodSweeper::_should_sweep = true; // Indicates if we should invoke the sweeper
anoll@6099 140 volatile int NMethodSweeper::_sweep_fractions_left = 0; // Nof. invocations left until we are completed with this pass
anoll@6099 141 volatile int NMethodSweeper::_sweep_started = 0; // Flag to control conc sweeper
anoll@6099 142 volatile int NMethodSweeper::_bytes_changed = 0; // Counts the total nmethod size if the nmethod changed from:
anoll@6099 143 // 1) alive -> not_entrant
anoll@6099 144 // 2) not_entrant -> zombie
anoll@6099 145 // 3) zombie -> marked_for_reclamation
duke@435 146
anoll@6099 147 int NMethodSweeper::_total_nof_methods_reclaimed = 0; // Accumulated nof methods flushed
mgronlun@6131 148 Tickspan NMethodSweeper::_total_time_sweeping; // Accumulated time sweeping
mgronlun@6131 149 Tickspan NMethodSweeper::_total_time_this_sweep; // Total time this sweep
mgronlun@6131 150 Tickspan NMethodSweeper::_peak_sweep_time; // Peak time for a full sweep
mgronlun@6131 151 Tickspan NMethodSweeper::_peak_sweep_fraction_time; // Peak time sweeping one fraction
anoll@6099 152 int NMethodSweeper::_hotness_counter_reset_val = 0;
anoll@5792 153
sla@5237 154
jrose@1424 155 class MarkActivationClosure: public CodeBlobClosure {
jrose@1424 156 public:
jrose@1424 157 virtual void do_code_blob(CodeBlob* cb) {
anoll@5792 158 if (cb->is_nmethod()) {
anoll@5792 159 nmethod* nm = (nmethod*)cb;
anoll@5792 160 nm->set_hotness_counter(NMethodSweeper::hotness_counter_reset_val());
anoll@5792 161 // If we see an activation belonging to a non_entrant nmethod, we mark it.
anoll@5792 162 if (nm->is_not_entrant()) {
anoll@5792 163 nm->mark_as_seen_on_stack();
anoll@5792 164 }
jrose@1424 165 }
jrose@1424 166 }
jrose@1424 167 };
jrose@1424 168 static MarkActivationClosure mark_activation_closure;
jrose@1424 169
anoll@5792 170 class SetHotnessClosure: public CodeBlobClosure {
anoll@5792 171 public:
anoll@5792 172 virtual void do_code_blob(CodeBlob* cb) {
anoll@5792 173 if (cb->is_nmethod()) {
anoll@5792 174 nmethod* nm = (nmethod*)cb;
anoll@5792 175 nm->set_hotness_counter(NMethodSweeper::hotness_counter_reset_val());
anoll@5792 176 }
anoll@5792 177 }
anoll@5792 178 };
anoll@5792 179 static SetHotnessClosure set_hotness_closure;
anoll@5792 180
anoll@5792 181
anoll@5792 182 int NMethodSweeper::hotness_counter_reset_val() {
anoll@5792 183 if (_hotness_counter_reset_val == 0) {
anoll@5792 184 _hotness_counter_reset_val = (ReservedCodeCacheSize < M) ? 1 : (ReservedCodeCacheSize / M) * 2;
anoll@5792 185 }
anoll@5792 186 return _hotness_counter_reset_val;
anoll@5792 187 }
neliasso@5038 188 bool NMethodSweeper::sweep_in_progress() {
neliasso@5038 189 return (_current != NULL);
neliasso@5038 190 }
neliasso@5038 191
anoll@5792 192 // Scans the stacks of all Java threads and marks activations of not-entrant methods.
anoll@5792 193 // No need to synchronize access, since 'mark_active_nmethods' is always executed at a
anoll@5792 194 // safepoint.
anoll@5792 195 void NMethodSweeper::mark_active_nmethods() {
duke@435 196 assert(SafepointSynchronize::is_at_safepoint(), "must be executed at a safepoint");
anoll@5792 197 // If we do not want to reclaim not-entrant or zombie methods there is no need
anoll@5792 198 // to scan stacks
anoll@5792 199 if (!MethodFlushing) {
anoll@5792 200 return;
anoll@5792 201 }
duke@435 202
anoll@6099 203 // Increase time so that we can estimate when to invoke the sweeper again.
anoll@6099 204 _time_counter++;
anoll@6099 205
duke@435 206 // Check for restart
duke@435 207 assert(CodeCache::find_blob_unsafe(_current) == _current, "Sweeper nmethod cached state invalid");
anoll@6099 208 if (!sweep_in_progress()) {
anoll@6099 209 _seen = 0;
anoll@6099 210 _sweep_fractions_left = NmethodSweepFraction;
anoll@6099 211 _current = CodeCache::first_nmethod();
anoll@6099 212 _traversals += 1;
mgronlun@6131 213 _total_time_this_sweep = Tickspan();
sla@5237 214
duke@435 215 if (PrintMethodFlushing) {
duke@435 216 tty->print_cr("### Sweep: stack traversal %d", _traversals);
duke@435 217 }
jrose@1424 218 Threads::nmethods_do(&mark_activation_closure);
duke@435 219
anoll@5792 220 } else {
anoll@5792 221 // Only set hotness counter
anoll@5792 222 Threads::nmethods_do(&set_hotness_closure);
duke@435 223 }
duke@435 224
anoll@5792 225 OrderAccess::storestore();
duke@435 226 }
anoll@6099 227 /**
anoll@6099 228 * This function invokes the sweeper if at least one of the three conditions is met:
anoll@6099 229 * (1) The code cache is getting full
anoll@6099 230 * (2) There are sufficient state changes in/since the last sweep.
anoll@6099 231 * (3) We have not been sweeping for 'some time'
anoll@6099 232 */
never@1893 233 void NMethodSweeper::possibly_sweep() {
never@1999 234 assert(JavaThread::current()->thread_state() == _thread_in_vm, "must run in vm mode");
anoll@6114 235 // Only compiler threads are allowed to sweep
anoll@6114 236 if (!MethodFlushing || !sweep_in_progress() || !Thread::current()->is_Compiler_thread()) {
anoll@5792 237 return;
anoll@5792 238 }
never@1893 239
anoll@6099 240 // If there was no state change while nmethod sweeping, 'should_sweep' will be false.
anoll@6099 241 // This is one of the two places where should_sweep can be set to true. The general
anoll@6099 242 // idea is as follows: If there is enough free space in the code cache, there is no
anoll@6099 243 // need to invoke the sweeper. The following formula (which determines whether to invoke
anoll@6099 244 // the sweeper or not) depends on the assumption that for larger ReservedCodeCacheSizes
anoll@6099 245 // we need less frequent sweeps than for smaller ReservedCodecCacheSizes. Furthermore,
anoll@6099 246 // the formula considers how much space in the code cache is currently used. Here are
anoll@6099 247 // some examples that will (hopefully) help in understanding.
anoll@6099 248 //
anoll@6099 249 // Small ReservedCodeCacheSizes: (e.g., < 16M) We invoke the sweeper every time, since
anoll@6099 250 // the result of the division is 0. This
anoll@6099 251 // keeps the used code cache size small
anoll@6099 252 // (important for embedded Java)
anoll@6099 253 // Large ReservedCodeCacheSize : (e.g., 256M + code cache is 10% full). The formula
anoll@6099 254 // computes: (256 / 16) - 1 = 15
anoll@6099 255 // As a result, we invoke the sweeper after
anoll@6099 256 // 15 invocations of 'mark_active_nmethods.
anoll@6099 257 // Large ReservedCodeCacheSize: (e.g., 256M + code Cache is 90% full). The formula
anoll@6099 258 // computes: (256 / 16) - 10 = 6.
anoll@6099 259 if (!_should_sweep) {
anoll@6205 260 const int time_since_last_sweep = _time_counter - _last_sweep;
anoll@6205 261 // ReservedCodeCacheSize has an 'unsigned' type. We need a 'signed' type for max_wait_time,
anoll@6205 262 // since 'time_since_last_sweep' can be larger than 'max_wait_time'. If that happens using
anoll@6205 263 // an unsigned type would cause an underflow (wait_until_next_sweep becomes a large positive
anoll@6205 264 // value) that disables the intended periodic sweeps.
anoll@6205 265 const int max_wait_time = ReservedCodeCacheSize / (16 * M);
anoll@6205 266 double wait_until_next_sweep = max_wait_time - time_since_last_sweep - CodeCache::reverse_free_ratio();
anoll@6205 267 assert(wait_until_next_sweep <= (double)max_wait_time, "Calculation of code cache sweeper interval is incorrect");
anoll@6099 268
anoll@6099 269 if ((wait_until_next_sweep <= 0.0) || !CompileBroker::should_compile_new_jobs()) {
anoll@6099 270 _should_sweep = true;
anoll@6099 271 }
anoll@6099 272 }
anoll@6099 273
anoll@6099 274 if (_should_sweep && _sweep_fractions_left > 0) {
never@1893 275 // Only one thread at a time will sweep
never@1893 276 jint old = Atomic::cmpxchg( 1, &_sweep_started, 0 );
never@1893 277 if (old != 0) {
never@1893 278 return;
never@1893 279 }
never@2916 280 #ifdef ASSERT
never@2916 281 if (LogSweeper && _records == NULL) {
never@2916 282 // Create the ring buffer for the logging code
zgu@3900 283 _records = NEW_C_HEAP_ARRAY(SweeperRecord, SweeperLogEntries, mtGC);
never@2916 284 memset(_records, 0, sizeof(SweeperRecord) * SweeperLogEntries);
never@2916 285 }
never@2916 286 #endif
anoll@6099 287
anoll@6099 288 if (_sweep_fractions_left > 0) {
never@1999 289 sweep_code_cache();
anoll@6099 290 _sweep_fractions_left--;
anoll@6099 291 }
anoll@6099 292
anoll@6099 293 // We are done with sweeping the code cache once.
anoll@6099 294 if (_sweep_fractions_left == 0) {
anoll@6099 295 _last_sweep = _time_counter;
anoll@6099 296 // Reset flag; temporarily disables sweeper
anoll@6099 297 _should_sweep = false;
anoll@6099 298 // If there was enough state change, 'possibly_enable_sweeper()'
anoll@6099 299 // sets '_should_sweep' to true
anoll@6099 300 possibly_enable_sweeper();
anoll@6099 301 // Reset _bytes_changed only if there was enough state change. _bytes_changed
anoll@6099 302 // can further increase by calls to 'report_state_change'.
anoll@6099 303 if (_should_sweep) {
anoll@6099 304 _bytes_changed = 0;
anoll@6099 305 }
never@1999 306 }
never@1999 307 _sweep_started = 0;
never@1893 308 }
never@1893 309 }
never@1893 310
never@1893 311 void NMethodSweeper::sweep_code_cache() {
mgronlun@6131 312 Ticks sweep_start_counter = Ticks::now();
sla@5237 313
anoll@6099 314 _flushed_count = 0;
anoll@6099 315 _zombified_count = 0;
anoll@6099 316 _marked_for_reclamation_count = 0;
sla@5237 317
never@1893 318 if (PrintMethodFlushing && Verbose) {
anoll@6099 319 tty->print_cr("### Sweep at %d out of %d. Invocations left: %d", _seen, CodeCache::nof_nmethods(), _sweep_fractions_left);
never@1893 320 }
never@1893 321
neliasso@5038 322 if (!CompileBroker::should_compile_new_jobs()) {
neliasso@5038 323 // If we have turned off compilations we might as well do full sweeps
neliasso@5038 324 // in order to reach the clean state faster. Otherwise the sleeping compiler
anoll@5792 325 // threads will slow down sweeping.
anoll@6099 326 _sweep_fractions_left = 1;
neliasso@5038 327 }
neliasso@5038 328
never@1999 329 // We want to visit all nmethods after NmethodSweepFraction
never@1999 330 // invocations so divide the remaining number of nmethods by the
never@1999 331 // remaining number of invocations. This is only an estimate since
never@1999 332 // the number of nmethods changes during the sweep so the final
never@1999 333 // stage must iterate until it there are no more nmethods.
anoll@6099 334 int todo = (CodeCache::nof_nmethods() - _seen) / _sweep_fractions_left;
anoll@5734 335 int swept_count = 0;
never@1893 336
anoll@5792 337
never@1893 338 assert(!SafepointSynchronize::is_at_safepoint(), "should not be in safepoint when we get here");
never@1893 339 assert(!CodeCache_lock->owned_by_self(), "just checking");
never@1893 340
anoll@5792 341 int freed_memory = 0;
never@1893 342 {
never@1893 343 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
never@1893 344
never@1999 345 // The last invocation iterates until there are no more nmethods
anoll@6099 346 for (int i = 0; (i < todo || _sweep_fractions_left == 1) && _current != NULL; i++) {
anoll@5734 347 swept_count++;
iveresov@3572 348 if (SafepointSynchronize::is_synchronizing()) { // Safepoint request
iveresov@3572 349 if (PrintMethodFlushing && Verbose) {
anoll@6099 350 tty->print_cr("### Sweep at %d out of %d, invocation: %d, yielding to safepoint", _seen, CodeCache::nof_nmethods(), _sweep_fractions_left);
iveresov@3572 351 }
iveresov@3572 352 MutexUnlockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
never@1893 353
iveresov@3572 354 assert(Thread::current()->is_Java_thread(), "should be java thread");
iveresov@3572 355 JavaThread* thread = (JavaThread*)Thread::current();
iveresov@3572 356 ThreadBlockInVM tbivm(thread);
iveresov@3572 357 thread->java_suspend_self();
iveresov@3572 358 }
never@1999 359 // Since we will give up the CodeCache_lock, always skip ahead
never@1999 360 // to the next nmethod. Other blobs can be deleted by other
never@1999 361 // threads but nmethods are only reclaimed by the sweeper.
never@1970 362 nmethod* next = CodeCache::next_nmethod(_current);
never@1893 363
never@1893 364 // Now ready to process nmethod and give up CodeCache_lock
never@1893 365 {
never@1893 366 MutexUnlockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
anoll@5792 367 freed_memory += process_nmethod(_current);
never@1893 368 }
never@1893 369 _seen++;
never@1893 370 _current = next;
never@1893 371 }
never@1893 372 }
never@1893 373
anoll@6099 374 assert(_sweep_fractions_left > 1 || _current == NULL, "must have scanned the whole cache");
never@1893 375
mgronlun@6131 376 const Ticks sweep_end_counter = Ticks::now();
mgronlun@6131 377 const Tickspan sweep_time = sweep_end_counter - sweep_start_counter;
sla@5237 378 _total_time_sweeping += sweep_time;
sla@5237 379 _total_time_this_sweep += sweep_time;
sla@5237 380 _peak_sweep_fraction_time = MAX2(sweep_time, _peak_sweep_fraction_time);
sla@5237 381 _total_nof_methods_reclaimed += _flushed_count;
sla@5237 382
sla@5237 383 EventSweepCodeCache event(UNTIMED);
sla@5237 384 if (event.should_commit()) {
sla@5237 385 event.set_starttime(sweep_start_counter);
sla@5237 386 event.set_endtime(sweep_end_counter);
sla@5237 387 event.set_sweepIndex(_traversals);
anoll@6099 388 event.set_sweepFractionIndex(NmethodSweepFraction - _sweep_fractions_left + 1);
anoll@5734 389 event.set_sweptCount(swept_count);
sla@5237 390 event.set_flushedCount(_flushed_count);
anoll@6099 391 event.set_markedCount(_marked_for_reclamation_count);
sla@5237 392 event.set_zombifiedCount(_zombified_count);
sla@5237 393 event.commit();
sla@5237 394 }
sla@5237 395
never@1893 396 #ifdef ASSERT
never@1893 397 if(PrintMethodFlushing) {
mgronlun@6131 398 tty->print_cr("### sweeper: sweep time(%d): "
mgronlun@6131 399 INT64_FORMAT, _sweep_fractions_left, (jlong)sweep_time.value());
never@1893 400 }
never@1893 401 #endif
never@1999 402
anoll@6099 403 if (_sweep_fractions_left == 1) {
sla@5237 404 _peak_sweep_time = MAX2(_peak_sweep_time, _total_time_this_sweep);
never@1999 405 log_sweep("finished");
never@1999 406 }
neliasso@5038 407
anoll@5792 408 // Sweeper is the only case where memory is released, check here if it
anoll@5792 409 // is time to restart the compiler. Only checking if there is a certain
anoll@5792 410 // amount of free memory in the code cache might lead to re-enabling
anoll@5792 411 // compilation although no memory has been released. For example, there are
anoll@5792 412 // cases when compilation was disabled although there is 4MB (or more) free
anoll@5792 413 // memory in the code cache. The reason is code cache fragmentation. Therefore,
anoll@5792 414 // it only makes sense to re-enable compilation if we have actually freed memory.
anoll@5792 415 // Note that typically several kB are released for sweeping 16MB of the code
anoll@5792 416 // cache. As a result, 'freed_memory' > 0 to restart the compiler.
anoll@6099 417 if (!CompileBroker::should_compile_new_jobs() && (freed_memory > 0)) {
neliasso@5038 418 CompileBroker::set_should_compile_new_jobs(CompileBroker::run_compilation);
neliasso@5038 419 log_sweep("restart_compiler");
neliasso@5038 420 }
never@1893 421 }
never@1893 422
anoll@6099 423 /**
anoll@6099 424 * This function updates the sweeper statistics that keep track of nmethods
anoll@6099 425 * state changes. If there is 'enough' state change, the sweeper is invoked
anoll@6099 426 * as soon as possible. There can be data races on _bytes_changed. The data
anoll@6099 427 * races are benign, since it does not matter if we loose a couple of bytes.
anoll@6099 428 * In the worst case we call the sweeper a little later. Also, we are guaranteed
anoll@6099 429 * to invoke the sweeper if the code cache gets full.
anoll@6099 430 */
anoll@6099 431 void NMethodSweeper::report_state_change(nmethod* nm) {
anoll@6099 432 _bytes_changed += nm->total_size();
anoll@6099 433 possibly_enable_sweeper();
anoll@6099 434 }
anoll@6099 435
anoll@6099 436 /**
anoll@6099 437 * Function determines if there was 'enough' state change in the code cache to invoke
anoll@6099 438 * the sweeper again. Currently, we determine 'enough' as more than 1% state change in
anoll@6099 439 * the code cache since the last sweep.
anoll@6099 440 */
anoll@6099 441 void NMethodSweeper::possibly_enable_sweeper() {
anoll@6099 442 double percent_changed = ((double)_bytes_changed / (double)ReservedCodeCacheSize) * 100;
anoll@6099 443 if (percent_changed > 1.0) {
anoll@6099 444 _should_sweep = true;
anoll@6099 445 }
anoll@6099 446 }
anoll@6099 447
never@2916 448 class NMethodMarker: public StackObj {
never@2916 449 private:
never@2916 450 CompilerThread* _thread;
never@2916 451 public:
never@2916 452 NMethodMarker(nmethod* nm) {
never@2916 453 _thread = CompilerThread::current();
coleenp@4037 454 if (!nm->is_zombie() && !nm->is_unloaded()) {
coleenp@4037 455 // Only expose live nmethods for scanning
anoll@5792 456 _thread->set_scanned_nmethod(nm);
anoll@5792 457 }
coleenp@4037 458 }
never@2916 459 ~NMethodMarker() {
never@2916 460 _thread->set_scanned_nmethod(NULL);
never@2916 461 }
never@2916 462 };
never@2916 463
coleenp@4037 464 void NMethodSweeper::release_nmethod(nmethod *nm) {
coleenp@4037 465 // Clean up any CompiledICHolders
coleenp@4037 466 {
coleenp@4037 467 ResourceMark rm;
coleenp@4037 468 MutexLocker ml_patch(CompiledIC_lock);
coleenp@4037 469 RelocIterator iter(nm);
coleenp@4037 470 while (iter.next()) {
coleenp@4037 471 if (iter.type() == relocInfo::virtual_call_type) {
coleenp@4037 472 CompiledIC::cleanup_call_site(iter.virtual_call_reloc());
coleenp@4037 473 }
coleenp@4037 474 }
coleenp@4037 475 }
coleenp@4037 476
coleenp@4037 477 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
coleenp@4037 478 nm->flush();
coleenp@4037 479 }
duke@435 480
anoll@5792 481 int NMethodSweeper::process_nmethod(nmethod *nm) {
never@1893 482 assert(!CodeCache_lock->owned_by_self(), "just checking");
never@1893 483
anoll@5792 484 int freed_memory = 0;
never@2916 485 // Make sure this nmethod doesn't get unloaded during the scan,
anoll@5792 486 // since safepoints may happen during acquired below locks.
never@2916 487 NMethodMarker nmm(nm);
never@2916 488 SWEEP(nm);
never@2916 489
duke@435 490 // Skip methods that are currently referenced by the VM
duke@435 491 if (nm->is_locked_by_vm()) {
duke@435 492 // But still remember to clean-up inline caches for alive nmethods
duke@435 493 if (nm->is_alive()) {
anoll@5792 494 // Clean inline caches that point to zombie/non-entrant methods
never@1893 495 MutexLocker cl(CompiledIC_lock);
duke@435 496 nm->cleanup_inline_caches();
never@2916 497 SWEEP(nm);
duke@435 498 }
anoll@5792 499 return freed_memory;
duke@435 500 }
duke@435 501
duke@435 502 if (nm->is_zombie()) {
anoll@5792 503 // If it is the first time we see nmethod then we mark it. Otherwise,
anoll@5792 504 // we reclaim it. When we have seen a zombie method twice, we know that
never@1999 505 // there are no inline caches that refer to it.
duke@435 506 if (nm->is_marked_for_reclamation()) {
duke@435 507 assert(!nm->is_locked_by_vm(), "must not flush locked nmethods");
ysr@1376 508 if (PrintMethodFlushing && Verbose) {
kvn@1637 509 tty->print_cr("### Nmethod %3d/" PTR_FORMAT " (marked for reclamation) being flushed", nm->compile_id(), nm);
ysr@1376 510 }
anoll@5792 511 freed_memory = nm->total_size();
coleenp@4037 512 release_nmethod(nm);
sla@5237 513 _flushed_count++;
duke@435 514 } else {
ysr@1376 515 if (PrintMethodFlushing && Verbose) {
kvn@1637 516 tty->print_cr("### Nmethod %3d/" PTR_FORMAT " (zombie) being marked for reclamation", nm->compile_id(), nm);
ysr@1376 517 }
duke@435 518 nm->mark_for_reclamation();
anoll@6099 519 // Keep track of code cache state change
anoll@6099 520 _bytes_changed += nm->total_size();
anoll@6099 521 _marked_for_reclamation_count++;
never@2916 522 SWEEP(nm);
duke@435 523 }
duke@435 524 } else if (nm->is_not_entrant()) {
anoll@5792 525 // If there are no current activations of this method on the
duke@435 526 // stack we can safely convert it to a zombie method
duke@435 527 if (nm->can_not_entrant_be_converted()) {
ysr@1376 528 if (PrintMethodFlushing && Verbose) {
kvn@1637 529 tty->print_cr("### Nmethod %3d/" PTR_FORMAT " (not entrant) being made zombie", nm->compile_id(), nm);
ysr@1376 530 }
anoll@6099 531 // Code cache state change is tracked in make_zombie()
duke@435 532 nm->make_zombie();
sla@5237 533 _zombified_count++;
never@2916 534 SWEEP(nm);
duke@435 535 } else {
duke@435 536 // Still alive, clean up its inline caches
never@1893 537 MutexLocker cl(CompiledIC_lock);
duke@435 538 nm->cleanup_inline_caches();
never@2916 539 SWEEP(nm);
duke@435 540 }
duke@435 541 } else if (nm->is_unloaded()) {
duke@435 542 // Unloaded code, just make it a zombie
anoll@5792 543 if (PrintMethodFlushing && Verbose) {
kvn@1637 544 tty->print_cr("### Nmethod %3d/" PTR_FORMAT " (unloaded) being made zombie", nm->compile_id(), nm);
anoll@5792 545 }
ysr@1376 546 if (nm->is_osr_method()) {
coleenp@4037 547 SWEEP(nm);
duke@435 548 // No inline caches will ever point to osr methods, so we can just remove it
anoll@5792 549 freed_memory = nm->total_size();
coleenp@4037 550 release_nmethod(nm);
sla@5237 551 _flushed_count++;
duke@435 552 } else {
anoll@6099 553 // Code cache state change is tracked in make_zombie()
duke@435 554 nm->make_zombie();
sla@5237 555 _zombified_count++;
never@2916 556 SWEEP(nm);
duke@435 557 }
duke@435 558 } else {
kvn@1637 559 if (UseCodeCacheFlushing) {
anoll@5792 560 if (!nm->is_locked_by_vm() && !nm->is_osr_method() && !nm->is_native_method()) {
anoll@5792 561 // Do not make native methods and OSR-methods not-entrant
anoll@5792 562 nm->dec_hotness_counter();
anoll@5792 563 // Get the initial value of the hotness counter. This value depends on the
anoll@5792 564 // ReservedCodeCacheSize
anoll@5792 565 int reset_val = hotness_counter_reset_val();
anoll@5792 566 int time_since_reset = reset_val - nm->hotness_counter();
anoll@5792 567 double threshold = -reset_val + (CodeCache::reverse_free_ratio() * NmethodSweepActivity);
anoll@5792 568 // The less free space in the code cache we have - the bigger reverse_free_ratio() is.
anoll@5792 569 // I.e., 'threshold' increases with lower available space in the code cache and a higher
anoll@5792 570 // NmethodSweepActivity. If the current hotness counter - which decreases from its initial
anoll@5792 571 // value until it is reset by stack walking - is smaller than the computed threshold, the
anoll@5792 572 // corresponding nmethod is considered for removal.
anoll@5792 573 if ((NmethodSweepActivity > 0) && (nm->hotness_counter() < threshold) && (time_since_reset > 10)) {
anoll@5792 574 // A method is marked as not-entrant if the method is
anoll@5792 575 // 1) 'old enough': nm->hotness_counter() < threshold
anoll@5792 576 // 2) The method was in_use for a minimum amount of time: (time_since_reset > 10)
anoll@5792 577 // The second condition is necessary if we are dealing with very small code cache
anoll@5792 578 // sizes (e.g., <10m) and the code cache size is too small to hold all hot methods.
anoll@5792 579 // The second condition ensures that methods are not immediately made not-entrant
anoll@5792 580 // after compilation.
anoll@5792 581 nm->make_not_entrant();
anoll@6099 582 // Code cache state change is tracked in make_not_entrant()
anoll@6099 583 if (PrintMethodFlushing && Verbose) {
anoll@6099 584 tty->print_cr("### Nmethod %d/" PTR_FORMAT "made not-entrant: hotness counter %d/%d threshold %f",
anoll@6099 585 nm->compile_id(), nm, nm->hotness_counter(), reset_val, threshold);
anoll@6099 586 }
anoll@5792 587 }
kvn@1637 588 }
kvn@1637 589 }
anoll@5792 590 // Clean-up all inline caches that point to zombie/non-reentrant methods
never@1893 591 MutexLocker cl(CompiledIC_lock);
duke@435 592 nm->cleanup_inline_caches();
never@2916 593 SWEEP(nm);
duke@435 594 }
anoll@5792 595 return freed_memory;
duke@435 596 }
kvn@1637 597
never@1999 598 // Print out some state information about the current sweep and the
never@1999 599 // state of the code cache if it's requested.
never@1999 600 void NMethodSweeper::log_sweep(const char* msg, const char* format, ...) {
never@1999 601 if (PrintMethodFlushing) {
iveresov@2764 602 stringStream s;
iveresov@2764 603 // Dump code cache state into a buffer before locking the tty,
iveresov@2764 604 // because log_state() will use locks causing lock conflicts.
iveresov@2764 605 CodeCache::log_state(&s);
iveresov@2764 606
never@1999 607 ttyLocker ttyl;
never@1999 608 tty->print("### sweeper: %s ", msg);
never@1999 609 if (format != NULL) {
never@1999 610 va_list ap;
never@1999 611 va_start(ap, format);
never@1999 612 tty->vprint(format, ap);
never@1999 613 va_end(ap);
never@1999 614 }
iveresov@2764 615 tty->print_cr(s.as_string());
never@1999 616 }
never@1999 617
never@1999 618 if (LogCompilation && (xtty != NULL)) {
iveresov@2764 619 stringStream s;
iveresov@2764 620 // Dump code cache state into a buffer before locking the tty,
iveresov@2764 621 // because log_state() will use locks causing lock conflicts.
iveresov@2764 622 CodeCache::log_state(&s);
iveresov@2764 623
never@1999 624 ttyLocker ttyl;
never@2001 625 xtty->begin_elem("sweeper state='%s' traversals='" INTX_FORMAT "' ", msg, (intx)traversal_count());
never@1999 626 if (format != NULL) {
never@1999 627 va_list ap;
never@1999 628 va_start(ap, format);
never@1999 629 xtty->vprint(format, ap);
never@1999 630 va_end(ap);
never@1999 631 }
iveresov@2764 632 xtty->print(s.as_string());
never@1999 633 xtty->stamp();
never@1999 634 xtty->end_elem();
never@1999 635 }
never@1999 636 }

mercurial