annotate src/share/vm/prims/jvmtiRawMonitor.cpp @ 20543:e7d0505c8a30

8059758: Footprint regressions with JDK-8038423 Summary: Changes in JDK-8038423 always initialize (zero out) virtual memory used for auxiliary data structures. This causes a footprint regression for G1 in startup benchmarks. This is because they do not touch that memory at all, so the operating system does not actually commit these pages. The fix is to, if the initialization value of the data structures matches the default value of just committed memory (=0), do not do anything. Reviewed-by: jwilhelm, brutisso
author tschatzl
date Fri, 10 Oct 2014 15:51:58 +0200
parents ce8f6bb717c9
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 /*
6842
b9a9ed0f8eeb 7197424: update copyright year to match last edit in jdk8 hotspot repository
mikael
parents: 6197
diff changeset
2 * Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved.
1878
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 "prims/jvmtiRawMonitor.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1878
diff changeset
27 #include "runtime/interfaceSupport.hpp"
20197
ce8f6bb717c9 8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents: 6842
diff changeset
28 #include "runtime/orderAccess.inline.hpp"
ce8f6bb717c9 8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents: 6842
diff changeset
29 #include "runtime/thread.inline.hpp"
1878
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
30
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
31 GrowableArray<JvmtiRawMonitor*> *JvmtiPendingMonitors::_monitors = new (ResourceObj::C_HEAP, mtInternal) GrowableArray<JvmtiRawMonitor*>(1,true);
1878
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
32
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
33 void JvmtiPendingMonitors::transition_raw_monitors() {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
34 assert((Threads::number_of_threads()==1),
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
35 "Java thread has not created yet or more than one java thread \
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
36 is running. Raw monitor transition will not work");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
37 JavaThread *current_java_thread = JavaThread::current();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
38 assert(current_java_thread->thread_state() == _thread_in_vm, "Must be in vm");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
39 {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
40 ThreadBlockInVM __tbivm(current_java_thread);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
41 for(int i=0; i< count(); i++) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
42 JvmtiRawMonitor *rmonitor = monitors()->at(i);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
43 int r = rmonitor->raw_enter(current_java_thread);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
44 assert(r == ObjectMonitor::OM_OK, "raw_enter should have worked");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
45 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
46 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
47 // pending monitors are converted to real monitor so delete them all.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
48 dispose();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
49 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
50
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
51 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
52 // class JvmtiRawMonitor
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
53 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
54
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
55 JvmtiRawMonitor::JvmtiRawMonitor(const char *name) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
56 #ifdef ASSERT
6197
d2a62e0f25eb 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 1972
diff changeset
57 _name = strcpy(NEW_C_HEAP_ARRAY(char, strlen(name) + 1, mtInternal), name);
1878
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
58 #else
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
59 _name = NULL;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
60 #endif
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
61 _magic = JVMTI_RM_MAGIC;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
62 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
63
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
64 JvmtiRawMonitor::~JvmtiRawMonitor() {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
65 #ifdef ASSERT
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
66 FreeHeap(_name);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
67 #endif
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
68 _magic = 0;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
69 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
70
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
71
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
72 bool
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
73 JvmtiRawMonitor::is_valid() {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
74 int value = 0;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
75
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
76 // This object might not be a JvmtiRawMonitor so we can't assume
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
77 // the _magic field is properly aligned. Get the value in a safe
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
78 // way and then check against JVMTI_RM_MAGIC.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
79
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
80 switch (sizeof(_magic)) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
81 case 2:
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
82 value = Bytes::get_native_u2((address)&_magic);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
83 break;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
84
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
85 case 4:
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
86 value = Bytes::get_native_u4((address)&_magic);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
87 break;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
88
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
89 case 8:
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
90 value = Bytes::get_native_u8((address)&_magic);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
91 break;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
92
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
93 default:
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
94 guarantee(false, "_magic field is an unexpected size");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
95 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
96
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
97 return value == JVMTI_RM_MAGIC;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
98 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
99
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
100 // -------------------------------------------------------------------------
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
101 // The raw monitor subsystem is entirely distinct from normal
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
102 // java-synchronization or jni-synchronization. raw monitors are not
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
103 // associated with objects. They can be implemented in any manner
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
104 // that makes sense. The original implementors decided to piggy-back
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
105 // the raw-monitor implementation on the existing Java objectMonitor mechanism.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
106 // This flaw needs to fixed. We should reimplement raw monitors as sui-generis.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
107 // Specifically, we should not implement raw monitors via java monitors.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
108 // Time permitting, we should disentangle and deconvolve the two implementations
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
109 // and move the resulting raw monitor implementation over to the JVMTI directories.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
110 // Ideally, the raw monitor implementation would be built on top of
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
111 // park-unpark and nothing else.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
112 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
113 // raw monitors are used mainly by JVMTI
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
114 // The raw monitor implementation borrows the ObjectMonitor structure,
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
115 // but the operators are degenerate and extremely simple.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
116 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
117 // Mixed use of a single objectMonitor instance -- as both a raw monitor
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
118 // and a normal java monitor -- is not permissible.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
119 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
120 // Note that we use the single RawMonitor_lock to protect queue operations for
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
121 // _all_ raw monitors. This is a scalability impediment, but since raw monitor usage
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
122 // is deprecated and rare, this is not of concern. The RawMonitor_lock can not
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
123 // be held indefinitely. The critical sections must be short and bounded.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
124 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
125 // -------------------------------------------------------------------------
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
126
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
127 int JvmtiRawMonitor::SimpleEnter (Thread * Self) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
128 for (;;) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
129 if (Atomic::cmpxchg_ptr (Self, &_owner, NULL) == NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
130 return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
131 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
132
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
133 ObjectWaiter Node (Self) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
134 Self->_ParkEvent->reset() ; // strictly optional
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
135 Node.TState = ObjectWaiter::TS_ENTER ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
136
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
137 RawMonitor_lock->lock_without_safepoint_check() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
138 Node._next = _EntryList ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
139 _EntryList = &Node ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
140 OrderAccess::fence() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
141 if (_owner == NULL && Atomic::cmpxchg_ptr (Self, &_owner, NULL) == NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
142 _EntryList = Node._next ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
143 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
144 return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
145 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
146 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
147 while (Node.TState == ObjectWaiter::TS_ENTER) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
148 Self->_ParkEvent->park() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
149 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
150 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
151 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
152
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
153 int JvmtiRawMonitor::SimpleExit (Thread * Self) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
154 guarantee (_owner == Self, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
155 OrderAccess::release_store_ptr (&_owner, NULL) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
156 OrderAccess::fence() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
157 if (_EntryList == NULL) return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
158 ObjectWaiter * w ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
159
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
160 RawMonitor_lock->lock_without_safepoint_check() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
161 w = _EntryList ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
162 if (w != NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
163 _EntryList = w->_next ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
164 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
165 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
166 if (w != NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
167 guarantee (w ->TState == ObjectWaiter::TS_ENTER, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
168 ParkEvent * ev = w->_event ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
169 w->TState = ObjectWaiter::TS_RUN ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
170 OrderAccess::fence() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
171 ev->unpark() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
172 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
173 return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
174 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
175
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
176 int JvmtiRawMonitor::SimpleWait (Thread * Self, jlong millis) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
177 guarantee (_owner == Self , "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
178 guarantee (_recursions == 0, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
179
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
180 ObjectWaiter Node (Self) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
181 Node._notified = 0 ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
182 Node.TState = ObjectWaiter::TS_WAIT ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
183
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
184 RawMonitor_lock->lock_without_safepoint_check() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
185 Node._next = _WaitSet ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
186 _WaitSet = &Node ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
187 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
188
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
189 SimpleExit (Self) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
190 guarantee (_owner != Self, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
191
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
192 int ret = OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
193 if (millis <= 0) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
194 Self->_ParkEvent->park();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
195 } else {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
196 ret = Self->_ParkEvent->park(millis);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
197 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
198
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
199 // If thread still resides on the waitset then unlink it.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
200 // Double-checked locking -- the usage is safe in this context
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
201 // as we TState is volatile and the lock-unlock operators are
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
202 // serializing (barrier-equivalent).
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
203
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
204 if (Node.TState == ObjectWaiter::TS_WAIT) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
205 RawMonitor_lock->lock_without_safepoint_check() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
206 if (Node.TState == ObjectWaiter::TS_WAIT) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
207 // Simple O(n) unlink, but performance isn't critical here.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
208 ObjectWaiter * p ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
209 ObjectWaiter * q = NULL ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
210 for (p = _WaitSet ; p != &Node; p = p->_next) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
211 q = p ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
212 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
213 guarantee (p == &Node, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
214 if (q == NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
215 guarantee (p == _WaitSet, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
216 _WaitSet = p->_next ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
217 } else {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
218 guarantee (p == q->_next, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
219 q->_next = p->_next ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
220 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
221 Node.TState = ObjectWaiter::TS_RUN ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
222 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
223 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
224 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
225
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
226 guarantee (Node.TState == ObjectWaiter::TS_RUN, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
227 SimpleEnter (Self) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
228
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
229 guarantee (_owner == Self, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
230 guarantee (_recursions == 0, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
231 return ret ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
232 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
233
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
234 int JvmtiRawMonitor::SimpleNotify (Thread * Self, bool All) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
235 guarantee (_owner == Self, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
236 if (_WaitSet == NULL) return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
237
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
238 // We have two options:
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
239 // A. Transfer the threads from the WaitSet to the EntryList
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
240 // B. Remove the thread from the WaitSet and unpark() it.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
241 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
242 // We use (B), which is crude and results in lots of futile
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
243 // context switching. In particular (B) induces lots of contention.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
244
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
245 ParkEvent * ev = NULL ; // consider using a small auto array ...
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
246 RawMonitor_lock->lock_without_safepoint_check() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
247 for (;;) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
248 ObjectWaiter * w = _WaitSet ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
249 if (w == NULL) break ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
250 _WaitSet = w->_next ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
251 if (ev != NULL) { ev->unpark(); ev = NULL; }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
252 ev = w->_event ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
253 OrderAccess::loadstore() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
254 w->TState = ObjectWaiter::TS_RUN ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
255 OrderAccess::storeload();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
256 if (!All) break ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
257 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
258 RawMonitor_lock->unlock() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
259 if (ev != NULL) ev->unpark();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
260 return OS_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
261 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
262
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
263 // Any JavaThread will enter here with state _thread_blocked
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
264 int JvmtiRawMonitor::raw_enter(TRAPS) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
265 TEVENT (raw_enter) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
266 void * Contended ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
267
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
268 // don't enter raw monitor if thread is being externally suspended, it will
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
269 // surprise the suspender if a "suspended" thread can still enter monitor
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
270 JavaThread * jt = (JavaThread *)THREAD;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
271 if (THREAD->is_Java_thread()) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
272 jt->SR_lock()->lock_without_safepoint_check();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
273 while (jt->is_external_suspend()) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
274 jt->SR_lock()->unlock();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
275 jt->java_suspend_self();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
276 jt->SR_lock()->lock_without_safepoint_check();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
277 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
278 // guarded by SR_lock to avoid racing with new external suspend requests.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
279 Contended = Atomic::cmpxchg_ptr (THREAD, &_owner, NULL) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
280 jt->SR_lock()->unlock();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
281 } else {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
282 Contended = Atomic::cmpxchg_ptr (THREAD, &_owner, NULL) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
283 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
284
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
285 if (Contended == THREAD) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
286 _recursions ++ ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
287 return OM_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
288 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
289
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
290 if (Contended == NULL) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
291 guarantee (_owner == THREAD, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
292 guarantee (_recursions == 0, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
293 return OM_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
294 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
295
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
296 THREAD->set_current_pending_monitor(this);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
297
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
298 if (!THREAD->is_Java_thread()) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
299 // No other non-Java threads besides VM thread would acquire
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
300 // a raw monitor.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
301 assert(THREAD->is_VM_thread(), "must be VM thread");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
302 SimpleEnter (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
303 } else {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
304 guarantee (jt->thread_state() == _thread_blocked, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
305 for (;;) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
306 jt->set_suspend_equivalent();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
307 // cleared by handle_special_suspend_equivalent_condition() or
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
308 // java_suspend_self()
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
309 SimpleEnter (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
310
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
311 // were we externally suspended while we were waiting?
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
312 if (!jt->handle_special_suspend_equivalent_condition()) break ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
313
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
314 // This thread was externally suspended
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
315 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
316 // This logic isn't needed for JVMTI raw monitors,
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
317 // but doesn't hurt just in case the suspend rules change. This
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
318 // logic is needed for the JvmtiRawMonitor.wait() reentry phase.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
319 // We have reentered the contended monitor, but while we were
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
320 // waiting another thread suspended us. We don't want to reenter
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
321 // the monitor while suspended because that would surprise the
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
322 // thread that suspended us.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
323 //
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
324 // Drop the lock -
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
325 SimpleExit (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
326
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
327 jt->java_suspend_self();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
328 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
329
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
330 assert(_owner == THREAD, "Fatal error with monitor owner!");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
331 assert(_recursions == 0, "Fatal error with monitor recursions!");
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
332 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
333
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
334 THREAD->set_current_pending_monitor(NULL);
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
335 guarantee (_recursions == 0, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
336 return OM_OK;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
337 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
338
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
339 // Used mainly for JVMTI raw monitor implementation
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
340 // Also used for JvmtiRawMonitor::wait().
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
341 int JvmtiRawMonitor::raw_exit(TRAPS) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
342 TEVENT (raw_exit) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
343 if (THREAD != _owner) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
344 return OM_ILLEGAL_MONITOR_STATE;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
345 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
346 if (_recursions > 0) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
347 --_recursions ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
348 return OM_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
349 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
350
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
351 void * List = _EntryList ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
352 SimpleExit (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
353
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
354 return OM_OK;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
355 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
356
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
357 // Used for JVMTI raw monitor implementation.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
358 // All JavaThreads will enter here with state _thread_blocked
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
359
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
360 int JvmtiRawMonitor::raw_wait(jlong millis, bool interruptible, TRAPS) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
361 TEVENT (raw_wait) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
362 if (THREAD != _owner) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
363 return OM_ILLEGAL_MONITOR_STATE;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
364 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
365
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
366 // To avoid spurious wakeups we reset the parkevent -- This is strictly optional.
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
367 // The caller must be able to tolerate spurious returns from raw_wait().
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
368 THREAD->_ParkEvent->reset() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
369 OrderAccess::fence() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
370
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
371 // check interrupt event
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
372 if (interruptible && Thread::is_interrupted(THREAD, true)) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
373 return OM_INTERRUPTED;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
374 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
375
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
376 intptr_t save = _recursions ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
377 _recursions = 0 ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
378 _waiters ++ ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
379 if (THREAD->is_Java_thread()) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
380 guarantee (((JavaThread *) THREAD)->thread_state() == _thread_blocked, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
381 ((JavaThread *)THREAD)->set_suspend_equivalent();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
382 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
383 int rv = SimpleWait (THREAD, millis) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
384 _recursions = save ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
385 _waiters -- ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
386
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
387 guarantee (THREAD == _owner, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
388 if (THREAD->is_Java_thread()) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
389 JavaThread * jSelf = (JavaThread *) THREAD ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
390 for (;;) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
391 if (!jSelf->handle_special_suspend_equivalent_condition()) break ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
392 SimpleExit (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
393 jSelf->java_suspend_self();
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
394 SimpleEnter (THREAD) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
395 jSelf->set_suspend_equivalent() ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
396 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
397 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
398 guarantee (THREAD == _owner, "invariant") ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
399
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
400 if (interruptible && Thread::is_interrupted(THREAD, true)) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
401 return OM_INTERRUPTED;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
402 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
403 return OM_OK ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
404 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
405
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
406 int JvmtiRawMonitor::raw_notify(TRAPS) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
407 TEVENT (raw_notify) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
408 if (THREAD != _owner) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
409 return OM_ILLEGAL_MONITOR_STATE;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
410 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
411 SimpleNotify (THREAD, false) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
412 return OM_OK;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
413 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
414
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
415 int JvmtiRawMonitor::raw_notifyAll(TRAPS) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
416 TEVENT (raw_notifyAll) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
417 if (THREAD != _owner) {
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
418 return OM_ILLEGAL_MONITOR_STATE;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
419 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
420 SimpleNotify (THREAD, true) ;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
421 return OM_OK;
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
422 }
fa83ab460c54 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
423