annotate libsanitizer/tsan/tsan_symbolize.cpp @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 //===-- tsan_symbolize.cpp ------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 // This file is a part of ThreadSanitizer (TSan), a race detector.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 //
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 #include "tsan_symbolize.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 #include "sanitizer_common/sanitizer_common.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 #include "sanitizer_common/sanitizer_placement_new.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 #include "sanitizer_common/sanitizer_symbolizer.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 #include "tsan_flags.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 #include "tsan_report.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 #include "tsan_rtl.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 namespace __tsan {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 void EnterSymbolizer() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 ThreadState *thr = cur_thread();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 CHECK(!thr->in_symbolizer);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 thr->in_symbolizer = true;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 thr->ignore_interceptors++;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 void ExitSymbolizer() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 ThreadState *thr = cur_thread();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 CHECK(thr->in_symbolizer);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 thr->in_symbolizer = false;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 thr->ignore_interceptors--;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 // Legacy API.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 // May be overriden by JIT/JAVA/etc,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 // whatever produces PCs marked with kExternalPCBit.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 SANITIZER_WEAK_DEFAULT_IMPL
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 bool __tsan_symbolize_external(uptr pc, char *func_buf, uptr func_siz,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 char *file_buf, uptr file_siz, int *line,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 int *col) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 return false;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 // New API: call __tsan_symbolize_external_ex only when it exists.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 // Once old clients are gone, provide dummy implementation.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 SANITIZER_WEAK_DEFAULT_IMPL
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 void __tsan_symbolize_external_ex(uptr pc,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 void (*add_frame)(void *, const char *,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 const char *, int, int),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 void *ctx) {}
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 struct SymbolizedStackBuilder {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 SymbolizedStack *head;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 SymbolizedStack *tail;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 uptr addr;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 static void AddFrame(void *ctx, const char *function_name, const char *file,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 int line, int column) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 SymbolizedStackBuilder *ssb = (struct SymbolizedStackBuilder *)ctx;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 if (ssb->tail) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 ssb->tail->next = SymbolizedStack::New(ssb->addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 ssb->tail = ssb->tail->next;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 ssb->head = ssb->tail = SymbolizedStack::New(ssb->addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 AddressInfo *info = &ssb->tail->info;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 if (function_name) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 info->function = internal_strdup(function_name);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 if (file) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 info->file = internal_strdup(file);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 info->line = line;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 info->column = column;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 SymbolizedStack *SymbolizeCode(uptr addr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 // Check if PC comes from non-native land.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 if (addr & kExternalPCBit) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 SymbolizedStackBuilder ssb = {nullptr, nullptr, addr};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 __tsan_symbolize_external_ex(addr, AddFrame, &ssb);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 if (ssb.head)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 return ssb.head;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 // Legacy code: remove along with the declaration above
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 // once all clients using this API are gone.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 // Declare static to not consume too much stack space.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 // We symbolize reports in a single thread, so this is fine.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 static char func_buf[1024];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 static char file_buf[1024];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 int line, col;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 SymbolizedStack *frame = SymbolizedStack::New(addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 if (__tsan_symbolize_external(addr, func_buf, sizeof(func_buf), file_buf,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 sizeof(file_buf), &line, &col)) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 frame->info.function = internal_strdup(func_buf);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 frame->info.file = internal_strdup(file_buf);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 frame->info.line = line;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 frame->info.column = col;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 return frame;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 return Symbolizer::GetOrInit()->SymbolizePC(addr);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 ReportLocation *SymbolizeData(uptr addr) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 DataInfo info;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 if (!Symbolizer::GetOrInit()->SymbolizeData(addr, &info))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 ReportLocation *ent = ReportLocation::New(ReportLocationGlobal);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 internal_memcpy(&ent->global, &info, sizeof(info));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 return ent;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 void SymbolizeFlush() {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 Symbolizer::GetOrInit()->Flush();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 } // namespace __tsan