blob: 6534ff69b84cb3b2352091b837d14b7f7ac8fcaf [file] [log] [blame]
Reid Spencer3d7a6142004-08-29 19:22:48 +00001//===- Signals.cpp - Signal Handling support --------------------*- C++ -*-===//
Misha Brukman10468d82005-04-21 22:55:34 +00002//
Reid Spencer3d7a6142004-08-29 19:22:48 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman10468d82005-04-21 22:55:34 +00007//
Reid Spencer3d7a6142004-08-29 19:22:48 +00008//===----------------------------------------------------------------------===//
9//
10// This file defines some helpful functions for dealing with the possibility of
Chris Lattner0ab5e2c2011-04-15 05:18:47 +000011// Unix signals occurring while your program is running.
Reid Spencer3d7a6142004-08-29 19:22:48 +000012//
13//===----------------------------------------------------------------------===//
14
Chandler Carruth6bda14b2017-06-06 11:49:48 +000015#include "llvm/Support/Signals.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000016#include "llvm/ADT/STLExtras.h"
17#include "llvm/ADT/StringRef.h"
Nico Weber432a3882018-04-30 14:59:11 +000018#include "llvm/Config/llvm-config.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000019#include "llvm/Support/ErrorOr.h"
20#include "llvm/Support/FileSystem.h"
21#include "llvm/Support/FileUtilities.h"
22#include "llvm/Support/Format.h"
Yaron Keren240bd9c2015-07-22 19:01:14 +000023#include "llvm/Support/ManagedStatic.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000024#include "llvm/Support/MemoryBuffer.h"
25#include "llvm/Support/Mutex.h"
26#include "llvm/Support/Program.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000027#include "llvm/Support/StringSaver.h"
28#include "llvm/Support/raw_ostream.h"
David Blaikie4a60d372017-06-09 07:29:03 +000029#include "llvm/Support/Options.h"
Yaron Keren240bd9c2015-07-22 19:01:14 +000030#include <vector>
Reid Spencer3d7a6142004-08-29 19:22:48 +000031
Reid Spencer3d7a6142004-08-29 19:22:48 +000032//===----------------------------------------------------------------------===//
33//=== WARNING: Implementation here must contain only TRULY operating system
Misha Brukman10468d82005-04-21 22:55:34 +000034//=== independent code.
Reid Spencer3d7a6142004-08-29 19:22:48 +000035//===----------------------------------------------------------------------===//
36
David Blaikie4a60d372017-06-09 07:29:03 +000037using namespace llvm;
38
JF Bastienaa1333a2018-05-16 17:25:35 +000039// Use explicit storage to avoid accessing cl::opt in a signal handler.
40static bool DisableSymbolicationFlag = false;
41static cl::opt<bool, true>
David Blaikie4a60d372017-06-09 07:29:03 +000042 DisableSymbolication("disable-symbolication",
43 cl::desc("Disable symbolizing crash backtraces."),
JF Bastienaa1333a2018-05-16 17:25:35 +000044 cl::location(DisableSymbolicationFlag), cl::Hidden);
David Blaikie4a60d372017-06-09 07:29:03 +000045
JF Bastienaa1333a2018-05-16 17:25:35 +000046// Callbacks to run in signal handler must be lock-free because a signal handler
47// could be running as we add new callbacks. We don't add unbounded numbers of
48// callbacks, an array is therefore sufficient.
49struct CallbackAndCookie {
50 sys::SignalHandlerCallback Callback;
51 void *Cookie;
52 enum class Status { Empty, Initializing, Initialized, Executing };
53 std::atomic<Status> Flag;
54};
55static constexpr size_t MaxSignalHandlerCallbacks = 8;
56static CallbackAndCookie CallBacksToRun[MaxSignalHandlerCallbacks];
57
58// Signal-safe.
JF Bastienb8931c12018-05-16 04:36:37 +000059void sys::RunSignalHandlers() {
JF Bastienaa1333a2018-05-16 17:25:35 +000060 for (size_t I = 0; I < MaxSignalHandlerCallbacks; ++I) {
61 auto &RunMe = CallBacksToRun[I];
62 auto Expected = CallbackAndCookie::Status::Initialized;
63 auto Desired = CallbackAndCookie::Status::Executing;
64 if (!RunMe.Flag.compare_exchange_strong(Expected, Desired))
65 continue;
66 (*RunMe.Callback)(RunMe.Cookie);
67 RunMe.Callback = nullptr;
68 RunMe.Cookie = nullptr;
69 RunMe.Flag.store(CallbackAndCookie::Status::Empty);
70 }
71}
72
73// Signal-safe.
74static void insertSignalHandler(sys::SignalHandlerCallback FnPtr,
75 void *Cookie) {
76 for (size_t I = 0; I < MaxSignalHandlerCallbacks; ++I) {
77 auto &SetMe = CallBacksToRun[I];
78 auto Expected = CallbackAndCookie::Status::Empty;
79 auto Desired = CallbackAndCookie::Status::Initializing;
80 if (!SetMe.Flag.compare_exchange_strong(Expected, Desired))
81 continue;
82 SetMe.Callback = FnPtr;
83 SetMe.Cookie = Cookie;
84 SetMe.Flag.store(CallbackAndCookie::Status::Initialized);
JF Bastienb8931c12018-05-16 04:36:37 +000085 return;
JF Bastienaa1333a2018-05-16 17:25:35 +000086 }
87 report_fatal_error("too many signal callbacks already registered");
Yaron Keren240bd9c2015-07-22 19:01:14 +000088}
Reid Klecknerba5757d2015-11-05 01:07:54 +000089
90static bool findModulesAndOffsets(void **StackTrace, int Depth,
91 const char **Modules, intptr_t *Offsets,
92 const char *MainExecutableName,
93 StringSaver &StrPool);
94
95/// Format a pointer value as hexadecimal. Zero pad it out so its always the
96/// same width.
97static FormattedNumber format_ptr(void *PC) {
98 // Each byte is two hex digits plus 2 for the 0x prefix.
99 unsigned PtrWidth = 2 + 2 * sizeof(void *);
100 return format_hex((uint64_t)PC, PtrWidth);
101}
102
103/// Helper that launches llvm-symbolizer and symbolizes a backtrace.
Fangrui Song862eebb2018-05-05 20:14:38 +0000104LLVM_ATTRIBUTE_USED
105static bool printSymbolizedStackTrace(StringRef Argv0, void **StackTrace,
106 int Depth, llvm::raw_ostream &OS) {
JF Bastienaa1333a2018-05-16 17:25:35 +0000107 if (DisableSymbolicationFlag)
David Blaikie4a60d372017-06-09 07:29:03 +0000108 return false;
109
Richard Smith2ad6d482016-06-09 00:53:21 +0000110 // Don't recursively invoke the llvm-symbolizer binary.
111 if (Argv0.find("llvm-symbolizer") != std::string::npos)
112 return false;
113
Reid Klecknerba5757d2015-11-05 01:07:54 +0000114 // FIXME: Subtract necessary number from StackTrace entries to turn return addresses
115 // into actual instruction addresses.
Richard Smith2ad6d482016-06-09 00:53:21 +0000116 // Use llvm-symbolizer tool to symbolize the stack traces. First look for it
117 // alongside our binary, then in $PATH.
118 ErrorOr<std::string> LLVMSymbolizerPathOrErr = std::error_code();
119 if (!Argv0.empty()) {
120 StringRef Parent = llvm::sys::path::parent_path(Argv0);
121 if (!Parent.empty())
122 LLVMSymbolizerPathOrErr = sys::findProgramByName("llvm-symbolizer", Parent);
123 }
124 if (!LLVMSymbolizerPathOrErr)
125 LLVMSymbolizerPathOrErr = sys::findProgramByName("llvm-symbolizer");
Reid Klecknerba5757d2015-11-05 01:07:54 +0000126 if (!LLVMSymbolizerPathOrErr)
127 return false;
128 const std::string &LLVMSymbolizerPath = *LLVMSymbolizerPathOrErr;
Reid Klecknerba5757d2015-11-05 01:07:54 +0000129
Richard Smith2ad6d482016-06-09 00:53:21 +0000130 // If we don't know argv0 or the address of main() at this point, try
131 // to guess it anyway (it's possible on some platforms).
132 std::string MainExecutableName =
133 Argv0.empty() ? sys::fs::getMainExecutable(nullptr, nullptr)
134 : (std::string)Argv0;
Reid Klecknerba5757d2015-11-05 01:07:54 +0000135 BumpPtrAllocator Allocator;
136 StringSaver StrPool(Allocator);
137 std::vector<const char *> Modules(Depth, nullptr);
138 std::vector<intptr_t> Offsets(Depth, 0);
139 if (!findModulesAndOffsets(StackTrace, Depth, Modules.data(), Offsets.data(),
140 MainExecutableName.c_str(), StrPool))
141 return false;
142 int InputFD;
143 SmallString<32> InputFile, OutputFile;
144 sys::fs::createTemporaryFile("symbolizer-input", "", InputFD, InputFile);
145 sys::fs::createTemporaryFile("symbolizer-output", "", OutputFile);
146 FileRemover InputRemover(InputFile.c_str());
147 FileRemover OutputRemover(OutputFile.c_str());
148
149 {
150 raw_fd_ostream Input(InputFD, true);
151 for (int i = 0; i < Depth; i++) {
152 if (Modules[i])
153 Input << Modules[i] << " " << (void*)Offsets[i] << "\n";
154 }
155 }
156
Zachary Turner08426e12018-06-12 17:43:52 +0000157 Optional<StringRef> Redirects[] = {StringRef(InputFile),
158 StringRef(OutputFile), llvm::None};
159 StringRef Args[] = {"llvm-symbolizer", "--functions=linkage", "--inlining",
Nico Weber712e8d22018-04-29 00:45:03 +0000160#ifdef _WIN32
Zachary Turner08426e12018-06-12 17:43:52 +0000161 // Pass --relative-address on Windows so that we don't
162 // have to add ImageBase from PE file.
163 // FIXME: Make this the default for llvm-symbolizer.
164 "--relative-address",
Reid Klecknerba5757d2015-11-05 01:07:54 +0000165#endif
Zachary Turner08426e12018-06-12 17:43:52 +0000166 "--demangle"};
Reid Klecknerba5757d2015-11-05 01:07:54 +0000167 int RunResult =
Zachary Turner08426e12018-06-12 17:43:52 +0000168 sys::ExecuteAndWait(LLVMSymbolizerPath, Args, None, Redirects);
Reid Klecknerba5757d2015-11-05 01:07:54 +0000169 if (RunResult != 0)
170 return false;
171
172 // This report format is based on the sanitizer stack trace printer. See
173 // sanitizer_stacktrace_printer.cc in compiler-rt.
174 auto OutputBuf = MemoryBuffer::getFile(OutputFile.c_str());
175 if (!OutputBuf)
176 return false;
177 StringRef Output = OutputBuf.get()->getBuffer();
178 SmallVector<StringRef, 32> Lines;
179 Output.split(Lines, "\n");
180 auto CurLine = Lines.begin();
181 int frame_no = 0;
182 for (int i = 0; i < Depth; i++) {
183 if (!Modules[i]) {
184 OS << '#' << frame_no++ << ' ' << format_ptr(StackTrace[i]) << '\n';
185 continue;
186 }
187 // Read pairs of lines (function name and file/line info) until we
188 // encounter empty line.
189 for (;;) {
190 if (CurLine == Lines.end())
191 return false;
192 StringRef FunctionName = *CurLine++;
193 if (FunctionName.empty())
194 break;
195 OS << '#' << frame_no++ << ' ' << format_ptr(StackTrace[i]) << ' ';
196 if (!FunctionName.startswith("??"))
197 OS << FunctionName << ' ';
198 if (CurLine == Lines.end())
199 return false;
200 StringRef FileLineInfo = *CurLine++;
201 if (!FileLineInfo.startswith("??"))
202 OS << FileLineInfo;
203 else
204 OS << "(" << Modules[i] << '+' << format_hex(Offsets[i], 0) << ")";
205 OS << "\n";
206 }
207 }
208 return true;
209}
210
Reid Spencer3d7a6142004-08-29 19:22:48 +0000211// Include the platform-specific parts of this class.
Reid Spencer844f3fe2004-12-27 06:16:11 +0000212#ifdef LLVM_ON_UNIX
Reid Spencerc892a0d2005-01-09 23:29:00 +0000213#include "Unix/Signals.inc"
Reid Spencer844f3fe2004-12-27 06:16:11 +0000214#endif
Nico Weber712e8d22018-04-29 00:45:03 +0000215#ifdef _WIN32
Michael J. Spencer447762d2010-11-29 18:16:10 +0000216#include "Windows/Signals.inc"
Reid Spencer844f3fe2004-12-27 06:16:11 +0000217#endif