src/share/vm/utilities/exceptions.cpp

Mon, 03 Jan 2011 14:09:11 -0500

author
coleenp
date
Mon, 03 Jan 2011 14:09:11 -0500
changeset 2418
36c186bcc085
parent 2314
f95d63e2154a
child 2497
3582bf76420e
permissions
-rw-r--r--

6302804: Hotspot VM dies ungraceful death when C heap is exhausted in various places.
Summary: enhance the error reporting mechanism to help user to fix the problem rather than making it look like a VM error.
Reviewed-by: kvn, kamg

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

mercurial