Mercurial > hg > truffle

annotate src/share/vm/gc_implementation/concurrentMarkSweep/cmsLockVerifier.cpp @ 6862:8a5ea0a9ccc4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
7127708: G1: change task num types from int to uint in concurrent mark Summary: Change the type of various task num fields, parameters etc to unsigned and rename them to be more consistent with the other collectors. Code changes were also reviewed by Vitaly Davidovich. Reviewed-by: johnc Contributed-by: Kaushik Srenevasan <kaushik@twitter.com>
author johnc
date Sat, 06 Oct 2012 01:17:44 -0700
parents f95d63e2154a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2002, 2010, 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
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #include "gc_implementation/concurrentMarkSweep/cmsLockVerifier.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27 #include "gc_implementation/concurrentMarkSweep/concurrentMarkSweepThread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "runtime/vmThread.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
29
a61af66fc99e Initial load
duke
parents:
diff changeset
30 ///////////// Locking verification specific to CMS //////////////
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // Much like "assert_lock_strong()", except that it relaxes the
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // assertion somewhat for the parallel GC case, where VM thread
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // or the CMS thread might hold the lock on behalf of the parallel
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // threads. The second argument is in support of an extra locking
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // check for CFL spaces' free list locks.
a61af66fc99e Initial load
duke
parents:
diff changeset
36 #ifndef PRODUCT
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
37 void CMSLockVerifier::assert_locked(const Mutex* lock,
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
38 const Mutex* p_lock1,
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
39 const Mutex* p_lock2) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
40 if (!Universe::is_fully_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
41 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 Thread* myThread = Thread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 if (lock == NULL) { // a "lock-free" structure, e.g. MUT, protected by CMS token
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
47 assert(p_lock1 == NULL && p_lock2 == NULL, "Unexpected caller error");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
48 if (myThread->is_ConcurrentGC_thread()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // This test might have to change in the future, if there can be
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // multiple peer CMS threads. But for now, if we're testing the CMS
a61af66fc99e Initial load
duke
parents:
diff changeset
51 assert(myThread == ConcurrentMarkSweepThread::cmst(),
a61af66fc99e Initial load
duke
parents:
diff changeset
52 "In CMS, CMS thread is the only Conc GC thread.");
a61af66fc99e Initial load
duke
parents:
diff changeset
53 assert(ConcurrentMarkSweepThread::cms_thread_has_cms_token(),
a61af66fc99e Initial load
duke
parents:
diff changeset
54 "CMS thread should have CMS token");
a61af66fc99e Initial load
duke
parents:
diff changeset
55 } else if (myThread->is_VM_thread()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
56 assert(ConcurrentMarkSweepThread::vm_thread_has_cms_token(),
a61af66fc99e Initial load
duke
parents:
diff changeset
57 "VM thread should have CMS token");
a61af66fc99e Initial load
duke
parents:
diff changeset
58 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Token should be held on our behalf by one of the other
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // of CMS or VM thread; not enough easily testable
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // state info to test which here.
a61af66fc99e Initial load
duke
parents:
diff changeset
62 assert(myThread->is_GC_task_thread(), "Unexpected thread type");
a61af66fc99e Initial load
duke
parents:
diff changeset
63 }
a61af66fc99e Initial load
duke
parents:
diff changeset
64 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 }
a61af66fc99e Initial load
duke
parents:
diff changeset
66
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
67 if (myThread->is_VM_thread()
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
68 || myThread->is_ConcurrentGC_thread()
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
69 || myThread->is_Java_thread()) {
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
70 // Make sure that we are holding the associated lock.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
71 assert_lock_strong(lock);
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
72 // The checking of p_lock is a spl case for CFLS' free list
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
73 // locks: we make sure that none of the parallel GC work gang
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
74 // threads are holding "sub-locks" of freeListLock(). We check only
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
75 // the parDictionaryAllocLock because the others are too numerous.
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
76 // This spl case code is somewhat ugly and any improvements
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
77 // are welcome.
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
78 assert(p_lock1 == NULL || !p_lock1->is_locked() || p_lock1->owned_by_self(),
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
79 "Possible race between this and parallel GC threads");
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
80 assert(p_lock2 == NULL || !p_lock2->is_locked() || p_lock2->owned_by_self(),
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
81 "Possible race between this and parallel GC threads");
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
82 } else if (myThread->is_GC_task_thread()) {
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
83 // Make sure that the VM or CMS thread holds lock on our behalf
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
84 // XXX If there were a concept of a gang_master for a (set of)
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
85 // gang_workers, we could have used the identity of that thread
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
86 // for checking ownership here; for now we just disjunct.
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
87 assert(lock->owner() == VMThread::vm_thread() ||
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
88 lock->owner() == ConcurrentMarkSweepThread::cmst(),
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
89 "Should be locked by VM thread or CMS thread on my behalf");
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
90 if (p_lock1 != NULL) {
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
91 assert_lock_strong(p_lock1);
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
92 }
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
93 if (p_lock2 != NULL) {
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
94 assert_lock_strong(p_lock2);
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
95 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
96 } else {
1145
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
97 // Make sure we didn't miss some other thread type calling into here;
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
98 // perhaps as a result of future VM evolution.
e018e6884bd8 6631166: CMS: better heuristics when combatting fragmentation
ysr
parents: 0
diff changeset
99 ShouldNotReachHere();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
100 }
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102 #endif