blob: 173a07f009d23869c31380c7b7368b4c7e61b6b7 [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Misha Brukman10468d82005-04-21 22:55:34 +00006//
Reid Spencer3d7a6142004-08-29 19:22:48 +00007//===----------------------------------------------------------------------===//
8//
9// This file defines some helpful functions for dealing with the possibility of
Chris Lattner0ab5e2c2011-04-15 05:18:47 +000010// Unix signals occurring while your program is running.
Reid Spencer3d7a6142004-08-29 19:22:48 +000011//
12//===----------------------------------------------------------------------===//
13
Chandler Carruth6bda14b2017-06-06 11:49:48 +000014#include "llvm/Support/Signals.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000015#include "llvm/ADT/STLExtras.h"
16#include "llvm/ADT/StringRef.h"
Nico Weber432a3882018-04-30 14:59:11 +000017#include "llvm/Config/llvm-config.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000018#include "llvm/Support/ErrorOr.h"
19#include "llvm/Support/FileSystem.h"
20#include "llvm/Support/FileUtilities.h"
21#include "llvm/Support/Format.h"
Alexandre Ganeab67d91e2018-12-18 18:13:13 +000022#include "llvm/Support/FormatVariadic.h"
23#include "llvm/Support/FormatAdapters.h"
Yaron Keren240bd9c2015-07-22 19:01:14 +000024#include "llvm/Support/ManagedStatic.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000025#include "llvm/Support/MemoryBuffer.h"
26#include "llvm/Support/Mutex.h"
27#include "llvm/Support/Program.h"
Reid Klecknerba5757d2015-11-05 01:07:54 +000028#include "llvm/Support/StringSaver.h"
29#include "llvm/Support/raw_ostream.h"
David Blaikie4a60d372017-06-09 07:29:03 +000030#include "llvm/Support/Options.h"
Yaron Keren240bd9c2015-07-22 19:01:14 +000031#include <vector>
Reid Spencer3d7a6142004-08-29 19:22:48 +000032
Reid Spencer3d7a6142004-08-29 19:22:48 +000033//===----------------------------------------------------------------------===//
34//=== WARNING: Implementation here must contain only TRULY operating system
Misha Brukman10468d82005-04-21 22:55:34 +000035//=== independent code.
Reid Spencer3d7a6142004-08-29 19:22:48 +000036//===----------------------------------------------------------------------===//
37
David Blaikie4a60d372017-06-09 07:29:03 +000038using namespace llvm;
39
JF Bastienaa1333a2018-05-16 17:25:35 +000040// Use explicit storage to avoid accessing cl::opt in a signal handler.
41static bool DisableSymbolicationFlag = false;
42static cl::opt<bool, true>
David Blaikie4a60d372017-06-09 07:29:03 +000043 DisableSymbolication("disable-symbolication",
44 cl::desc("Disable symbolizing crash backtraces."),
JF Bastienaa1333a2018-05-16 17:25:35 +000045 cl::location(DisableSymbolicationFlag), cl::Hidden);
David Blaikie4a60d372017-06-09 07:29:03 +000046
JF Bastienaa1333a2018-05-16 17:25:35 +000047// Callbacks to run in signal handler must be lock-free because a signal handler
48// could be running as we add new callbacks. We don't add unbounded numbers of
49// callbacks, an array is therefore sufficient.
50struct CallbackAndCookie {
51 sys::SignalHandlerCallback Callback;
52 void *Cookie;
53 enum class Status { Empty, Initializing, Initialized, Executing };
54 std::atomic<Status> Flag;
55};
56static constexpr size_t MaxSignalHandlerCallbacks = 8;
57static CallbackAndCookie CallBacksToRun[MaxSignalHandlerCallbacks];
58
59// Signal-safe.
JF Bastienb8931c12018-05-16 04:36:37 +000060void sys::RunSignalHandlers() {
JF Bastienaa1333a2018-05-16 17:25:35 +000061 for (size_t I = 0; I < MaxSignalHandlerCallbacks; ++I) {
62 auto &RunMe = CallBacksToRun[I];
63 auto Expected = CallbackAndCookie::Status::Initialized;
64 auto Desired = CallbackAndCookie::Status::Executing;
65 if (!RunMe.Flag.compare_exchange_strong(Expected, Desired))
66 continue;
67 (*RunMe.Callback)(RunMe.Cookie);
68 RunMe.Callback = nullptr;
69 RunMe.Cookie = nullptr;
70 RunMe.Flag.store(CallbackAndCookie::Status::Empty);
71 }
72}
73
74// Signal-safe.
75static void insertSignalHandler(sys::SignalHandlerCallback FnPtr,
76 void *Cookie) {
77 for (size_t I = 0; I < MaxSignalHandlerCallbacks; ++I) {
78 auto &SetMe = CallBacksToRun[I];
79 auto Expected = CallbackAndCookie::Status::Empty;
80 auto Desired = CallbackAndCookie::Status::Initializing;
81 if (!SetMe.Flag.compare_exchange_strong(Expected, Desired))
82 continue;
83 SetMe.Callback = FnPtr;
84 SetMe.Cookie = Cookie;
85 SetMe.Flag.store(CallbackAndCookie::Status::Initialized);
JF Bastienb8931c12018-05-16 04:36:37 +000086 return;
JF Bastienaa1333a2018-05-16 17:25:35 +000087 }
88 report_fatal_error("too many signal callbacks already registered");
Yaron Keren240bd9c2015-07-22 19:01:14 +000089}
Reid Klecknerba5757d2015-11-05 01:07:54 +000090
91static bool findModulesAndOffsets(void **StackTrace, int Depth,
92 const char **Modules, intptr_t *Offsets,
93 const char *MainExecutableName,
94 StringSaver &StrPool);
95
96/// Format a pointer value as hexadecimal. Zero pad it out so its always the
97/// same width.
98static FormattedNumber format_ptr(void *PC) {
99 // Each byte is two hex digits plus 2 for the 0x prefix.
100 unsigned PtrWidth = 2 + 2 * sizeof(void *);
101 return format_hex((uint64_t)PC, PtrWidth);
102}
103
104/// Helper that launches llvm-symbolizer and symbolizes a backtrace.
Fangrui Song862eebb2018-05-05 20:14:38 +0000105LLVM_ATTRIBUTE_USED
106static bool printSymbolizedStackTrace(StringRef Argv0, void **StackTrace,
107 int Depth, llvm::raw_ostream &OS) {
JF Bastienaa1333a2018-05-16 17:25:35 +0000108 if (DisableSymbolicationFlag)
David Blaikie4a60d372017-06-09 07:29:03 +0000109 return false;
110
Richard Smith2ad6d482016-06-09 00:53:21 +0000111 // Don't recursively invoke the llvm-symbolizer binary.
112 if (Argv0.find("llvm-symbolizer") != std::string::npos)
113 return false;
114
Reid Klecknerba5757d2015-11-05 01:07:54 +0000115 // FIXME: Subtract necessary number from StackTrace entries to turn return addresses
116 // into actual instruction addresses.
Richard Smith2ad6d482016-06-09 00:53:21 +0000117 // Use llvm-symbolizer tool to symbolize the stack traces. First look for it
118 // alongside our binary, then in $PATH.
119 ErrorOr<std::string> LLVMSymbolizerPathOrErr = std::error_code();
120 if (!Argv0.empty()) {
121 StringRef Parent = llvm::sys::path::parent_path(Argv0);
122 if (!Parent.empty())
123 LLVMSymbolizerPathOrErr = sys::findProgramByName("llvm-symbolizer", Parent);
124 }
125 if (!LLVMSymbolizerPathOrErr)
126 LLVMSymbolizerPathOrErr = sys::findProgramByName("llvm-symbolizer");
Reid Klecknerba5757d2015-11-05 01:07:54 +0000127 if (!LLVMSymbolizerPathOrErr)
128 return false;
129 const std::string &LLVMSymbolizerPath = *LLVMSymbolizerPathOrErr;
Reid Klecknerba5757d2015-11-05 01:07:54 +0000130
Richard Smith2ad6d482016-06-09 00:53:21 +0000131 // If we don't know argv0 or the address of main() at this point, try
132 // to guess it anyway (it's possible on some platforms).
133 std::string MainExecutableName =
Sean Silvade68a372019-04-15 22:07:56 +0000134 sys::fs::exists(Argv0) ? (std::string)Argv0
135 : sys::fs::getMainExecutable(nullptr, nullptr);
Reid Klecknerba5757d2015-11-05 01:07:54 +0000136 BumpPtrAllocator Allocator;
137 StringSaver StrPool(Allocator);
138 std::vector<const char *> Modules(Depth, nullptr);
139 std::vector<intptr_t> Offsets(Depth, 0);
140 if (!findModulesAndOffsets(StackTrace, Depth, Modules.data(), Offsets.data(),
141 MainExecutableName.c_str(), StrPool))
142 return false;
143 int InputFD;
144 SmallString<32> InputFile, OutputFile;
145 sys::fs::createTemporaryFile("symbolizer-input", "", InputFD, InputFile);
146 sys::fs::createTemporaryFile("symbolizer-output", "", OutputFile);
147 FileRemover InputRemover(InputFile.c_str());
148 FileRemover OutputRemover(OutputFile.c_str());
149
150 {
151 raw_fd_ostream Input(InputFD, true);
152 for (int i = 0; i < Depth; i++) {
153 if (Modules[i])
154 Input << Modules[i] << " " << (void*)Offsets[i] << "\n";
155 }
156 }
157
Zachary Turner08426e12018-06-12 17:43:52 +0000158 Optional<StringRef> Redirects[] = {StringRef(InputFile),
Alexandre Ganeab536bf522018-12-18 18:23:36 +0000159 StringRef(OutputFile), StringRef("")};
Zachary Turner08426e12018-06-12 17:43:52 +0000160 StringRef Args[] = {"llvm-symbolizer", "--functions=linkage", "--inlining",
Nico Weber712e8d22018-04-29 00:45:03 +0000161#ifdef _WIN32
Zachary Turner08426e12018-06-12 17:43:52 +0000162 // Pass --relative-address on Windows so that we don't
163 // have to add ImageBase from PE file.
164 // FIXME: Make this the default for llvm-symbolizer.
165 "--relative-address",
Reid Klecknerba5757d2015-11-05 01:07:54 +0000166#endif
Zachary Turner08426e12018-06-12 17:43:52 +0000167 "--demangle"};
Reid Klecknerba5757d2015-11-05 01:07:54 +0000168 int RunResult =
Zachary Turner08426e12018-06-12 17:43:52 +0000169 sys::ExecuteAndWait(LLVMSymbolizerPath, Args, None, Redirects);
Reid Klecknerba5757d2015-11-05 01:07:54 +0000170 if (RunResult != 0)
171 return false;
172
173 // This report format is based on the sanitizer stack trace printer. See
174 // sanitizer_stacktrace_printer.cc in compiler-rt.
175 auto OutputBuf = MemoryBuffer::getFile(OutputFile.c_str());
176 if (!OutputBuf)
177 return false;
178 StringRef Output = OutputBuf.get()->getBuffer();
179 SmallVector<StringRef, 32> Lines;
180 Output.split(Lines, "\n");
181 auto CurLine = Lines.begin();
182 int frame_no = 0;
183 for (int i = 0; i < Depth; i++) {
Alexandre Ganeab67d91e2018-12-18 18:13:13 +0000184 auto PrintLineHeader = [&]() {
185 OS << right_justify(formatv("#{0}", frame_no++).str(),
186 std::log10(Depth) + 2)
187 << ' ' << format_ptr(StackTrace[i]) << ' ';
188 };
Reid Klecknerba5757d2015-11-05 01:07:54 +0000189 if (!Modules[i]) {
Alexandre Ganeab67d91e2018-12-18 18:13:13 +0000190 PrintLineHeader();
191 OS << '\n';
Reid Klecknerba5757d2015-11-05 01:07:54 +0000192 continue;
193 }
194 // Read pairs of lines (function name and file/line info) until we
195 // encounter empty line.
196 for (;;) {
197 if (CurLine == Lines.end())
198 return false;
199 StringRef FunctionName = *CurLine++;
200 if (FunctionName.empty())
201 break;
Alexandre Ganeab67d91e2018-12-18 18:13:13 +0000202 PrintLineHeader();
Reid Klecknerba5757d2015-11-05 01:07:54 +0000203 if (!FunctionName.startswith("??"))
204 OS << FunctionName << ' ';
205 if (CurLine == Lines.end())
206 return false;
207 StringRef FileLineInfo = *CurLine++;
208 if (!FileLineInfo.startswith("??"))
209 OS << FileLineInfo;
210 else
211 OS << "(" << Modules[i] << '+' << format_hex(Offsets[i], 0) << ")";
212 OS << "\n";
213 }
214 }
215 return true;
216}
217
Reid Spencer3d7a6142004-08-29 19:22:48 +0000218// Include the platform-specific parts of this class.
Reid Spencer844f3fe2004-12-27 06:16:11 +0000219#ifdef LLVM_ON_UNIX
Reid Spencerc892a0d2005-01-09 23:29:00 +0000220#include "Unix/Signals.inc"
Reid Spencer844f3fe2004-12-27 06:16:11 +0000221#endif
Nico Weber712e8d22018-04-29 00:45:03 +0000222#ifdef _WIN32
Michael J. Spencer447762d2010-11-29 18:16:10 +0000223#include "Windows/Signals.inc"
Reid Spencer844f3fe2004-12-27 06:16:11 +0000224#endif