annotate src/share/vm/utilities/exceptions.cpp @ 1867:b6aedd1acdc0

6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong Summary: min_stack_allowed is a compile time constant and Stack*Pages are settable Reviewed-by: dholmes, kvn
author coleenp
date Thu, 07 Oct 2010 08:06:06 -0700
parents 66c5dadb4d61
children 2d26b0046e0d f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1490
diff changeset
2 * Copyright (c) 1998, 2007, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 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
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_exceptions.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // Implementation of ThreadShadow
a61af66fc99e Initial load
duke
parents:
diff changeset
30 void check_ThreadShadow() {
a61af66fc99e Initial load
duke
parents:
diff changeset
31 const ByteSize offset1 = byte_offset_of(ThreadShadow, _pending_exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
32 const ByteSize offset2 = Thread::pending_exception_offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
33 if (offset1 != offset2) fatal("ThreadShadow::_pending_exception is not positioned correctly");
a61af66fc99e Initial load
duke
parents:
diff changeset
34 }
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 void ThreadShadow::set_pending_exception(oop exception, const char* file, int line) {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 assert(exception != NULL && exception->is_oop(), "invalid exception oop");
a61af66fc99e Initial load
duke
parents:
diff changeset
39 _pending_exception = exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 _exception_file = file;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 _exception_line = line;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 void ThreadShadow::clear_pending_exception() {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 if (TraceClearedExceptions) {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 if (_pending_exception != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
47 tty->print_cr("Thread::clear_pending_exception: cleared exception:");
a61af66fc99e Initial load
duke
parents:
diff changeset
48 _pending_exception->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
49 }
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51 _pending_exception = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _exception_file = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 _exception_line = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
54 }
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // Implementation of Exceptions
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 bool Exceptions::special_exception(Thread* thread, const char* file, int line, Handle h_exception) {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // bootstrapping check
a61af66fc99e Initial load
duke
parents:
diff changeset
59 if (!Universe::is_fully_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 vm_exit_during_initialization(h_exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
61 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
62 }
a61af66fc99e Initial load
duke
parents:
diff changeset
63
1867
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
64 #ifdef ASSERT
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
65 // Check for trying to throw stack overflow before initialization is complete
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
66 // to prevent infinite recursion trying to initialize stack overflow without
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
67 // adequate stack space.
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
68 // This can happen with stress testing a large value of StackShadowPages
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
69 if (h_exception()->klass() == SystemDictionary::StackOverflowError_klass()) {
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
70 instanceKlass* ik = instanceKlass::cast(h_exception->klass());
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
71 assert(ik->is_initialized(),
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
72 "need to increase min_stack_allowed calculation");
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
73 }
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
74 #endif // ASSERT
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
75
0
a61af66fc99e Initial load
duke
parents:
diff changeset
76 if (thread->is_VM_thread()
a61af66fc99e Initial load
duke
parents:
diff changeset
77 || thread->is_Compiler_thread() ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // We do not care what kind of exception we get for the vm-thread or a thread which
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // is compiling. We just install a dummy exception object
a61af66fc99e Initial load
duke
parents:
diff changeset
80 thread->set_pending_exception(Universe::vm_exception(), file, line);
a61af66fc99e Initial load
duke
parents:
diff changeset
81 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
82 }
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 bool Exceptions::special_exception(Thread* thread, const char* file, int line, symbolHandle h_name, const char* message) {
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // bootstrapping check
a61af66fc99e Initial load
duke
parents:
diff changeset
89 if (!Universe::is_fully_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
90 if (h_name.is_null()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // atleast an informative message.
a61af66fc99e Initial load
duke
parents:
diff changeset
92 vm_exit_during_initialization("Exception", message);
a61af66fc99e Initial load
duke
parents:
diff changeset
93 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
94 vm_exit_during_initialization(h_name, message);
a61af66fc99e Initial load
duke
parents:
diff changeset
95 }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
97 }
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 if (thread->is_VM_thread()
a61af66fc99e Initial load
duke
parents:
diff changeset
100 || thread->is_Compiler_thread() ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // We do not care what kind of exception we get for the vm-thread or a thread which
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // is compiling. We just install a dummy exception object
a61af66fc99e Initial load
duke
parents:
diff changeset
103 thread->set_pending_exception(Universe::vm_exception(), file, line);
a61af66fc99e Initial load
duke
parents:
diff changeset
104 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 }
a61af66fc99e Initial load
duke
parents:
diff changeset
106 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 }
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // This method should only be called from generated code,
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // therefore the exception oop should be in the oopmap.
a61af66fc99e Initial load
duke
parents:
diff changeset
111 void Exceptions::_throw_oop(Thread* thread, const char* file, int line, oop exception) {
a61af66fc99e Initial load
duke
parents:
diff changeset
112 assert(exception != NULL, "exception should not be NULL");
a61af66fc99e Initial load
duke
parents:
diff changeset
113 Handle h_exception = Handle(thread, exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
114 _throw(thread, file, line, h_exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
115 }
a61af66fc99e Initial load
duke
parents:
diff changeset
116
1011
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
117 void Exceptions::_throw(Thread* thread, const char* file, int line, Handle h_exception, const char* message) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
118 assert(h_exception() != NULL, "exception should not be NULL");
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // tracing (do this up front - so it works during boot strapping)
a61af66fc99e Initial load
duke
parents:
diff changeset
121 if (TraceExceptions) {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 ttyLocker ttyl;
a61af66fc99e Initial load
duke
parents:
diff changeset
123 ResourceMark rm;
1011
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
124 tty->print_cr("Exception <%s>%s%s (" INTPTR_FORMAT " ) \n"
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
125 "thrown [%s, line %d]\nfor thread " INTPTR_FORMAT,
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
126 h_exception->print_value_string(),
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
127 message ? ": " : "", message ? message : "",
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
128 (address)h_exception(), file, line, thread);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
129 }
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // for AbortVMOnException flag
1684
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
131 NOT_PRODUCT(Exceptions::debug_check_abort(h_exception, message));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
132
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // Check for special boot-strapping/vm-thread handling
a61af66fc99e Initial load
duke
parents:
diff changeset
134 if (special_exception(thread, file, line, h_exception)) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
135
1142
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1011
diff changeset
136 assert(h_exception->is_a(SystemDictionary::Throwable_klass()), "exception is not a subclass of java/lang/Throwable");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // set the pending exception
a61af66fc99e Initial load
duke
parents:
diff changeset
139 thread->set_pending_exception(h_exception(), file, line);
a61af66fc99e Initial load
duke
parents:
diff changeset
140
a61af66fc99e Initial load
duke
parents:
diff changeset
141 // vm log
a61af66fc99e Initial load
duke
parents:
diff changeset
142 Events::log("throw_exception " INTPTR_FORMAT, (address)h_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
143 }
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145
a61af66fc99e Initial load
duke
parents:
diff changeset
146 void Exceptions::_throw_msg(Thread* thread, const char* file, int line, symbolHandle h_name, const char* message, Handle h_loader, Handle h_protection_domain) {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 // Check for special boot-strapping/vm-thread handling
a61af66fc99e Initial load
duke
parents:
diff changeset
148 if (special_exception(thread, file, line, h_name, message)) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // Create and throw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
150 Handle h_cause(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
151 Handle h_exception = new_exception(thread, h_name, message, h_cause, h_loader, h_protection_domain);
1011
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
152 _throw(thread, file, line, h_exception, message);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
153 }
a61af66fc99e Initial load
duke
parents:
diff changeset
154
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // Throw an exception with a message and a cause
a61af66fc99e Initial load
duke
parents:
diff changeset
156 void Exceptions::_throw_msg_cause(Thread* thread, const char* file, int line, symbolHandle h_name, const char* message, Handle h_cause, Handle h_loader, Handle h_protection_domain) {
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // Check for special boot-strapping/vm-thread handling
a61af66fc99e Initial load
duke
parents:
diff changeset
158 if (special_exception(thread, file, line, h_name, message)) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // Create and throw exception and init cause
a61af66fc99e Initial load
duke
parents:
diff changeset
160 Handle h_exception = new_exception(thread, h_name, message, h_cause, h_loader, h_protection_domain);
1011
fcb148c6b605 6889302: TraceExceptions output should include detail message
never
parents: 0
diff changeset
161 _throw(thread, file, line, h_exception, message);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
162 }
a61af66fc99e Initial load
duke
parents:
diff changeset
163
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // This version creates handles and calls the other version
a61af66fc99e Initial load
duke
parents:
diff changeset
165 void Exceptions::_throw_msg(Thread* thread, const char* file, int line,
a61af66fc99e Initial load
duke
parents:
diff changeset
166 symbolOop name, const char* message) {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 symbolHandle h_name(thread, name);
a61af66fc99e Initial load
duke
parents:
diff changeset
168 Handle h_loader(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
169 Handle h_protection_domain(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
170 Exceptions::_throw_msg(thread, file, line, h_name, message, h_loader, h_protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
171 }
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // This version already has a handle for name
a61af66fc99e Initial load
duke
parents:
diff changeset
174 void Exceptions::_throw_msg(Thread* thread, const char* file, int line,
a61af66fc99e Initial load
duke
parents:
diff changeset
175 symbolHandle name, const char* message) {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 Handle h_loader(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
177 Handle h_protection_domain(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
178 Exceptions::_throw_msg(thread, file, line, name, message, h_loader, h_protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
179 }
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 // This version already has a handle for name
a61af66fc99e Initial load
duke
parents:
diff changeset
182 void Exceptions::_throw_msg_cause(Thread* thread, const char* file, int line,
a61af66fc99e Initial load
duke
parents:
diff changeset
183 symbolHandle name, const char* message, Handle cause) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 Handle h_loader(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
185 Handle h_protection_domain(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
186 Exceptions::_throw_msg_cause(thread, file, line, name, message, cause, h_loader, h_protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
187 }
a61af66fc99e Initial load
duke
parents:
diff changeset
188
a61af66fc99e Initial load
duke
parents:
diff changeset
189 void Exceptions::_throw_args(Thread* thread, const char* file, int line, symbolHandle h_name, symbolHandle h_signature, JavaCallArguments *args) {
a61af66fc99e Initial load
duke
parents:
diff changeset
190 // Check for special boot-strapping/vm-thread handling
a61af66fc99e Initial load
duke
parents:
diff changeset
191 if (special_exception(thread, file, line, h_name, NULL)) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
192 // Create and throw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
193 Handle h_loader(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
194 Handle h_prot(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
195 Handle h_cause(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
196 Handle exception = new_exception(thread, h_name, h_signature, args, h_cause, h_loader, h_prot);
a61af66fc99e Initial load
duke
parents:
diff changeset
197 _throw(thread, file, line, exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
198 }
a61af66fc99e Initial load
duke
parents:
diff changeset
199
a61af66fc99e Initial load
duke
parents:
diff changeset
200
a61af66fc99e Initial load
duke
parents:
diff changeset
201 void Exceptions::throw_stack_overflow_exception(Thread* THREAD, const char* file, int line) {
a61af66fc99e Initial load
duke
parents:
diff changeset
202 Handle exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
203 if (!THREAD->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
204 klassOop k = SystemDictionary::StackOverflowError_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
205 oop e = instanceKlass::cast(k)->allocate_instance(CHECK);
a61af66fc99e Initial load
duke
parents:
diff changeset
206 exception = Handle(THREAD, e); // fill_in_stack trace does gc
1867
b6aedd1acdc0 6983240: guarantee((Solaris::min_stack_allowed >= (StackYellowPages+StackRedPages...) wrong
coleenp
parents: 1684
diff changeset
207 assert(instanceKlass::cast(k)->is_initialized(), "need to increase min_stack_allowed calculation");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
208 if (StackTraceInThrowable) {
a61af66fc99e Initial load
duke
parents:
diff changeset
209 java_lang_Throwable::fill_in_stack_trace(exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
210 }
a61af66fc99e Initial load
duke
parents:
diff changeset
211 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // if prior exception, throw that one instead
a61af66fc99e Initial load
duke
parents:
diff changeset
213 exception = Handle(THREAD, THREAD->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
214 }
a61af66fc99e Initial load
duke
parents:
diff changeset
215 _throw_oop(THREAD, file, line, exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
216 }
a61af66fc99e Initial load
duke
parents:
diff changeset
217
a61af66fc99e Initial load
duke
parents:
diff changeset
218 void Exceptions::fthrow(Thread* thread, const char* file, int line, symbolHandle h_name, const char* format, ...) {
a61af66fc99e Initial load
duke
parents:
diff changeset
219 const int max_msg_size = 1024;
a61af66fc99e Initial load
duke
parents:
diff changeset
220 va_list ap;
a61af66fc99e Initial load
duke
parents:
diff changeset
221 va_start(ap, format);
a61af66fc99e Initial load
duke
parents:
diff changeset
222 char msg[max_msg_size];
a61af66fc99e Initial load
duke
parents:
diff changeset
223 vsnprintf(msg, max_msg_size, format, ap);
a61af66fc99e Initial load
duke
parents:
diff changeset
224 msg[max_msg_size-1] = '\0';
a61af66fc99e Initial load
duke
parents:
diff changeset
225 va_end(ap);
a61af66fc99e Initial load
duke
parents:
diff changeset
226 _throw_msg(thread, file, line, h_name, msg);
a61af66fc99e Initial load
duke
parents:
diff changeset
227 }
a61af66fc99e Initial load
duke
parents:
diff changeset
228
a61af66fc99e Initial load
duke
parents:
diff changeset
229 // Creates an exception oop, calls the <init> method with the given signature.
a61af66fc99e Initial load
duke
parents:
diff changeset
230 // and returns a Handle
a61af66fc99e Initial load
duke
parents:
diff changeset
231 // Initializes the cause if cause non-null
a61af66fc99e Initial load
duke
parents:
diff changeset
232 Handle Exceptions::new_exception(Thread *thread, symbolHandle h_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
233 symbolHandle signature,
a61af66fc99e Initial load
duke
parents:
diff changeset
234 JavaCallArguments *args,
a61af66fc99e Initial load
duke
parents:
diff changeset
235 Handle h_cause, Handle h_loader,
a61af66fc99e Initial load
duke
parents:
diff changeset
236 Handle h_protection_domain) {
a61af66fc99e Initial load
duke
parents:
diff changeset
237 assert(Universe::is_fully_initialized(),
a61af66fc99e Initial load
duke
parents:
diff changeset
238 "cannot be called during initialization");
a61af66fc99e Initial load
duke
parents:
diff changeset
239 assert(thread->is_Java_thread(), "can only be called by a Java thread");
a61af66fc99e Initial load
duke
parents:
diff changeset
240 assert(!thread->has_pending_exception(), "already has exception");
a61af66fc99e Initial load
duke
parents:
diff changeset
241
a61af66fc99e Initial load
duke
parents:
diff changeset
242 Handle h_exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
243
a61af66fc99e Initial load
duke
parents:
diff changeset
244 // Resolve exception klass
a61af66fc99e Initial load
duke
parents:
diff changeset
245 klassOop ik = SystemDictionary::resolve_or_fail(h_name, h_loader, h_protection_domain, true, thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
246 instanceKlassHandle klass (thread, ik);
a61af66fc99e Initial load
duke
parents:
diff changeset
247
a61af66fc99e Initial load
duke
parents:
diff changeset
248 if (!thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
249 assert(klass.not_null(), "klass must exist");
a61af66fc99e Initial load
duke
parents:
diff changeset
250 // We are about to create an instance - so make sure that klass is initialized
a61af66fc99e Initial load
duke
parents:
diff changeset
251 klass->initialize(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
252 if (!thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
253 // Allocate new exception
a61af66fc99e Initial load
duke
parents:
diff changeset
254 h_exception = klass->allocate_instance_handle(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
255 if (!thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
256 JavaValue result(T_VOID);
a61af66fc99e Initial load
duke
parents:
diff changeset
257 args->set_receiver(h_exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
258 // Call constructor
a61af66fc99e Initial load
duke
parents:
diff changeset
259 JavaCalls::call_special(&result, klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
260 vmSymbolHandles::object_initializer_name(),
a61af66fc99e Initial load
duke
parents:
diff changeset
261 signature,
a61af66fc99e Initial load
duke
parents:
diff changeset
262 args,
a61af66fc99e Initial load
duke
parents:
diff changeset
263 thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
264
a61af66fc99e Initial load
duke
parents:
diff changeset
265 }
a61af66fc99e Initial load
duke
parents:
diff changeset
266 }
a61af66fc99e Initial load
duke
parents:
diff changeset
267
a61af66fc99e Initial load
duke
parents:
diff changeset
268 // Future: object initializer should take a cause argument
a61af66fc99e Initial load
duke
parents:
diff changeset
269 if (h_cause() != NULL) {
1142
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1011
diff changeset
270 assert(h_cause->is_a(SystemDictionary::Throwable_klass()),
0
a61af66fc99e Initial load
duke
parents:
diff changeset
271 "exception cause is not a subclass of java/lang/Throwable");
a61af66fc99e Initial load
duke
parents:
diff changeset
272 JavaValue result1(T_OBJECT);
a61af66fc99e Initial load
duke
parents:
diff changeset
273 JavaCallArguments args1;
a61af66fc99e Initial load
duke
parents:
diff changeset
274 args1.set_receiver(h_exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
275 args1.push_oop(h_cause);
a61af66fc99e Initial load
duke
parents:
diff changeset
276 JavaCalls::call_virtual(&result1, klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
277 vmSymbolHandles::initCause_name(),
a61af66fc99e Initial load
duke
parents:
diff changeset
278 vmSymbolHandles::throwable_throwable_signature(),
a61af66fc99e Initial load
duke
parents:
diff changeset
279 &args1,
a61af66fc99e Initial load
duke
parents:
diff changeset
280 thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
281 }
a61af66fc99e Initial load
duke
parents:
diff changeset
282 }
a61af66fc99e Initial load
duke
parents:
diff changeset
283
a61af66fc99e Initial load
duke
parents:
diff changeset
284 // Check if another exception was thrown in the process, if so rethrow that one
a61af66fc99e Initial load
duke
parents:
diff changeset
285 if (thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
286 h_exception = Handle(thread, thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
287 thread->clear_pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
288 }
a61af66fc99e Initial load
duke
parents:
diff changeset
289 return h_exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
290 }
a61af66fc99e Initial load
duke
parents:
diff changeset
291
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // Convenience method. Calls either the <init>() or <init>(String) method when
a61af66fc99e Initial load
duke
parents:
diff changeset
293 // creating a new exception
a61af66fc99e Initial load
duke
parents:
diff changeset
294 Handle Exceptions::new_exception(Thread* thread, symbolHandle h_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
295 const char* message, Handle h_cause,
a61af66fc99e Initial load
duke
parents:
diff changeset
296 Handle h_loader,
a61af66fc99e Initial load
duke
parents:
diff changeset
297 Handle h_protection_domain,
a61af66fc99e Initial load
duke
parents:
diff changeset
298 ExceptionMsgToUtf8Mode to_utf8_safe) {
a61af66fc99e Initial load
duke
parents:
diff changeset
299 JavaCallArguments args;
a61af66fc99e Initial load
duke
parents:
diff changeset
300 symbolHandle signature;
a61af66fc99e Initial load
duke
parents:
diff changeset
301 if (message == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
302 signature = vmSymbolHandles::void_method_signature();
a61af66fc99e Initial load
duke
parents:
diff changeset
303 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
304 // We want to allocate storage, but we can't do that if there's
a61af66fc99e Initial load
duke
parents:
diff changeset
305 // a pending exception, so we preserve any pending exception
a61af66fc99e Initial load
duke
parents:
diff changeset
306 // around the allocation.
a61af66fc99e Initial load
duke
parents:
diff changeset
307 // If we get an exception from the allocation, prefer that to
a61af66fc99e Initial load
duke
parents:
diff changeset
308 // the exception we are trying to build, or the pending exception.
a61af66fc99e Initial load
duke
parents:
diff changeset
309 // This is sort of like what PRESERVE_EXCEPTION_MARK does, except
a61af66fc99e Initial load
duke
parents:
diff changeset
310 // for the preferencing and the early returns.
a61af66fc99e Initial load
duke
parents:
diff changeset
311 Handle incoming_exception (thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
312 if (thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
313 incoming_exception = Handle(thread, thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
314 thread->clear_pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
315 }
a61af66fc99e Initial load
duke
parents:
diff changeset
316 Handle msg;
a61af66fc99e Initial load
duke
parents:
diff changeset
317 if (to_utf8_safe == safe_to_utf8) {
a61af66fc99e Initial load
duke
parents:
diff changeset
318 // Make a java UTF8 string.
a61af66fc99e Initial load
duke
parents:
diff changeset
319 msg = java_lang_String::create_from_str(message, thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
320 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
321 // Make a java string keeping the encoding scheme of the original string.
a61af66fc99e Initial load
duke
parents:
diff changeset
322 msg = java_lang_String::create_from_platform_dependent_str(message, thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
323 }
a61af66fc99e Initial load
duke
parents:
diff changeset
324 if (thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
325 Handle exception(thread, thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
326 thread->clear_pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
327 return exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
328 }
a61af66fc99e Initial load
duke
parents:
diff changeset
329 if (incoming_exception.not_null()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
330 return incoming_exception;
a61af66fc99e Initial load
duke
parents:
diff changeset
331 }
a61af66fc99e Initial load
duke
parents:
diff changeset
332 args.push_oop(msg);
a61af66fc99e Initial load
duke
parents:
diff changeset
333 signature = vmSymbolHandles::string_void_signature();
a61af66fc99e Initial load
duke
parents:
diff changeset
334 }
a61af66fc99e Initial load
duke
parents:
diff changeset
335 return new_exception(thread, h_name, signature, &args, h_cause, h_loader, h_protection_domain);
a61af66fc99e Initial load
duke
parents:
diff changeset
336 }
a61af66fc99e Initial load
duke
parents:
diff changeset
337
a61af66fc99e Initial load
duke
parents:
diff changeset
338 // Another convenience method that creates handles for null class loaders and
a61af66fc99e Initial load
duke
parents:
diff changeset
339 // protection domains and null causes.
a61af66fc99e Initial load
duke
parents:
diff changeset
340 // If the last parameter 'to_utf8_mode' is safe_to_utf8,
a61af66fc99e Initial load
duke
parents:
diff changeset
341 // it means we can safely ignore the encoding scheme of the message string and
a61af66fc99e Initial load
duke
parents:
diff changeset
342 // convert it directly to a java UTF8 string. Otherwise, we need to take the
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // encoding scheme of the string into account. One thing we should do at some
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // point is to push this flag down to class java_lang_String since other
a61af66fc99e Initial load
duke
parents:
diff changeset
345 // classes may need similar functionalities.
a61af66fc99e Initial load
duke
parents:
diff changeset
346 Handle Exceptions::new_exception(Thread* thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
347 symbolOop name,
a61af66fc99e Initial load
duke
parents:
diff changeset
348 const char* message,
a61af66fc99e Initial load
duke
parents:
diff changeset
349 ExceptionMsgToUtf8Mode to_utf8_safe) {
a61af66fc99e Initial load
duke
parents:
diff changeset
350
a61af66fc99e Initial load
duke
parents:
diff changeset
351 symbolHandle h_name(thread, name);
a61af66fc99e Initial load
duke
parents:
diff changeset
352 Handle h_loader(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
353 Handle h_prot(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
354 Handle h_cause(thread, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
355 return Exceptions::new_exception(thread, h_name, message, h_cause, h_loader,
a61af66fc99e Initial load
duke
parents:
diff changeset
356 h_prot, to_utf8_safe);
a61af66fc99e Initial load
duke
parents:
diff changeset
357 }
a61af66fc99e Initial load
duke
parents:
diff changeset
358
a61af66fc99e Initial load
duke
parents:
diff changeset
359 // Implementation of ExceptionMark
a61af66fc99e Initial load
duke
parents:
diff changeset
360
a61af66fc99e Initial load
duke
parents:
diff changeset
361 ExceptionMark::ExceptionMark(Thread*& thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
362 thread = Thread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
363 _thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
364 if (_thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
365 oop exception = _thread->pending_exception();
a61af66fc99e Initial load
duke
parents:
diff changeset
366 _thread->clear_pending_exception(); // Needed to avoid infinite recursion
a61af66fc99e Initial load
duke
parents:
diff changeset
367 exception->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 fatal("ExceptionMark constructor expects no pending exceptions");
a61af66fc99e Initial load
duke
parents:
diff changeset
369 }
a61af66fc99e Initial load
duke
parents:
diff changeset
370 }
a61af66fc99e Initial load
duke
parents:
diff changeset
371
a61af66fc99e Initial load
duke
parents:
diff changeset
372
a61af66fc99e Initial load
duke
parents:
diff changeset
373 ExceptionMark::~ExceptionMark() {
a61af66fc99e Initial load
duke
parents:
diff changeset
374 if (_thread->has_pending_exception()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
375 Handle exception(_thread, _thread->pending_exception());
a61af66fc99e Initial load
duke
parents:
diff changeset
376 _thread->clear_pending_exception(); // Needed to avoid infinite recursion
a61af66fc99e Initial load
duke
parents:
diff changeset
377 if (is_init_completed()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
378 exception->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
379 fatal("ExceptionMark destructor expects no pending exceptions");
a61af66fc99e Initial load
duke
parents:
diff changeset
380 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
381 vm_exit_during_initialization(exception);
a61af66fc99e Initial load
duke
parents:
diff changeset
382 }
a61af66fc99e Initial load
duke
parents:
diff changeset
383 }
a61af66fc99e Initial load
duke
parents:
diff changeset
384 }
a61af66fc99e Initial load
duke
parents:
diff changeset
385
a61af66fc99e Initial load
duke
parents:
diff changeset
386 // ----------------------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
387
a61af66fc99e Initial load
duke
parents:
diff changeset
388 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
389 // caller frees value_string if necessary
1684
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
390 void Exceptions::debug_check_abort(const char *value_string, const char* message) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
391 if (AbortVMOnException != NULL && value_string != NULL &&
a61af66fc99e Initial load
duke
parents:
diff changeset
392 strstr(value_string, AbortVMOnException)) {
1684
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
393 if (AbortVMOnExceptionMessage == NULL || message == NULL ||
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
394 strcmp(message, AbortVMOnExceptionMessage) == 0) {
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
395 fatal(err_msg("Saw %s, aborting", value_string));
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
396 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
397 }
a61af66fc99e Initial load
duke
parents:
diff changeset
398 }
a61af66fc99e Initial load
duke
parents:
diff changeset
399
1684
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
400 void Exceptions::debug_check_abort(Handle exception, const char* message) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
401 if (AbortVMOnException != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
402 ResourceMark rm;
1684
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
403 if (message == NULL && exception->is_a(SystemDictionary::Throwable_klass())) {
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
404 oop msg = java_lang_Throwable::message(exception);
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
405 if (msg != NULL) {
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
406 message = java_lang_String::as_utf8_string(msg);
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
407 }
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
408 }
66c5dadb4d61 6973308: Missing zero length check before repne scas in check_klass_subtype_slow_path()
kvn
parents: 1552
diff changeset
409 debug_check_abort(instanceKlass::cast(exception()->klass())->external_name(), message);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
410 }
a61af66fc99e Initial load
duke
parents:
diff changeset
411 }
a61af66fc99e Initial load
duke
parents:
diff changeset
412 #endif