| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 1 | //===-- 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 | |
| 19 | namespace __tsan { |
| 20 | |
| 21 | struct ThreadStatePlaceholder { |
| 22 | uptr opaque[sizeof(ThreadState) / sizeof(uptr) + kCacheLineSize]; |
| 23 | }; |
| 24 | |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 25 | static ThreadState *goroutines[kMaxTid]; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 26 | |
| 27 | void InitializeInterceptors() { |
| 28 | } |
| 29 | |
| 30 | void InitializeDynamicAnnotations() { |
| 31 | } |
| 32 | |
| 33 | bool IsExpectedReport(uptr addr, uptr size) { |
| 34 | return false; |
| 35 | } |
| 36 | |
| 37 | void internal_start_thread(void(*func)(void*), void *arg) { |
| 38 | } |
| 39 | |
| Dmitry Vyukov | e0d31e9 | 2012-07-06 14:54:25 +0000 | [diff] [blame] | 40 | extern "C" int goCallbackCommentPc(uptr pc, char **img, char **rtn, |
| 41 | char **filename, int *lineno); |
| Dmitry Vyukov | c40c007 | 2012-07-16 13:02:40 +0000 | [diff] [blame] | 42 | extern "C" void free(void *p); |
| Dmitry Vyukov | e0d31e9 | 2012-07-06 14:54:25 +0000 | [diff] [blame] | 43 | |
| 44 | ReportStack *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 Vyukov | c40c007 | 2012-07-16 13:02:40 +0000 | [diff] [blame] | 55 | free(img); |
| 56 | free(rtn); |
| 57 | free(filename); |
| Dmitry Vyukov | e0d31e9 | 2012-07-06 14:54:25 +0000 | [diff] [blame] | 58 | } |
| 59 | return s; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 60 | } |
| 61 | |
| Dmitry Vyukov | e0d31e9 | 2012-07-06 14:54:25 +0000 | [diff] [blame] | 62 | ReportStack *SymbolizeData(uptr addr) { |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 63 | return 0; |
| 64 | } |
| 65 | |
| Dmitry Vyukov | e0d31e9 | 2012-07-06 14:54:25 +0000 | [diff] [blame] | 66 | ReportStack *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 Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 74 | void *internal_alloc(MBlockType typ, uptr sz) { |
| 75 | return InternalAlloc(sz); |
| 76 | } |
| 77 | |
| 78 | void internal_free(void *p) { |
| 79 | InternalFree(p); |
| 80 | } |
| 81 | |
| 82 | extern "C" { |
| 83 | |
| 84 | enum 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 Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 142 | static 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 Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 148 | void __tsan_init() { |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 149 | AllocGoroutine(0); |
| 150 | ThreadState *thr = goroutines[0]; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 151 | thr->in_rtl++; |
| 152 | Initialize(thr); |
| 153 | thr->in_rtl--; |
| 154 | } |
| 155 | |
| 156 | void __tsan_fini() { |
| 157 | // FIXME: Not necessary thread 0. |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 158 | ThreadState *thr = goroutines[0]; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 159 | thr->in_rtl++; |
| 160 | int res = Finalize(thr); |
| 161 | thr->in_rtl--; |
| 162 | exit(res); |
| 163 | } |
| 164 | |
| 165 | void __tsan_event(int typ, int tid, void *pc, void *addr, int info) { |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 166 | ThreadState *thr = goroutines[tid]; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 167 | 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 Vyukov | 3abd096 | 2012-07-16 16:55:01 +0000 | [diff] [blame^] | 195 | MemoryAccessRange(thr, (uptr)pc, (uptr)addr, (uptr)info, true); |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 196 | thr->in_rtl--; |
| 197 | break; |
| 198 | case FREE: |
| 199 | break; |
| 200 | case THR_START: { |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 201 | if (tid == 0) |
| 202 | return; |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 203 | ThreadState *parent = goroutines[info]; |
| 204 | AllocGoroutine(tid); |
| 205 | thr = goroutines[tid]; |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 206 | thr->in_rtl++; |
| 207 | parent->in_rtl++; |
| 208 | int tid2 = ThreadCreate(parent, (uptr)pc, 0, true); |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 209 | ThreadStart(thr, tid2); |
| 210 | parent->in_rtl--; |
| 211 | thr->in_rtl--; |
| 212 | break; |
| 213 | } |
| Dmitry Vyukov | 9270eaf | 2012-07-16 16:01:08 +0000 | [diff] [blame] | 214 | case THR_END: { |
| 215 | thr->in_rtl++; |
| 216 | ThreadFinish(thr); |
| 217 | thr->in_rtl--; |
| 218 | break; |
| 219 | } |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 220 | default: |
| Dmitry Vyukov | 239ae71 | 2012-07-06 20:23:59 +0000 | [diff] [blame] | 221 | Printf("Unknown event type %d\n", typ); |
| 222 | Die(); |
| Dmitry Vyukov | 03d32ec | 2012-07-05 16:18:28 +0000 | [diff] [blame] | 223 | } |
| 224 | } |
| 225 | |
| 226 | } // extern "C" |
| 227 | } // namespace __tsan |