Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 1 | //===- Signals.cpp - Generic Unix Signals Implementation -----*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines some helpful functions for dealing with the possibility of |
| 11 | // Unix signals occuring while your program is running. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "Unix.h" |
Owen Anderson | 718cb66 | 2007-09-07 04:06:50 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/STLExtras.h" |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 17 | #include "llvm/System/Mutex.h" |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 18 | #include <vector> |
| 19 | #include <algorithm> |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 20 | #if HAVE_EXECINFO_H |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 21 | # include <execinfo.h> // For backtrace(). |
| 22 | #endif |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 23 | #if HAVE_SIGNAL_H |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 24 | #include <signal.h> |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 25 | #endif |
Reid Spencer | 2ae9d11 | 2007-04-07 18:52:17 +0000 | [diff] [blame] | 26 | #if HAVE_SYS_STAT_H |
| 27 | #include <sys/stat.h> |
| 28 | #endif |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 29 | #if HAVE_DLFCN_H && __GNUG__ |
| 30 | #include <dlfcn.h> |
| 31 | #include <cxxabi.h> |
| 32 | #endif |
Chris Lattner | 8961501 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 33 | using namespace llvm; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 34 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 35 | static RETSIGTYPE SignalHandler(int Sig); // defined below. |
| 36 | |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 37 | static SmartMutex<true> SignalsMutex; |
| 38 | |
Chris Lattner | fa8c292 | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 39 | /// InterruptFunction - The function to call if ctrl-c is pressed. |
Dan Gohman | 3bd659b | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 40 | static void (*InterruptFunction)() = 0; |
Chris Lattner | fa8c292 | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 41 | |
Jeffrey Yasskin | b7ccf75 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 42 | static std::vector<sys::Path> FilesToRemove; |
| 43 | static std::vector<std::pair<void(*)(void*), void*> > CallBacksToRun; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 44 | |
| 45 | // IntSigs - Signals that may interrupt the program at any time. |
Dan Gohman | 3bd659b | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 46 | static const int IntSigs[] = { |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 47 | SIGHUP, SIGINT, SIGQUIT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2 |
| 48 | }; |
Dan Gohman | 4d9dd6b | 2008-05-14 00:42:30 +0000 | [diff] [blame] | 49 | static const int *const IntSigsEnd = |
| 50 | IntSigs + sizeof(IntSigs) / sizeof(IntSigs[0]); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 51 | |
| 52 | // KillSigs - Signals that are synchronous with the program that will cause it |
| 53 | // to die. |
Dan Gohman | 3bd659b | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 54 | static const int KillSigs[] = { |
Chris Lattner | 6ae7bbb | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 55 | SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV |
| 56 | #ifdef SIGSYS |
| 57 | , SIGSYS |
| 58 | #endif |
| 59 | #ifdef SIGXCPU |
| 60 | , SIGXCPU |
| 61 | #endif |
Chris Lattner | 782ab58 | 2010-02-14 18:20:09 +0000 | [diff] [blame] | 62 | #ifdef SIGXFSZ |
Chris Lattner | 6ae7bbb | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 63 | , SIGXFSZ |
| 64 | #endif |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 65 | #ifdef SIGEMT |
| 66 | , SIGEMT |
| 67 | #endif |
| 68 | }; |
Dan Gohman | 4d9dd6b | 2008-05-14 00:42:30 +0000 | [diff] [blame] | 69 | static const int *const KillSigsEnd = |
| 70 | KillSigs + sizeof(KillSigs) / sizeof(KillSigs[0]); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 71 | |
Chris Lattner | eab5cb3 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 72 | static unsigned NumRegisteredSignals = 0; |
| 73 | static struct { |
| 74 | struct sigaction SA; |
| 75 | int SigNo; |
| 76 | } RegisteredSignalInfo[(sizeof(IntSigs)+sizeof(KillSigs))/sizeof(KillSigs[0])]; |
| 77 | |
| 78 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 79 | static void RegisterHandler(int Signal) { |
Chris Lattner | eab5cb3 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 80 | assert(NumRegisteredSignals < |
| 81 | sizeof(RegisteredSignalInfo)/sizeof(RegisteredSignalInfo[0]) && |
| 82 | "Out of space for signal handlers!"); |
| 83 | |
| 84 | struct sigaction NewHandler; |
| 85 | |
| 86 | NewHandler.sa_handler = SignalHandler; |
| 87 | NewHandler.sa_flags = SA_NODEFER|SA_RESETHAND; |
| 88 | sigemptyset(&NewHandler.sa_mask); |
| 89 | |
| 90 | // Install the new handler, save the old one in RegisteredSignalInfo. |
| 91 | sigaction(Signal, &NewHandler, |
| 92 | &RegisteredSignalInfo[NumRegisteredSignals].SA); |
| 93 | RegisteredSignalInfo[NumRegisteredSignals].SigNo = Signal; |
| 94 | ++NumRegisteredSignals; |
Chris Lattner | 922a881 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 95 | } |
| 96 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 97 | static void RegisterHandlers() { |
Chris Lattner | eab5cb3 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 98 | // If the handlers are already registered, we're done. |
| 99 | if (NumRegisteredSignals != 0) return; |
| 100 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 101 | std::for_each(IntSigs, IntSigsEnd, RegisterHandler); |
| 102 | std::for_each(KillSigs, KillSigsEnd, RegisterHandler); |
| 103 | } |
| 104 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 105 | static void UnregisterHandlers() { |
Chris Lattner | eab5cb3 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 106 | // Restore all of the signal handlers to how they were before we showed up. |
| 107 | for (unsigned i = 0, e = NumRegisteredSignals; i != e; ++i) |
Chris Lattner | a8bd27f | 2009-03-23 06:46:20 +0000 | [diff] [blame] | 108 | sigaction(RegisteredSignalInfo[i].SigNo, |
| 109 | &RegisteredSignalInfo[i].SA, 0); |
Chris Lattner | eab5cb3 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 110 | NumRegisteredSignals = 0; |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | |
Chris Lattner | 922a881 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 114 | |
| 115 | // SignalHandler - The signal handler that runs. |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 116 | static RETSIGTYPE SignalHandler(int Sig) { |
Chris Lattner | 0f6290d | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 117 | // Restore the signal behavior to default, so that the program actually |
| 118 | // crashes when we return and the signal reissues. This also ensures that if |
| 119 | // we crash in our signal handler that the program will terminate immediately |
| 120 | // instead of recursing in the signal handler. |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 121 | UnregisterHandlers(); |
Chris Lattner | 922a881 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 122 | |
| 123 | // Unmask all potentially blocked kill signals. |
| 124 | sigset_t SigMask; |
| 125 | sigfillset(&SigMask); |
| 126 | sigprocmask(SIG_UNBLOCK, &SigMask, 0); |
Chris Lattner | 0f6290d | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 127 | |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 128 | SignalsMutex.acquire(); |
Jeffrey Yasskin | b7ccf75 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 129 | while (!FilesToRemove.empty()) { |
| 130 | FilesToRemove.back().eraseFromDisk(true); |
| 131 | FilesToRemove.pop_back(); |
| 132 | } |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 133 | |
| 134 | if (std::find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) { |
| 135 | if (InterruptFunction) { |
| 136 | void (*IF)() = InterruptFunction; |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 137 | SignalsMutex.release(); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 138 | InterruptFunction = 0; |
| 139 | IF(); // run the interrupt function. |
| 140 | return; |
| 141 | } |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 142 | |
| 143 | SignalsMutex.release(); |
Chris Lattner | b725315 | 2009-04-12 23:33:13 +0000 | [diff] [blame] | 144 | raise(Sig); // Execute the default handler. |
| 145 | return; |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 146 | } |
| 147 | |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 148 | SignalsMutex.release(); |
| 149 | |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 150 | // Otherwise if it is a fault (like SEGV) run any handler. |
Jeffrey Yasskin | b7ccf75 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 151 | for (unsigned i = 0, e = CallBacksToRun.size(); i != e; ++i) |
| 152 | CallBacksToRun[i].first(CallBacksToRun[i].second); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 153 | } |
| 154 | |
Daniel Dunbar | fb89e08 | 2010-05-08 02:10:34 +0000 | [diff] [blame] | 155 | void llvm::sys::RunInterruptHandlers() { |
| 156 | SignalHandler(SIGINT); |
| 157 | } |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 158 | |
Chris Lattner | f48ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 159 | void llvm::sys::SetInterruptFunction(void (*IF)()) { |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 160 | SignalsMutex.acquire(); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 161 | InterruptFunction = IF; |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 162 | SignalsMutex.release(); |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 163 | RegisterHandlers(); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | // RemoveFileOnSignal - The public API |
Chris Lattner | f48ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 167 | bool llvm::sys::RemoveFileOnSignal(const sys::Path &Filename, |
| 168 | std::string* ErrMsg) { |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 169 | SignalsMutex.acquire(); |
Jeffrey Yasskin | b7ccf75 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 170 | FilesToRemove.push_back(Filename); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 171 | |
Owen Anderson | 6ae8c73 | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 172 | SignalsMutex.release(); |
| 173 | |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 174 | RegisterHandlers(); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 175 | return false; |
| 176 | } |
| 177 | |
| 178 | /// AddSignalHandler - Add a function to be called when a signal is delivered |
| 179 | /// to the process. The handler can have a cookie passed to it to identify |
| 180 | /// what instance of the handler it is. |
Chris Lattner | f48ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 181 | void llvm::sys::AddSignalHandler(void (*FnPtr)(void *), void *Cookie) { |
Jeffrey Yasskin | b7ccf75 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 182 | CallBacksToRun.push_back(std::make_pair(FnPtr, Cookie)); |
Chris Lattner | 1c4d8a0 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 183 | RegisterHandlers(); |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 184 | } |
| 185 | |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 186 | |
| 187 | // PrintStackTrace - In the case of a program crash or fault, print out a stack |
| 188 | // trace so that the user has an indication of why and where we died. |
| 189 | // |
| 190 | // On glibc systems we have the 'backtrace' function, which works nicely, but |
Lauro Ramos Venancio | 2e78b78 | 2008-02-15 18:05:54 +0000 | [diff] [blame] | 191 | // doesn't demangle symbols. |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 192 | static void PrintStackTrace(void *) { |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 193 | #ifdef HAVE_BACKTRACE |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 194 | static void* StackTrace[256]; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 195 | // Use backtrace() to output a backtrace on Linux systems with glibc. |
Evan Cheng | 34cd4a4 | 2008-05-05 18:30:58 +0000 | [diff] [blame] | 196 | int depth = backtrace(StackTrace, |
| 197 | static_cast<int>(array_lengthof(StackTrace))); |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 198 | #if HAVE_DLFCN_H && __GNUG__ |
| 199 | int width = 0; |
| 200 | for (int i = 0; i < depth; ++i) { |
| 201 | Dl_info dlinfo; |
| 202 | dladdr(StackTrace[i], &dlinfo); |
Dan Gohman | d4e1845 | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 203 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 204 | |
| 205 | int nwidth; |
| 206 | if (name == NULL) nwidth = strlen(dlinfo.dli_fname); |
| 207 | else nwidth = strlen(name) - 1; |
| 208 | |
| 209 | if (nwidth > width) width = nwidth; |
| 210 | } |
| 211 | |
| 212 | for (int i = 0; i < depth; ++i) { |
| 213 | Dl_info dlinfo; |
| 214 | dladdr(StackTrace[i], &dlinfo); |
| 215 | |
Dan Gohman | 0b81e19 | 2009-10-30 02:45:10 +0000 | [diff] [blame] | 216 | fprintf(stderr, "%-2d", i); |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 217 | |
Dan Gohman | d4e1845 | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 218 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 219 | if (name == NULL) fprintf(stderr, " %-*s", width, dlinfo.dli_fname); |
| 220 | else fprintf(stderr, " %-*s", width, name+1); |
| 221 | |
Dan Gohman | dd17b25 | 2008-12-05 23:39:24 +0000 | [diff] [blame] | 222 | fprintf(stderr, " %#0*lx", |
| 223 | (int)(sizeof(void*) * 2) + 2, (unsigned long)StackTrace[i]); |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 224 | |
| 225 | if (dlinfo.dli_sname != NULL) { |
| 226 | int res; |
| 227 | fputc(' ', stderr); |
| 228 | char* d = abi::__cxa_demangle(dlinfo.dli_sname, NULL, NULL, &res); |
| 229 | if (d == NULL) fputs(dlinfo.dli_sname, stderr); |
| 230 | else fputs(d, stderr); |
| 231 | free(d); |
| 232 | |
| 233 | fprintf(stderr, " + %tu",(char*)StackTrace[i]-(char*)dlinfo.dli_saddr); |
| 234 | } |
| 235 | fputc('\n', stderr); |
| 236 | } |
| 237 | #else |
Lauro Ramos Venancio | 2e78b78 | 2008-02-15 18:05:54 +0000 | [diff] [blame] | 238 | backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 239 | #endif |
Dan Gohman | 56d9b6d | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 240 | #endif |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 241 | } |
| 242 | |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 243 | /// PrintStackTraceOnErrorSignal - When an error signal (such as SIBABRT or |
| 244 | /// SIGSEGV) is delivered to the process, print a stack trace and then exit. |
Chris Lattner | f48ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 245 | void llvm::sys::PrintStackTraceOnErrorSignal() { |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 246 | AddSignalHandler(PrintStackTrace, 0); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 247 | } |
Chris Lattner | 35033a5 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 248 | |