src/hotspot/share/prims/jvmtiRawMonitor.cpp
author dholmes
Mon, 07 Oct 2019 18:44:53 -0400
changeset 58488 165b193b30dd
parent 58196 cea6839598e8
child 58509 7b41c88f8432
permissions -rw-r--r--
8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up Reviewed-by: sspitsyn, dcubed, coleenp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
     1
/*
54469
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
     2
 * Copyright (c) 2003, 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"
49360
886acec3b4c6 8199275: Fix inclusions of allocation.inline.hpp
stefank
parents: 48488
diff changeset
    26
#include "memory/allocation.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    27
#include "prims/jvmtiRawMonitor.hpp"
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 25351
diff changeset
    28
#include "runtime/atomic.hpp"
49449
ef5d5d343e2a 8199263: Split interfaceSupport.hpp to not require including .inline.hpp files
coleenp
parents: 49360
diff changeset
    29
#include "runtime/interfaceSupport.inline.hpp"
50429
83aec1d357d4 8204301: Make OrderAccess functions available to hpp rather than inline.hpp files
coleenp
parents: 49449
diff changeset
    30
#include "runtime/orderAccess.hpp"
24351
61b33cc6d3cf 8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents: 13963
diff changeset
    31
#include "runtime/thread.inline.hpp"
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    32
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    33
JvmtiRawMonitor::QNode::QNode(Thread* thread) : _next(NULL), _prev(NULL),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    34
                                                _event(thread->_ParkEvent),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    35
                                                _notified(0), TState(TS_RUN) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    36
}
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    37
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    38
GrowableArray<JvmtiRawMonitor*> *JvmtiPendingMonitors::_monitors =
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    39
  new (ResourceObj::C_HEAP, mtInternal) GrowableArray<JvmtiRawMonitor*>(1, true);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    40
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    41
void JvmtiPendingMonitors::transition_raw_monitors() {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    42
  assert((Threads::number_of_threads()==1),
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    43
         "Java thread has not been created yet or more than one java thread \
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    44
is running. Raw monitor transition will not work");
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    45
  JavaThread *current_java_thread = JavaThread::current();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    46
  assert(current_java_thread->thread_state() == _thread_in_vm, "Must be in vm");
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    47
  for(int i=0; i< count(); i++) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    48
    JvmtiRawMonitor *rmonitor = monitors()->at(i);
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    49
    rmonitor->raw_enter(current_java_thread);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    50
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    51
  // pending monitors are converted to real monitor so delete them all.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    52
  dispose();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    53
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    54
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    55
//
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    56
// class JvmtiRawMonitor
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    57
//
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    58
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    59
JvmtiRawMonitor::JvmtiRawMonitor(const char *name) : _owner(NULL),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    60
                                                     _recursions(0),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    61
                                                     _EntryList(NULL),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    62
                                                     _WaitSet(NULL),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    63
                                                     _waiters(0),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    64
                                                     _magic(JVMTI_RM_MAGIC),
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
    65
                                                     _name(NULL) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    66
#ifdef ASSERT
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 7397
diff changeset
    67
  _name = strcpy(NEW_C_HEAP_ARRAY(char, strlen(name) + 1, mtInternal), name);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    68
#endif
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    69
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    70
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    71
JvmtiRawMonitor::~JvmtiRawMonitor() {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    72
#ifdef ASSERT
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    73
  FreeHeap(_name);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    74
#endif
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    75
  _magic = 0;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    76
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    77
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    78
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    79
bool
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    80
JvmtiRawMonitor::is_valid() {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    81
  int value = 0;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    82
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    83
  // This object might not be a JvmtiRawMonitor so we can't assume
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    84
  // the _magic field is properly aligned. Get the value in a safe
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    85
  // way and then check against JVMTI_RM_MAGIC.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    86
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    87
  switch (sizeof(_magic)) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    88
  case 2:
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    89
    value = Bytes::get_native_u2((address)&_magic);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    90
    break;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    91
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    92
  case 4:
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    93
    value = Bytes::get_native_u4((address)&_magic);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    94
    break;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    95
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    96
  case 8:
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    97
    value = Bytes::get_native_u8((address)&_magic);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    98
    break;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
    99
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   100
  default:
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   101
    guarantee(false, "_magic field is an unexpected size");
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   102
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   103
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   104
  return value == JVMTI_RM_MAGIC;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   105
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   106
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   107
// -------------------------------------------------------------------------
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   108
// The JVMTI raw monitor subsystem is entirely distinct from normal
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   109
// java-synchronization or jni-synchronization.  JVMTI raw monitors are not
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   110
// associated with objects.  They can be implemented in any manner
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   111
// that makes sense.  The original implementors decided to piggy-back
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   112
// the raw-monitor implementation on the existing Java ObjectMonitor mechanism.
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   113
// Now we just use a simplified form of that ObjectMonitor code.
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   114
//
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   115
// Note that we use the single RawMonitor_lock to protect queue operations for
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   116
// _all_ raw monitors.  This is a scalability impediment, but since raw monitor usage
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   117
// is fairly rare, this is not of concern.  The RawMonitor_lock can not
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   118
// be held indefinitely.  The critical sections must be short and bounded.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   119
//
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   120
// -------------------------------------------------------------------------
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   121
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   122
void JvmtiRawMonitor::SimpleEnter (Thread * Self) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   123
  for (;;) {
48488
51825789dd89 8194406: Use Atomic::replace_if_null
kbarrett
parents: 47634
diff changeset
   124
    if (Atomic::replace_if_null(Self, &_owner)) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   125
       return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   126
    }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   127
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   128
    QNode Node (Self) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   129
    Self->_ParkEvent->reset() ;     // strictly optional
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   130
    Node.TState = QNode::TS_ENTER ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   131
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   132
    RawMonitor_lock->lock_without_safepoint_check() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   133
    Node._next  = _EntryList ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   134
    _EntryList  = &Node ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   135
    OrderAccess::fence() ;
48488
51825789dd89 8194406: Use Atomic::replace_if_null
kbarrett
parents: 47634
diff changeset
   136
    if (_owner == NULL && Atomic::replace_if_null(Self, &_owner)) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   137
        _EntryList = Node._next ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   138
        RawMonitor_lock->unlock() ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   139
        return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   140
    }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   141
    RawMonitor_lock->unlock() ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   142
    while (Node.TState == QNode::TS_ENTER) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   143
       Self->_ParkEvent->park() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   144
    }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   145
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   146
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   147
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   148
void JvmtiRawMonitor::SimpleExit (Thread * Self) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   149
  guarantee (_owner == Self, "invariant") ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   150
  OrderAccess::release_store(&_owner, (Thread*)NULL) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   151
  OrderAccess::fence() ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   152
  if (_EntryList == NULL) return ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   153
  QNode * w ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   154
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   155
  RawMonitor_lock->lock_without_safepoint_check() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   156
  w = _EntryList ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   157
  if (w != NULL) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   158
      _EntryList = w->_next ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   159
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   160
  RawMonitor_lock->unlock() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   161
  if (w != NULL) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   162
      guarantee (w ->TState == QNode::TS_ENTER, "invariant") ;
54469
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   163
      // Once we set TState to TS_RUN the waiting thread can complete
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   164
      // SimpleEnter and 'w' is pointing into random stack space. So we have
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   165
      // to ensure we extract the ParkEvent (which is in type-stable memory)
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   166
      // before we set the state, and then don't access 'w'.
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   167
      ParkEvent * ev = w->_event ;
54469
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   168
      OrderAccess::loadstore();
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   169
      w->TState = QNode::TS_RUN ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   170
      OrderAccess::fence() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   171
      ev->unpark() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   172
  }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   173
  return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   174
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   175
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   176
int JvmtiRawMonitor::SimpleWait (Thread * Self, jlong millis) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   177
  guarantee (_owner == Self  , "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   178
  guarantee (_recursions == 0, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   179
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   180
  QNode Node (Self) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   181
  Node._notified = 0 ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   182
  Node.TState    = QNode::TS_WAIT ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   183
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   184
  RawMonitor_lock->lock_without_safepoint_check() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   185
  Node._next     = _WaitSet ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   186
  _WaitSet       = &Node ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   187
  RawMonitor_lock->unlock() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   188
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   189
  SimpleExit (Self) ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   190
  guarantee (_owner != Self, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   191
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   192
  int ret = OS_OK ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   193
  if (millis <= 0) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   194
    Self->_ParkEvent->park();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   195
  } else {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   196
    ret = Self->_ParkEvent->park(millis);
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   197
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   198
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   199
  // If thread still resides on the waitset then unlink it.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   200
  // Double-checked locking -- the usage is safe in this context
54469
8592226f5cd3 8221584: SIGSEGV in os::PlatformEvent::unpark() in JvmtiRawMonitor::raw_exit while posting method exit event
dholmes
parents: 51702
diff changeset
   201
  // as TState is volatile and the lock-unlock operators are
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   202
  // serializing (barrier-equivalent).
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   203
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   204
  if (Node.TState == QNode::TS_WAIT) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   205
    RawMonitor_lock->lock_without_safepoint_check() ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   206
    if (Node.TState == QNode::TS_WAIT) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   207
      // Simple O(n) unlink, but performance isn't critical here.
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   208
      QNode * p ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   209
      QNode * q = NULL ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   210
      for (p = _WaitSet ; p != &Node; p = p->_next) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   211
         q = p ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   212
      }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   213
      guarantee (p == &Node, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   214
      if (q == NULL) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   215
        guarantee (p == _WaitSet, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   216
        _WaitSet = p->_next ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   217
      } else {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   218
        guarantee (p == q->_next, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   219
        q->_next = p->_next ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   220
      }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   221
      Node.TState = QNode::TS_RUN ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   222
    }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   223
    RawMonitor_lock->unlock() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   224
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   225
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   226
  guarantee (Node.TState == QNode::TS_RUN, "invariant") ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   227
  SimpleEnter (Self) ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   228
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   229
  guarantee (_owner == Self, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   230
  guarantee (_recursions == 0, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   231
  return ret ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   232
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   233
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   234
void JvmtiRawMonitor::SimpleNotify (Thread * Self, bool All) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   235
  guarantee (_owner == Self, "invariant") ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   236
  if (_WaitSet == NULL) return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   237
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   238
  // We have two options:
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   239
  // A. Transfer the threads from the WaitSet to the EntryList
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   240
  // B. Remove the thread from the WaitSet and unpark() it.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   241
  //
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   242
  // We use (B), which is crude and results in lots of futile
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   243
  // context switching.  In particular (B) induces lots of contention.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   244
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   245
  ParkEvent * ev = NULL ;       // consider using a small auto array ...
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   246
  RawMonitor_lock->lock_without_safepoint_check() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   247
  for (;;) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   248
      QNode * w = _WaitSet ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   249
      if (w == NULL) break ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   250
      _WaitSet = w->_next ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   251
      if (ev != NULL) { ev->unpark(); ev = NULL; }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   252
      ev = w->_event ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   253
      OrderAccess::loadstore() ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   254
      w->TState = QNode::TS_RUN ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   255
      OrderAccess::storeload();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   256
      if (!All) break ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   257
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   258
  RawMonitor_lock->unlock() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   259
  if (ev != NULL) ev->unpark();
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   260
  return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   261
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   262
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   263
// Any JavaThread will enter here with state _thread_blocked
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   264
void JvmtiRawMonitor::raw_enter(Thread * Self) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   265
  void * Contended ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   266
  JavaThread * jt = NULL;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   267
  // don't enter raw monitor if thread is being externally suspended, it will
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   268
  // surprise the suspender if a "suspended" thread can still enter monitor
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   269
  if (Self->is_Java_thread()) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   270
    jt = (JavaThread*) Self;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   271
    jt->SR_lock()->lock_without_safepoint_check();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   272
    while (jt->is_external_suspend()) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   273
      jt->SR_lock()->unlock();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   274
      jt->java_suspend_self();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   275
      jt->SR_lock()->lock_without_safepoint_check();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   276
    }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   277
    // guarded by SR_lock to avoid racing with new external suspend requests.
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   278
    Contended = Atomic::cmpxchg(jt, &_owner, (Thread*)NULL);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   279
    jt->SR_lock()->unlock();
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   280
  } else {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   281
    Contended = Atomic::cmpxchg(Self, &_owner, (Thread*)NULL);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   282
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   283
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   284
  if (Contended == Self) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   285
     _recursions ++ ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   286
     return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   287
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   288
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   289
  if (Contended == NULL) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   290
     guarantee (_owner == Self, "invariant") ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   291
     guarantee (_recursions == 0, "invariant") ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   292
     return ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   293
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   294
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   295
  Self->set_current_pending_raw_monitor(this);
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   296
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   297
  if (!Self->is_Java_thread()) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   298
     SimpleEnter (Self) ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   299
  } else {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   300
    guarantee (jt->thread_state() == _thread_blocked, "invariant") ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   301
    for (;;) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   302
      jt->set_suspend_equivalent();
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   303
      // cleared by handle_special_suspend_equivalent_condition() or
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   304
      // java_suspend_self()
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   305
      SimpleEnter (jt) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   306
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   307
      // were we externally suspended while we were waiting?
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   308
      if (!jt->handle_special_suspend_equivalent_condition()) break ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   309
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   310
      // This thread was externally suspended
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   311
      // We have reentered the contended monitor, but while we were
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   312
      // waiting another thread suspended us. We don't want to reenter
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   313
      // the monitor while suspended because that would surprise the
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   314
      // thread that suspended us.
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   315
      //
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   316
      // Drop the lock
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   317
      SimpleExit (jt) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   318
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   319
      jt->java_suspend_self();
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   320
    }
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   321
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   322
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   323
  Self->set_current_pending_raw_monitor(NULL);
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   324
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   325
  guarantee (_owner == Self, "invariant") ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   326
  guarantee (_recursions == 0, "invariant") ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   327
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   328
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   329
int JvmtiRawMonitor::raw_exit(Thread * Self) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   330
  if (Self != _owner) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   331
    return M_ILLEGAL_MONITOR_STATE;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   332
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   333
  if (_recursions > 0) {
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   334
    --_recursions ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   335
  } else {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   336
    SimpleExit (Self) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   337
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   338
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   339
  return M_OK;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   340
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   341
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   342
// All JavaThreads will enter here with state _thread_blocked
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   343
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   344
int JvmtiRawMonitor::raw_wait(jlong millis, bool interruptible, Thread * Self) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   345
  if (Self != _owner) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   346
    return M_ILLEGAL_MONITOR_STATE;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   347
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   348
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   349
  // To avoid spurious wakeups we reset the parkevent -- This is strictly optional.
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   350
  // The caller must be able to tolerate spurious returns from raw_wait().
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   351
  Self->_ParkEvent->reset() ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   352
  OrderAccess::fence() ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   353
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   354
  JavaThread * jt = NULL;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   355
  // check interrupt event
58196
cea6839598e8 8230424: Use platform independent code for Thread.interrupt support
dholmes
parents: 54469
diff changeset
   356
  if (interruptible) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   357
    assert(Self->is_Java_thread(), "Only JavaThreads can be interruptible");
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   358
    jt = (JavaThread*) Self;
58196
cea6839598e8 8230424: Use platform independent code for Thread.interrupt support
dholmes
parents: 54469
diff changeset
   359
    if (jt->is_interrupted(true)) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   360
      return M_INTERRUPTED;
58196
cea6839598e8 8230424: Use platform independent code for Thread.interrupt support
dholmes
parents: 54469
diff changeset
   361
    }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   362
  } else {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   363
    assert(!Self->is_Java_thread(), "JavaThreads must be interuptible");
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   364
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   365
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   366
  intptr_t save = _recursions ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   367
  _recursions = 0 ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   368
  _waiters ++ ;
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   369
  if (Self->is_Java_thread()) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   370
    guarantee (jt->thread_state() == _thread_blocked, "invariant") ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   371
    jt->set_suspend_equivalent();
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   372
  }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   373
  int rv = SimpleWait (Self, millis) ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   374
  _recursions = save ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   375
  _waiters -- ;
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   376
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   377
  guarantee (Self == _owner, "invariant") ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   378
  if (Self->is_Java_thread()) {
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   379
     for (;;) {
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   380
        if (!jt->handle_special_suspend_equivalent_condition()) break ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   381
        SimpleExit (jt) ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   382
        jt->java_suspend_self();
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   383
        SimpleEnter (jt) ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   384
        jt->set_suspend_equivalent() ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   385
     }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   386
     guarantee (jt == _owner, "invariant") ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   387
  }
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   388
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   389
  if (interruptible && jt->is_interrupted(true)) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   390
    return M_INTERRUPTED;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   391
  }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   392
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   393
  return M_OK ;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   394
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   395
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   396
int JvmtiRawMonitor::raw_notify(Thread * Self) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   397
  if (Self != _owner) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   398
    return M_ILLEGAL_MONITOR_STATE;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   399
  }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   400
  SimpleNotify (Self, false) ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   401
  return M_OK;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   402
}
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   403
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   404
int JvmtiRawMonitor::raw_notifyAll(Thread * Self) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   405
  if (Self != _owner) {
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   406
    return M_ILLEGAL_MONITOR_STATE;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   407
  }
58488
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   408
  SimpleNotify (Self, true) ;
165b193b30dd 8231289: Disentangle JvmtiRawMonitor from ObjectMonitor and clean it up
dholmes
parents: 58196
diff changeset
   409
  return M_OK;
6975
dc9b63952682 6988353: refactor contended sync subsystem
acorn
parents:
diff changeset
   410
}