src/hotspot/os/windows/threadCritical_windows.cpp
author stefank
Mon, 25 Nov 2019 12:33:15 +0100
changeset 59252 623722a6aeb9
parent 47765 b7c7428eaab9
permissions -rw-r--r--
8234740: Harmonize parameter order in Atomic - cmpxchg Reviewed-by: rehn, dholmes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 25351
diff changeset
     2
 * Copyright (c) 2001, 2016, 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"
40655
9f644073d3a0 8157907: Incorrect inclusion of atomic.hpp instead of atomic.inline.hpp
dholmes
parents: 25351
diff changeset
    26
#include "runtime/atomic.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;
47765
b7c7428eaab9 8189610: Reconcile jvm.h and all jvm_md.h between java.base and hotspot
coleenp
parents: 47524
diff changeset
    39
static volatile int lock_count = -1;
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
ThreadCritical::ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
  DWORD current_thread = GetCurrentThreadId();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  if (lock_owner != current_thread) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
    // Grab the lock before doing anything.
59252
623722a6aeb9 8234740: Harmonize parameter order in Atomic - cmpxchg
stefank
parents: 47765
diff changeset
    59
    while (Atomic::cmpxchg(&lock_count, -1, 0) != -1) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
      if (initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
        DWORD ret = WaitForSingleObject(lock_event,  INFINITE);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
        assert(ret == WAIT_OBJECT_0, "unexpected return value from WaitForSingleObject");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
      }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
    // Make sure the event object is allocated.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
    if (!initialized) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
      // Locking will not work correctly unless this is autoreset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
      lock_event = CreateEvent(NULL, false, false, NULL);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
      initialized = true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
    assert(lock_owner == -1, "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
    lock_owner = current_thread;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
    // Atomicity isn't required. Bump the recursion count.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
    lock_count++;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  assert(lock_owner == GetCurrentThreadId(), "Lock acquired illegally.");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
ThreadCritical::~ThreadCritical() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  assert(lock_owner == GetCurrentThreadId(), "unlock attempt by wrong thread");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  assert(lock_count >= 0, "Attempt to unlock when already unlocked");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  if (lock_count == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
    // We're going to unlock
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
    lock_owner = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
    lock_count = -1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
    // No lost wakeups, lock_event stays signaled until reset.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
    DWORD ret = SetEvent(lock_event);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
    assert(ret != 0, "unexpected return value from SetEvent");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
    // Just unwinding a recursive lock;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    lock_count--;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
}