Mercurial > hg > graal-compiler
annotate src/share/vm/runtime/vm_operations.hpp @ 11825:463f51256c86
AMD64HotSpot: emit jump to IC miss handler directly instead of emitting it inside verfied_entry
for empty methods we emitted something like this if a inline cache is needed:
prefix:
00: < IC check >
...
0b: jne <ic_miss_call>
11: nop
...
verified_entry:
20: ret
ic_miss_call:
21: jmp <entry of runtime function>
when a method is deoptimized, HotSpot patches the verified_entry (0x20) with a
jump to a stub that handles call-sites that has been made non-entrant. since this jump
is 5 bytes long, it will overwrite ic_miss_call and blow up every caller that
calls this method via the unverified entry (prefix).
the fix is to emit the jump to the runtime function inside the unverfied entry:
prefix:
00: < IC check >
...
0b: je <verified_entry>
11: jeq <entry of runtime function>
16: nop
...
verified_entry:
20: ret
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Mon, 30 Sep 2013 09:32:18 +0200 |
parents | 836a62f43af9 |
children | cefad50507d8 |
rev | line source |
---|---|
0 | 1 /* |
10405 | 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:
1202
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1202
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:
1202
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_RUNTIME_VM_OPERATIONS_HPP |
26 #define SHARE_VM_RUNTIME_VM_OPERATIONS_HPP | |
27 | |
28 #include "classfile/javaClasses.hpp" | |
29 #include "memory/allocation.hpp" | |
30 #include "oops/oop.hpp" | |
31 #include "runtime/thread.hpp" | |
32 #include "utilities/top.hpp" | |
33 | |
0 | 34 // The following classes are used for operations |
35 // initiated by a Java thread but that must | |
36 // take place in the VMThread. | |
37 | |
38 #define VM_OP_ENUM(type) VMOp_##type, | |
39 | |
40 // Note: When new VM_XXX comes up, add 'XXX' to the template table. | |
41 #define VM_OPS_DO(template) \ | |
42 template(Dummy) \ | |
43 template(ThreadStop) \ | |
44 template(ThreadDump) \ | |
45 template(PrintThreads) \ | |
46 template(FindDeadlocks) \ | |
47 template(ForceSafepoint) \ | |
48 template(ForceAsyncSafepoint) \ | |
49 template(Deoptimize) \ | |
50 template(DeoptimizeFrame) \ | |
51 template(DeoptimizeAll) \ | |
52 template(ZombieAll) \ | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
53 template(UnlinkSymbols) \ |
1202 | 54 template(HandleFullCodeCache) \ |
0 | 55 template(Verify) \ |
56 template(PrintJNI) \ | |
57 template(HeapDumper) \ | |
58 template(DeoptimizeTheWorld) \ | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
59 template(CollectForMetadataAllocation) \ |
0 | 60 template(GC_HeapInspection) \ |
61 template(GenCollectFull) \ | |
62 template(GenCollectFullConcurrent) \ | |
63 template(GenCollectForAllocation) \ | |
64 template(ParallelGCFailedAllocation) \ | |
65 template(ParallelGCSystemGC) \ | |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
139
diff
changeset
|
66 template(CGC_Operation) \ |
0 | 67 template(CMS_Initial_Mark) \ |
68 template(CMS_Final_Remark) \ | |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
139
diff
changeset
|
69 template(G1CollectFull) \ |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
139
diff
changeset
|
70 template(G1CollectForAllocation) \ |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
139
diff
changeset
|
71 template(G1IncCollectionPause) \ |
0 | 72 template(EnableBiasedLocking) \ |
73 template(RevokeBias) \ | |
74 template(BulkRevokeBias) \ | |
75 template(PopulateDumpSharedSpace) \ | |
76 template(JNIFunctionTableCopier) \ | |
77 template(RedefineClasses) \ | |
78 template(GetOwnedMonitorInfo) \ | |
79 template(GetObjectMonitorUsage) \ | |
80 template(GetCurrentContendedMonitor) \ | |
81 template(GetStackTrace) \ | |
82 template(GetMultipleStackTraces) \ | |
83 template(GetAllStackTraces) \ | |
84 template(GetThreadListStackTraces) \ | |
85 template(GetFrameCount) \ | |
86 template(GetFrameLocation) \ | |
87 template(ChangeBreakpoints) \ | |
88 template(GetOrSetLocal) \ | |
89 template(GetCurrentLocation) \ | |
90 template(EnterInterpOnlyMode) \ | |
91 template(ChangeSingleStep) \ | |
92 template(HeapWalkOperation) \ | |
93 template(HeapIterateOperation) \ | |
94 template(ReportJavaOutOfMemory) \ | |
4800
94ec88ca68e2
7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents:
2426
diff
changeset
|
95 template(JFRCheckpoint) \ |
0 | 96 template(Exit) \ |
8710
9058789475af
7107135: Stack guard pages are no more protected after loading a shared library with executable stack
iklam
parents:
6725
diff
changeset
|
97 template(LinuxDllLoad) \ |
0 | 98 |
6197 | 99 class VM_Operation: public CHeapObj<mtInternal> { |
0 | 100 public: |
101 enum Mode { | |
102 _safepoint, // blocking, safepoint, vm_op C-heap allocated | |
103 _no_safepoint, // blocking, no safepoint, vm_op C-Heap allocated | |
104 _concurrent, // non-blocking, no safepoint, vm_op C-Heap allocated | |
105 _async_safepoint // non-blocking, safepoint, vm_op C-Heap allocated | |
106 }; | |
107 | |
108 enum VMOp_Type { | |
109 VM_OPS_DO(VM_OP_ENUM) | |
110 VMOp_Terminating | |
111 }; | |
112 | |
113 private: | |
114 Thread* _calling_thread; | |
115 ThreadPriority _priority; | |
116 long _timestamp; | |
117 VM_Operation* _next; | |
118 VM_Operation* _prev; | |
119 | |
120 // The VM operation name array | |
121 static const char* _names[]; | |
122 | |
123 public: | |
124 VM_Operation() { _calling_thread = NULL; _next = NULL; _prev = NULL; } | |
125 virtual ~VM_Operation() {} | |
126 | |
127 // VM operation support (used by VM thread) | |
128 Thread* calling_thread() const { return _calling_thread; } | |
129 ThreadPriority priority() { return _priority; } | |
130 void set_calling_thread(Thread* thread, ThreadPriority priority); | |
131 | |
132 long timestamp() const { return _timestamp; } | |
133 void set_timestamp(long timestamp) { _timestamp = timestamp; } | |
134 | |
135 // Called by VM thread - does in turn invoke doit(). Do not override this | |
136 void evaluate(); | |
137 | |
138 // evaluate() is called by the VMThread and in turn calls doit(). | |
139 // If the thread invoking VMThread::execute((VM_Operation*) is a JavaThread, | |
140 // doit_prologue() is called in that thread before transferring control to | |
141 // the VMThread. | |
142 // If doit_prologue() returns true the VM operation will proceed, and | |
143 // doit_epilogue() will be called by the JavaThread once the VM operation | |
144 // completes. If doit_prologue() returns false the VM operation is cancelled. | |
145 virtual void doit() = 0; | |
146 virtual bool doit_prologue() { return true; }; | |
147 virtual void doit_epilogue() {}; // Note: Not called if mode is: _concurrent | |
148 | |
149 // Type test | |
150 virtual bool is_methodCompiler() const { return false; } | |
151 | |
152 // Linking | |
153 VM_Operation *next() const { return _next; } | |
154 VM_Operation *prev() const { return _prev; } | |
155 void set_next(VM_Operation *next) { _next = next; } | |
156 void set_prev(VM_Operation *prev) { _prev = prev; } | |
157 | |
158 // Configuration. Override these appropriatly in subclasses. | |
159 virtual VMOp_Type type() const = 0; | |
160 virtual Mode evaluation_mode() const { return _safepoint; } | |
161 virtual bool allow_nested_vm_operations() const { return false; } | |
162 virtual bool is_cheap_allocated() const { return false; } | |
163 virtual void oops_do(OopClosure* f) { /* do nothing */ }; | |
164 | |
165 // CAUTION: <don't hang yourself with following rope> | |
166 // If you override these methods, make sure that the evaluation | |
167 // of these methods is race-free and non-blocking, since these | |
168 // methods may be evaluated either by the mutators or by the | |
169 // vm thread, either concurrently with mutators or with the mutators | |
170 // stopped. In other words, taking locks is verboten, and if there | |
171 // are any races in evaluating the conditions, they'd better be benign. | |
172 virtual bool evaluate_at_safepoint() const { | |
173 return evaluation_mode() == _safepoint || | |
174 evaluation_mode() == _async_safepoint; | |
175 } | |
176 virtual bool evaluate_concurrently() const { | |
177 return evaluation_mode() == _concurrent || | |
178 evaluation_mode() == _async_safepoint; | |
179 } | |
180 | |
10405 | 181 static const char* mode_to_string(Mode mode); |
182 | |
0 | 183 // Debugging |
184 void print_on_error(outputStream* st) const; | |
185 const char* name() const { return _names[type()]; } | |
186 static const char* name(int type) { | |
187 assert(type >= 0 && type < VMOp_Terminating, "invalid VM operation type"); | |
188 return _names[type]; | |
189 } | |
190 #ifndef PRODUCT | |
191 void print_on(outputStream* st) const { print_on_error(st); } | |
192 #endif | |
193 }; | |
194 | |
195 class VM_ThreadStop: public VM_Operation { | |
196 private: | |
197 oop _thread; // The Thread that the Throwable is thrown against | |
198 oop _throwable; // The Throwable thrown at the target Thread | |
199 public: | |
200 // All oops are passed as JNI handles, since there is no guarantee that a GC might happen before the | |
201 // VM operation is executed. | |
202 VM_ThreadStop(oop thread, oop throwable) { | |
203 _thread = thread; | |
204 _throwable = throwable; | |
205 } | |
206 VMOp_Type type() const { return VMOp_ThreadStop; } | |
207 oop target_thread() const { return _thread; } | |
208 oop throwable() const { return _throwable;} | |
209 void doit(); | |
210 // We deoptimize if top-most frame is compiled - this might require a C2I adapter to be generated | |
211 bool allow_nested_vm_operations() const { return true; } | |
212 Mode evaluation_mode() const { return _async_safepoint; } | |
213 bool is_cheap_allocated() const { return true; } | |
214 | |
215 // GC support | |
216 void oops_do(OopClosure* f) { | |
217 f->do_oop(&_thread); f->do_oop(&_throwable); | |
218 } | |
219 }; | |
220 | |
221 // dummy vm op, evaluated just to force a safepoint | |
222 class VM_ForceSafepoint: public VM_Operation { | |
223 public: | |
224 VM_ForceSafepoint() {} | |
225 void doit() {} | |
226 VMOp_Type type() const { return VMOp_ForceSafepoint; } | |
227 }; | |
228 | |
229 // dummy vm op, evaluated just to force a safepoint | |
230 class VM_ForceAsyncSafepoint: public VM_Operation { | |
231 public: | |
232 VM_ForceAsyncSafepoint() {} | |
233 void doit() {} | |
234 VMOp_Type type() const { return VMOp_ForceAsyncSafepoint; } | |
235 Mode evaluation_mode() const { return _async_safepoint; } | |
236 bool is_cheap_allocated() const { return true; } | |
237 }; | |
238 | |
239 class VM_Deoptimize: public VM_Operation { | |
240 public: | |
241 VM_Deoptimize() {} | |
242 VMOp_Type type() const { return VMOp_Deoptimize; } | |
243 void doit(); | |
244 bool allow_nested_vm_operations() const { return true; } | |
245 }; | |
246 | |
1905
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
247 |
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
248 // Deopt helper that can deoptimize frames in threads other than the |
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
249 // current thread. Only used through Deoptimization::deoptimize_frame. |
0 | 250 class VM_DeoptimizeFrame: public VM_Operation { |
1905
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
251 friend class Deoptimization; |
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
252 |
0 | 253 private: |
254 JavaThread* _thread; | |
255 intptr_t* _id; | |
5110
0ebca2e35ca5
more preparations for disabling runtime feedback selectively based on deoptimization history
Christian Haeubl <christian.haeubl@oracle.com>
parents:
4800
diff
changeset
|
256 int _reason; |
0ebca2e35ca5
more preparations for disabling runtime feedback selectively based on deoptimization history
Christian Haeubl <christian.haeubl@oracle.com>
parents:
4800
diff
changeset
|
257 VM_DeoptimizeFrame(JavaThread* thread, intptr_t* id, int reason); |
1905
ce6848d0666d
6968367: can_post_on_exceptions is still using VM_DeoptimizeFrame in some places
never
parents:
1552
diff
changeset
|
258 |
0 | 259 public: |
260 VMOp_Type type() const { return VMOp_DeoptimizeFrame; } | |
261 void doit(); | |
262 bool allow_nested_vm_operations() const { return true; } | |
263 }; | |
264 | |
1202 | 265 class VM_HandleFullCodeCache: public VM_Operation { |
266 private: | |
267 bool _is_full; | |
268 public: | |
269 VM_HandleFullCodeCache(bool is_full) { _is_full = is_full; } | |
270 VMOp_Type type() const { return VMOp_HandleFullCodeCache; } | |
271 void doit(); | |
272 bool allow_nested_vm_operations() const { return true; } | |
273 }; | |
274 | |
0 | 275 #ifndef PRODUCT |
276 class VM_DeoptimizeAll: public VM_Operation { | |
277 private: | |
278 KlassHandle _dependee; | |
279 public: | |
280 VM_DeoptimizeAll() {} | |
281 VMOp_Type type() const { return VMOp_DeoptimizeAll; } | |
282 void doit(); | |
283 bool allow_nested_vm_operations() const { return true; } | |
284 }; | |
285 | |
286 | |
287 class VM_ZombieAll: public VM_Operation { | |
288 public: | |
289 VM_ZombieAll() {} | |
290 VMOp_Type type() const { return VMOp_ZombieAll; } | |
291 void doit(); | |
292 bool allow_nested_vm_operations() const { return true; } | |
293 }; | |
294 #endif // PRODUCT | |
295 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
296 class VM_UnlinkSymbols: public VM_Operation { |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
297 public: |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
298 VM_UnlinkSymbols() {} |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
299 VMOp_Type type() const { return VMOp_UnlinkSymbols; } |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
300 void doit(); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
301 bool allow_nested_vm_operations() const { return true; } |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
302 }; |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
1972
diff
changeset
|
303 |
0 | 304 class VM_Verify: public VM_Operation { |
305 private: | |
9071
68fe50d4f1d5
8011343: Add new flag for verifying the heap during startup
johnc
parents:
8710
diff
changeset
|
306 bool _silent; |
0 | 307 public: |
10186
b06ac540229e
8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents:
9071
diff
changeset
|
308 VM_Verify(bool silent = VerifySilently) : _silent(silent) {} |
0 | 309 VMOp_Type type() const { return VMOp_Verify; } |
310 void doit(); | |
311 }; | |
312 | |
313 | |
314 class VM_PrintThreads: public VM_Operation { | |
315 private: | |
316 outputStream* _out; | |
317 bool _print_concurrent_locks; | |
318 public: | |
319 VM_PrintThreads() { _out = tty; _print_concurrent_locks = PrintConcurrentLocks; } | |
320 VM_PrintThreads(outputStream* out, bool print_concurrent_locks) { _out = out; _print_concurrent_locks = print_concurrent_locks; } | |
321 VMOp_Type type() const { return VMOp_PrintThreads; } | |
322 void doit(); | |
323 bool doit_prologue(); | |
324 void doit_epilogue(); | |
325 }; | |
326 | |
327 class VM_PrintJNI: public VM_Operation { | |
328 private: | |
329 outputStream* _out; | |
330 public: | |
331 VM_PrintJNI() { _out = tty; } | |
332 VM_PrintJNI(outputStream* out) { _out = out; } | |
333 VMOp_Type type() const { return VMOp_PrintJNI; } | |
334 void doit(); | |
335 }; | |
336 | |
337 class DeadlockCycle; | |
338 class VM_FindDeadlocks: public VM_Operation { | |
339 private: | |
340 bool _concurrent_locks; | |
341 DeadlockCycle* _deadlocks; | |
342 outputStream* _out; | |
343 | |
344 public: | |
345 VM_FindDeadlocks(bool concurrent_locks) : _concurrent_locks(concurrent_locks), _out(NULL), _deadlocks(NULL) {}; | |
346 VM_FindDeadlocks(outputStream* st) : _concurrent_locks(true), _out(st), _deadlocks(NULL) {}; | |
347 ~VM_FindDeadlocks(); | |
348 | |
349 DeadlockCycle* result() { return _deadlocks; }; | |
350 VMOp_Type type() const { return VMOp_FindDeadlocks; } | |
351 void doit(); | |
352 bool doit_prologue(); | |
353 }; | |
354 | |
355 class ThreadDumpResult; | |
356 class ThreadSnapshot; | |
357 class ThreadConcurrentLocks; | |
358 | |
359 class VM_ThreadDump : public VM_Operation { | |
360 private: | |
361 ThreadDumpResult* _result; | |
362 int _num_threads; | |
363 GrowableArray<instanceHandle>* _threads; | |
364 int _max_depth; | |
365 bool _with_locked_monitors; | |
366 bool _with_locked_synchronizers; | |
367 | |
368 ThreadSnapshot* snapshot_thread(JavaThread* java_thread, ThreadConcurrentLocks* tcl); | |
369 | |
370 public: | |
371 VM_ThreadDump(ThreadDumpResult* result, | |
372 int max_depth, // -1 indicates entire stack | |
373 bool with_locked_monitors, | |
374 bool with_locked_synchronizers); | |
375 | |
376 VM_ThreadDump(ThreadDumpResult* result, | |
377 GrowableArray<instanceHandle>* threads, | |
378 int num_threads, // -1 indicates entire stack | |
379 int max_depth, | |
380 bool with_locked_monitors, | |
381 bool with_locked_synchronizers); | |
382 | |
383 VMOp_Type type() const { return VMOp_ThreadDump; } | |
384 void doit(); | |
385 bool doit_prologue(); | |
386 void doit_epilogue(); | |
387 }; | |
388 | |
389 | |
390 class VM_Exit: public VM_Operation { | |
391 private: | |
392 int _exit_code; | |
393 static volatile bool _vm_exited; | |
394 static Thread * _shutdown_thread; | |
395 static void wait_if_vm_exited(); | |
396 public: | |
397 VM_Exit(int exit_code) { | |
398 _exit_code = exit_code; | |
399 } | |
400 static int wait_for_threads_in_native_to_block(); | |
401 static int set_vm_exited(); | |
402 static bool vm_exited() { return _vm_exited; } | |
403 static void block_if_vm_exited() { | |
404 if (_vm_exited) { | |
405 wait_if_vm_exited(); | |
406 } | |
407 } | |
408 VMOp_Type type() const { return VMOp_Exit; } | |
409 void doit(); | |
410 }; | |
1972 | 411 |
412 #endif // SHARE_VM_RUNTIME_VM_OPERATIONS_HPP |