annotate src/share/vm/runtime/objectMonitor.inline.hpp @ 452:00b023ae2d78

6722113: CMS: Incorrect overflow handling during precleaning of Reference lists Summary: When we encounter marking stack overflow during precleaning of Reference lists, we were using the overflow list mechanism, which can cause problems on account of mutating the mark word of the header because of conflicts with mutator accesses and updates of that field. Instead we should use the usual mechanism for overflow handling in concurrent phases, namely dirtying of the card on which the overflowed object lies. Since precleaning effectively does a form of discovered list processing, albeit with discovery enabled, we needed to adjust some code to be correct in the face of interleaved processing and discovery. Reviewed-by: apetrusenko, jcoomes
author ysr
date Thu, 20 Nov 2008 12:27:41 -0800
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1998-2005 Sun Microsystems, Inc. All Rights Reserved.
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 inline intptr_t ObjectMonitor::is_entered(TRAPS) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
26 if (THREAD == _owner || THREAD->is_lock_owned((address) _owner)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
27 return 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
28 }
a61af66fc99e Initial load
duke
parents:
diff changeset
29 return 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
30 }
a61af66fc99e Initial load
duke
parents:
diff changeset
31
a61af66fc99e Initial load
duke
parents:
diff changeset
32 inline markOop ObjectMonitor::header() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
33 return _header;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 }
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 inline void ObjectMonitor::set_header(markOop hdr) {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 _header = hdr;
a61af66fc99e Initial load
duke
parents:
diff changeset
38 }
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 inline intptr_t ObjectMonitor::count() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
41 return _count;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 inline void ObjectMonitor::set_count(intptr_t count) {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 _count= count;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 }
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 inline intptr_t ObjectMonitor::waiters() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
49 return _waiters;
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 inline void* ObjectMonitor::owner() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
53 return _owner;
a61af66fc99e Initial load
duke
parents:
diff changeset
54 }
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 inline void ObjectMonitor::clear() {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 assert(_header, "Fatal logic error in ObjectMonitor header!");
a61af66fc99e Initial load
duke
parents:
diff changeset
58 assert(_count == 0, "Fatal logic error in ObjectMonitor count!");
a61af66fc99e Initial load
duke
parents:
diff changeset
59 assert(_waiters == 0, "Fatal logic error in ObjectMonitor waiters!");
a61af66fc99e Initial load
duke
parents:
diff changeset
60 assert(_recursions == 0, "Fatal logic error in ObjectMonitor recursions!");
a61af66fc99e Initial load
duke
parents:
diff changeset
61 assert(_object, "Fatal logic error in ObjectMonitor object!");
a61af66fc99e Initial load
duke
parents:
diff changeset
62 assert(_owner == 0, "Fatal logic error in ObjectMonitor owner!");
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 _header = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 _object = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
66 }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 inline void* ObjectMonitor::object() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
70 return _object;
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 inline void* ObjectMonitor::object_addr() {
a61af66fc99e Initial load
duke
parents:
diff changeset
74 return (void *)(&_object);
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 inline void ObjectMonitor::set_object(void* obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 _object = obj;
a61af66fc99e Initial load
duke
parents:
diff changeset
79 }
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 inline bool ObjectMonitor::check(TRAPS) {
a61af66fc99e Initial load
duke
parents:
diff changeset
82 if (THREAD != _owner) {
a61af66fc99e Initial load
duke
parents:
diff changeset
83 if (THREAD->is_lock_owned((address) _owner)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
84 _owner = THREAD; // regain ownership of inflated monitor
a61af66fc99e Initial load
duke
parents:
diff changeset
85 OwnerIsThread = 1 ;
a61af66fc99e Initial load
duke
parents:
diff changeset
86 assert (_recursions == 0, "invariant") ;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
88 check_slow(THREAD);
a61af66fc99e Initial load
duke
parents:
diff changeset
89 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
90 }
a61af66fc99e Initial load
duke
parents:
diff changeset
91 }
a61af66fc99e Initial load
duke
parents:
diff changeset
92 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
93 }
a61af66fc99e Initial load
duke
parents:
diff changeset
94
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // return number of threads contending for this monitor
a61af66fc99e Initial load
duke
parents:
diff changeset
97 inline intptr_t ObjectMonitor::contentions() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
98 return _count;
a61af66fc99e Initial load
duke
parents:
diff changeset
99 }
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101 inline void ObjectMonitor::set_owner(void* owner) {
a61af66fc99e Initial load
duke
parents:
diff changeset
102 _owner = owner;
a61af66fc99e Initial load
duke
parents:
diff changeset
103 _recursions = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
104 _count = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // here are the platform-dependent bodies:
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 # include "incls/_objectMonitor_pd.inline.hpp.incl"