annotate src/share/vm/runtime/basicLock.cpp @ 4155:394404b2d9bd

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