src/share/vm/utilities/exceptions.cpp

Mon, 15 Oct 2012 10:02:42 -0700

author
johnc
date
Mon, 15 Oct 2012 10:02:42 -0700
changeset 4176
4202510ee0fe
parent 4037
da91efe96a93
child 4299
f34d701e952e
permissions
-rw-r--r--

8000831: Heap verification output incorrect/incomplete
Summary: Restore non-silent output of heap verification.
Reviewed-by: ysr, brutisso, jmasa

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

mercurial