src/hotspot/share/runtime/objectMonitor.inline.hpp
author dholmes
Sat, 23 Jun 2018 01:32:41 -0400
changeset 50735 2f2af62dfac7
parent 47634 6a0c42c40cd1
child 53244 9807daeb47c4
permissions -rw-r--r--
8010319: Implementation of JEP 181: Nest-Based Access Control Reviewed-by: alanb, psandoz, mchung, coleenp, acorn, mcimadamore, forax, jlahoda, sspitsyn, abuckley Contributed-by: alex.buckley@oracle.com, maurizio.mimadamore@oracle.com, mandy.chung@oracle.com, tobias.hartmann@oracle.com, david.holmes@oracle.com, vladimir.x.ivanov@oracle.com, karen.kinnear@oracle.com, vladimir.kozlov@oracle.com, john.r.rose@oracle.com, daniel.smith@oracle.com, serguei.spitsyn@oracle.com, kumardotsrinivasan@gmail.com, boris.ulasevich@bell-sw.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
47634
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
     2
 * Copyright (c) 1998, 2017, 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: 6975
diff changeset
    25
#ifndef SHARE_VM_RUNTIME_OBJECTMONITOR_INLINE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    26
#define SHARE_VM_RUNTIME_OBJECTMONITOR_INLINE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
    27
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
inline intptr_t ObjectMonitor::is_entered(TRAPS) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
  if (THREAD == _owner || THREAD->is_lock_owned((address) _owner)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
    return 1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
  return 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
inline markOop ObjectMonitor::header() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
  return _header;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
47634
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
    39
inline volatile markOop* ObjectMonitor::header_addr() {
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
    40
  assert((intptr_t)this == (intptr_t)&_header, "sync code expects this");
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
    41
  return &_header;
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
    42
}
6a0c42c40cd1 8188220: Remove Atomic::*_ptr() uses and overloads from hotspot
coleenp
parents: 47216
diff changeset
    43
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
inline void ObjectMonitor::set_header(markOop hdr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  _header = hdr;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
27165
785a8d56024c 8049737: Contended Locking reorder and cache line bucket
dcubed
parents: 15234
diff changeset
    48
inline jint ObjectMonitor::count() const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  return _count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
27165
785a8d56024c 8049737: Contended Locking reorder and cache line bucket
dcubed
parents: 15234
diff changeset
    52
inline jint ObjectMonitor::waiters() const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  return _waiters;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
inline void* ObjectMonitor::owner() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
  return _owner;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
inline void ObjectMonitor::clear() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  assert(_header, "Fatal logic error in ObjectMonitor header!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  assert(_count == 0, "Fatal logic error in ObjectMonitor count!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  assert(_waiters == 0, "Fatal logic error in ObjectMonitor waiters!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  assert(_recursions == 0, "Fatal logic error in ObjectMonitor recursions!");
27165
785a8d56024c 8049737: Contended Locking reorder and cache line bucket
dcubed
parents: 15234
diff changeset
    65
  assert(_object != NULL, "Fatal logic error in ObjectMonitor object!");
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  assert(_owner == 0, "Fatal logic error in ObjectMonitor owner!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  _header = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  _object = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
inline void* ObjectMonitor::object() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
  return _object;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
inline void* ObjectMonitor::object_addr() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  return (void *)(&_object);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
inline void ObjectMonitor::set_object(void* obj) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  _object = obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
inline bool ObjectMonitor::check(TRAPS) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  if (THREAD != _owner) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
    if (THREAD->is_lock_owned((address) _owner)) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
      _owner = THREAD;  // regain ownership of inflated monitor
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
      assert (_recursions == 0, "invariant") ;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
      check_slow(THREAD);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
      return false;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  return true;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
// return number of threads contending for this monitor
27165
785a8d56024c 8049737: Contended Locking reorder and cache line bucket
dcubed
parents: 15234
diff changeset
   100
inline jint ObjectMonitor::contentions() const {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
  return _count;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
15234
ff1f01be5fbd 8004902: correctness fixes motivated by contended locking work (6607129)
dcubed
parents: 7397
diff changeset
   104
// Do NOT set _count = 0. There is a race such that _count could
ff1f01be5fbd 8004902: correctness fixes motivated by contended locking work (6607129)
dcubed
parents: 7397
diff changeset
   105
// be set while inflating prior to setting _owner
ff1f01be5fbd 8004902: correctness fixes motivated by contended locking work (6607129)
dcubed
parents: 7397
diff changeset
   106
// Just use Atomic::inc/dec and assert 0 when monitor put on free list
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
inline void ObjectMonitor::set_owner(void* owner) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  _owner = owner;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  _recursions = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
   112
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6975
diff changeset
   113
#endif // SHARE_VM_RUNTIME_OBJECTMONITOR_INLINE_HPP