Mercurial > hg > truffle
annotate src/share/vm/memory/gcLocker.hpp @ 14223:de6a9e811145
8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
Summary: Copyright year updated for files modified during 2013
Reviewed-by: twisti, iveresov
| author | mikael |
|---|---|
| date | Tue, 24 Dec 2013 11:48:39 -0800 |
| parents | 2c022e432e10 |
| children | 4ca6dc0799b6 9c3dc501b5eb |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
14223
de6a9e811145
8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
mikael
parents:
12301
diff
changeset
|
2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved. |
| 0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| 4 * | |
| 5 * This code is free software; you can redistribute it and/or modify it | |
| 6 * under the terms of the GNU General Public License version 2 only, as | |
| 7 * published by the Free Software Foundation. | |
| 8 * | |
| 9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
| 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 12 * version 2 for more details (a copy is included in the LICENSE file that | |
| 13 * accompanied this code). | |
| 14 * | |
| 15 * You should have received a copy of the GNU General Public License version | |
| 16 * 2 along with this work; if not, write to the Free Software Foundation, | |
| 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| 18 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
844
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
844
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:
844
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_MEMORY_GCLOCKER_HPP |
| 26 #define SHARE_VM_MEMORY_GCLOCKER_HPP | |
| 27 | |
| 28 #include "gc_interface/collectedHeap.hpp" | |
| 29 #include "memory/genCollectedHeap.hpp" | |
| 30 #include "memory/universe.hpp" | |
| 31 #include "oops/oop.hpp" | |
|
7180
f34d701e952e
8003935: Simplify the needed includes for using Thread::current()
stefank
parents:
4949
diff
changeset
|
32 #include "runtime/thread.inline.hpp" |
| 1972 | 33 #ifdef TARGET_OS_FAMILY_linux |
| 34 # include "os_linux.inline.hpp" | |
| 35 #endif | |
| 36 #ifdef TARGET_OS_FAMILY_solaris | |
| 37 # include "os_solaris.inline.hpp" | |
| 38 #endif | |
| 39 #ifdef TARGET_OS_FAMILY_windows | |
| 40 # include "os_windows.inline.hpp" | |
| 41 #endif | |
| 3960 | 42 #ifdef TARGET_OS_FAMILY_bsd |
| 43 # include "os_bsd.inline.hpp" | |
| 44 #endif | |
| 1972 | 45 |
| 0 | 46 // The direct lock/unlock calls do not force a collection if an unlock |
| 47 // decrements the count to zero. Avoid calling these if at all possible. | |
| 48 | |
| 49 class GC_locker: public AllStatic { | |
| 50 private: | |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
51 // The _jni_lock_count keeps track of the number of threads that are |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
52 // currently in a critical region. It's only kept up to date when |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
53 // _needs_gc is true. The current value is computed during |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
54 // safepointing and decremented during the slow path of GC_locker |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
55 // unlocking. |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
56 static volatile jint _jni_lock_count; // number of jni active instances. |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
57 |
| 0 | 58 static volatile jint _lock_count; // number of other active instances |
| 59 static volatile bool _needs_gc; // heap is filling, we need a GC | |
| 60 // note: bool is typedef'd as jint | |
| 61 static volatile bool _doing_gc; // unlock_critical() is doing a GC | |
| 62 | |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
63 #ifdef ASSERT |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
64 // This lock count is updated for all operations and is used to |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
65 // validate the jni_lock_count that is computed during safepoints. |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
66 static volatile jint _debug_jni_lock_count; |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
67 #endif |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
68 |
| 0 | 69 // Accessors |
| 70 static bool is_jni_active() { | |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
71 assert(_needs_gc, "only valid when _needs_gc is set"); |
| 0 | 72 return _jni_lock_count > 0; |
| 73 } | |
| 74 | |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
75 // At a safepoint, visit all threads and count the number of active |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
76 // critical sections. This is used to ensure that all active |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
77 // critical sections are exited before a new one is started. |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
78 static void verify_critical_count() NOT_DEBUG_RETURN; |
| 0 | 79 |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
80 static void jni_lock(JavaThread* thread); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
81 static void jni_unlock(JavaThread* thread); |
| 0 | 82 |
|
4949
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
83 static bool is_active_internal() { |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
84 verify_critical_count(); |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
85 return _lock_count > 0 || _jni_lock_count > 0; |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
86 } |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
87 |
| 0 | 88 public: |
| 89 // Accessors | |
|
4949
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
90 static bool is_active() { |
| 12301 | 91 assert(SafepointSynchronize::is_at_safepoint(), "only read at safepoint"); |
|
4949
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
92 return is_active_internal(); |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
93 } |
| 0 | 94 static bool needs_gc() { return _needs_gc; } |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
95 |
| 0 | 96 // Shorthand |
|
4949
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
97 static bool is_active_and_needs_gc() { |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
98 // Use is_active_internal since _needs_gc can change from true to |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
99 // false outside of a safepoint, triggering the assert in |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
100 // is_active. |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
101 return needs_gc() && is_active_internal(); |
|
ad3b47344802
7144318: GCLocker assert failure: assert(_needs_gc || SafepointSynchronize::is_at_safepoint(
never
parents:
4944
diff
changeset
|
102 } |
| 0 | 103 |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
104 // In debug mode track the locking state at all times |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
105 static void increment_debug_jni_lock_count() { |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
106 #ifdef ASSERT |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
107 assert(_debug_jni_lock_count >= 0, "bad value"); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
108 Atomic::inc(&_debug_jni_lock_count); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
109 #endif |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
110 } |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
111 static void decrement_debug_jni_lock_count() { |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
112 #ifdef ASSERT |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
113 assert(_debug_jni_lock_count > 0, "bad value"); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
114 Atomic::dec(&_debug_jni_lock_count); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
115 #endif |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
116 } |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
117 |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
118 // Set the current lock count |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
119 static void set_jni_lock_count(int count) { |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
120 _jni_lock_count = count; |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
121 verify_critical_count(); |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
122 } |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
123 |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
124 // Sets _needs_gc if is_active() is true. Returns is_active(). |
| 0 | 125 static bool check_active_before_gc(); |
| 126 | |
| 127 // Stalls the caller (who should not be in a jni critical section) | |
| 128 // until needs_gc() clears. Note however that needs_gc() may be | |
| 129 // set at a subsequent safepoint and/or cleared under the | |
| 130 // JNICritical_lock, so the caller may not safely assert upon | |
| 131 // return from this method that "!needs_gc()" since that is | |
| 132 // not a stable predicate. | |
| 133 static void stall_until_clear(); | |
| 134 | |
| 135 // Non-structured GC locking: currently needed for JNI. Use with care! | |
| 136 static void lock(); | |
| 137 static void unlock(); | |
| 138 | |
| 139 // The following two methods are used for JNI critical regions. | |
| 140 // If we find that we failed to perform a GC because the GC_locker | |
| 141 // was active, arrange for one as soon as possible by allowing | |
| 142 // all threads in critical regions to complete, but not allowing | |
| 143 // other critical regions to be entered. The reasons for that are: | |
| 144 // 1) a GC request won't be starved by overlapping JNI critical | |
| 145 // region activities, which can cause unnecessary OutOfMemory errors. | |
| 146 // 2) even if allocation requests can still be satisfied before GC locker | |
| 147 // becomes inactive, for example, in tenured generation possibly with | |
| 148 // heap expansion, those allocations can trigger lots of safepointing | |
| 149 // attempts (ineffective GC attempts) and require Heap_lock which | |
| 150 // slow down allocations tremendously. | |
| 151 // | |
| 152 // Note that critical regions can be nested in a single thread, so | |
| 153 // we must allow threads already in critical regions to continue. | |
| 154 // | |
| 155 // JNI critical regions are the only participants in this scheme | |
| 156 // because they are, by spec, well bounded while in a critical region. | |
| 157 // | |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
158 // Each of the following two method is split into a fast path and a |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
159 // slow path. JNICritical_lock is only grabbed in the slow path. |
| 0 | 160 // _needs_gc is initially false and every java thread will go |
|
4867
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
161 // through the fast path, which simply increments or decrements the |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
162 // current thread's critical count. When GC happens at a safepoint, |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
163 // GC_locker::is_active() is checked. Since there is no safepoint in |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
164 // the fast path of lock_critical() and unlock_critical(), there is |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
165 // no race condition between the fast path and GC. After _needs_gc |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
166 // is set at a safepoint, every thread will go through the slow path |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
167 // after the safepoint. Since after a safepoint, each of the |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
168 // following two methods is either entered from the method entry and |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
169 // falls into the slow path, or is resumed from the safepoints in |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
170 // the method, which only exist in the slow path. So when _needs_gc |
|
1a2723f7ad8e
7129164: JNI Get/ReleasePrimitiveArrayCritical doesn't scale
never
parents:
3960
diff
changeset
|
171 // is set, the slow path is always taken, till _needs_gc is cleared. |
| 0 | 172 static void lock_critical(JavaThread* thread); |
| 173 static void unlock_critical(JavaThread* thread); | |
|
4873
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4867
diff
changeset
|
174 |
|
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4867
diff
changeset
|
175 static address needs_gc_address() { return (address) &_needs_gc; } |
| 0 | 176 }; |
| 177 | |
| 178 | |
| 179 // A No_GC_Verifier object can be placed in methods where one assumes that | |
| 180 // no garbage collection will occur. The destructor will verify this property | |
| 181 // unless the constructor is called with argument false (not verifygc). | |
| 182 // | |
| 183 // The check will only be done in debug mode and if verifygc true. | |
| 184 | |
| 185 class No_GC_Verifier: public StackObj { | |
| 186 friend class Pause_No_GC_Verifier; | |
| 187 | |
| 188 protected: | |
| 189 bool _verifygc; | |
| 190 unsigned int _old_invocations; | |
| 191 | |
| 192 public: | |
| 193 #ifdef ASSERT | |
| 194 No_GC_Verifier(bool verifygc = true); | |
| 195 ~No_GC_Verifier(); | |
| 196 #else | |
| 197 No_GC_Verifier(bool verifygc = true) {} | |
| 198 ~No_GC_Verifier() {} | |
| 199 #endif | |
| 200 }; | |
| 201 | |
| 202 // A Pause_No_GC_Verifier is used to temporarily pause the behavior | |
| 203 // of a No_GC_Verifier object. If we are not in debug mode or if the | |
| 204 // No_GC_Verifier object has a _verifygc value of false, then there | |
| 205 // is nothing to do. | |
| 206 | |
| 207 class Pause_No_GC_Verifier: public StackObj { | |
| 208 private: | |
| 209 No_GC_Verifier * _ngcv; | |
| 210 | |
| 211 public: | |
| 212 #ifdef ASSERT | |
| 213 Pause_No_GC_Verifier(No_GC_Verifier * ngcv); | |
| 214 ~Pause_No_GC_Verifier(); | |
| 215 #else | |
| 216 Pause_No_GC_Verifier(No_GC_Verifier * ngcv) {} | |
| 217 ~Pause_No_GC_Verifier() {} | |
| 218 #endif | |
| 219 }; | |
| 220 | |
| 221 | |
| 222 // A No_Safepoint_Verifier object will throw an assertion failure if | |
| 223 // the current thread passes a possible safepoint while this object is | |
| 224 // instantiated. A safepoint, will either be: an oop allocation, blocking | |
| 225 // on a Mutex or JavaLock, or executing a VM operation. | |
| 226 // | |
| 227 // If StrictSafepointChecks is turned off, it degrades into a No_GC_Verifier | |
| 228 // | |
| 229 class No_Safepoint_Verifier : public No_GC_Verifier { | |
| 230 friend class Pause_No_Safepoint_Verifier; | |
| 231 | |
| 232 private: | |
| 233 bool _activated; | |
| 234 Thread *_thread; | |
| 235 public: | |
| 236 #ifdef ASSERT | |
|
98
deb97b8ef02b
6679708: No_Safepoint_Verifier and BacktraceBuilder have uninitialized fields
never
parents:
0
diff
changeset
|
237 No_Safepoint_Verifier(bool activated = true, bool verifygc = true ) : |
|
deb97b8ef02b
6679708: No_Safepoint_Verifier and BacktraceBuilder have uninitialized fields
never
parents:
0
diff
changeset
|
238 No_GC_Verifier(verifygc), |
|
deb97b8ef02b
6679708: No_Safepoint_Verifier and BacktraceBuilder have uninitialized fields
never
parents:
0
diff
changeset
|
239 _activated(activated) { |
| 0 | 240 _thread = Thread::current(); |
| 241 if (_activated) { | |
| 242 _thread->_allow_allocation_count++; | |
| 243 _thread->_allow_safepoint_count++; | |
| 244 } | |
| 245 } | |
| 246 | |
| 247 ~No_Safepoint_Verifier() { | |
| 248 if (_activated) { | |
| 249 _thread->_allow_allocation_count--; | |
| 250 _thread->_allow_safepoint_count--; | |
| 251 } | |
| 252 } | |
| 253 #else | |
| 254 No_Safepoint_Verifier(bool activated = true, bool verifygc = true) : No_GC_Verifier(verifygc){} | |
| 255 ~No_Safepoint_Verifier() {} | |
| 256 #endif | |
| 257 }; | |
| 258 | |
| 259 // A Pause_No_Safepoint_Verifier is used to temporarily pause the | |
| 260 // behavior of a No_Safepoint_Verifier object. If we are not in debug | |
| 261 // mode then there is nothing to do. If the No_Safepoint_Verifier | |
| 262 // object has an _activated value of false, then there is nothing to | |
| 263 // do for safepoint and allocation checking, but there may still be | |
| 264 // something to do for the underlying No_GC_Verifier object. | |
| 265 | |
| 266 class Pause_No_Safepoint_Verifier : public Pause_No_GC_Verifier { | |
| 267 private: | |
| 268 No_Safepoint_Verifier * _nsv; | |
| 269 | |
| 270 public: | |
| 271 #ifdef ASSERT | |
| 272 Pause_No_Safepoint_Verifier(No_Safepoint_Verifier * nsv) | |
| 273 : Pause_No_GC_Verifier(nsv) { | |
| 274 | |
| 275 _nsv = nsv; | |
| 276 if (_nsv->_activated) { | |
| 277 _nsv->_thread->_allow_allocation_count--; | |
| 278 _nsv->_thread->_allow_safepoint_count--; | |
| 279 } | |
| 280 } | |
| 281 | |
| 282 ~Pause_No_Safepoint_Verifier() { | |
| 283 if (_nsv->_activated) { | |
| 284 _nsv->_thread->_allow_allocation_count++; | |
| 285 _nsv->_thread->_allow_safepoint_count++; | |
| 286 } | |
| 287 } | |
| 288 #else | |
| 289 Pause_No_Safepoint_Verifier(No_Safepoint_Verifier * nsv) | |
| 290 : Pause_No_GC_Verifier(nsv) {} | |
| 291 ~Pause_No_Safepoint_Verifier() {} | |
| 292 #endif | |
| 293 }; | |
| 294 | |
|
806
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
295 // A SkipGCALot object is used to elide the usual effect of gc-a-lot |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
296 // over a section of execution by a thread. Currently, it's used only to |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
297 // prevent re-entrant calls to GC. |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
298 class SkipGCALot : public StackObj { |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
299 private: |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
300 bool _saved; |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
301 Thread* _t; |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
302 |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
303 public: |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
304 #ifdef ASSERT |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
305 SkipGCALot(Thread* t) : _t(t) { |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
306 _saved = _t->skip_gcalot(); |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
307 _t->set_skip_gcalot(true); |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
308 } |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
309 |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
310 ~SkipGCALot() { |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
311 assert(_t->skip_gcalot(), "Save-restore protocol invariant"); |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
312 _t->set_skip_gcalot(_saved); |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
313 } |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
314 #else |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
315 SkipGCALot(Thread* t) { } |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
316 ~SkipGCALot() { } |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
317 #endif |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
318 }; |
|
821269eca479
6820167: GCALotAtAllSafepoints + FullGCALot(ScavengeALot) options crash JVM
ysr
parents:
196
diff
changeset
|
319 |
| 0 | 320 // JRT_LEAF currently can be called from either _thread_in_Java or |
| 321 // _thread_in_native mode. In _thread_in_native, it is ok | |
| 322 // for another thread to trigger GC. The rest of the JRT_LEAF | |
| 323 // rules apply. | |
| 324 class JRT_Leaf_Verifier : public No_Safepoint_Verifier { | |
| 325 static bool should_verify_GC(); | |
| 326 public: | |
| 327 #ifdef ASSERT | |
| 328 JRT_Leaf_Verifier(); | |
| 329 ~JRT_Leaf_Verifier(); | |
| 330 #else | |
| 331 JRT_Leaf_Verifier() {} | |
| 332 ~JRT_Leaf_Verifier() {} | |
| 333 #endif | |
| 334 }; | |
| 335 | |
| 336 // A No_Alloc_Verifier object can be placed in methods where one assumes that | |
| 337 // no allocation will occur. The destructor will verify this property | |
| 338 // unless the constructor is called with argument false (not activated). | |
| 339 // | |
| 340 // The check will only be done in debug mode and if activated. | |
| 341 // Note: this only makes sense at safepoints (otherwise, other threads may | |
| 342 // allocate concurrently.) | |
| 343 | |
| 344 class No_Alloc_Verifier : public StackObj { | |
| 345 private: | |
| 346 bool _activated; | |
| 347 | |
| 348 public: | |
| 349 #ifdef ASSERT | |
| 350 No_Alloc_Verifier(bool activated = true) { | |
| 351 _activated = activated; | |
| 352 if (_activated) Thread::current()->_allow_allocation_count++; | |
| 353 } | |
| 354 | |
| 355 ~No_Alloc_Verifier() { | |
| 356 if (_activated) Thread::current()->_allow_allocation_count--; | |
| 357 } | |
| 358 #else | |
| 359 No_Alloc_Verifier(bool activated = true) {} | |
| 360 ~No_Alloc_Verifier() {} | |
| 361 #endif | |
| 362 }; | |
| 1972 | 363 |
| 364 #endif // SHARE_VM_MEMORY_GCLOCKER_HPP |