blob: ce916adcd110ffc2a3d2a9962afea9443c51cd7a [file] [log] [blame]
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +00001//===-- tsan_go.cc --------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// ThreadSanitizer runtime for Go language.
11//
12//===----------------------------------------------------------------------===//
13
14#include "tsan_rtl.h"
15#include "tsan_symbolize.h"
16#include "sanitizer_common/sanitizer_common.h"
17#include <stdlib.h>
18
19namespace __tsan {
20
21struct ThreadStatePlaceholder {
22 uptr opaque[sizeof(ThreadState) / sizeof(uptr) + kCacheLineSize];
23};
24
Dmitry Vyukov239ae712012-07-06 20:23:59 +000025static ThreadState *goroutines[kMaxTid];
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000026
27void InitializeInterceptors() {
28}
29
30void InitializeDynamicAnnotations() {
31}
32
33bool IsExpectedReport(uptr addr, uptr size) {
34 return false;
35}
36
37void internal_start_thread(void(*func)(void*), void *arg) {
38}
39
Dmitry Vyukove0d31e92012-07-06 14:54:25 +000040extern "C" int goCallbackCommentPc(uptr pc, char **img, char **rtn,
41 char **filename, int *lineno);
Dmitry Vyukovc40c0072012-07-16 13:02:40 +000042extern "C" void free(void *p);
Dmitry Vyukove0d31e92012-07-06 14:54:25 +000043
44ReportStack *SymbolizeCode(uptr addr) {
45 ReportStack *s = NewReportStackEntry(addr);
46 char *img, *rtn, *filename;
47 int lineno;
48 if (goCallbackCommentPc(addr, &img, &rtn, &filename, &lineno)) {
49 s->module = internal_strdup(img);
50 s->offset = addr;
51 s->func = internal_strdup(rtn);
52 s->file = internal_strdup(filename);
53 s->line = lineno;
54 s->col = 0;
Dmitry Vyukovc40c0072012-07-16 13:02:40 +000055 free(img);
56 free(rtn);
57 free(filename);
Dmitry Vyukove0d31e92012-07-06 14:54:25 +000058 }
59 return s;
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000060}
61
Dmitry Vyukove0d31e92012-07-06 14:54:25 +000062ReportStack *SymbolizeData(uptr addr) {
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000063 return 0;
64}
65
Dmitry Vyukove0d31e92012-07-06 14:54:25 +000066ReportStack *NewReportStackEntry(uptr addr) {
67 ReportStack *ent = (ReportStack*)internal_alloc(MBlockReportStack,
68 sizeof(ReportStack));
69 internal_memset(ent, 0, sizeof(*ent));
70 ent->pc = addr;
71 return ent;
72}
73
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +000074void *internal_alloc(MBlockType typ, uptr sz) {
75 return InternalAlloc(sz);
76}
77
78void internal_free(void *p) {
79 InternalFree(p);
80}
81
82extern "C" {
83
84enum Tsan1EventType {
85 NOOP, // Should not appear.
86 READ, // {tid, pc, addr, size}
87 WRITE, // {tid, pc, addr, size}
88 READER_LOCK, // {tid, pc, lock, 0}
89 WRITER_LOCK, // {tid, pc, lock, 0}
90 UNLOCK, // {tid, pc, lock, 0}
91 UNLOCK_OR_INIT, // {tid, pc, lock, 0}
92 LOCK_CREATE, // {tid, pc, lock, 0}
93 LOCK_DESTROY, // {tid, pc, lock, 0}
94 THR_CREATE_BEFORE, // Parent thread's event. {tid, pc, 0, 0}
95 THR_CREATE_AFTER, // Parent thread's event. {tid, 0, 0, child_tid}/* 10 */
96 THR_START, // Child thread's event {tid, CallStack, 0, parent_tid}
97 THR_FIRST_INSN, // Used only by valgrind.
98 THR_END, // {tid, 0, 0, 0}
99 THR_JOIN_AFTER, // {tid, pc, joined_tid}
100 THR_STACK_TOP, // {tid, pc, stack_top, stack_size_if_known}
101 RTN_EXIT, // {tid, 0, 0, 0}
102 RTN_CALL, // {tid, pc, 0, 0}
103 SBLOCK_ENTER, // {tid, pc, 0, 0}
104 SIGNAL, // {tid, pc, obj, 0}
105 WAIT, // {tid, pc, obj, 0} /* 20 */
106 CYCLIC_BARRIER_INIT, // {tid, pc, obj, n}
107 CYCLIC_BARRIER_WAIT_BEFORE, // {tid, pc, obj, 0}
108 CYCLIC_BARRIER_WAIT_AFTER, // {tid, pc, obj, 0}
109 PCQ_CREATE, // {tid, pc, pcq_addr, 0}
110 PCQ_DESTROY, // {tid, pc, pcq_addr, 0}
111 PCQ_PUT, // {tid, pc, pcq_addr, 0}
112 PCQ_GET, // {tid, pc, pcq_addr, 0}
113 STACK_MEM_DIE, // deprecated.
114 MALLOC, // {tid, pc, addr, size}
115 FREE, // {tid, pc, addr, 0} /* 30 */
116 MMAP, // {tid, pc, addr, size}
117 MUNMAP, // {tid, pc, addr, size}
118 PUBLISH_RANGE, // may be deprecated later.
119 UNPUBLISH_RANGE, // deprecated. TODO(kcc): get rid of this.
120 HB_LOCK, // {tid, pc, addr, 0}
121 NON_HB_LOCK, // {tid, pc, addr, 0}
122 IGNORE_READS_BEG, // {tid, pc, 0, 0}
123 IGNORE_READS_END, // {tid, pc, 0, 0}
124 IGNORE_WRITES_BEG, // {tid, pc, 0, 0}
125 IGNORE_WRITES_END, // {tid, pc, 0, 0}
126 SET_THREAD_NAME, // {tid, pc, name_str, 0}
127 SET_LOCK_NAME, // {tid, pc, lock, lock_name_str}
128 TRACE_MEM, // {tid, pc, addr, 0}
129 EXPECT_RACE, // {tid, descr_str, ptr, size}
130 BENIGN_RACE, // {tid, descr_str, ptr, size}
131 EXPECT_RACE_BEGIN, // {tid, pc, 0, 0}
132 EXPECT_RACE_END, // {tid, pc, 0, 0}
133 VERBOSITY, // Used for debugging.
134 STACK_TRACE, // {tid, pc, 0, 0}, for debugging.
135 FLUSH_STATE, // {tid, pc, 0, 0}
136 PC_DESCRIPTION, // {0, pc, descr_str, 0}, for ts_offline.
137 PRINT_MESSAGE, // {tid, pc, message_str, 0}, for ts_offline.
138 FLUSH_EXPECTED_RACES, // {0, 0, 0, 0}
139 LAST_EVENT // Should not appear.
140};
141
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000142static void AllocGoroutine(int tid) {
143 goroutines[tid] = (ThreadState*)internal_alloc(MBlockThreadContex,
144 sizeof(ThreadState));
145 internal_memset(goroutines[tid], 0, sizeof(ThreadState));
146}
147
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000148void __tsan_init() {
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000149 AllocGoroutine(0);
150 ThreadState *thr = goroutines[0];
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000151 thr->in_rtl++;
152 Initialize(thr);
153 thr->in_rtl--;
154}
155
156void __tsan_fini() {
157 // FIXME: Not necessary thread 0.
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000158 ThreadState *thr = goroutines[0];
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000159 thr->in_rtl++;
160 int res = Finalize(thr);
161 thr->in_rtl--;
162 exit(res);
163}
164
165void __tsan_event(int typ, int tid, void *pc, void *addr, int info) {
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000166 ThreadState *thr = goroutines[tid];
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000167 switch (typ) {
168 case READ:
169 MemoryAccess(thr, (uptr)pc, (uptr)addr, 0, false);
170 break;
171 case WRITE:
172 MemoryAccess(thr, (uptr)pc, (uptr)addr, 0, true);
173 break;
174 case RTN_EXIT:
175 FuncExit(thr);
176 break;
177 case RTN_CALL:
178 FuncEntry(thr, (uptr)pc);
179 break;
180 case SBLOCK_ENTER:
181 break;
182 case SIGNAL:
183 thr->in_rtl++;
184 Release(thr, (uptr)pc, (uptr)addr);
185 thr->in_rtl--;
186 break;
187 case WAIT:
188 thr->in_rtl++;
189 Acquire(thr, (uptr)pc, (uptr)addr);
190 thr->in_rtl--;
191 break;
192 case MALLOC:
193 thr->in_rtl++;
194 MemoryResetRange(thr, (uptr)pc, (uptr)addr, (uptr)info);
Dmitry Vyukov3abd0962012-07-16 16:55:01 +0000195 MemoryAccessRange(thr, (uptr)pc, (uptr)addr, (uptr)info, true);
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000196 thr->in_rtl--;
197 break;
198 case FREE:
199 break;
200 case THR_START: {
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000201 if (tid == 0)
202 return;
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000203 ThreadState *parent = goroutines[info];
204 AllocGoroutine(tid);
205 thr = goroutines[tid];
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000206 thr->in_rtl++;
207 parent->in_rtl++;
208 int tid2 = ThreadCreate(parent, (uptr)pc, 0, true);
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000209 ThreadStart(thr, tid2);
210 parent->in_rtl--;
211 thr->in_rtl--;
212 break;
213 }
Dmitry Vyukov9270eaf2012-07-16 16:01:08 +0000214 case THR_END: {
215 thr->in_rtl++;
216 ThreadFinish(thr);
217 thr->in_rtl--;
218 break;
219 }
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000220 default:
Dmitry Vyukov239ae712012-07-06 20:23:59 +0000221 Printf("Unknown event type %d\n", typ);
222 Die();
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000223 }
224}
225
226} // extern "C"
227} // namespace __tsan