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 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source 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 occuring while your program is running. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "Unix.h" |
| 16 | #include <vector> |
| 17 | #include <algorithm> |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 18 | #if HAVE_EXECINFO_H |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 19 | # include <execinfo.h> // For backtrace(). |
| 20 | #endif |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 21 | #if HAVE_SIGNAL_H |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 22 | #include <signal.h> |
Reid Spencer | cdf54d0 | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 23 | #endif |
Chris Lattner | 8961501 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 24 | using namespace llvm; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 25 | |
| 26 | namespace { |
| 27 | |
Reid Spencer | dc6830f | 2006-06-16 00:00:57 +0000 | [diff] [blame] | 28 | bool StackTraceRequested = false; |
| 29 | |
Chris Lattner | fa8c292 | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 30 | /// InterruptFunction - The function to call if ctrl-c is pressed. |
| 31 | void (*InterruptFunction)() = 0; |
| 32 | |
Reid Spencer | a8e80c5 | 2006-08-07 05:34:08 +0000 | [diff] [blame] | 33 | std::vector<sys::Path> *FilesToRemove = 0 ; |
Chris Lattner | 8961501 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 34 | std::vector<sys::Path> *DirectoriesToRemove = 0; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 35 | |
| 36 | // IntSigs - Signals that may interrupt the program at any time. |
| 37 | const int IntSigs[] = { |
| 38 | SIGHUP, SIGINT, SIGQUIT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2 |
| 39 | }; |
| 40 | const int *IntSigsEnd = IntSigs + sizeof(IntSigs)/sizeof(IntSigs[0]); |
| 41 | |
| 42 | // KillSigs - Signals that are synchronous with the program that will cause it |
| 43 | // to die. |
| 44 | const int KillSigs[] = { |
| 45 | SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV, SIGSYS, SIGXCPU, SIGXFSZ |
| 46 | #ifdef SIGEMT |
| 47 | , SIGEMT |
| 48 | #endif |
| 49 | }; |
| 50 | const int *KillSigsEnd = KillSigs + sizeof(KillSigs)/sizeof(KillSigs[0]); |
| 51 | |
| 52 | #ifdef HAVE_BACKTRACE |
| 53 | void* StackTrace[256]; |
| 54 | #endif |
| 55 | |
| 56 | // PrintStackTrace - In the case of a program crash or fault, print out a stack |
| 57 | // trace so that the user has an indication of why and where we died. |
| 58 | // |
| 59 | // On glibc systems we have the 'backtrace' function, which works nicely, but |
| 60 | // doesn't demangle symbols. In order to backtrace symbols, we fork and exec a |
| 61 | // 'c++filt' process to do the demangling. This seems like the simplest and |
| 62 | // most robust solution when we can't allocate memory (such as in a signal |
| 63 | // handler). If we can't find 'c++filt', we fallback to printing mangled names. |
| 64 | // |
| 65 | void PrintStackTrace() { |
| 66 | #ifdef HAVE_BACKTRACE |
| 67 | // Use backtrace() to output a backtrace on Linux systems with glibc. |
| 68 | int depth = backtrace(StackTrace, sizeof(StackTrace)/sizeof(StackTrace[0])); |
| 69 | |
| 70 | // Create a one-way unix pipe. The backtracing process writes to PipeFDs[1], |
| 71 | // the c++filt process reads from PipeFDs[0]. |
| 72 | int PipeFDs[2]; |
| 73 | if (pipe(PipeFDs)) { |
| 74 | backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); |
| 75 | return; |
| 76 | } |
| 77 | |
| 78 | switch (pid_t ChildPID = fork()) { |
| 79 | case -1: // Error forking, print mangled stack trace |
| 80 | close(PipeFDs[0]); |
| 81 | close(PipeFDs[1]); |
| 82 | backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); |
| 83 | return; |
| 84 | default: // backtracing process |
| 85 | close(PipeFDs[0]); // Close the reader side. |
| 86 | |
| 87 | // Print the mangled backtrace into the pipe. |
| 88 | backtrace_symbols_fd(StackTrace, depth, PipeFDs[1]); |
| 89 | close(PipeFDs[1]); // We are done writing. |
| 90 | while (waitpid(ChildPID, 0, 0) == -1) |
| 91 | if (errno != EINTR) break; |
| 92 | return; |
| 93 | |
| 94 | case 0: // c++filt process |
| 95 | close(PipeFDs[1]); // Close the writer side. |
| 96 | dup2(PipeFDs[0], 0); // Read from standard input |
| 97 | close(PipeFDs[0]); // Close the old descriptor |
| 98 | dup2(2, 1); // Revector stdout -> stderr |
| 99 | |
| 100 | // Try to run c++filt or gc++filt. If neither is found, call back on 'cat' |
| 101 | // to print the mangled stack trace. If we can't find cat, just exit. |
Alkis Evlogimenos | 38da41c | 2005-04-22 17:56:01 +0000 | [diff] [blame] | 102 | execlp("c++filt", "c++filt", (char*)NULL); |
| 103 | execlp("gc++filt", "gc++filt", (char*)NULL); |
| 104 | execlp("cat", "cat", (char*)NULL); |
| 105 | execlp("/bin/cat", "cat", (char*)NULL); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 106 | exit(0); |
| 107 | } |
| 108 | #endif |
| 109 | } |
| 110 | |
| 111 | // SignalHandler - The signal handler that runs... |
| 112 | RETSIGTYPE SignalHandler(int Sig) { |
| 113 | if (FilesToRemove != 0) |
| 114 | while (!FilesToRemove->empty()) { |
Reid Spencer | a8e80c5 | 2006-08-07 05:34:08 +0000 | [diff] [blame] | 115 | FilesToRemove->back().eraseFromDisk(true); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 116 | FilesToRemove->pop_back(); |
| 117 | } |
| 118 | |
| 119 | if (DirectoriesToRemove != 0) |
| 120 | while (!DirectoriesToRemove->empty()) { |
Reid Spencer | a229c5c | 2005-07-08 03:08:58 +0000 | [diff] [blame] | 121 | DirectoriesToRemove->back().eraseFromDisk(true); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 122 | DirectoriesToRemove->pop_back(); |
| 123 | } |
| 124 | |
Chris Lattner | fa8c292 | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 125 | if (std::find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) { |
| 126 | if (InterruptFunction) { |
| 127 | void (*IF)() = InterruptFunction; |
| 128 | InterruptFunction = 0; |
| 129 | IF(); // run the interrupt function. |
| 130 | return; |
| 131 | } else { |
| 132 | exit(1); // If this is an interrupt signal, exit the program |
| 133 | } |
| 134 | } |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 135 | |
| 136 | // Otherwise if it is a fault (like SEGV) output the stacktrace to |
| 137 | // STDERR (if we can) and reissue the signal to die... |
Reid Spencer | dc6830f | 2006-06-16 00:00:57 +0000 | [diff] [blame] | 138 | if (StackTraceRequested) |
| 139 | PrintStackTrace(); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 140 | signal(Sig, SIG_DFL); |
| 141 | } |
| 142 | |
| 143 | // Just call signal |
| 144 | void RegisterHandler(int Signal) { |
| 145 | signal(Signal, SignalHandler); |
| 146 | } |
| 147 | |
| 148 | } |
| 149 | |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 150 | |
Chris Lattner | fa8c292 | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 151 | void sys::SetInterruptFunction(void (*IF)()) { |
| 152 | InterruptFunction = IF; |
| 153 | RegisterHandler(SIGINT); |
| 154 | } |
| 155 | |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 156 | // RemoveFileOnSignal - The public API |
Reid Spencer | 0554575 | 2006-08-25 21:37:17 +0000 | [diff] [blame] | 157 | bool sys::RemoveFileOnSignal(const sys::Path &Filename, std::string* ErrMsg) { |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 158 | if (FilesToRemove == 0) |
Reid Spencer | a8e80c5 | 2006-08-07 05:34:08 +0000 | [diff] [blame] | 159 | FilesToRemove = new std::vector<sys::Path>; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 160 | |
Reid Spencer | a8e80c5 | 2006-08-07 05:34:08 +0000 | [diff] [blame] | 161 | FilesToRemove->push_back(Filename); |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 162 | |
| 163 | std::for_each(IntSigs, IntSigsEnd, RegisterHandler); |
| 164 | std::for_each(KillSigs, KillSigsEnd, RegisterHandler); |
Reid Spencer | 0554575 | 2006-08-25 21:37:17 +0000 | [diff] [blame] | 165 | return false; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | // RemoveDirectoryOnSignal - The public API |
Reid Spencer | 0554575 | 2006-08-25 21:37:17 +0000 | [diff] [blame] | 169 | bool sys::RemoveDirectoryOnSignal(const sys::Path& path, std::string* ErrMsg) { |
Chris Lattner | 8961501 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 170 | // Not a directory? |
Reid Spencer | 8475ec0 | 2007-03-29 19:05:44 +0000 | [diff] [blame^] | 171 | const sys::FileStatus *Status = path.getFileStatus(false, ErrMsg); |
| 172 | if (!Status) |
| 173 | return true; |
| 174 | if (!Status->isDir) { |
Reid Spencer | 0554575 | 2006-08-25 21:37:17 +0000 | [diff] [blame] | 175 | if (ErrMsg) |
| 176 | *ErrMsg = path.toString() + " is not a directory"; |
| 177 | return true; |
| 178 | } |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 179 | |
| 180 | if (DirectoriesToRemove == 0) |
| 181 | DirectoriesToRemove = new std::vector<sys::Path>; |
| 182 | |
| 183 | DirectoriesToRemove->push_back(path); |
| 184 | |
| 185 | std::for_each(IntSigs, IntSigsEnd, RegisterHandler); |
| 186 | std::for_each(KillSigs, KillSigsEnd, RegisterHandler); |
Reid Spencer | 0554575 | 2006-08-25 21:37:17 +0000 | [diff] [blame] | 187 | return false; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 188 | } |
| 189 | |
| 190 | /// PrintStackTraceOnErrorSignal - When an error signal (such as SIBABRT or |
| 191 | /// SIGSEGV) is delivered to the process, print a stack trace and then exit. |
| 192 | void sys::PrintStackTraceOnErrorSignal() { |
Reid Spencer | dc6830f | 2006-06-16 00:00:57 +0000 | [diff] [blame] | 193 | StackTraceRequested = true; |
Reid Spencer | 496c277 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 194 | std::for_each(KillSigs, KillSigsEnd, RegisterHandler); |
| 195 | } |