blob: 7bd752649a44da767b01a5775bbfb1aa414f682b [file] [log] [blame]
Reid Spencer496c2772004-08-29 19:22:48 +00001//===- Signals.cpp - Generic Unix Signals Implementation -----*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer496c2772004-08-29 19:22:48 +00007//
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 Anderson718cb662007-09-07 04:06:50 +000016#include "llvm/ADT/STLExtras.h"
Owen Anderson6ae8c732009-08-17 17:07:22 +000017#include "llvm/System/Mutex.h"
Reid Spencer496c2772004-08-29 19:22:48 +000018#include <vector>
19#include <algorithm>
Reid Spencercdf54d02004-12-27 06:16:52 +000020#if HAVE_EXECINFO_H
Reid Spencer496c2772004-08-29 19:22:48 +000021# include <execinfo.h> // For backtrace().
22#endif
Reid Spencercdf54d02004-12-27 06:16:52 +000023#if HAVE_SIGNAL_H
Reid Spencer496c2772004-08-29 19:22:48 +000024#include <signal.h>
Reid Spencercdf54d02004-12-27 06:16:52 +000025#endif
Reid Spencer2ae9d112007-04-07 18:52:17 +000026#if HAVE_SYS_STAT_H
27#include <sys/stat.h>
28#endif
Dan Gohman56d9b6d2008-12-05 20:12:48 +000029#if HAVE_DLFCN_H && __GNUG__
30#include <dlfcn.h>
31#include <cxxabi.h>
32#endif
Chris Lattner89615012006-08-01 17:59:14 +000033using namespace llvm;
Reid Spencer496c2772004-08-29 19:22:48 +000034
Chris Lattner1c4d8a02009-03-23 05:42:29 +000035static RETSIGTYPE SignalHandler(int Sig); // defined below.
36
Owen Anderson6ae8c732009-08-17 17:07:22 +000037static SmartMutex<true> SignalsMutex;
38
Chris Lattnerfa8c2922005-08-02 02:14:22 +000039/// InterruptFunction - The function to call if ctrl-c is pressed.
Dan Gohman3bd659b2008-04-10 21:11:47 +000040static void (*InterruptFunction)() = 0;
Chris Lattnerfa8c2922005-08-02 02:14:22 +000041
Chris Lattner35033a52009-03-04 21:21:36 +000042static std::vector<sys::Path> *FilesToRemove = 0;
43static std::vector<std::pair<void(*)(void*), void*> > *CallBacksToRun = 0;
Reid Spencer496c2772004-08-29 19:22:48 +000044
45// IntSigs - Signals that may interrupt the program at any time.
Dan Gohman3bd659b2008-04-10 21:11:47 +000046static const int IntSigs[] = {
Reid Spencer496c2772004-08-29 19:22:48 +000047 SIGHUP, SIGINT, SIGQUIT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2
48};
Dan Gohman4d9dd6b2008-05-14 00:42:30 +000049static const int *const IntSigsEnd =
50 IntSigs + sizeof(IntSigs) / sizeof(IntSigs[0]);
Reid Spencer496c2772004-08-29 19:22:48 +000051
52// KillSigs - Signals that are synchronous with the program that will cause it
53// to die.
Dan Gohman3bd659b2008-04-10 21:11:47 +000054static const int KillSigs[] = {
Chris Lattner6ae7bbb2010-02-12 00:37:46 +000055 SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV
56#ifdef SIGSYS
57 , SIGSYS
58#endif
59#ifdef SIGXCPU
60 , SIGXCPU
61#endif
62#ifdef SIGEMT
63 , SIGXFSZ
64#endif
Reid Spencer496c2772004-08-29 19:22:48 +000065#ifdef SIGEMT
66 , SIGEMT
67#endif
68};
Dan Gohman4d9dd6b2008-05-14 00:42:30 +000069static const int *const KillSigsEnd =
70 KillSigs + sizeof(KillSigs) / sizeof(KillSigs[0]);
Reid Spencer496c2772004-08-29 19:22:48 +000071
Chris Lattnereab5cb32009-03-23 05:55:36 +000072static unsigned NumRegisteredSignals = 0;
73static struct {
74 struct sigaction SA;
75 int SigNo;
76} RegisteredSignalInfo[(sizeof(IntSigs)+sizeof(KillSigs))/sizeof(KillSigs[0])];
77
78
Chris Lattner1c4d8a02009-03-23 05:42:29 +000079static void RegisterHandler(int Signal) {
Chris Lattnereab5cb32009-03-23 05:55:36 +000080 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 Lattner922a8812009-03-07 08:15:47 +000095}
96
Chris Lattner1c4d8a02009-03-23 05:42:29 +000097static void RegisterHandlers() {
Chris Lattnereab5cb32009-03-23 05:55:36 +000098 // If the handlers are already registered, we're done.
99 if (NumRegisteredSignals != 0) return;
100
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000101 std::for_each(IntSigs, IntSigsEnd, RegisterHandler);
102 std::for_each(KillSigs, KillSigsEnd, RegisterHandler);
103}
104
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000105static void UnregisterHandlers() {
Chris Lattnereab5cb32009-03-23 05:55:36 +0000106 // 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 Lattnera8bd27f2009-03-23 06:46:20 +0000108 sigaction(RegisteredSignalInfo[i].SigNo,
109 &RegisteredSignalInfo[i].SA, 0);
Chris Lattnereab5cb32009-03-23 05:55:36 +0000110 NumRegisteredSignals = 0;
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000111}
112
113
Chris Lattner922a8812009-03-07 08:15:47 +0000114
115// SignalHandler - The signal handler that runs.
Chris Lattner35033a52009-03-04 21:21:36 +0000116static RETSIGTYPE SignalHandler(int Sig) {
Chris Lattner0f6290d2009-03-05 18:22:14 +0000117 // 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 Lattner1c4d8a02009-03-23 05:42:29 +0000121 UnregisterHandlers();
Chris Lattner922a8812009-03-07 08:15:47 +0000122
123 // Unmask all potentially blocked kill signals.
124 sigset_t SigMask;
125 sigfillset(&SigMask);
126 sigprocmask(SIG_UNBLOCK, &SigMask, 0);
Chris Lattner0f6290d2009-03-05 18:22:14 +0000127
Owen Anderson6ae8c732009-08-17 17:07:22 +0000128 SignalsMutex.acquire();
Chris Lattner35033a52009-03-04 21:21:36 +0000129 if (FilesToRemove != 0)
130 while (!FilesToRemove->empty()) {
131 FilesToRemove->back().eraseFromDisk(true);
132 FilesToRemove->pop_back();
133 }
134
135 if (std::find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) {
136 if (InterruptFunction) {
137 void (*IF)() = InterruptFunction;
Owen Anderson6ae8c732009-08-17 17:07:22 +0000138 SignalsMutex.release();
Chris Lattner35033a52009-03-04 21:21:36 +0000139 InterruptFunction = 0;
140 IF(); // run the interrupt function.
141 return;
142 }
Owen Anderson6ae8c732009-08-17 17:07:22 +0000143
144 SignalsMutex.release();
Chris Lattnerb7253152009-04-12 23:33:13 +0000145 raise(Sig); // Execute the default handler.
146 return;
Chris Lattner35033a52009-03-04 21:21:36 +0000147 }
148
Owen Anderson6ae8c732009-08-17 17:07:22 +0000149 SignalsMutex.release();
150
Chris Lattner35033a52009-03-04 21:21:36 +0000151 // Otherwise if it is a fault (like SEGV) run any handler.
152 if (CallBacksToRun)
153 for (unsigned i = 0, e = CallBacksToRun->size(); i != e; ++i)
154 (*CallBacksToRun)[i].first((*CallBacksToRun)[i].second);
Chris Lattner35033a52009-03-04 21:21:36 +0000155}
156
Chris Lattner35033a52009-03-04 21:21:36 +0000157
158
Chris Lattnerf48ba7b2009-03-08 19:13:45 +0000159void llvm::sys::SetInterruptFunction(void (*IF)()) {
Owen Anderson6ae8c732009-08-17 17:07:22 +0000160 SignalsMutex.acquire();
Chris Lattner35033a52009-03-04 21:21:36 +0000161 InterruptFunction = IF;
Owen Anderson6ae8c732009-08-17 17:07:22 +0000162 SignalsMutex.release();
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000163 RegisterHandlers();
Chris Lattner35033a52009-03-04 21:21:36 +0000164}
165
166// RemoveFileOnSignal - The public API
Chris Lattnerf48ba7b2009-03-08 19:13:45 +0000167bool llvm::sys::RemoveFileOnSignal(const sys::Path &Filename,
168 std::string* ErrMsg) {
Owen Anderson6ae8c732009-08-17 17:07:22 +0000169 SignalsMutex.acquire();
Chris Lattner35033a52009-03-04 21:21:36 +0000170 if (FilesToRemove == 0)
171 FilesToRemove = new std::vector<sys::Path>();
172
173 FilesToRemove->push_back(Filename);
174
Owen Anderson6ae8c732009-08-17 17:07:22 +0000175 SignalsMutex.release();
176
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000177 RegisterHandlers();
Chris Lattner35033a52009-03-04 21:21:36 +0000178 return false;
179}
180
181/// AddSignalHandler - Add a function to be called when a signal is delivered
182/// to the process. The handler can have a cookie passed to it to identify
183/// what instance of the handler it is.
Chris Lattnerf48ba7b2009-03-08 19:13:45 +0000184void llvm::sys::AddSignalHandler(void (*FnPtr)(void *), void *Cookie) {
Chris Lattner35033a52009-03-04 21:21:36 +0000185 if (CallBacksToRun == 0)
186 CallBacksToRun = new std::vector<std::pair<void(*)(void*), void*> >();
187 CallBacksToRun->push_back(std::make_pair(FnPtr, Cookie));
Chris Lattner1c4d8a02009-03-23 05:42:29 +0000188 RegisterHandlers();
Chris Lattner35033a52009-03-04 21:21:36 +0000189}
190
Reid Spencer496c2772004-08-29 19:22:48 +0000191
192// PrintStackTrace - In the case of a program crash or fault, print out a stack
193// trace so that the user has an indication of why and where we died.
194//
195// On glibc systems we have the 'backtrace' function, which works nicely, but
Lauro Ramos Venancio2e78b782008-02-15 18:05:54 +0000196// doesn't demangle symbols.
Chris Lattner35033a52009-03-04 21:21:36 +0000197static void PrintStackTrace(void *) {
Reid Spencer496c2772004-08-29 19:22:48 +0000198#ifdef HAVE_BACKTRACE
Chris Lattner35033a52009-03-04 21:21:36 +0000199 static void* StackTrace[256];
Reid Spencer496c2772004-08-29 19:22:48 +0000200 // Use backtrace() to output a backtrace on Linux systems with glibc.
Evan Cheng34cd4a42008-05-05 18:30:58 +0000201 int depth = backtrace(StackTrace,
202 static_cast<int>(array_lengthof(StackTrace)));
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000203#if HAVE_DLFCN_H && __GNUG__
204 int width = 0;
205 for (int i = 0; i < depth; ++i) {
206 Dl_info dlinfo;
207 dladdr(StackTrace[i], &dlinfo);
Dan Gohmand4e18452009-02-10 17:56:28 +0000208 const char* name = strrchr(dlinfo.dli_fname, '/');
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000209
210 int nwidth;
211 if (name == NULL) nwidth = strlen(dlinfo.dli_fname);
212 else nwidth = strlen(name) - 1;
213
214 if (nwidth > width) width = nwidth;
215 }
216
217 for (int i = 0; i < depth; ++i) {
218 Dl_info dlinfo;
219 dladdr(StackTrace[i], &dlinfo);
220
Dan Gohman0b81e192009-10-30 02:45:10 +0000221 fprintf(stderr, "%-2d", i);
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000222
Dan Gohmand4e18452009-02-10 17:56:28 +0000223 const char* name = strrchr(dlinfo.dli_fname, '/');
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000224 if (name == NULL) fprintf(stderr, " %-*s", width, dlinfo.dli_fname);
225 else fprintf(stderr, " %-*s", width, name+1);
226
Dan Gohmandd17b252008-12-05 23:39:24 +0000227 fprintf(stderr, " %#0*lx",
228 (int)(sizeof(void*) * 2) + 2, (unsigned long)StackTrace[i]);
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000229
230 if (dlinfo.dli_sname != NULL) {
231 int res;
232 fputc(' ', stderr);
233 char* d = abi::__cxa_demangle(dlinfo.dli_sname, NULL, NULL, &res);
234 if (d == NULL) fputs(dlinfo.dli_sname, stderr);
235 else fputs(d, stderr);
236 free(d);
237
238 fprintf(stderr, " + %tu",(char*)StackTrace[i]-(char*)dlinfo.dli_saddr);
239 }
240 fputc('\n', stderr);
241 }
242#else
Lauro Ramos Venancio2e78b782008-02-15 18:05:54 +0000243 backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO);
Reid Spencer496c2772004-08-29 19:22:48 +0000244#endif
Dan Gohman56d9b6d2008-12-05 20:12:48 +0000245#endif
Reid Spencer496c2772004-08-29 19:22:48 +0000246}
247
Reid Spencer496c2772004-08-29 19:22:48 +0000248/// PrintStackTraceOnErrorSignal - When an error signal (such as SIBABRT or
249/// SIGSEGV) is delivered to the process, print a stack trace and then exit.
Chris Lattnerf48ba7b2009-03-08 19:13:45 +0000250void llvm::sys::PrintStackTraceOnErrorSignal() {
Chris Lattner35033a52009-03-04 21:21:36 +0000251 AddSignalHandler(PrintStackTrace, 0);
Reid Spencer496c2772004-08-29 19:22:48 +0000252}
Chris Lattner35033a52009-03-04 21:21:36 +0000253