Mercurial > hg > truffle
annotate src/share/vm/utilities/debug.cpp @ 14714:b602356a9cfc
additional canonicalizers for accesses and value nodes (improves number of implicit null checks)
author | Lukas Stadler <lukas.stadler@oracle.com> |
---|---|
date | Thu, 20 Mar 2014 17:15:36 +0100 |
parents | 6b0fd0964b87 |
children | 52b4284cb496 |
rev | line source |
---|---|
0 | 1 /* |
8101
b6d5b3e50379
6799919: Recursive calls to report_vm_out_of_memory are handled incorrectly
dcubed
parents:
7448
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:
1490
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1490
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:
1490
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "classfile/systemDictionary.hpp" | |
27 #include "code/codeCache.hpp" | |
28 #include "code/icBuffer.hpp" | |
29 #include "code/nmethod.hpp" | |
30 #include "code/vtableStubs.hpp" | |
31 #include "compiler/compileBroker.hpp" | |
32 #include "compiler/disassembler.hpp" | |
33 #include "gc_implementation/shared/markSweep.hpp" | |
34 #include "gc_interface/collectedHeap.hpp" | |
35 #include "interpreter/bytecodeHistogram.hpp" | |
36 #include "interpreter/interpreter.hpp" | |
37 #include "memory/resourceArea.hpp" | |
38 #include "memory/universe.hpp" | |
39 #include "oops/oop.inline.hpp" | |
40 #include "prims/privilegedStack.hpp" | |
41 #include "runtime/arguments.hpp" | |
42 #include "runtime/frame.hpp" | |
43 #include "runtime/java.hpp" | |
44 #include "runtime/sharedRuntime.hpp" | |
45 #include "runtime/stubCodeGenerator.hpp" | |
46 #include "runtime/stubRoutines.hpp" | |
7180
f34d701e952e
8003935: Simplify the needed includes for using Thread::current()
stefank
parents:
6865
diff
changeset
|
47 #include "runtime/thread.inline.hpp" |
1972 | 48 #include "runtime/vframe.hpp" |
49 #include "services/heapDumper.hpp" | |
50 #include "utilities/defaultStream.hpp" | |
51 #include "utilities/events.hpp" | |
52 #include "utilities/top.hpp" | |
53 #include "utilities/vmError.hpp" | |
54 #ifdef TARGET_OS_FAMILY_linux | |
55 # include "os_linux.inline.hpp" | |
56 #endif | |
57 #ifdef TARGET_OS_FAMILY_solaris | |
58 # include "os_solaris.inline.hpp" | |
59 #endif | |
60 #ifdef TARGET_OS_FAMILY_windows | |
61 # include "os_windows.inline.hpp" | |
62 #endif | |
3960 | 63 #ifdef TARGET_OS_FAMILY_bsd |
64 # include "os_bsd.inline.hpp" | |
65 #endif | |
0 | 66 |
67 #ifndef ASSERT | |
68 # ifdef _DEBUG | |
69 // NOTE: don't turn the lines below into a comment -- if you're getting | |
70 // a compile error here, change the settings to define ASSERT | |
71 ASSERT should be defined when _DEBUG is defined. It is not intended to be used for debugging | |
72 functions that do not slow down the system too much and thus can be left in optimized code. | |
73 On the other hand, the code should not be included in a production version. | |
74 # endif // _DEBUG | |
75 #endif // ASSERT | |
76 | |
77 | |
78 #ifdef _DEBUG | |
79 # ifndef ASSERT | |
80 configuration error: ASSERT must be defined in debug version | |
81 # endif // ASSERT | |
82 #endif // _DEBUG | |
83 | |
84 | |
85 #ifdef PRODUCT | |
86 # if -defined _DEBUG || -defined ASSERT | |
87 configuration error: ASSERT et al. must not be defined in PRODUCT version | |
88 # endif | |
89 #endif // PRODUCT | |
90 | |
6268
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
91 FormatBufferResource::FormatBufferResource(const char * format, ...) |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
92 : FormatBufferBase((char*)resource_allocate_bytes(RES_BUFSZ)) { |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
93 va_list argp; |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
94 va_start(argp, format); |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
95 jio_vsnprintf(_buf, RES_BUFSZ, format, argp); |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
96 va_end(argp); |
6c5b7a6becc8
7187454: stack overflow in C2 compiler thread on Solaris x86
kvn
parents:
4944
diff
changeset
|
97 } |
0 | 98 |
99 void warning(const char* format, ...) { | |
1870
c77b5c592eab
6392697: Additional flag needed to supress Hotspot warning messages
kamg
parents:
1775
diff
changeset
|
100 if (PrintWarnings) { |
6759 | 101 FILE* const err = defaultStream::error_stream(); |
102 jio_fprintf(err, "%s warning: ", VM_Version::vm_name()); | |
1870
c77b5c592eab
6392697: Additional flag needed to supress Hotspot warning messages
kamg
parents:
1775
diff
changeset
|
103 va_list ap; |
c77b5c592eab
6392697: Additional flag needed to supress Hotspot warning messages
kamg
parents:
1775
diff
changeset
|
104 va_start(ap, format); |
6759 | 105 vfprintf(err, format, ap); |
1870
c77b5c592eab
6392697: Additional flag needed to supress Hotspot warning messages
kamg
parents:
1775
diff
changeset
|
106 va_end(ap); |
6759 | 107 fputc('\n', err); |
1870
c77b5c592eab
6392697: Additional flag needed to supress Hotspot warning messages
kamg
parents:
1775
diff
changeset
|
108 } |
0 | 109 if (BreakAtWarning) BREAKPOINT; |
110 } | |
111 | |
112 #ifndef PRODUCT | |
113 | |
114 #define is_token_break(ch) (isspace(ch) || (ch) == ',') | |
115 | |
116 static const char* last_file_name = NULL; | |
117 static int last_line_no = -1; | |
118 | |
119 // assert/guarantee/... may happen very early during VM initialization. | |
120 // Don't rely on anything that is initialized by Threads::create_vm(). For | |
121 // example, don't use tty. | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
122 bool error_is_suppressed(const char* file_name, int line_no) { |
0 | 123 // The following 1-element cache requires that passed-in |
124 // file names are always only constant literals. | |
125 if (file_name == last_file_name && line_no == last_line_no) return true; | |
126 | |
127 int file_name_len = (int)strlen(file_name); | |
128 char separator = os::file_separator()[0]; | |
129 const char* base_name = strrchr(file_name, separator); | |
130 if (base_name == NULL) | |
131 base_name = file_name; | |
132 | |
133 // scan the SuppressErrorAt option | |
134 const char* cp = SuppressErrorAt; | |
135 for (;;) { | |
136 const char* sfile; | |
137 int sfile_len; | |
138 int sline; | |
139 bool noisy; | |
140 while ((*cp) != '\0' && is_token_break(*cp)) cp++; | |
141 if ((*cp) == '\0') break; | |
142 sfile = cp; | |
143 while ((*cp) != '\0' && !is_token_break(*cp) && (*cp) != ':') cp++; | |
144 sfile_len = cp - sfile; | |
145 if ((*cp) == ':') cp++; | |
146 sline = 0; | |
147 while ((*cp) != '\0' && isdigit(*cp)) { | |
148 sline *= 10; | |
149 sline += (*cp) - '0'; | |
150 cp++; | |
151 } | |
152 // "file:line!" means the assert suppression is not silent | |
153 noisy = ((*cp) == '!'); | |
154 while ((*cp) != '\0' && !is_token_break(*cp)) cp++; | |
155 // match the line | |
156 if (sline != 0) { | |
157 if (sline != line_no) continue; | |
158 } | |
159 // match the file | |
160 if (sfile_len > 0) { | |
161 const char* look = file_name; | |
162 const char* look_max = file_name + file_name_len - sfile_len; | |
163 const char* foundp; | |
164 bool match = false; | |
165 while (!match | |
166 && (foundp = strchr(look, sfile[0])) != NULL | |
167 && foundp <= look_max) { | |
168 match = true; | |
169 for (int i = 1; i < sfile_len; i++) { | |
170 if (sfile[i] != foundp[i]) { | |
171 match = false; | |
172 break; | |
173 } | |
174 } | |
175 look = foundp + 1; | |
176 } | |
177 if (!match) continue; | |
178 } | |
179 // got a match! | |
180 if (noisy) { | |
181 fdStream out(defaultStream::output_fd()); | |
182 out.print_raw("[error suppressed at "); | |
183 out.print_raw(base_name); | |
184 char buf[16]; | |
185 jio_snprintf(buf, sizeof(buf), ":%d]", line_no); | |
186 out.print_raw_cr(buf); | |
187 } else { | |
188 // update 1-element cache for fast silent matches | |
189 last_file_name = file_name; | |
190 last_line_no = line_no; | |
191 } | |
192 return true; | |
193 } | |
194 | |
195 if (!is_error_reported()) { | |
196 // print a friendly hint: | |
197 fdStream out(defaultStream::output_fd()); | |
198 out.print_raw_cr("# To suppress the following error report, specify this argument"); | |
199 out.print_raw ("# after -XX: or in .hotspotrc: SuppressErrorAt="); | |
200 out.print_raw (base_name); | |
201 char buf[16]; | |
202 jio_snprintf(buf, sizeof(buf), ":%d", line_no); | |
203 out.print_raw_cr(buf); | |
204 } | |
205 return false; | |
206 } | |
207 | |
208 #undef is_token_break | |
209 | |
210 #else | |
211 | |
212 // Place-holder for non-existent suppression check: | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
213 #define error_is_suppressed(file_name, line_no) (false) |
0 | 214 |
4006 | 215 #endif // !PRODUCT |
0 | 216 |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
217 void report_vm_error(const char* file, int line, const char* error_msg, |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
218 const char* detail_msg) |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
219 { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
220 if (Debugging || error_is_suppressed(file, line)) return; |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
221 Thread* const thread = ThreadLocalStorage::get_thread_slow(); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
222 VMError err(thread, file, line, error_msg, detail_msg); |
0 | 223 err.report_and_die(); |
224 } | |
225 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
226 void report_fatal(const char* file, int line, const char* message) |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
227 { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
228 report_vm_error(file, line, "fatal error", message); |
0 | 229 } |
230 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
231 void report_vm_out_of_memory(const char* file, int line, size_t size, |
10161
746b070f5022
8011661: Insufficient memory message says "malloc" when sometimes it should say "mmap"
ccheung
parents:
9060
diff
changeset
|
232 VMErrorType vm_err_type, const char* message) { |
2095
36c186bcc085
6302804: Hotspot VM dies ungraceful death when C heap is exhausted in various places.
coleenp
parents:
2008
diff
changeset
|
233 if (Debugging) return; |
0 | 234 |
8101
b6d5b3e50379
6799919: Recursive calls to report_vm_out_of_memory are handled incorrectly
dcubed
parents:
7448
diff
changeset
|
235 Thread* thread = ThreadLocalStorage::get_thread_slow(); |
10161
746b070f5022
8011661: Insufficient memory message says "malloc" when sometimes it should say "mmap"
ccheung
parents:
9060
diff
changeset
|
236 VMError(thread, file, line, size, vm_err_type, message).report_and_die(); |
0 | 237 |
8101
b6d5b3e50379
6799919: Recursive calls to report_vm_out_of_memory are handled incorrectly
dcubed
parents:
7448
diff
changeset
|
238 // The UseOSErrorReporting option in report_and_die() may allow a return |
b6d5b3e50379
6799919: Recursive calls to report_vm_out_of_memory are handled incorrectly
dcubed
parents:
7448
diff
changeset
|
239 // to here. If so then we'll have to figure out how to handle it. |
b6d5b3e50379
6799919: Recursive calls to report_vm_out_of_memory are handled incorrectly
dcubed
parents:
7448
diff
changeset
|
240 guarantee(false, "report_and_die() should not return here"); |
0 | 241 } |
242 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
243 void report_should_not_call(const char* file, int line) { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
244 report_vm_error(file, line, "ShouldNotCall()"); |
0 | 245 } |
246 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
247 void report_should_not_reach_here(const char* file, int line) { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
248 report_vm_error(file, line, "ShouldNotReachHere()"); |
0 | 249 } |
250 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
251 void report_unimplemented(const char* file, int line) { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
252 report_vm_error(file, line, "Unimplemented()"); |
0 | 253 } |
254 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
255 void report_untested(const char* file, int line, const char* message) { |
0 | 256 #ifndef PRODUCT |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
257 warning("Untested: %s in %s: %d\n", message, file, line); |
4006 | 258 #endif // !PRODUCT |
0 | 259 } |
260 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
261 void report_out_of_shared_space(SharedSpaceType shared_space) { |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
262 static const char* name[] = { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
263 "native memory for metadata", |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
264 "shared read only space", |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
265 "shared read write space", |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
266 "shared miscellaneous data space" |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
267 }; |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
268 static const char* flag[] = { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
269 "Metaspace", |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
270 "SharedReadOnlySize", |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
271 "SharedReadWriteSize", |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
272 "SharedMiscDataSize" |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
273 }; |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
274 |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
275 warning("\nThe %s is not large enough\n" |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
276 "to preload requested classes. Use -XX:%s=\n" |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
277 "to increase the initial size of %s.\n", |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
278 name[shared_space], flag[shared_space], name[shared_space]); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
279 exit(2); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
280 } |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2095
diff
changeset
|
281 |
0 | 282 void report_java_out_of_memory(const char* message) { |
283 static jint out_of_memory_reported = 0; | |
284 | |
285 // A number of threads may attempt to report OutOfMemoryError at around the | |
286 // same time. To avoid dumping the heap or executing the data collection | |
287 // commands multiple times we just do it once when the first threads reports | |
288 // the error. | |
289 if (Atomic::cmpxchg(1, &out_of_memory_reported, 0) == 0) { | |
290 // create heap dump before OnOutOfMemoryError commands are executed | |
291 if (HeapDumpOnOutOfMemoryError) { | |
292 tty->print_cr("java.lang.OutOfMemoryError: %s", message); | |
1775
30f67acf635d
6765718: Indicate which thread throwing OOME when generating the heap dump at OOME
thurka
parents:
1681
diff
changeset
|
293 HeapDumper::dump_heap_from_oome(); |
0 | 294 } |
295 | |
296 if (OnOutOfMemoryError && OnOutOfMemoryError[0]) { | |
297 VMError err(message); | |
298 err.report_java_out_of_memory(); | |
299 } | |
300 } | |
301 } | |
302 | |
303 static bool error_reported = false; | |
304 | |
305 // call this when the VM is dying--it might loosen some asserts | |
306 void set_error_reported() { | |
307 error_reported = true; | |
308 } | |
309 | |
310 bool is_error_reported() { | |
311 return error_reported; | |
312 } | |
313 | |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
314 #ifndef PRODUCT |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
315 #include <signal.h> |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
316 |
11092
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
317 void test_error_handler() { |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
318 uintx test_num = ErrorHandlerTest; |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
319 if (test_num == 0) return; |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
320 |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
321 // If asserts are disabled, use the corresponding guarantee instead. |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
322 size_t n = test_num; |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
323 NOT_DEBUG(if (n <= 2) n += 2); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
324 |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
325 const char* const str = "hello"; |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
326 const size_t num = (size_t)os::vm_page_size(); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
327 |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
328 const char* const eol = os::line_separator(); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
329 const char* const msg = "this message should be truncated during formatting"; |
11092
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
330 char * const dataPtr = NULL; // bad data pointer |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
331 const void (*funcPtr)(void) = (const void(*)()) 0xF; // bad function pointer |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
332 |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
333 // Keep this in sync with test/runtime/6888954/vmerrors.sh. |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
334 switch (n) { |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
335 case 1: assert(str == NULL, "expected null"); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
336 case 2: assert(num == 1023 && *str == 'X', |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
337 err_msg("num=" SIZE_FORMAT " str=\"%s\"", num, str)); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
338 case 3: guarantee(str == NULL, "expected null"); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
339 case 4: guarantee(num == 1023 && *str == 'X', |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
340 err_msg("num=" SIZE_FORMAT " str=\"%s\"", num, str)); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
341 case 5: fatal("expected null"); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
342 case 6: fatal(err_msg("num=" SIZE_FORMAT " str=\"%s\"", num, str)); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
343 case 7: fatal(err_msg("%s%s# %s%s# %s%s# %s%s# %s%s# " |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
344 "%s%s# %s%s# %s%s# %s%s# %s%s# " |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
345 "%s%s# %s%s# %s%s# %s%s# %s", |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
346 msg, eol, msg, eol, msg, eol, msg, eol, msg, eol, |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
347 msg, eol, msg, eol, msg, eol, msg, eol, msg, eol, |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
348 msg, eol, msg, eol, msg, eol, msg, eol, msg)); |
10161
746b070f5022
8011661: Insufficient memory message says "malloc" when sometimes it should say "mmap"
ccheung
parents:
9060
diff
changeset
|
349 case 8: vm_exit_out_of_memory(num, OOM_MALLOC_ERROR, "ChunkPool::allocate"); |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
350 case 9: ShouldNotCallThis(); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
351 case 10: ShouldNotReachHere(); |
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
352 case 11: Unimplemented(); |
11092
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
353 // There's no guarantee the bad data pointer will crash us |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
354 // so "break" out to the ShouldNotReachHere(). |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
355 case 12: *dataPtr = '\0'; break; |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
356 // There's no guarantee the bad function pointer will crash us |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
357 // so "break" out to the ShouldNotReachHere(). |
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
358 case 13: (*funcPtr)(); break; |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
359 |
11092
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
360 default: tty->print_cr("ERROR: %d: unexpected test_num value.", n); |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
361 } |
11092
59b052799158
8015884: runThese crashed with SIGSEGV, hs_err has an error instead of stacktrace
dcubed
parents:
10308
diff
changeset
|
362 ShouldNotReachHere(); |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
363 } |
4006 | 364 #endif // !PRODUCT |
1490
f03d0a26bf83
6888954: argument formatting for assert() and friends
jcoomes
parents:
989
diff
changeset
|
365 |
0 | 366 // ------ helper functions for debugging go here ------------ |
367 | |
368 // All debug entries should be wrapped with a stack allocated | |
369 // Command object. It makes sure a resource mark is set and | |
370 // flushes the logfile to prevent file sharing problems. | |
371 | |
372 class Command : public StackObj { | |
373 private: | |
374 ResourceMark rm; | |
375 ResetNoHandleMark rnhm; | |
376 HandleMark hm; | |
377 bool debug_save; | |
378 public: | |
379 static int level; | |
380 Command(const char* str) { | |
381 debug_save = Debugging; | |
382 Debugging = true; | |
383 if (level++ > 0) return; | |
384 tty->cr(); | |
385 tty->print_cr("\"Executing %s\"", str); | |
386 } | |
387 | |
4006 | 388 ~Command() { |
389 tty->flush(); | |
390 Debugging = debug_save; | |
391 level--; | |
392 } | |
0 | 393 }; |
394 | |
395 int Command::level = 0; | |
396 | |
4006 | 397 #ifndef PRODUCT |
398 | |
0 | 399 extern "C" void blob(CodeBlob* cb) { |
400 Command c("blob"); | |
401 cb->print(); | |
402 } | |
403 | |
404 | |
405 extern "C" void dump_vtable(address p) { | |
406 Command c("dump_vtable"); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
407 Klass* k = (Klass*)p; |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
408 InstanceKlass::cast(k)->vtable()->print(); |
0 | 409 } |
410 | |
411 | |
412 extern "C" void nm(intptr_t p) { | |
413 // Actually we look through all CodeBlobs (the nm name has been kept for backwards compatability) | |
414 Command c("nm"); | |
415 CodeBlob* cb = CodeCache::find_blob((address)p); | |
416 if (cb == NULL) { | |
417 tty->print_cr("NULL"); | |
418 } else { | |
419 cb->print(); | |
420 } | |
421 } | |
422 | |
423 | |
424 extern "C" void disnm(intptr_t p) { | |
425 Command c("disnm"); | |
426 CodeBlob* cb = CodeCache::find_blob((address) p); | |
2008 | 427 nmethod* nm = cb->as_nmethod_or_null(); |
428 if (nm) { | |
429 nm->print(); | |
430 Disassembler::decode(nm); | |
431 } else { | |
432 cb->print(); | |
433 Disassembler::decode(cb); | |
434 } | |
0 | 435 } |
436 | |
437 | |
438 extern "C" void printnm(intptr_t p) { | |
439 char buffer[256]; | |
440 sprintf(buffer, "printnm: " INTPTR_FORMAT, p); | |
441 Command c(buffer); | |
442 CodeBlob* cb = CodeCache::find_blob((address) p); | |
443 if (cb->is_nmethod()) { | |
444 nmethod* nm = (nmethod*)cb; | |
445 nm->print_nmethod(true); | |
446 } | |
447 } | |
448 | |
449 | |
450 extern "C" void universe() { | |
451 Command c("universe"); | |
452 Universe::print(); | |
453 } | |
454 | |
455 | |
456 extern "C" void verify() { | |
457 // try to run a verify on the entire system | |
458 // note: this may not be safe if we're not at a safepoint; for debugging, | |
459 // this manipulates the safepoint settings to avoid assertion failures | |
460 Command c("universe verify"); | |
461 bool safe = SafepointSynchronize::is_at_safepoint(); | |
462 if (!safe) { | |
463 tty->print_cr("warning: not at safepoint -- verify may fail"); | |
464 SafepointSynchronize::set_is_at_safepoint(); | |
465 } | |
466 // Ensure Eden top is correct before verification | |
467 Universe::heap()->prepare_for_verify(); | |
6865
4202510ee0fe
8000831: Heap verification output incorrect/incomplete
johnc
parents:
6759
diff
changeset
|
468 Universe::verify(); |
0 | 469 if (!safe) SafepointSynchronize::set_is_not_at_safepoint(); |
470 } | |
471 | |
472 | |
473 extern "C" void pp(void* p) { | |
474 Command c("pp"); | |
475 FlagSetting fl(PrintVMMessages, true); | |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
476 FlagSetting f2(DisplayVMOutput, true); |
0 | 477 if (Universe::heap()->is_in(p)) { |
478 oop obj = oop(p); | |
479 obj->print(); | |
480 } else { | |
4006 | 481 tty->print(PTR_FORMAT, p); |
0 | 482 } |
483 } | |
484 | |
485 | |
486 // pv: print vm-printable object | |
487 extern "C" void pa(intptr_t p) { ((AllocatedObj*) p)->print(); } | |
488 extern "C" void findpc(intptr_t x); | |
489 | |
4006 | 490 #endif // !PRODUCT |
491 | |
0 | 492 extern "C" void ps() { // print stack |
4006 | 493 if (Thread::current() == NULL) return; |
0 | 494 Command c("ps"); |
495 | |
496 | |
497 // Prints the stack of the current Java thread | |
498 JavaThread* p = JavaThread::active(); | |
499 tty->print(" for thread: "); | |
500 p->print(); | |
501 tty->cr(); | |
502 | |
503 if (p->has_last_Java_frame()) { | |
504 // If the last_Java_fp is set we are in C land and | |
505 // can call the standard stack_trace function. | |
4006 | 506 #ifdef PRODUCT |
507 p->print_stack(); | |
508 } else { | |
509 tty->print_cr("Cannot find the last Java frame, printing stack disabled."); | |
510 #else // !PRODUCT | |
0 | 511 p->trace_stack(); |
512 } else { | |
513 frame f = os::current_frame(); | |
514 RegisterMap reg_map(p); | |
515 f = f.sender(®_map); | |
516 tty->print("(guessing starting frame id=%#p based on current fp)\n", f.id()); | |
517 p->trace_stack_from(vframe::new_vframe(&f, ®_map, p)); | |
518 pd_ps(f); | |
4006 | 519 #endif // PRODUCT |
0 | 520 } |
521 | |
522 } | |
523 | |
3336
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
524 extern "C" void pfl() { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
525 // print frame layout |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
526 Command c("pfl"); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
527 JavaThread* p = JavaThread::active(); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
528 tty->print(" for thread: "); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
529 p->print(); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
530 tty->cr(); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
531 if (p->has_last_Java_frame()) { |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
532 p->print_frame_layout(); |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
533 } |
2e038ad0c1d0
7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents:
2426
diff
changeset
|
534 } |
0 | 535 |
4006 | 536 #ifndef PRODUCT |
537 | |
0 | 538 extern "C" void psf() { // print stack frames |
539 { | |
540 Command c("psf"); | |
541 JavaThread* p = JavaThread::active(); | |
542 tty->print(" for thread: "); | |
543 p->print(); | |
544 tty->cr(); | |
545 if (p->has_last_Java_frame()) { | |
546 p->trace_frames(); | |
547 } | |
548 } | |
549 } | |
550 | |
551 | |
552 extern "C" void threads() { | |
553 Command c("threads"); | |
554 Threads::print(false, true); | |
555 } | |
556 | |
557 | |
558 extern "C" void psd() { | |
559 Command c("psd"); | |
560 SystemDictionary::print(); | |
561 } | |
562 | |
563 | |
564 extern "C" void safepoints() { | |
565 Command c("safepoints"); | |
566 SafepointSynchronize::print_state(); | |
567 } | |
568 | |
4006 | 569 #endif // !PRODUCT |
0 | 570 |
571 extern "C" void pss() { // print all stacks | |
4006 | 572 if (Thread::current() == NULL) return; |
0 | 573 Command c("pss"); |
4006 | 574 Threads::print(true, PRODUCT_ONLY(false) NOT_PRODUCT(true)); |
0 | 575 } |
576 | |
4006 | 577 #ifndef PRODUCT |
0 | 578 |
579 extern "C" void debug() { // to set things up for compiler debugging | |
580 Command c("debug"); | |
581 WizardMode = true; | |
582 PrintVMMessages = PrintCompilation = true; | |
583 PrintInlining = PrintAssembly = true; | |
584 tty->flush(); | |
585 } | |
586 | |
587 | |
588 extern "C" void ndebug() { // undo debug() | |
589 Command c("ndebug"); | |
590 PrintCompilation = false; | |
591 PrintInlining = PrintAssembly = false; | |
592 tty->flush(); | |
593 } | |
594 | |
595 | |
596 extern "C" void flush() { | |
597 Command c("flush"); | |
598 tty->flush(); | |
599 } | |
600 | |
4944 | 601 extern "C" void events() { |
602 Command c("events"); | |
603 Events::print(); | |
604 } | |
0 | 605 |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
606 extern "C" Method* findm(intptr_t pc) { |
0 | 607 Command c("findm"); |
608 nmethod* nm = CodeCache::find_nmethod((address)pc); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
609 return (nm == NULL) ? (Method*)NULL : nm->method(); |
0 | 610 } |
611 | |
612 | |
613 extern "C" nmethod* findnm(intptr_t addr) { | |
614 Command c("findnm"); | |
615 return CodeCache::find_nmethod((address)addr); | |
616 } | |
617 | |
618 // Another interface that isn't ambiguous in dbx. | |
619 // Can we someday rename the other find to hsfind? | |
620 extern "C" void hsfind(intptr_t x) { | |
621 Command c("hsfind"); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
622 os::print_location(tty, x, false); |
0 | 623 } |
624 | |
625 | |
626 extern "C" void find(intptr_t x) { | |
627 Command c("find"); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
628 os::print_location(tty, x, false); |
0 | 629 } |
630 | |
631 | |
632 extern "C" void findpc(intptr_t x) { | |
633 Command c("findpc"); | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1552
diff
changeset
|
634 os::print_location(tty, x, true); |
0 | 635 } |
636 | |
637 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
638 // Need method pointer to find bcp, when not in permgen. |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
639 extern "C" void findbcp(intptr_t method, intptr_t bcp) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
640 Command c("findbcp"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
641 Method* mh = (Method*)method; |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
642 if (!mh->is_native()) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
643 tty->print_cr("bci_from(%p) = %d; print_codes():", |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
644 mh, mh->bci_from(address(bcp))); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
645 mh->print_codes_on(tty); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
646 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
647 } |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
648 |
0 | 649 // int versions of all methods to avoid having to type type casts in the debugger |
650 | |
651 void pp(intptr_t p) { pp((void*)p); } | |
652 void pp(oop p) { pp((void*)p); } | |
653 | |
654 void help() { | |
655 Command c("help"); | |
656 tty->print_cr("basic"); | |
657 tty->print_cr(" pp(void* p) - try to make sense of p"); | |
658 tty->print_cr(" pv(intptr_t p)- ((PrintableResourceObj*) p)->print()"); | |
659 tty->print_cr(" ps() - print current thread stack"); | |
660 tty->print_cr(" pss() - print all thread stacks"); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
661 tty->print_cr(" pm(int pc) - print Method* given compiled PC"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6268
diff
changeset
|
662 tty->print_cr(" findm(intptr_t pc) - finds Method*"); |
0 | 663 tty->print_cr(" find(intptr_t x) - finds & prints nmethod/stub/bytecode/oop based on pointer into it"); |
664 | |
665 tty->print_cr("misc."); | |
666 tty->print_cr(" flush() - flushes the log file"); | |
4944 | 667 tty->print_cr(" events() - dump events from ring buffers"); |
0 | 668 |
669 | |
670 tty->print_cr("compiler debugging"); | |
671 tty->print_cr(" debug() - to set things up for compiler debugging"); | |
672 tty->print_cr(" ndebug() - undo debug"); | |
673 } | |
674 | |
4006 | 675 #endif // !PRODUCT |