src/os_cpu/solaris_x86/vm/os_solaris_x86.cpp

Tue, 08 Apr 2008 12:23:15 -0400

author
sgoldman
date
Tue, 08 Apr 2008 12:23:15 -0400
changeset 542
93b6525e3b82
parent 435
a61af66fc99e
child 631
d1605aabd0a1
permissions
-rw-r--r--

6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
Summary: Rewrite frame::safe_for_sender and friends to be safe for collector/analyzer
Reviewed-by: dcubed, kvn

duke@435 1 /*
duke@435 2 * Copyright 1999-2007 Sun Microsystems, Inc. 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 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 // do not include precompiled header file
duke@435 26 # include "incls/_os_solaris_x86.cpp.incl"
duke@435 27
duke@435 28 // put OS-includes here
duke@435 29 # include <sys/types.h>
duke@435 30 # include <sys/mman.h>
duke@435 31 # include <pthread.h>
duke@435 32 # include <signal.h>
duke@435 33 # include <setjmp.h>
duke@435 34 # include <errno.h>
duke@435 35 # include <dlfcn.h>
duke@435 36 # include <stdio.h>
duke@435 37 # include <unistd.h>
duke@435 38 # include <sys/resource.h>
duke@435 39 # include <thread.h>
duke@435 40 # include <sys/stat.h>
duke@435 41 # include <sys/time.h>
duke@435 42 # include <sys/filio.h>
duke@435 43 # include <sys/utsname.h>
duke@435 44 # include <sys/systeminfo.h>
duke@435 45 # include <sys/socket.h>
duke@435 46 # include <sys/trap.h>
duke@435 47 # include <sys/lwp.h>
duke@435 48 # include <pwd.h>
duke@435 49 # include <poll.h>
duke@435 50 # include <sys/lwp.h>
duke@435 51 # include <procfs.h> // see comment in <sys/procfs.h>
duke@435 52
duke@435 53 #ifndef AMD64
duke@435 54 // QQQ seems useless at this point
duke@435 55 # define _STRUCTURED_PROC 1 // this gets us the new structured proc interfaces of 5.6 & later
duke@435 56 #endif // AMD64
duke@435 57 # include <sys/procfs.h> // see comment in <sys/procfs.h>
duke@435 58
duke@435 59
duke@435 60 #define MAX_PATH (2 * K)
duke@435 61
duke@435 62 // Minimum stack size for the VM. It's easier to document a constant value
duke@435 63 // but it's different for x86 and sparc because the page sizes are different.
duke@435 64 #ifdef AMD64
duke@435 65 size_t os::Solaris::min_stack_allowed = 224*K;
duke@435 66 #define REG_SP REG_RSP
duke@435 67 #define REG_PC REG_RIP
duke@435 68 #define REG_FP REG_RBP
duke@435 69 #else
duke@435 70 size_t os::Solaris::min_stack_allowed = 64*K;
duke@435 71 #define REG_SP UESP
duke@435 72 #define REG_PC EIP
duke@435 73 #define REG_FP EBP
duke@435 74 // 4900493 counter to prevent runaway LDTR refresh attempt
duke@435 75
duke@435 76 static volatile int ldtr_refresh = 0;
duke@435 77 // the libthread instruction that faults because of the stale LDTR
duke@435 78
duke@435 79 static const unsigned char movlfs[] = { 0x8e, 0xe0 // movl %eax,%fs
duke@435 80 };
duke@435 81 #endif // AMD64
duke@435 82
duke@435 83 char* os::non_memory_address_word() {
duke@435 84 // Must never look like an address returned by reserve_memory,
duke@435 85 // even in its subfields (as defined by the CPU immediate fields,
duke@435 86 // if the CPU splits constants across multiple instructions).
duke@435 87 return (char*) -1;
duke@435 88 }
duke@435 89
duke@435 90 //
duke@435 91 // Validate a ucontext retrieved from walking a uc_link of a ucontext.
duke@435 92 // There are issues with libthread giving out uc_links for different threads
duke@435 93 // on the same uc_link chain and bad or circular links.
duke@435 94 //
duke@435 95 bool os::Solaris::valid_ucontext(Thread* thread, ucontext_t* valid, ucontext_t* suspect) {
duke@435 96 if (valid >= suspect ||
duke@435 97 valid->uc_stack.ss_flags != suspect->uc_stack.ss_flags ||
duke@435 98 valid->uc_stack.ss_sp != suspect->uc_stack.ss_sp ||
duke@435 99 valid->uc_stack.ss_size != suspect->uc_stack.ss_size) {
duke@435 100 DEBUG_ONLY(tty->print_cr("valid_ucontext: failed test 1");)
duke@435 101 return false;
duke@435 102 }
duke@435 103
duke@435 104 if (thread->is_Java_thread()) {
duke@435 105 if (!valid_stack_address(thread, (address)suspect)) {
duke@435 106 DEBUG_ONLY(tty->print_cr("valid_ucontext: uc_link not in thread stack");)
duke@435 107 return false;
duke@435 108 }
duke@435 109 if (!valid_stack_address(thread, (address) suspect->uc_mcontext.gregs[REG_SP])) {
duke@435 110 DEBUG_ONLY(tty->print_cr("valid_ucontext: stackpointer not in thread stack");)
duke@435 111 return false;
duke@435 112 }
duke@435 113 }
duke@435 114 return true;
duke@435 115 }
duke@435 116
duke@435 117 // We will only follow one level of uc_link since there are libthread
duke@435 118 // issues with ucontext linking and it is better to be safe and just
duke@435 119 // let caller retry later.
duke@435 120 ucontext_t* os::Solaris::get_valid_uc_in_signal_handler(Thread *thread,
duke@435 121 ucontext_t *uc) {
duke@435 122
duke@435 123 ucontext_t *retuc = NULL;
duke@435 124
duke@435 125 if (uc != NULL) {
duke@435 126 if (uc->uc_link == NULL) {
duke@435 127 // cannot validate without uc_link so accept current ucontext
duke@435 128 retuc = uc;
duke@435 129 } else if (os::Solaris::valid_ucontext(thread, uc, uc->uc_link)) {
duke@435 130 // first ucontext is valid so try the next one
duke@435 131 uc = uc->uc_link;
duke@435 132 if (uc->uc_link == NULL) {
duke@435 133 // cannot validate without uc_link so accept current ucontext
duke@435 134 retuc = uc;
duke@435 135 } else if (os::Solaris::valid_ucontext(thread, uc, uc->uc_link)) {
duke@435 136 // the ucontext one level down is also valid so return it
duke@435 137 retuc = uc;
duke@435 138 }
duke@435 139 }
duke@435 140 }
duke@435 141 return retuc;
duke@435 142 }
duke@435 143
duke@435 144 // Assumes ucontext is valid
duke@435 145 ExtendedPC os::Solaris::ucontext_get_ExtendedPC(ucontext_t *uc) {
duke@435 146 return ExtendedPC((address)uc->uc_mcontext.gregs[REG_PC]);
duke@435 147 }
duke@435 148
duke@435 149 // Assumes ucontext is valid
duke@435 150 intptr_t* os::Solaris::ucontext_get_sp(ucontext_t *uc) {
duke@435 151 return (intptr_t*)uc->uc_mcontext.gregs[REG_SP];
duke@435 152 }
duke@435 153
duke@435 154 // Assumes ucontext is valid
duke@435 155 intptr_t* os::Solaris::ucontext_get_fp(ucontext_t *uc) {
duke@435 156 return (intptr_t*)uc->uc_mcontext.gregs[REG_FP];
duke@435 157 }
duke@435 158
duke@435 159 // For Forte Analyzer AsyncGetCallTrace profiling support - thread
duke@435 160 // is currently interrupted by SIGPROF.
duke@435 161 //
duke@435 162 // The difference between this and os::fetch_frame_from_context() is that
duke@435 163 // here we try to skip nested signal frames.
duke@435 164 ExtendedPC os::Solaris::fetch_frame_from_ucontext(Thread* thread,
duke@435 165 ucontext_t* uc, intptr_t** ret_sp, intptr_t** ret_fp) {
duke@435 166
duke@435 167 assert(thread != NULL, "just checking");
duke@435 168 assert(ret_sp != NULL, "just checking");
duke@435 169 assert(ret_fp != NULL, "just checking");
duke@435 170
duke@435 171 ucontext_t *luc = os::Solaris::get_valid_uc_in_signal_handler(thread, uc);
duke@435 172 return os::fetch_frame_from_context(luc, ret_sp, ret_fp);
duke@435 173 }
duke@435 174
duke@435 175 ExtendedPC os::fetch_frame_from_context(void* ucVoid,
duke@435 176 intptr_t** ret_sp, intptr_t** ret_fp) {
duke@435 177
duke@435 178 ExtendedPC epc;
duke@435 179 ucontext_t *uc = (ucontext_t*)ucVoid;
duke@435 180
duke@435 181 if (uc != NULL) {
duke@435 182 epc = os::Solaris::ucontext_get_ExtendedPC(uc);
duke@435 183 if (ret_sp) *ret_sp = os::Solaris::ucontext_get_sp(uc);
duke@435 184 if (ret_fp) *ret_fp = os::Solaris::ucontext_get_fp(uc);
duke@435 185 } else {
duke@435 186 // construct empty ExtendedPC for return value checking
duke@435 187 epc = ExtendedPC(NULL);
duke@435 188 if (ret_sp) *ret_sp = (intptr_t *)NULL;
duke@435 189 if (ret_fp) *ret_fp = (intptr_t *)NULL;
duke@435 190 }
duke@435 191
duke@435 192 return epc;
duke@435 193 }
duke@435 194
duke@435 195 frame os::fetch_frame_from_context(void* ucVoid) {
duke@435 196 intptr_t* sp;
duke@435 197 intptr_t* fp;
duke@435 198 ExtendedPC epc = fetch_frame_from_context(ucVoid, &sp, &fp);
duke@435 199 return frame(sp, fp, epc.pc());
duke@435 200 }
duke@435 201
duke@435 202 frame os::get_sender_for_C_frame(frame* fr) {
duke@435 203 return frame(fr->sender_sp(), fr->link(), fr->sender_pc());
duke@435 204 }
duke@435 205
duke@435 206 extern "C" intptr_t *_get_previous_fp(); // in .il file.
duke@435 207
duke@435 208 frame os::current_frame() {
duke@435 209 intptr_t* fp = _get_previous_fp();
duke@435 210 frame myframe((intptr_t*)os::current_stack_pointer(),
duke@435 211 (intptr_t*)fp,
duke@435 212 CAST_FROM_FN_PTR(address, os::current_frame));
duke@435 213 if (os::is_first_C_frame(&myframe)) {
duke@435 214 // stack is not walkable
sgoldman@542 215 frame ret; // This will be a null useless frame
sgoldman@542 216 return ret;
duke@435 217 } else {
duke@435 218 return os::get_sender_for_C_frame(&myframe);
duke@435 219 }
duke@435 220 }
duke@435 221
duke@435 222 // This is a simple callback that just fetches a PC for an interrupted thread.
duke@435 223 // The thread need not be suspended and the fetched PC is just a hint.
duke@435 224 // This one is currently used for profiling the VMThread ONLY!
duke@435 225
duke@435 226 // Must be synchronous
duke@435 227 void GetThreadPC_Callback::execute(OSThread::InterruptArguments *args) {
duke@435 228 Thread* thread = args->thread();
duke@435 229 ucontext_t* uc = args->ucontext();
duke@435 230 intptr_t* sp;
duke@435 231
duke@435 232 assert(ProfileVM && thread->is_VM_thread(), "just checking");
duke@435 233
duke@435 234 ExtendedPC new_addr((address)uc->uc_mcontext.gregs[REG_PC]);
duke@435 235 _addr = new_addr;
duke@435 236 }
duke@435 237
duke@435 238 static int threadgetstate(thread_t tid, int *flags, lwpid_t *lwp, stack_t *ss, gregset_t rs, lwpstatus_t *lwpstatus) {
duke@435 239 char lwpstatusfile[PROCFILE_LENGTH];
duke@435 240 int lwpfd, err;
duke@435 241
duke@435 242 if (err = os::Solaris::thr_getstate(tid, flags, lwp, ss, rs))
duke@435 243 return (err);
duke@435 244 if (*flags == TRS_LWPID) {
duke@435 245 sprintf(lwpstatusfile, "/proc/%d/lwp/%d/lwpstatus", getpid(),
duke@435 246 *lwp);
duke@435 247 if ((lwpfd = open(lwpstatusfile, O_RDONLY)) < 0) {
duke@435 248 perror("thr_mutator_status: open lwpstatus");
duke@435 249 return (EINVAL);
duke@435 250 }
duke@435 251 if (pread(lwpfd, lwpstatus, sizeof (lwpstatus_t), (off_t)0) !=
duke@435 252 sizeof (lwpstatus_t)) {
duke@435 253 perror("thr_mutator_status: read lwpstatus");
duke@435 254 (void) close(lwpfd);
duke@435 255 return (EINVAL);
duke@435 256 }
duke@435 257 (void) close(lwpfd);
duke@435 258 }
duke@435 259 return (0);
duke@435 260 }
duke@435 261
duke@435 262 #ifndef AMD64
duke@435 263
duke@435 264 // Detecting SSE support by OS
duke@435 265 // From solaris_i486.s
duke@435 266 extern "C" bool sse_check();
duke@435 267 extern "C" bool sse_unavailable();
duke@435 268
duke@435 269 enum { SSE_UNKNOWN, SSE_NOT_SUPPORTED, SSE_SUPPORTED};
duke@435 270 static int sse_status = SSE_UNKNOWN;
duke@435 271
duke@435 272
duke@435 273 static void check_for_sse_support() {
duke@435 274 if (!VM_Version::supports_sse()) {
duke@435 275 sse_status = SSE_NOT_SUPPORTED;
duke@435 276 return;
duke@435 277 }
duke@435 278 // looking for _sse_hw in libc.so, if it does not exist or
duke@435 279 // the value (int) is 0, OS has no support for SSE
duke@435 280 int *sse_hwp;
duke@435 281 void *h;
duke@435 282
duke@435 283 if ((h=dlopen("/usr/lib/libc.so", RTLD_LAZY)) == NULL) {
duke@435 284 //open failed, presume no support for SSE
duke@435 285 sse_status = SSE_NOT_SUPPORTED;
duke@435 286 return;
duke@435 287 }
duke@435 288 if ((sse_hwp = (int *)dlsym(h, "_sse_hw")) == NULL) {
duke@435 289 sse_status = SSE_NOT_SUPPORTED;
duke@435 290 } else if (*sse_hwp == 0) {
duke@435 291 sse_status = SSE_NOT_SUPPORTED;
duke@435 292 }
duke@435 293 dlclose(h);
duke@435 294
duke@435 295 if (sse_status == SSE_UNKNOWN) {
duke@435 296 bool (*try_sse)() = (bool (*)())sse_check;
duke@435 297 sse_status = (*try_sse)() ? SSE_SUPPORTED : SSE_NOT_SUPPORTED;
duke@435 298 }
duke@435 299
duke@435 300 }
duke@435 301
duke@435 302 bool os::supports_sse() {
duke@435 303 if (sse_status == SSE_UNKNOWN)
duke@435 304 check_for_sse_support();
duke@435 305 return sse_status == SSE_SUPPORTED;
duke@435 306 }
duke@435 307
duke@435 308 #endif // AMD64
duke@435 309
duke@435 310 bool os::is_allocatable(size_t bytes) {
duke@435 311 #ifdef AMD64
duke@435 312 return true;
duke@435 313 #else
duke@435 314
duke@435 315 if (bytes < 2 * G) {
duke@435 316 return true;
duke@435 317 }
duke@435 318
duke@435 319 char* addr = reserve_memory(bytes, NULL);
duke@435 320
duke@435 321 if (addr != NULL) {
duke@435 322 release_memory(addr, bytes);
duke@435 323 }
duke@435 324
duke@435 325 return addr != NULL;
duke@435 326 #endif // AMD64
duke@435 327
duke@435 328 }
duke@435 329
duke@435 330 extern "C" int JVM_handle_solaris_signal(int signo, siginfo_t* siginfo, void* ucontext, int abort_if_unrecognized);
duke@435 331
duke@435 332 extern "C" void Fetch32PFI () ;
duke@435 333 extern "C" void Fetch32Resume () ;
duke@435 334 #ifdef AMD64
duke@435 335 extern "C" void FetchNPFI () ;
duke@435 336 extern "C" void FetchNResume () ;
duke@435 337 #endif // AMD64
duke@435 338
duke@435 339 int JVM_handle_solaris_signal(int sig, siginfo_t* info, void* ucVoid, int abort_if_unrecognized) {
duke@435 340 ucontext_t* uc = (ucontext_t*) ucVoid;
duke@435 341
duke@435 342 #ifndef AMD64
duke@435 343 if (sig == SIGILL && info->si_addr == (caddr_t)sse_check) {
duke@435 344 // the SSE instruction faulted. supports_sse() need return false.
duke@435 345 uc->uc_mcontext.gregs[EIP] = (greg_t)sse_unavailable;
duke@435 346 return true;
duke@435 347 }
duke@435 348 #endif // !AMD64
duke@435 349
duke@435 350 Thread* t = ThreadLocalStorage::get_thread_slow(); // slow & steady
duke@435 351
duke@435 352 SignalHandlerMark shm(t);
duke@435 353
duke@435 354 if(sig == SIGPIPE || sig == SIGXFSZ) {
duke@435 355 if (os::Solaris::chained_handler(sig, info, ucVoid)) {
duke@435 356 return true;
duke@435 357 } else {
duke@435 358 if (PrintMiscellaneous && (WizardMode || Verbose)) {
duke@435 359 char buf[64];
duke@435 360 warning("Ignoring %s - see 4229104 or 6499219",
duke@435 361 os::exception_name(sig, buf, sizeof(buf)));
duke@435 362
duke@435 363 }
duke@435 364 return true;
duke@435 365 }
duke@435 366 }
duke@435 367
duke@435 368 JavaThread* thread = NULL;
duke@435 369 VMThread* vmthread = NULL;
duke@435 370
duke@435 371 if (os::Solaris::signal_handlers_are_installed) {
duke@435 372 if (t != NULL ){
duke@435 373 if(t->is_Java_thread()) {
duke@435 374 thread = (JavaThread*)t;
duke@435 375 }
duke@435 376 else if(t->is_VM_thread()){
duke@435 377 vmthread = (VMThread *)t;
duke@435 378 }
duke@435 379 }
duke@435 380 }
duke@435 381
duke@435 382 guarantee(sig != os::Solaris::SIGinterrupt(), "Can not chain VM interrupt signal, try -XX:+UseAltSigs");
duke@435 383
duke@435 384 if (sig == os::Solaris::SIGasync()) {
duke@435 385 if(thread){
duke@435 386 OSThread::InterruptArguments args(thread, uc);
duke@435 387 thread->osthread()->do_interrupt_callbacks_at_interrupt(&args);
duke@435 388 return true;
duke@435 389 }
duke@435 390 else if(vmthread){
duke@435 391 OSThread::InterruptArguments args(vmthread, uc);
duke@435 392 vmthread->osthread()->do_interrupt_callbacks_at_interrupt(&args);
duke@435 393 return true;
duke@435 394 } else if (os::Solaris::chained_handler(sig, info, ucVoid)) {
duke@435 395 return true;
duke@435 396 } else {
duke@435 397 // If os::Solaris::SIGasync not chained, and this is a non-vm and
duke@435 398 // non-java thread
duke@435 399 return true;
duke@435 400 }
duke@435 401 }
duke@435 402
duke@435 403 if (info == NULL || info->si_code <= 0 || info->si_code == SI_NOINFO) {
duke@435 404 // can't decode this kind of signal
duke@435 405 info = NULL;
duke@435 406 } else {
duke@435 407 assert(sig == info->si_signo, "bad siginfo");
duke@435 408 }
duke@435 409
duke@435 410 // decide if this trap can be handled by a stub
duke@435 411 address stub = NULL;
duke@435 412
duke@435 413 address pc = NULL;
duke@435 414
duke@435 415 //%note os_trap_1
duke@435 416 if (info != NULL && uc != NULL && thread != NULL) {
duke@435 417 // factor me: getPCfromContext
duke@435 418 pc = (address) uc->uc_mcontext.gregs[REG_PC];
duke@435 419
duke@435 420 // SafeFetch32() support
duke@435 421 if (pc == (address) Fetch32PFI) {
duke@435 422 uc->uc_mcontext.gregs[REG_PC] = intptr_t(Fetch32Resume) ;
duke@435 423 return true ;
duke@435 424 }
duke@435 425 #ifdef AMD64
duke@435 426 if (pc == (address) FetchNPFI) {
duke@435 427 uc->uc_mcontext.gregs [REG_PC] = intptr_t(FetchNResume) ;
duke@435 428 return true ;
duke@435 429 }
duke@435 430 #endif // AMD64
duke@435 431
duke@435 432 // Handle ALL stack overflow variations here
duke@435 433 if (sig == SIGSEGV && info->si_code == SEGV_ACCERR) {
duke@435 434 address addr = (address) info->si_addr;
duke@435 435 if (thread->in_stack_yellow_zone(addr)) {
duke@435 436 thread->disable_stack_yellow_zone();
duke@435 437 if (thread->thread_state() == _thread_in_Java) {
duke@435 438 // Throw a stack overflow exception. Guard pages will be reenabled
duke@435 439 // while unwinding the stack.
duke@435 440 stub = SharedRuntime::continuation_for_implicit_exception(thread, pc, SharedRuntime::STACK_OVERFLOW);
duke@435 441 } else {
duke@435 442 // Thread was in the vm or native code. Return and try to finish.
duke@435 443 return true;
duke@435 444 }
duke@435 445 } else if (thread->in_stack_red_zone(addr)) {
duke@435 446 // Fatal red zone violation. Disable the guard pages and fall through
duke@435 447 // to handle_unexpected_exception way down below.
duke@435 448 thread->disable_stack_red_zone();
duke@435 449 tty->print_raw_cr("An irrecoverable stack overflow has occurred.");
duke@435 450 }
duke@435 451 }
duke@435 452
duke@435 453 if (thread->thread_state() == _thread_in_vm) {
duke@435 454 if (sig == SIGBUS && info->si_code == BUS_OBJERR && thread->doing_unsafe_access()) {
duke@435 455 stub = StubRoutines::handler_for_unsafe_access();
duke@435 456 }
duke@435 457 }
duke@435 458
duke@435 459 if (thread->thread_state() == _thread_in_Java) {
duke@435 460 // Support Safepoint Polling
duke@435 461 if ( sig == SIGSEGV && os::is_poll_address((address)info->si_addr)) {
duke@435 462 stub = SharedRuntime::get_poll_stub(pc);
duke@435 463 }
duke@435 464 else if (sig == SIGBUS && info->si_code == BUS_OBJERR) {
duke@435 465 // BugId 4454115: A read from a MappedByteBuffer can fault
duke@435 466 // here if the underlying file has been truncated.
duke@435 467 // Do not crash the VM in such a case.
duke@435 468 CodeBlob* cb = CodeCache::find_blob_unsafe(pc);
duke@435 469 nmethod* nm = cb->is_nmethod() ? (nmethod*)cb : NULL;
duke@435 470 if (nm != NULL && nm->has_unsafe_access()) {
duke@435 471 stub = StubRoutines::handler_for_unsafe_access();
duke@435 472 }
duke@435 473 }
duke@435 474 else
duke@435 475 if (sig == SIGFPE && info->si_code == FPE_INTDIV) {
duke@435 476 // integer divide by zero
duke@435 477 stub = SharedRuntime::continuation_for_implicit_exception(thread, pc, SharedRuntime::IMPLICIT_DIVIDE_BY_ZERO);
duke@435 478 }
duke@435 479 #ifndef AMD64
duke@435 480 else if (sig == SIGFPE && info->si_code == FPE_FLTDIV) {
duke@435 481 // floating-point divide by zero
duke@435 482 stub = SharedRuntime::continuation_for_implicit_exception(thread, pc, SharedRuntime::IMPLICIT_DIVIDE_BY_ZERO);
duke@435 483 }
duke@435 484 else if (sig == SIGFPE && info->si_code == FPE_FLTINV) {
duke@435 485 // The encoding of D2I in i486.ad can cause an exception prior
duke@435 486 // to the fist instruction if there was an invalid operation
duke@435 487 // pending. We want to dismiss that exception. From the win_32
duke@435 488 // side it also seems that if it really was the fist causing
duke@435 489 // the exception that we do the d2i by hand with different
duke@435 490 // rounding. Seems kind of weird. QQQ TODO
duke@435 491 // Note that we take the exception at the NEXT floating point instruction.
duke@435 492 if (pc[0] == 0xDB) {
duke@435 493 assert(pc[0] == 0xDB, "not a FIST opcode");
duke@435 494 assert(pc[1] == 0x14, "not a FIST opcode");
duke@435 495 assert(pc[2] == 0x24, "not a FIST opcode");
duke@435 496 return true;
duke@435 497 } else {
duke@435 498 assert(pc[-3] == 0xDB, "not an flt invalid opcode");
duke@435 499 assert(pc[-2] == 0x14, "not an flt invalid opcode");
duke@435 500 assert(pc[-1] == 0x24, "not an flt invalid opcode");
duke@435 501 }
duke@435 502 }
duke@435 503 else if (sig == SIGFPE ) {
duke@435 504 tty->print_cr("caught SIGFPE, info 0x%x.", info->si_code);
duke@435 505 }
duke@435 506 #endif // !AMD64
duke@435 507
duke@435 508 // QQQ It doesn't seem that we need to do this on x86 because we should be able
duke@435 509 // to return properly from the handler without this extra stuff on the back side.
duke@435 510
duke@435 511 else if (sig == SIGSEGV && info->si_code > 0 && !MacroAssembler::needs_explicit_null_check((intptr_t)info->si_addr)) {
duke@435 512 // Determination of interpreter/vtable stub/compiled code null exception
duke@435 513 stub = SharedRuntime::continuation_for_implicit_exception(thread, pc, SharedRuntime::IMPLICIT_NULL);
duke@435 514 }
duke@435 515 }
duke@435 516
duke@435 517 // jni_fast_Get<Primitive>Field can trap at certain pc's if a GC kicks in
duke@435 518 // and the heap gets shrunk before the field access.
duke@435 519 if ((sig == SIGSEGV) || (sig == SIGBUS)) {
duke@435 520 address addr = JNI_FastGetField::find_slowcase_pc(pc);
duke@435 521 if (addr != (address)-1) {
duke@435 522 stub = addr;
duke@435 523 }
duke@435 524 }
duke@435 525
duke@435 526 // Check to see if we caught the safepoint code in the
duke@435 527 // process of write protecting the memory serialization page.
duke@435 528 // It write enables the page immediately after protecting it
duke@435 529 // so we can just return to retry the write.
duke@435 530 if ((sig == SIGSEGV) &&
duke@435 531 os::is_memory_serialize_page(thread, (address)info->si_addr)) {
duke@435 532 // Block current thread until the memory serialize page permission restored.
duke@435 533 os::block_on_serialize_page_trap();
duke@435 534 return true;
duke@435 535 }
duke@435 536 }
duke@435 537
duke@435 538 // Execution protection violation
duke@435 539 //
duke@435 540 // Preventative code for future versions of Solaris which may
duke@435 541 // enable execution protection when running the 32-bit VM on AMD64.
duke@435 542 //
duke@435 543 // This should be kept as the last step in the triage. We don't
duke@435 544 // have a dedicated trap number for a no-execute fault, so be
duke@435 545 // conservative and allow other handlers the first shot.
duke@435 546 //
duke@435 547 // Note: We don't test that info->si_code == SEGV_ACCERR here.
duke@435 548 // this si_code is so generic that it is almost meaningless; and
duke@435 549 // the si_code for this condition may change in the future.
duke@435 550 // Furthermore, a false-positive should be harmless.
duke@435 551 if (UnguardOnExecutionViolation > 0 &&
duke@435 552 (sig == SIGSEGV || sig == SIGBUS) &&
duke@435 553 uc->uc_mcontext.gregs[TRAPNO] == T_PGFLT) { // page fault
duke@435 554 int page_size = os::vm_page_size();
duke@435 555 address addr = (address) info->si_addr;
duke@435 556 address pc = (address) uc->uc_mcontext.gregs[REG_PC];
duke@435 557 // Make sure the pc and the faulting address are sane.
duke@435 558 //
duke@435 559 // If an instruction spans a page boundary, and the page containing
duke@435 560 // the beginning of the instruction is executable but the following
duke@435 561 // page is not, the pc and the faulting address might be slightly
duke@435 562 // different - we still want to unguard the 2nd page in this case.
duke@435 563 //
duke@435 564 // 15 bytes seems to be a (very) safe value for max instruction size.
duke@435 565 bool pc_is_near_addr =
duke@435 566 (pointer_delta((void*) addr, (void*) pc, sizeof(char)) < 15);
duke@435 567 bool instr_spans_page_boundary =
duke@435 568 (align_size_down((intptr_t) pc ^ (intptr_t) addr,
duke@435 569 (intptr_t) page_size) > 0);
duke@435 570
duke@435 571 if (pc == addr || (pc_is_near_addr && instr_spans_page_boundary)) {
duke@435 572 static volatile address last_addr =
duke@435 573 (address) os::non_memory_address_word();
duke@435 574
duke@435 575 // In conservative mode, don't unguard unless the address is in the VM
duke@435 576 if (addr != last_addr &&
duke@435 577 (UnguardOnExecutionViolation > 1 || os::address_is_in_vm(addr))) {
duke@435 578
duke@435 579 // Unguard and retry
duke@435 580 address page_start =
duke@435 581 (address) align_size_down((intptr_t) addr, (intptr_t) page_size);
duke@435 582 bool res = os::unguard_memory((char*) page_start, page_size);
duke@435 583
duke@435 584 if (PrintMiscellaneous && Verbose) {
duke@435 585 char buf[256];
duke@435 586 jio_snprintf(buf, sizeof(buf), "Execution protection violation "
duke@435 587 "at " INTPTR_FORMAT
duke@435 588 ", unguarding " INTPTR_FORMAT ": %s, errno=%d", addr,
duke@435 589 page_start, (res ? "success" : "failed"), errno);
duke@435 590 tty->print_raw_cr(buf);
duke@435 591 }
duke@435 592 stub = pc;
duke@435 593
duke@435 594 // Set last_addr so if we fault again at the same address, we don't end
duke@435 595 // up in an endless loop.
duke@435 596 //
duke@435 597 // There are two potential complications here. Two threads trapping at
duke@435 598 // the same address at the same time could cause one of the threads to
duke@435 599 // think it already unguarded, and abort the VM. Likely very rare.
duke@435 600 //
duke@435 601 // The other race involves two threads alternately trapping at
duke@435 602 // different addresses and failing to unguard the page, resulting in
duke@435 603 // an endless loop. This condition is probably even more unlikely than
duke@435 604 // the first.
duke@435 605 //
duke@435 606 // Although both cases could be avoided by using locks or thread local
duke@435 607 // last_addr, these solutions are unnecessary complication: this
duke@435 608 // handler is a best-effort safety net, not a complete solution. It is
duke@435 609 // disabled by default and should only be used as a workaround in case
duke@435 610 // we missed any no-execute-unsafe VM code.
duke@435 611
duke@435 612 last_addr = addr;
duke@435 613 }
duke@435 614 }
duke@435 615 }
duke@435 616
duke@435 617 if (stub != NULL) {
duke@435 618 // save all thread context in case we need to restore it
duke@435 619
duke@435 620 if (thread != NULL) thread->set_saved_exception_pc(pc);
duke@435 621 // 12/02/99: On Sparc it appears that the full context is also saved
duke@435 622 // but as yet, no one looks at or restores that saved context
duke@435 623 // factor me: setPC
duke@435 624 uc->uc_mcontext.gregs[REG_PC] = (greg_t)stub;
duke@435 625 return true;
duke@435 626 }
duke@435 627
duke@435 628 // signal-chaining
duke@435 629 if (os::Solaris::chained_handler(sig, info, ucVoid)) {
duke@435 630 return true;
duke@435 631 }
duke@435 632
duke@435 633 #ifndef AMD64
duke@435 634 // Workaround (bug 4900493) for Solaris kernel bug 4966651.
duke@435 635 // Handle an undefined selector caused by an attempt to assign
duke@435 636 // fs in libthread getipriptr(). With the current libthread design every 512
duke@435 637 // thread creations the LDT for a private thread data structure is extended
duke@435 638 // and thre is a hazard that and another thread attempting a thread creation
duke@435 639 // will use a stale LDTR that doesn't reflect the structure's growth,
duke@435 640 // causing a GP fault.
duke@435 641 // Enforce the probable limit of passes through here to guard against an
duke@435 642 // infinite loop if some other move to fs caused the GP fault. Note that
duke@435 643 // this loop counter is ultimately a heuristic as it is possible for
duke@435 644 // more than one thread to generate this fault at a time in an MP system.
duke@435 645 // In the case of the loop count being exceeded or if the poll fails
duke@435 646 // just fall through to a fatal error.
duke@435 647 // If there is some other source of T_GPFLT traps and the text at EIP is
duke@435 648 // unreadable this code will loop infinitely until the stack is exausted.
duke@435 649 // The key to diagnosis in this case is to look for the bottom signal handler
duke@435 650 // frame.
duke@435 651
duke@435 652 if(! IgnoreLibthreadGPFault) {
duke@435 653 if (sig == SIGSEGV && uc->uc_mcontext.gregs[TRAPNO] == T_GPFLT) {
duke@435 654 const unsigned char *p =
duke@435 655 (unsigned const char *) uc->uc_mcontext.gregs[EIP];
duke@435 656
duke@435 657 // Expected instruction?
duke@435 658
duke@435 659 if(p[0] == movlfs[0] && p[1] == movlfs[1]) {
duke@435 660
duke@435 661 Atomic::inc(&ldtr_refresh);
duke@435 662
duke@435 663 // Infinite loop?
duke@435 664
duke@435 665 if(ldtr_refresh < ((2 << 16) / PAGESIZE)) {
duke@435 666
duke@435 667 // No, force scheduling to get a fresh view of the LDTR
duke@435 668
duke@435 669 if(poll(NULL, 0, 10) == 0) {
duke@435 670
duke@435 671 // Retry the move
duke@435 672
duke@435 673 return false;
duke@435 674 }
duke@435 675 }
duke@435 676 }
duke@435 677 }
duke@435 678 }
duke@435 679 #endif // !AMD64
duke@435 680
duke@435 681 if (!abort_if_unrecognized) {
duke@435 682 // caller wants another chance, so give it to him
duke@435 683 return false;
duke@435 684 }
duke@435 685
duke@435 686 if (!os::Solaris::libjsig_is_loaded) {
duke@435 687 struct sigaction oldAct;
duke@435 688 sigaction(sig, (struct sigaction *)0, &oldAct);
duke@435 689 if (oldAct.sa_sigaction != signalHandler) {
duke@435 690 void* sighand = oldAct.sa_sigaction ? CAST_FROM_FN_PTR(void*, oldAct.sa_sigaction)
duke@435 691 : CAST_FROM_FN_PTR(void*, oldAct.sa_handler);
duke@435 692 warning("Unexpected Signal %d occured under user-defined signal handler %#lx", sig, (long)sighand);
duke@435 693 }
duke@435 694 }
duke@435 695
duke@435 696 if (pc == NULL && uc != NULL) {
duke@435 697 pc = (address) uc->uc_mcontext.gregs[REG_PC];
duke@435 698 }
duke@435 699
duke@435 700 // unmask current signal
duke@435 701 sigset_t newset;
duke@435 702 sigemptyset(&newset);
duke@435 703 sigaddset(&newset, sig);
duke@435 704 sigprocmask(SIG_UNBLOCK, &newset, NULL);
duke@435 705
duke@435 706 VMError err(t, sig, pc, info, ucVoid);
duke@435 707 err.report_and_die();
duke@435 708
duke@435 709 ShouldNotReachHere();
duke@435 710 }
duke@435 711
duke@435 712 void os::print_context(outputStream *st, void *context) {
duke@435 713 if (context == NULL) return;
duke@435 714
duke@435 715 ucontext_t *uc = (ucontext_t*)context;
duke@435 716 st->print_cr("Registers:");
duke@435 717 #ifdef AMD64
duke@435 718 st->print( "RAX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RAX]);
duke@435 719 st->print(", RBX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RBX]);
duke@435 720 st->print(", RCX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RCX]);
duke@435 721 st->print(", RDX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RDX]);
duke@435 722 st->cr();
duke@435 723 st->print( "RSP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RSP]);
duke@435 724 st->print(", RBP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RBP]);
duke@435 725 st->print(", RSI=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RSI]);
duke@435 726 st->print(", RDI=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RDI]);
duke@435 727 st->cr();
duke@435 728 st->print(", R8=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R8]);
duke@435 729 st->print(", R9=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R9]);
duke@435 730 st->print(", R10=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R10]);
duke@435 731 st->print(", R11=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R11]);
duke@435 732 st->print(", R12=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R12]);
duke@435 733 st->print(", R13=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R13]);
duke@435 734 st->print(", R14=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R14]);
duke@435 735 st->print(", R15=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_R15]);
duke@435 736 st->cr();
duke@435 737 st->print( "RIP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RIP]);
duke@435 738 st->print(", RFLAGS=" INTPTR_FORMAT, uc->uc_mcontext.gregs[REG_RFL]);
duke@435 739 #else
duke@435 740 st->print( "EAX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EAX]);
duke@435 741 st->print(", EBX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EBX]);
duke@435 742 st->print(", ECX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[ECX]);
duke@435 743 st->print(", EDX=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EDX]);
duke@435 744 st->cr();
duke@435 745 st->print( "ESP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[UESP]);
duke@435 746 st->print(", EBP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EBP]);
duke@435 747 st->print(", ESI=" INTPTR_FORMAT, uc->uc_mcontext.gregs[ESI]);
duke@435 748 st->print(", EDI=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EDI]);
duke@435 749 st->cr();
duke@435 750 st->print( "EIP=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EIP]);
duke@435 751 st->print(", EFLAGS=" INTPTR_FORMAT, uc->uc_mcontext.gregs[EFL]);
duke@435 752 #endif // AMD64
duke@435 753 st->cr();
duke@435 754 st->cr();
duke@435 755
duke@435 756 intptr_t *sp = (intptr_t *)os::Solaris::ucontext_get_sp(uc);
duke@435 757 st->print_cr("Top of Stack: (sp=" PTR_FORMAT ")", sp);
duke@435 758 print_hex_dump(st, (address)sp, (address)(sp + 8*sizeof(intptr_t)), sizeof(intptr_t));
duke@435 759 st->cr();
duke@435 760
duke@435 761 // Note: it may be unsafe to inspect memory near pc. For example, pc may
duke@435 762 // point to garbage if entry point in an nmethod is corrupted. Leave
duke@435 763 // this at the end, and hope for the best.
duke@435 764 ExtendedPC epc = os::Solaris::ucontext_get_ExtendedPC(uc);
duke@435 765 address pc = epc.pc();
duke@435 766 st->print_cr("Instructions: (pc=" PTR_FORMAT ")", pc);
duke@435 767 print_hex_dump(st, pc - 16, pc + 16, sizeof(char));
duke@435 768 }
duke@435 769
duke@435 770 #ifdef AMD64
duke@435 771 void os::Solaris::init_thread_fpu_state(void) {
duke@435 772 // Nothing to do
duke@435 773 }
duke@435 774 #else
duke@435 775 // From solaris_i486.s
duke@435 776 extern "C" void fixcw();
duke@435 777
duke@435 778 void os::Solaris::init_thread_fpu_state(void) {
duke@435 779 // Set fpu to 53 bit precision. This happens too early to use a stub.
duke@435 780 fixcw();
duke@435 781 }
duke@435 782
duke@435 783 // These routines are the initial value of atomic_xchg_entry(),
duke@435 784 // atomic_cmpxchg_entry(), atomic_inc_entry() and fence_entry()
duke@435 785 // until initialization is complete.
duke@435 786 // TODO - replace with .il implementation when compiler supports it.
duke@435 787
duke@435 788 typedef jint xchg_func_t (jint, volatile jint*);
duke@435 789 typedef jint cmpxchg_func_t (jint, volatile jint*, jint);
duke@435 790 typedef jlong cmpxchg_long_func_t(jlong, volatile jlong*, jlong);
duke@435 791 typedef jint add_func_t (jint, volatile jint*);
duke@435 792 typedef void fence_func_t ();
duke@435 793
duke@435 794 jint os::atomic_xchg_bootstrap(jint exchange_value, volatile jint* dest) {
duke@435 795 // try to use the stub:
duke@435 796 xchg_func_t* func = CAST_TO_FN_PTR(xchg_func_t*, StubRoutines::atomic_xchg_entry());
duke@435 797
duke@435 798 if (func != NULL) {
duke@435 799 os::atomic_xchg_func = func;
duke@435 800 return (*func)(exchange_value, dest);
duke@435 801 }
duke@435 802 assert(Threads::number_of_threads() == 0, "for bootstrap only");
duke@435 803
duke@435 804 jint old_value = *dest;
duke@435 805 *dest = exchange_value;
duke@435 806 return old_value;
duke@435 807 }
duke@435 808
duke@435 809 jint os::atomic_cmpxchg_bootstrap(jint exchange_value, volatile jint* dest, jint compare_value) {
duke@435 810 // try to use the stub:
duke@435 811 cmpxchg_func_t* func = CAST_TO_FN_PTR(cmpxchg_func_t*, StubRoutines::atomic_cmpxchg_entry());
duke@435 812
duke@435 813 if (func != NULL) {
duke@435 814 os::atomic_cmpxchg_func = func;
duke@435 815 return (*func)(exchange_value, dest, compare_value);
duke@435 816 }
duke@435 817 assert(Threads::number_of_threads() == 0, "for bootstrap only");
duke@435 818
duke@435 819 jint old_value = *dest;
duke@435 820 if (old_value == compare_value)
duke@435 821 *dest = exchange_value;
duke@435 822 return old_value;
duke@435 823 }
duke@435 824
duke@435 825 jlong os::atomic_cmpxchg_long_bootstrap(jlong exchange_value, volatile jlong* dest, jlong compare_value) {
duke@435 826 // try to use the stub:
duke@435 827 cmpxchg_long_func_t* func = CAST_TO_FN_PTR(cmpxchg_long_func_t*, StubRoutines::atomic_cmpxchg_long_entry());
duke@435 828
duke@435 829 if (func != NULL) {
duke@435 830 os::atomic_cmpxchg_long_func = func;
duke@435 831 return (*func)(exchange_value, dest, compare_value);
duke@435 832 }
duke@435 833 assert(Threads::number_of_threads() == 0, "for bootstrap only");
duke@435 834
duke@435 835 jlong old_value = *dest;
duke@435 836 if (old_value == compare_value)
duke@435 837 *dest = exchange_value;
duke@435 838 return old_value;
duke@435 839 }
duke@435 840
duke@435 841 jint os::atomic_add_bootstrap(jint add_value, volatile jint* dest) {
duke@435 842 // try to use the stub:
duke@435 843 add_func_t* func = CAST_TO_FN_PTR(add_func_t*, StubRoutines::atomic_add_entry());
duke@435 844
duke@435 845 if (func != NULL) {
duke@435 846 os::atomic_add_func = func;
duke@435 847 return (*func)(add_value, dest);
duke@435 848 }
duke@435 849 assert(Threads::number_of_threads() == 0, "for bootstrap only");
duke@435 850
duke@435 851 return (*dest) += add_value;
duke@435 852 }
duke@435 853
duke@435 854 void os::fence_bootstrap() {
duke@435 855 // try to use the stub:
duke@435 856 fence_func_t* func = CAST_TO_FN_PTR(fence_func_t*, StubRoutines::fence_entry());
duke@435 857
duke@435 858 if (func != NULL) {
duke@435 859 os::fence_func = func;
duke@435 860 (*func)();
duke@435 861 return;
duke@435 862 }
duke@435 863 assert(Threads::number_of_threads() == 0, "for bootstrap only");
duke@435 864
duke@435 865 // don't have to do anything for a single thread
duke@435 866 }
duke@435 867
duke@435 868 xchg_func_t* os::atomic_xchg_func = os::atomic_xchg_bootstrap;
duke@435 869 cmpxchg_func_t* os::atomic_cmpxchg_func = os::atomic_cmpxchg_bootstrap;
duke@435 870 cmpxchg_long_func_t* os::atomic_cmpxchg_long_func = os::atomic_cmpxchg_long_bootstrap;
duke@435 871 add_func_t* os::atomic_add_func = os::atomic_add_bootstrap;
duke@435 872 fence_func_t* os::fence_func = os::fence_bootstrap;
duke@435 873
duke@435 874 extern "C" _solaris_raw_setup_fpu(address ptr);
duke@435 875 void os::setup_fpu() {
duke@435 876 address fpu_cntrl = StubRoutines::addr_fpu_cntrl_wrd_std();
duke@435 877 _solaris_raw_setup_fpu(fpu_cntrl);
duke@435 878 }
duke@435 879 #endif // AMD64

mercurial