author | rehn |
Fri, 15 Feb 2019 14:15:10 +0100 | |
changeset 53775 | 5d20b085d893 |
parent 53646 | 043ae846819f |
child 53847 | 74b616640b00 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
53244
9807daeb47c4
8216167: Update include guards to reflect correct directories
coleenp
parents:
52673
diff
changeset
|
2 |
* Copyright (c) 1997, 2019, Oracle and/or its affiliates. All rights reserved. |
1 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5042
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5042
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:
5042
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
53244
9807daeb47c4
8216167: Update include guards to reflect correct directories
coleenp
parents:
52673
diff
changeset
|
25 |
#ifndef SHARE_RUNTIME_SAFEPOINT_HPP |
9807daeb47c4
8216167: Update include guards to reflect correct directories
coleenp
parents:
52673
diff
changeset
|
26 |
#define SHARE_RUNTIME_SAFEPOINT_HPP |
7397 | 27 |
|
28 |
#include "memory/allocation.hpp" |
|
29 |
#include "runtime/os.hpp" |
|
53775 | 30 |
#include "runtime/thread.hpp" |
7397 | 31 |
#include "utilities/ostream.hpp" |
53775 | 32 |
#include "utilities/waitBarrier.hpp" |
7397 | 33 |
|
1 | 34 |
// |
35 |
// Safepoint synchronization |
|
36 |
//// |
|
53775 | 37 |
// The VMThread uses the SafepointSynchronize::begin/end |
1 | 38 |
// methods to enter/exit a safepoint region. The begin method will roll |
39 |
// all JavaThreads forward to a safepoint. |
|
40 |
// |
|
41 |
// JavaThreads must use the ThreadSafepointState abstraction (defined in |
|
42 |
// thread.hpp) to indicate that that they are at a safepoint. |
|
43 |
// |
|
44 |
// The Mutex/Condition variable and ObjectLocker classes calls the enter/ |
|
45 |
// exit safepoint methods, when a thread is blocked/restarted. Hence, all mutex exter/ |
|
46 |
// exit points *must* be at a safepoint. |
|
47 |
||
48 |
class ThreadSafepointState; |
|
49 |
||
50 |
// |
|
51 |
// Implements roll-forward to safepoint (safepoint synchronization) |
|
52 |
// |
|
53 |
class SafepointSynchronize : AllStatic { |
|
54 |
public: |
|
55 |
enum SynchronizeState { |
|
53775 | 56 |
_not_synchronized = 0, // Threads not synchronized at a safepoint. Keep this value 0. |
1 | 57 |
_synchronizing = 1, // Synchronizing in progress |
53775 | 58 |
_synchronized = 2 // All Java threads are running in native, blocked in OS or stopped at safepoint. |
59 |
// VM thread and any NonJavaThread may be running. |
|
1 | 60 |
}; |
61 |
||
46702 | 62 |
// The enums are listed in the order of the tasks when done serially. |
63 |
enum SafepointCleanupTasks { |
|
64 |
SAFEPOINT_CLEANUP_DEFLATE_MONITORS, |
|
65 |
SAFEPOINT_CLEANUP_UPDATE_INLINE_CACHES, |
|
66 |
SAFEPOINT_CLEANUP_COMPILATION_POLICY, |
|
67 |
SAFEPOINT_CLEANUP_SYMBOL_TABLE_REHASH, |
|
68 |
SAFEPOINT_CLEANUP_STRING_TABLE_REHASH, |
|
69 |
SAFEPOINT_CLEANUP_CLD_PURGE, |
|
47774 | 70 |
SAFEPOINT_CLEANUP_SYSTEM_DICTIONARY_RESIZE, |
46702 | 71 |
// Leave this one last. |
72 |
SAFEPOINT_CLEANUP_NUM_TASKS |
|
73 |
}; |
|
74 |
||
1 | 75 |
private: |
53775 | 76 |
friend class SafepointMechanism; |
77 |
friend class ThreadSafepointState; |
|
78 |
friend class HandshakeState; |
|
79 |
||
80 |
enum SafepointTimeoutReason { |
|
81 |
_spinning_timeout = 0, |
|
82 |
_blocking_timeout = 1 |
|
83 |
}; |
|
84 |
||
85 |
// Threads might read this flag directly, without acquiring the Threads_lock: |
|
86 |
static volatile SynchronizeState _state; |
|
87 |
// Number of threads we are waiting for to block: |
|
88 |
static int _waiting_to_block; |
|
89 |
// Counts the number of active critical natives during the safepoint: |
|
90 |
static int _current_jni_active_count; |
|
1 | 91 |
|
92 |
// This counter is used for fast versions of jni_Get<Primitive>Field. |
|
53775 | 93 |
// An even value means there are no ongoing safepoint operations. |
1 | 94 |
// The counter is incremented ONLY at the beginning and end of each |
53775 | 95 |
// safepoint. |
52672
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
96 |
static volatile uint64_t _safepoint_counter; |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
97 |
|
53775 | 98 |
// JavaThreads that need to block for the safepoint will stop on the |
99 |
// _wait_barrier, where they can quickly be started again. |
|
100 |
static WaitBarrier* _wait_barrier; |
|
101 |
static long _end_of_last_safepoint; // Time of last safepoint in milliseconds |
|
102 |
static julong _coalesced_vmop_count; // coalesced vmop count |
|
1 | 103 |
|
22551 | 104 |
// Statistics |
1 | 105 |
static void begin_statistics(int nof_threads, int nof_running); |
106 |
static void update_statistics_on_spin_end(); |
|
107 |
static void update_statistics_on_sync_end(jlong end_time); |
|
5042
f86707fd195a
6933402: RFE: Improve PrintSafepointStatistics output to track cleanup time
xlu
parents:
1
diff
changeset
|
108 |
static void update_statistics_on_cleanup_end(jlong end_time); |
1 | 109 |
static void end_statistics(jlong end_time); |
110 |
static void print_statistics(); |
|
111 |
||
112 |
// For debug long safepoint |
|
113 |
static void print_safepoint_timeout(SafepointTimeoutReason timeout_reason); |
|
114 |
||
53775 | 115 |
// Helper methods for safepoint procedure: |
116 |
static void arm_safepoint(); |
|
117 |
static int synchronize_threads(jlong safepoint_limit_time, int nof_threads, int* initial_running); |
|
118 |
static void disarm_safepoint(); |
|
119 |
static void increment_jni_active_count(); |
|
120 |
static void decrement_waiting_to_block(); |
|
121 |
||
122 |
// Used in safepoint_safe to do a stable load of the thread state. |
|
123 |
static bool try_stable_load_state(JavaThreadState *state, |
|
124 |
JavaThread *thread, |
|
125 |
uint64_t safepoint_count); |
|
126 |
||
127 |
// Called when a thread voluntarily blocks |
|
128 |
static void block(JavaThread *thread); |
|
129 |
||
130 |
// Called from VMThread during handshakes. |
|
131 |
// If true the VMThread may safely process the handshake operation for the JavaThread. |
|
132 |
static bool handshake_safe(JavaThread *thread); |
|
133 |
||
1 | 134 |
public: |
135 |
||
53775 | 136 |
static void init(Thread* vmthread); |
1 | 137 |
|
53775 | 138 |
// Roll all threads forward to safepoint. Must be called by the VMThread. |
1 | 139 |
static void begin(); |
140 |
static void end(); // Start all suspended threads again... |
|
141 |
||
53775 | 142 |
// The value for a not set safepoint id. |
143 |
static const uint64_t InactiveSafepointCounter; |
|
11637
030466036615
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
11631
diff
changeset
|
144 |
|
1 | 145 |
// Query |
53775 | 146 |
static bool is_at_safepoint() { return _state == _synchronized; } |
147 |
static bool is_synchronizing() { return _state == _synchronizing; } |
|
148 |
static uint64_t safepoint_counter() { return _safepoint_counter; } |
|
149 |
static bool is_same_safepoint(uint64_t counter) { return (SafepointSynchronize::safepoint_counter() - counter) < 2; } |
|
1 | 150 |
// Exception handling for page polling |
151 |
static void handle_polling_page_exception(JavaThread *thread); |
|
152 |
||
153 |
// VM Thread interface for determining safepoint rate |
|
5042
f86707fd195a
6933402: RFE: Improve PrintSafepointStatistics output to track cleanup time
xlu
parents:
1
diff
changeset
|
154 |
static long last_non_safepoint_interval() { |
f86707fd195a
6933402: RFE: Improve PrintSafepointStatistics output to track cleanup time
xlu
parents:
1
diff
changeset
|
155 |
return os::javaTimeMillis() - _end_of_last_safepoint; |
f86707fd195a
6933402: RFE: Improve PrintSafepointStatistics output to track cleanup time
xlu
parents:
1
diff
changeset
|
156 |
} |
6453 | 157 |
static long end_of_last_safepoint() { |
158 |
return _end_of_last_safepoint; |
|
159 |
} |
|
1 | 160 |
static bool is_cleanup_needed(); |
161 |
static void do_cleanup_tasks(); |
|
162 |
||
163 |
static void print_stat_on_exit(); |
|
53775 | 164 |
static void inc_vmop_coalesced_count() { _coalesced_vmop_count++; } |
1 | 165 |
|
53775 | 166 |
static void set_is_at_safepoint() { _state = _synchronized; } |
167 |
static void set_is_not_at_safepoint() { _state = _not_synchronized; } |
|
1 | 168 |
|
22551 | 169 |
// Assembly support |
53775 | 170 |
static address address_of_state() { return (address)&_state; } |
1 | 171 |
|
52672
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
172 |
// Only used for making sure that no safepoint has happened in |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
173 |
// JNI_FastGetField. Therefore only the low 32-bits are needed |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
174 |
// even if this is a 64-bit counter. |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
175 |
static address safepoint_counter_addr() { |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
176 |
#ifdef VM_LITTLE_ENDIAN |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
177 |
return (address)&_safepoint_counter; |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
178 |
#else /* BIG */ |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
179 |
// Return pointer to the 32 LSB: |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
180 |
return (address) (((uint32_t*)(&_safepoint_counter)) + 1); |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
181 |
#endif |
bbfa1b3aaf7e
8212108: SafepointSynchronizer never ending counter (big enough)
rehn
parents:
52518
diff
changeset
|
182 |
} |
1 | 183 |
}; |
184 |
||
49333
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
185 |
// Some helper assert macros for safepoint checks. |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
186 |
|
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
187 |
#define assert_at_safepoint() \ |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
188 |
assert(SafepointSynchronize::is_at_safepoint(), "should be at a safepoint") |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
189 |
|
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
190 |
#define assert_at_safepoint_msg(...) \ |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
191 |
assert(SafepointSynchronize::is_at_safepoint(), __VA_ARGS__) |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
192 |
|
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
193 |
#define assert_not_at_safepoint() \ |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
194 |
assert(!SafepointSynchronize::is_at_safepoint(), "should not be at a safepoint") |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
195 |
|
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
196 |
#define assert_not_at_safepoint_msg(...) \ |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
197 |
assert(!SafepointSynchronize::is_at_safepoint(), __VA_ARGS__) |
489f1dd40582
8196876: OopStorage::assert_at_safepoint clashes with assert_at_safepoint macros in g1CollectedHeap.hpp
kbarrett
parents:
49169
diff
changeset
|
198 |
|
1 | 199 |
// State class for a thread suspended at a safepoint |
13195 | 200 |
class ThreadSafepointState: public CHeapObj<mtInternal> { |
1 | 201 |
private: |
53775 | 202 |
// At polling page safepoint (NOT a poll return safepoint): |
203 |
volatile bool _at_poll_safepoint; |
|
204 |
JavaThread* _thread; |
|
205 |
bool _safepoint_safe; |
|
206 |
volatile uint64_t _safepoint_id; |
|
207 |
JavaThreadState _orig_thread_state; |
|
1 | 208 |
|
53775 | 209 |
ThreadSafepointState* _next; |
1 | 210 |
|
53775 | 211 |
void account_safe_thread(); |
1 | 212 |
|
213 |
public: |
|
214 |
ThreadSafepointState(JavaThread *thread); |
|
215 |
||
53775 | 216 |
// Linked list support: |
217 |
ThreadSafepointState* get_next() const { return _next; } |
|
218 |
void set_next(ThreadSafepointState* value) { _next = value; } |
|
219 |
ThreadSafepointState** next_ptr() { return &_next; } |
|
220 |
||
221 |
// examine/restart |
|
222 |
void examine_state_of_thread(uint64_t safepoint_count); |
|
1 | 223 |
void restart(); |
224 |
||
225 |
// Query |
|
226 |
JavaThread* thread() const { return _thread; } |
|
53775 | 227 |
bool is_running() const { return !_safepoint_safe; } |
228 |
||
229 |
uint64_t get_safepoint_id() const; |
|
230 |
void reset_safepoint_id(); |
|
231 |
void set_safepoint_id(uint64_t sid); |
|
232 |
||
6269
10e06287c0b0
6975006: assert(check.is_deoptimized_frame()) failed: missed deopt
never
parents:
5547
diff
changeset
|
233 |
JavaThreadState orig_thread_state() const { return _orig_thread_state; } |
1 | 234 |
|
235 |
// Support for safepoint timeout (debugging) |
|
53775 | 236 |
bool is_at_poll_safepoint() { return _at_poll_safepoint; } |
237 |
void set_at_poll_safepoint(bool val) { _at_poll_safepoint = val; } |
|
1 | 238 |
|
239 |
void handle_polling_page_exception(); |
|
240 |
||
241 |
// debugging |
|
242 |
void print_on(outputStream* st) const; |
|
243 |
void print() const { print_on(tty); } |
|
244 |
||
245 |
// Initialize |
|
246 |
static void create(JavaThread *thread); |
|
247 |
static void destroy(JavaThread *thread); |
|
248 |
}; |
|
249 |
||
6453 | 250 |
|
7397 | 251 |
|
53244
9807daeb47c4
8216167: Update include guards to reflect correct directories
coleenp
parents:
52673
diff
changeset
|
252 |
#endif // SHARE_RUNTIME_SAFEPOINT_HPP |