src/hotspot/share/runtime/basicLock.cpp
author dcubed
Tue, 29 Jan 2019 14:09:38 -0500
changeset 53557 4cfe0e5a3b79
parent 47216 71c04702a3d5
child 57777 90ead0febf56
permissions -rw-r--r--
8217658: baseline_cleanups from Async Monitor Deflation project Summary: baseline_cleanups from Async Monitor Deflation project plus a couple of misc others. Reviewed-by: dholmes, rehn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     1
/*
53557
4cfe0e5a3b79 8217658: baseline_cleanups from Async Monitor Deflation project
dcubed
parents: 47216
diff changeset
     2
 * Copyright (c) 1997, 2019, Oracle and/or its affiliates. All rights reserved.
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     4
 *
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     7
 * published by the Free Software Foundation.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     8
 *
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    13
 * accompanied this code).
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    14
 *
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    18
 *
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    21
 * questions.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    22
 *
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    23
 */
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    26
#include "runtime/basicLock.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    27
#include "runtime/synchronizer.hpp"
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    28
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    29
void BasicLock::print_on(outputStream* st) const {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    30
  st->print("monitor");
29086
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 7397
diff changeset
    31
  markOop moop = displaced_header();
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 7397
diff changeset
    32
  if (moop != NULL)
74100114a95a 8069412: Locks need better debug-printing support
drchase
parents: 7397
diff changeset
    33
    moop->print_on(st);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    34
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    35
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    36
void BasicLock::move_to(oop obj, BasicLock* dest) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    37
  // Check to see if we need to inflate the lock. This is only needed
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    38
  // if an object is locked using "this" lightweight monitor. In that
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    39
  // case, the displaced_header() is unlocked, because the
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    40
  // displaced_header() contains the header for the originally unlocked
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    41
  // object. However the object could have already been inflated. But it
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    42
  // does not matter, the inflation will just a no-op. For other cases,
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    43
  // the displaced header will be either 0x0 or 0x3, which are location
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    44
  // independent, therefore the BasicLock is free to move.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    45
  //
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    46
  // During OSR we may need to relocate a BasicLock (which contains a
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    47
  // displaced word) from a location in an interpreter frame to a
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    48
  // new location in a compiled frame.  "this" refers to the source
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    49
  // basiclock in the interpreter frame.  "dest" refers to the destination
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    50
  // basiclock in the new compiled frame.  We *always* inflate in move_to().
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    51
  // The always-Inflate policy works properly, but in 1.5.0 it can sometimes
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    52
  // cause performance problems in code that makes heavy use of a small # of
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    53
  // uncontended locks.   (We'd inflate during OSR, and then sync performance
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    54
  // would subsequently plummet because the thread would be forced thru the slow-path).
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    55
  // This problem has been made largely moot on IA32 by inlining the inflated fast-path
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    56
  // operations in Fast_Lock and Fast_Unlock in i486.ad.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    57
  //
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    58
  // Note that there is a way to safely swing the object's markword from
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    59
  // one stack location to another.  This avoids inflation.  Obviously,
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    60
  // we need to ensure that both locations refer to the current thread's stack.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    61
  // There are some subtle concurrency issues, however, and since the benefit is
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    62
  // is small (given the support for inflated fast-path locking in the fast_lock, etc)
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    63
  // we'll leave that optimization for another time.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    64
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    65
  if (displaced_header()->is_neutral()) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    66
    ObjectSynchronizer::inflate_helper(obj);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    67
    // WARNING: We can not put check here, because the inflation
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    68
    // will not update the displaced header. Once BasicLock is inflated,
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    69
    // no one should ever look at its content.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    70
  } else {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    71
    // Typically the displaced header will be 0 (recursive stack lock) or
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    72
    // unused_mark.  Naively we'd like to assert that the displaced mark
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    73
    // value is either 0, neutral, or 3.  But with the advent of the
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    74
    // store-before-CAS avoidance in fast_lock/compiler_lock_object
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    75
    // we can find any flavor mark in the displaced mark.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    76
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    77
  dest->set_displaced_header(displaced_header());
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    78
}