hotspot/src/os/windows/vm/threadCritical_windows.cpp
author stefank
Tue, 23 Nov 2010 13:22:55 -0800
changeset 7397 5b173b4ca846
parent 5547 f4b087cbb361
child 14583 d70ee55535f4
permissions -rw-r--r--
6989984: Use standard include model for Hospot Summary: Replaced MakeDeps and the includeDB files with more standardized solutions. Reviewed-by: coleenp, kvn, kamg
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"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#include "runtime/threadCritical.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
#include "thread_windows.inline.hpp"
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
// OS-includes here
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
# include <windows.h>
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
# include <winbase.h>
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
// See threadCritical.hpp for details of this class.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
static bool initialized = false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
static volatile jint lock_count = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
static HANDLE lock_event;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
static DWORD lock_owner = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
// Note that Microsoft's critical region code contains a race
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
// condition, and is not suitable for use. A thread holding the
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
// critical section cannot safely suspend a thread attempting
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
// to enter the critical region. The failure mode is that both
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
// threads are permanently suspended.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
// I experiemented with the use of ordinary windows mutex objects
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
// and found them ~30 times slower than the critical region code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
void ThreadCritical::initialize() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
void ThreadCritical::release() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  assert(lock_owner == -1, "Mutex being deleted while owned.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  assert(lock_count == -1, "Mutex being deleted while recursively locked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  assert(lock_event != NULL, "Sanity check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  CloseHandle(lock_event);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
ThreadCritical::ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  DWORD current_thread = GetCurrentThreadId();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  if (lock_owner != current_thread) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
    // Grab the lock before doing anything.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
    while (Atomic::cmpxchg(0, &lock_count, -1) != -1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
      if (initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
        DWORD ret = WaitForSingleObject(lock_event,  INFINITE);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
        assert(ret == WAIT_OBJECT_0, "unexpected return value from WaitForSingleObject");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
    // Make sure the event object is allocated.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
    if (!initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
      // Locking will not work correctly unless this is autoreset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
      lock_event = CreateEvent(NULL, false, false, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
      initialized = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
    assert(lock_owner == -1, "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
    lock_owner = current_thread;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
    // Atomicity isn't required. Bump the recursion count.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
    lock_count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
  assert(lock_owner == GetCurrentThreadId(), "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
ThreadCritical::~ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  assert(lock_owner == GetCurrentThreadId(), "unlock attempt by wrong thread");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  assert(lock_count >= 0, "Attempt to unlock when already unlocked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  if (lock_count == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
    // We're going to unlock
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
    lock_owner = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    lock_count = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
    // No lost wakeups, lock_event stays signaled until reset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
    DWORD ret = SetEvent(lock_event);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
    assert(ret != 0, "unexpected return value from SetEvent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
    // Just unwinding a recursive lock;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
    lock_count--;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
}