annotate src/share/vm/gc_implementation/concurrentMarkSweep/cmsLockVerifier.hpp @ 1959:9eecf81a02fb

7000578: CMS: assert(SafepointSynchronize::is_at_safepoint()) failed: Else races are possible Summary: Weakened assert in onj_is_alive() to allow its use at initialization time when is_at_safepoint() normally reports false; added some related asserts to check order of is_init_completed() after Universe::is_fully_initialized(). Reviewed-by: jcoomes
author ysr
date Tue, 16 Nov 2010 13:58:48 -0800
parents c18cbe5936b8
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1145
diff changeset
2 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved.
0
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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1145
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1145
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1145
diff changeset
21 * questions.
0
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 ///////////// Locking verification specific to CMS //////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
26 // Much like "assert_lock_strong()", except
a61af66fc99e Initial load
duke
parents:
diff changeset
27 // that it relaxes the assertion somewhat for the parallel GC case, where
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // main GC thread or the CMS thread might hold the lock on behalf of
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // the parallel threads.
a61af66fc99e Initial load
duke
parents:
diff changeset
30 class CMSLockVerifier: AllStatic {
a61af66fc99e Initial load
duke
parents:
diff changeset
31 public:
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
32 static void assert_locked(const Mutex* lock, const Mutex* p_lock1, const Mutex* p_lock2)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
33 PRODUCT_RETURN;
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
34 static void assert_locked(const Mutex* lock, const Mutex* p_lock) {
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
35 assert_locked(lock, p_lock, NULL);
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
36 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
37 static void assert_locked(const Mutex* lock) {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 assert_locked(lock, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
39 }
a61af66fc99e Initial load
duke
parents:
diff changeset
40 };