hotspot/src/os/windows/vm/threadCritical_windows.cpp
author goetz
Wed, 04 Jun 2014 11:56:44 +0200
changeset 25351 7c198a690050
parent 14583 d70ee55535f4
child 40655 9f644073d3a0
permissions -rw-r--r--
8044775: Improve usage of umbrella header atomic.inline.hpp. Reviewed-by: stefank, kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
     2
 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#include "precompiled.hpp"
25351
7c198a690050 8044775: Improve usage of umbrella header atomic.inline.hpp.
goetz
parents: 14583
diff changeset
    26
#include "runtime/atomic.inline.hpp"
14583
d70ee55535f4 8003935: Simplify the needed includes for using Thread::current()
stefank
parents: 7397
diff changeset
    27
#include "runtime/thread.inline.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "runtime/threadCritical.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
// OS-includes here
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
# include <windows.h>
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
# include <winbase.h>
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// See threadCritical.hpp for details of this class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
static bool initialized = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
static volatile jint lock_count = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
static HANDLE lock_event;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
static DWORD lock_owner = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
// Note that Microsoft's critical region code contains a race
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
// condition, and is not suitable for use. A thread holding the
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
// critical section cannot safely suspend a thread attempting
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
// to enter the critical region. The failure mode is that both
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
// threads are permanently suspended.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
// I experiemented with the use of ordinary windows mutex objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
// and found them ~30 times slower than the critical region code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
void ThreadCritical::initialize() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
void ThreadCritical::release() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  assert(lock_owner == -1, "Mutex being deleted while owned.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  assert(lock_count == -1, "Mutex being deleted while recursively locked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  assert(lock_event != NULL, "Sanity check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  CloseHandle(lock_event);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
ThreadCritical::ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  DWORD current_thread = GetCurrentThreadId();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  if (lock_owner != current_thread) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
    // Grab the lock before doing anything.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
    while (Atomic::cmpxchg(0, &lock_count, -1) != -1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
      if (initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
        DWORD ret = WaitForSingleObject(lock_event,  INFINITE);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
        assert(ret == WAIT_OBJECT_0, "unexpected return value from WaitForSingleObject");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
    // Make sure the event object is allocated.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
    if (!initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
      // Locking will not work correctly unless this is autoreset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
      lock_event = CreateEvent(NULL, false, false, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
      initialized = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
    assert(lock_owner == -1, "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
    lock_owner = current_thread;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
    // Atomicity isn't required. Bump the recursion count.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
    lock_count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  assert(lock_owner == GetCurrentThreadId(), "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
ThreadCritical::~ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  assert(lock_owner == GetCurrentThreadId(), "unlock attempt by wrong thread");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  assert(lock_count >= 0, "Attempt to unlock when already unlocked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  if (lock_count == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
    // We're going to unlock
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    lock_owner = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
    lock_count = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
    // No lost wakeups, lock_event stays signaled until reset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
    DWORD ret = SetEvent(lock_event);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
    assert(ret != 0, "unexpected return value from SetEvent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
    // Just unwinding a recursive lock;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
    lock_count--;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
}