1//===- Signals.cpp - Generic Unix Signals Implementation -----*- C++ -*-===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file defines some helpful functions for dealing with the possibility of 11// Unix signals occurring while your program is running. 12// 13//===----------------------------------------------------------------------===// 14 15#include "Unix.h" 16#include "llvm/ADT/STLExtras.h" 17#include "llvm/Support/Format.h" 18#include "llvm/Support/FileSystem.h" 19#include "llvm/Support/FileUtilities.h" 20#include "llvm/Support/MemoryBuffer.h" 21#include "llvm/Support/Mutex.h" 22#include "llvm/Support/Program.h" 23#include "llvm/Support/UniqueLock.h" 24#include "llvm/Support/raw_ostream.h" 25#include <algorithm> 26#include <string> 27#if HAVE_EXECINFO_H 28# include <execinfo.h> // For backtrace(). 29#endif 30#if HAVE_SIGNAL_H 31#include <signal.h> 32#endif 33#if HAVE_SYS_STAT_H 34#include <sys/stat.h> 35#endif 36#if HAVE_CXXABI_H 37#include <cxxabi.h> 38#endif 39#if HAVE_DLFCN_H 40#include <dlfcn.h> 41#endif 42#if HAVE_MACH_MACH_H 43#include <mach/mach.h> 44#endif 45#if HAVE_LINK_H 46#include <link.h> 47#endif 48#if HAVE_UNWIND_BACKTRACE 49// FIXME: We should be able to use <unwind.h> for any target that has an 50// _Unwind_Backtrace function, but on FreeBSD the configure test passes 51// despite the function not existing, and on Android, <unwind.h> conflicts 52// with <link.h>. 53#ifdef __GLIBC__ 54#include <unwind.h> 55#else 56#undef HAVE_UNWIND_BACKTRACE 57#endif 58#endif 59 60using namespace llvm; 61 62static RETSIGTYPE SignalHandler(int Sig); // defined below. 63 64static ManagedStatic<SmartMutex<true> > SignalsMutex; 65 66/// InterruptFunction - The function to call if ctrl-c is pressed. 67static void (*InterruptFunction)() = nullptr; 68 69static ManagedStatic<std::vector<std::string>> FilesToRemove; 70 71static StringRef Argv0; 72 73// IntSigs - Signals that represent requested termination. There's no bug 74// or failure, or if there is, it's not our direct responsibility. For whatever 75// reason, our continued execution is no longer desirable. 76static const int IntSigs[] = { 77 SIGHUP, SIGINT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2 78}; 79 80// KillSigs - Signals that represent that we have a bug, and our prompt 81// termination has been ordered. 82static const int KillSigs[] = { 83 SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV, SIGQUIT 84#ifdef SIGSYS 85 , SIGSYS 86#endif 87#ifdef SIGXCPU 88 , SIGXCPU 89#endif 90#ifdef SIGXFSZ 91 , SIGXFSZ 92#endif 93#ifdef SIGEMT 94 , SIGEMT 95#endif 96}; 97 98static unsigned NumRegisteredSignals = 0; 99static struct { 100 struct sigaction SA; 101 int SigNo; 102} RegisteredSignalInfo[array_lengthof(IntSigs) + array_lengthof(KillSigs)]; 103 104 105static void RegisterHandler(int Signal) { 106 assert(NumRegisteredSignals < array_lengthof(RegisteredSignalInfo) && 107 "Out of space for signal handlers!"); 108 109 struct sigaction NewHandler; 110 111 NewHandler.sa_handler = SignalHandler; 112 NewHandler.sa_flags = SA_NODEFER | SA_RESETHAND | SA_ONSTACK; 113 sigemptyset(&NewHandler.sa_mask); 114 115 // Install the new handler, save the old one in RegisteredSignalInfo. 116 sigaction(Signal, &NewHandler, 117 &RegisteredSignalInfo[NumRegisteredSignals].SA); 118 RegisteredSignalInfo[NumRegisteredSignals].SigNo = Signal; 119 ++NumRegisteredSignals; 120} 121 122#if defined(HAVE_SIGALTSTACK) 123// Hold onto the old alternate signal stack so that it's not reported as a leak. 124// We don't make any attempt to remove our alt signal stack if we remove our 125// signal handlers; that can't be done reliably if someone else is also trying 126// to do the same thing. 127static stack_t OldAltStack; 128 129static void CreateSigAltStack() { 130 const size_t AltStackSize = MINSIGSTKSZ + 8192; 131 132 // If we're executing on the alternate stack, or we already have an alternate 133 // signal stack that we're happy with, there's nothing for us to do. Don't 134 // reduce the size, some other part of the process might need a larger stack 135 // than we do. 136 if (sigaltstack(nullptr, &OldAltStack) != 0 || 137 OldAltStack.ss_flags & SS_ONSTACK || 138 (OldAltStack.ss_sp && OldAltStack.ss_size >= AltStackSize)) 139 return; 140 141 stack_t AltStack = {}; 142 AltStack.ss_sp = reinterpret_cast<char *>(malloc(AltStackSize)); 143 AltStack.ss_size = AltStackSize; 144 if (sigaltstack(&AltStack, &OldAltStack) != 0) 145 free(AltStack.ss_sp); 146} 147#else 148static void CreateSigAltStack() {} 149#endif 150 151static void RegisterHandlers() { 152 // We need to dereference the signals mutex during handler registration so 153 // that we force its construction. This is to prevent the first use being 154 // during handling an actual signal because you can't safely call new in a 155 // signal handler. 156 *SignalsMutex; 157 158 // If the handlers are already registered, we're done. 159 if (NumRegisteredSignals != 0) return; 160 161 // Create an alternate stack for signal handling. This is necessary for us to 162 // be able to reliably handle signals due to stack overflow. 163 CreateSigAltStack(); 164 165 for (auto S : IntSigs) RegisterHandler(S); 166 for (auto S : KillSigs) RegisterHandler(S); 167} 168 169static void UnregisterHandlers() { 170 // Restore all of the signal handlers to how they were before we showed up. 171 for (unsigned i = 0, e = NumRegisteredSignals; i != e; ++i) 172 sigaction(RegisteredSignalInfo[i].SigNo, 173 &RegisteredSignalInfo[i].SA, nullptr); 174 NumRegisteredSignals = 0; 175} 176 177 178/// RemoveFilesToRemove - Process the FilesToRemove list. This function 179/// should be called with the SignalsMutex lock held. 180/// NB: This must be an async signal safe function. It cannot allocate or free 181/// memory, even in debug builds. 182static void RemoveFilesToRemove() { 183 // Avoid constructing ManagedStatic in the signal handler. 184 // If FilesToRemove is not constructed, there are no files to remove. 185 if (!FilesToRemove.isConstructed()) 186 return; 187 188 // We avoid iterators in case of debug iterators that allocate or release 189 // memory. 190 std::vector<std::string>& FilesToRemoveRef = *FilesToRemove; 191 for (unsigned i = 0, e = FilesToRemoveRef.size(); i != e; ++i) { 192 const char *path = FilesToRemoveRef[i].c_str(); 193 194 // Get the status so we can determine if it's a file or directory. If we 195 // can't stat the file, ignore it. 196 struct stat buf; 197 if (stat(path, &buf) != 0) 198 continue; 199 200 // If this is not a regular file, ignore it. We want to prevent removal of 201 // special files like /dev/null, even if the compiler is being run with the 202 // super-user permissions. 203 if (!S_ISREG(buf.st_mode)) 204 continue; 205 206 // Otherwise, remove the file. We ignore any errors here as there is nothing 207 // else we can do. 208 unlink(path); 209 } 210} 211 212// SignalHandler - The signal handler that runs. 213static RETSIGTYPE SignalHandler(int Sig) { 214 // Restore the signal behavior to default, so that the program actually 215 // crashes when we return and the signal reissues. This also ensures that if 216 // we crash in our signal handler that the program will terminate immediately 217 // instead of recursing in the signal handler. 218 UnregisterHandlers(); 219 220 // Unmask all potentially blocked kill signals. 221 sigset_t SigMask; 222 sigfillset(&SigMask); 223 sigprocmask(SIG_UNBLOCK, &SigMask, nullptr); 224 225 { 226 unique_lock<SmartMutex<true>> Guard(*SignalsMutex); 227 RemoveFilesToRemove(); 228 229 if (std::find(std::begin(IntSigs), std::end(IntSigs), Sig) 230 != std::end(IntSigs)) { 231 if (InterruptFunction) { 232 void (*IF)() = InterruptFunction; 233 Guard.unlock(); 234 InterruptFunction = nullptr; 235 IF(); // run the interrupt function. 236 return; 237 } 238 239 Guard.unlock(); 240 raise(Sig); // Execute the default handler. 241 return; 242 } 243 } 244 245 // Otherwise if it is a fault (like SEGV) run any handler. 246 llvm::sys::RunSignalHandlers(); 247 248#ifdef __s390__ 249 // On S/390, certain signals are delivered with PSW Address pointing to 250 // *after* the faulting instruction. Simply returning from the signal 251 // handler would continue execution after that point, instead of 252 // re-raising the signal. Raise the signal manually in those cases. 253 if (Sig == SIGILL || Sig == SIGFPE || Sig == SIGTRAP) 254 raise(Sig); 255#endif 256} 257 258void llvm::sys::RunInterruptHandlers() { 259 sys::SmartScopedLock<true> Guard(*SignalsMutex); 260 RemoveFilesToRemove(); 261} 262 263void llvm::sys::SetInterruptFunction(void (*IF)()) { 264 { 265 sys::SmartScopedLock<true> Guard(*SignalsMutex); 266 InterruptFunction = IF; 267 } 268 RegisterHandlers(); 269} 270 271// RemoveFileOnSignal - The public API 272bool llvm::sys::RemoveFileOnSignal(StringRef Filename, 273 std::string* ErrMsg) { 274 { 275 sys::SmartScopedLock<true> Guard(*SignalsMutex); 276 FilesToRemove->push_back(Filename); 277 } 278 279 RegisterHandlers(); 280 return false; 281} 282 283// DontRemoveFileOnSignal - The public API 284void llvm::sys::DontRemoveFileOnSignal(StringRef Filename) { 285 sys::SmartScopedLock<true> Guard(*SignalsMutex); 286 std::vector<std::string>::reverse_iterator RI = 287 std::find(FilesToRemove->rbegin(), FilesToRemove->rend(), Filename); 288 std::vector<std::string>::iterator I = FilesToRemove->end(); 289 if (RI != FilesToRemove->rend()) 290 I = FilesToRemove->erase(RI.base()-1); 291} 292 293/// AddSignalHandler - Add a function to be called when a signal is delivered 294/// to the process. The handler can have a cookie passed to it to identify 295/// what instance of the handler it is. 296void llvm::sys::AddSignalHandler(void (*FnPtr)(void *), void *Cookie) { 297 CallBacksToRun->push_back(std::make_pair(FnPtr, Cookie)); 298 RegisterHandlers(); 299} 300 301#if defined(HAVE_BACKTRACE) && defined(ENABLE_BACKTRACES) && HAVE_LINK_H && \ 302 (defined(__linux__) || defined(__FreeBSD__) || \ 303 defined(__FreeBSD_kernel__) || defined(__NetBSD__)) 304struct DlIteratePhdrData { 305 void **StackTrace; 306 int depth; 307 bool first; 308 const char **modules; 309 intptr_t *offsets; 310 const char *main_exec_name; 311}; 312 313static int dl_iterate_phdr_cb(dl_phdr_info *info, size_t size, void *arg) { 314 DlIteratePhdrData *data = (DlIteratePhdrData*)arg; 315 const char *name = data->first ? data->main_exec_name : info->dlpi_name; 316 data->first = false; 317 for (int i = 0; i < info->dlpi_phnum; i++) { 318 const auto *phdr = &info->dlpi_phdr[i]; 319 if (phdr->p_type != PT_LOAD) 320 continue; 321 intptr_t beg = info->dlpi_addr + phdr->p_vaddr; 322 intptr_t end = beg + phdr->p_memsz; 323 for (int j = 0; j < data->depth; j++) { 324 if (data->modules[j]) 325 continue; 326 intptr_t addr = (intptr_t)data->StackTrace[j]; 327 if (beg <= addr && addr < end) { 328 data->modules[j] = name; 329 data->offsets[j] = addr - info->dlpi_addr; 330 } 331 } 332 } 333 return 0; 334} 335 336/// If this is an ELF platform, we can find all loaded modules and their virtual 337/// addresses with dl_iterate_phdr. 338static bool findModulesAndOffsets(void **StackTrace, int Depth, 339 const char **Modules, intptr_t *Offsets, 340 const char *MainExecutableName, 341 StringSaver &StrPool) { 342 DlIteratePhdrData data = {StackTrace, Depth, true, 343 Modules, Offsets, MainExecutableName}; 344 dl_iterate_phdr(dl_iterate_phdr_cb, &data); 345 return true; 346} 347#else 348/// This platform does not have dl_iterate_phdr, so we do not yet know how to 349/// find all loaded DSOs. 350static bool findModulesAndOffsets(void **StackTrace, int Depth, 351 const char **Modules, intptr_t *Offsets, 352 const char *MainExecutableName, 353 StringSaver &StrPool) { 354 return false; 355} 356#endif // defined(HAVE_BACKTRACE) && defined(ENABLE_BACKTRACES) && ... 357 358#if defined(ENABLE_BACKTRACES) && defined(HAVE_UNWIND_BACKTRACE) 359static int unwindBacktrace(void **StackTrace, int MaxEntries) { 360 if (MaxEntries < 0) 361 return 0; 362 363 // Skip the first frame ('unwindBacktrace' itself). 364 int Entries = -1; 365 366 auto HandleFrame = [&](_Unwind_Context *Context) -> _Unwind_Reason_Code { 367 // Apparently we need to detect reaching the end of the stack ourselves. 368 void *IP = (void *)_Unwind_GetIP(Context); 369 if (!IP) 370 return _URC_END_OF_STACK; 371 372 assert(Entries < MaxEntries && "recursively called after END_OF_STACK?"); 373 if (Entries >= 0) 374 StackTrace[Entries] = IP; 375 376 if (++Entries == MaxEntries) 377 return _URC_END_OF_STACK; 378 return _URC_NO_REASON; 379 }; 380 381 _Unwind_Backtrace( 382 [](_Unwind_Context *Context, void *Handler) { 383 return (*static_cast<decltype(HandleFrame) *>(Handler))(Context); 384 }, 385 static_cast<void *>(&HandleFrame)); 386 return std::max(Entries, 0); 387} 388#endif 389 390// PrintStackTrace - In the case of a program crash or fault, print out a stack 391// trace so that the user has an indication of why and where we died. 392// 393// On glibc systems we have the 'backtrace' function, which works nicely, but 394// doesn't demangle symbols. 395void llvm::sys::PrintStackTrace(raw_ostream &OS) { 396#if defined(ENABLE_BACKTRACES) 397 static void *StackTrace[256]; 398 int depth = 0; 399#if defined(HAVE_BACKTRACE) 400 // Use backtrace() to output a backtrace on Linux systems with glibc. 401 if (!depth) 402 depth = backtrace(StackTrace, static_cast<int>(array_lengthof(StackTrace))); 403#endif 404#if defined(HAVE_UNWIND_BACKTRACE) 405 // Try _Unwind_Backtrace() if backtrace() failed. 406 if (!depth) 407 depth = unwindBacktrace(StackTrace, 408 static_cast<int>(array_lengthof(StackTrace))); 409#endif 410 if (!depth) 411 return; 412 413 if (printSymbolizedStackTrace(Argv0, StackTrace, depth, OS)) 414 return; 415#if HAVE_DLFCN_H && __GNUG__ 416 int width = 0; 417 for (int i = 0; i < depth; ++i) { 418 Dl_info dlinfo; 419 dladdr(StackTrace[i], &dlinfo); 420 const char* name = strrchr(dlinfo.dli_fname, '/'); 421 422 int nwidth; 423 if (!name) nwidth = strlen(dlinfo.dli_fname); 424 else nwidth = strlen(name) - 1; 425 426 if (nwidth > width) width = nwidth; 427 } 428 429 for (int i = 0; i < depth; ++i) { 430 Dl_info dlinfo; 431 dladdr(StackTrace[i], &dlinfo); 432 433 OS << format("%-2d", i); 434 435 const char* name = strrchr(dlinfo.dli_fname, '/'); 436 if (!name) OS << format(" %-*s", width, dlinfo.dli_fname); 437 else OS << format(" %-*s", width, name+1); 438 439 OS << format(" %#0*lx", (int)(sizeof(void*) * 2) + 2, 440 (unsigned long)StackTrace[i]); 441 442 if (dlinfo.dli_sname != nullptr) { 443 OS << ' '; 444# if HAVE_CXXABI_H 445 int res; 446 char* d = abi::__cxa_demangle(dlinfo.dli_sname, nullptr, nullptr, &res); 447# else 448 char* d = NULL; 449# endif 450 if (!d) OS << dlinfo.dli_sname; 451 else OS << d; 452 free(d); 453 454 // FIXME: When we move to C++11, use %t length modifier. It's not in 455 // C++03 and causes gcc to issue warnings. Losing the upper 32 bits of 456 // the stack offset for a stack dump isn't likely to cause any problems. 457 OS << format(" + %u",(unsigned)((char*)StackTrace[i]- 458 (char*)dlinfo.dli_saddr)); 459 } 460 OS << '\n'; 461 } 462#elif defined(HAVE_BACKTRACE) 463 backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); 464#endif 465#endif 466} 467 468static void PrintStackTraceSignalHandler(void *) { 469 PrintStackTrace(llvm::errs()); 470} 471 472void llvm::sys::DisableSystemDialogsOnCrash() {} 473 474/// PrintStackTraceOnErrorSignal - When an error signal (such as SIGABRT or 475/// SIGSEGV) is delivered to the process, print a stack trace and then exit. 476void llvm::sys::PrintStackTraceOnErrorSignal(StringRef Argv0, 477 bool DisableCrashReporting) { 478 ::Argv0 = Argv0; 479 480 AddSignalHandler(PrintStackTraceSignalHandler, nullptr); 481 482#if defined(__APPLE__) && defined(ENABLE_CRASH_OVERRIDES) 483 // Environment variable to disable any kind of crash dialog. 484 if (DisableCrashReporting || getenv("LLVM_DISABLE_CRASH_REPORT")) { 485 mach_port_t self = mach_task_self(); 486 487 exception_mask_t mask = EXC_MASK_CRASH; 488 489 kern_return_t ret = task_set_exception_ports(self, 490 mask, 491 MACH_PORT_NULL, 492 EXCEPTION_STATE_IDENTITY | MACH_EXCEPTION_CODES, 493 THREAD_STATE_NONE); 494 (void)ret; 495 } 496#endif 497} 498