| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 1 | //===-- tsan_fd.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 | // This file is a part of ThreadSanitizer (TSan), a race detector. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "tsan_fd.h" |
| 15 | #include "tsan_rtl.h" |
| 16 | #include <sanitizer_common/sanitizer_atomic.h> |
| 17 | |
| 18 | namespace __tsan { |
| 19 | |
| 20 | const int kTableSizeL1 = 1024; |
| 21 | const int kTableSizeL2 = 1024; |
| 22 | const int kTableSize = kTableSizeL1 * kTableSizeL2; |
| 23 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 24 | struct FdSync { |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 25 | atomic_uint64_t rc; |
| 26 | }; |
| 27 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 28 | struct FdDesc { |
| 29 | FdSync *sync; |
| 30 | int creation_tid; |
| 31 | u32 creation_stack; |
| 32 | }; |
| 33 | |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 34 | struct FdContext { |
| 35 | atomic_uintptr_t tab[kTableSizeL1]; |
| 36 | // Addresses used for synchronization. |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 37 | FdSync globsync; |
| 38 | FdSync filesync; |
| 39 | FdSync socksync; |
| Dmitry Vyukov | ed513f6 | 2012-12-14 20:01:58 +0000 | [diff] [blame] | 40 | u64 connectsync; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 41 | }; |
| 42 | |
| 43 | static FdContext fdctx; |
| 44 | |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 45 | static bool bogusfd(int fd) { |
| 46 | // Apparently a bogus fd value. |
| Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 47 | return fd < 0 || fd >= kTableSize; |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 48 | } |
| 49 | |
| Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 50 | static FdSync *allocsync(ThreadState *thr, uptr pc) { |
| Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 51 | FdSync *s = (FdSync*)user_alloc(thr, pc, sizeof(FdSync), kDefaultAlignment, |
| 52 | false); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 53 | atomic_store(&s->rc, 1, memory_order_relaxed); |
| 54 | return s; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 55 | } |
| 56 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 57 | static FdSync *ref(FdSync *s) { |
| 58 | if (s && atomic_load(&s->rc, memory_order_relaxed) != (u64)-1) |
| 59 | atomic_fetch_add(&s->rc, 1, memory_order_relaxed); |
| 60 | return s; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 63 | static void unref(ThreadState *thr, uptr pc, FdSync *s) { |
| 64 | if (s && atomic_load(&s->rc, memory_order_relaxed) != (u64)-1) { |
| 65 | if (atomic_fetch_sub(&s->rc, 1, memory_order_acq_rel) == 1) { |
| 66 | CHECK_NE(s, &fdctx.globsync); |
| 67 | CHECK_NE(s, &fdctx.filesync); |
| 68 | CHECK_NE(s, &fdctx.socksync); |
| Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 69 | user_free(thr, pc, s, false); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 70 | } |
| 71 | } |
| 72 | } |
| 73 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 74 | static FdDesc *fddesc(ThreadState *thr, uptr pc, int fd) { |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 75 | CHECK_GE(fd, 0); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 76 | CHECK_LT(fd, kTableSize); |
| 77 | atomic_uintptr_t *pl1 = &fdctx.tab[fd / kTableSizeL2]; |
| 78 | uptr l1 = atomic_load(pl1, memory_order_consume); |
| 79 | if (l1 == 0) { |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 80 | uptr size = kTableSizeL2 * sizeof(FdDesc); |
| Alexey Samsonov | 7733017 | 2013-04-19 08:04:46 +0000 | [diff] [blame] | 81 | // We need this to reside in user memory to properly catch races on it. |
| Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 82 | void *p = user_alloc(thr, pc, size, kDefaultAlignment, false); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 83 | internal_memset(p, 0, size); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 84 | MemoryResetRange(thr, (uptr)&fddesc, (uptr)p, size); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 85 | if (atomic_compare_exchange_strong(pl1, &l1, (uptr)p, memory_order_acq_rel)) |
| 86 | l1 = (uptr)p; |
| 87 | else |
| Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 88 | user_free(thr, pc, p, false); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 89 | } |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 90 | return &((FdDesc*)l1)[fd % kTableSizeL2]; // NOLINT |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 91 | } |
| 92 | |
| 93 | // pd must be already ref'ed. |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 94 | static void init(ThreadState *thr, uptr pc, int fd, FdSync *s, |
| 95 | bool write = true) { |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 96 | FdDesc *d = fddesc(thr, pc, fd); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 97 | // As a matter of fact, we don't intercept all close calls. |
| 98 | // See e.g. libc __res_iclose(). |
| Dmitry Vyukov | 45d4324 | 2012-12-18 12:35:31 +0000 | [diff] [blame] | 99 | if (d->sync) { |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 100 | unref(thr, pc, d->sync); |
| Dmitry Vyukov | 45d4324 | 2012-12-18 12:35:31 +0000 | [diff] [blame] | 101 | d->sync = 0; |
| 102 | } |
| Dmitry Vyukov | e3178e8 | 2012-12-18 12:20:55 +0000 | [diff] [blame] | 103 | if (flags()->io_sync == 0) { |
| 104 | unref(thr, pc, s); |
| Dmitry Vyukov | e3178e8 | 2012-12-18 12:20:55 +0000 | [diff] [blame] | 105 | } else if (flags()->io_sync == 1) { |
| 106 | d->sync = s; |
| 107 | } else if (flags()->io_sync == 2) { |
| 108 | unref(thr, pc, s); |
| 109 | d->sync = &fdctx.globsync; |
| 110 | } |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 111 | d->creation_tid = thr->tid; |
| 112 | d->creation_stack = CurrentStackId(thr, pc); |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 113 | if (write) { |
| 114 | // To catch races between fd usage and open. |
| 115 | MemoryRangeImitateWrite(thr, pc, (uptr)d, 8); |
| 116 | } else { |
| 117 | // See the dup-related comment in FdClose. |
| 118 | MemoryRead(thr, pc, (uptr)d, kSizeLog8); |
| 119 | } |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 120 | } |
| 121 | |
| 122 | void FdInit() { |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 123 | atomic_store(&fdctx.globsync.rc, (u64)-1, memory_order_relaxed); |
| 124 | atomic_store(&fdctx.filesync.rc, (u64)-1, memory_order_relaxed); |
| 125 | atomic_store(&fdctx.socksync.rc, (u64)-1, memory_order_relaxed); |
| 126 | } |
| 127 | |
| Dmitry Vyukov | 4554b7a | 2012-12-18 14:44:44 +0000 | [diff] [blame] | 128 | void FdOnFork(ThreadState *thr, uptr pc) { |
| 129 | // On fork() we need to reset all fd's, because the child is going |
| 130 | // close all them, and that will cause races between previous read/write |
| 131 | // and the close. |
| 132 | for (int l1 = 0; l1 < kTableSizeL1; l1++) { |
| 133 | FdDesc *tab = (FdDesc*)atomic_load(&fdctx.tab[l1], memory_order_relaxed); |
| 134 | if (tab == 0) |
| 135 | break; |
| 136 | for (int l2 = 0; l2 < kTableSizeL2; l2++) { |
| 137 | FdDesc *d = &tab[l2]; |
| 138 | MemoryResetRange(thr, pc, (uptr)d, 8); |
| 139 | } |
| 140 | } |
| 141 | } |
| 142 | |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 143 | bool FdLocation(uptr addr, int *fd, int *tid, u32 *stack) { |
| 144 | for (int l1 = 0; l1 < kTableSizeL1; l1++) { |
| 145 | FdDesc *tab = (FdDesc*)atomic_load(&fdctx.tab[l1], memory_order_relaxed); |
| 146 | if (tab == 0) |
| 147 | break; |
| 148 | if (addr >= (uptr)tab && addr < (uptr)(tab + kTableSizeL2)) { |
| 149 | int l2 = (addr - (uptr)tab) / sizeof(FdDesc); |
| 150 | FdDesc *d = &tab[l2]; |
| 151 | *fd = l1 * kTableSizeL1 + l2; |
| 152 | *tid = d->creation_tid; |
| 153 | *stack = d->creation_stack; |
| 154 | return true; |
| 155 | } |
| 156 | } |
| 157 | return false; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | void FdAcquire(ThreadState *thr, uptr pc, int fd) { |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 161 | if (bogusfd(fd)) |
| 162 | return; |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 163 | FdDesc *d = fddesc(thr, pc, fd); |
| 164 | FdSync *s = d->sync; |
| 165 | DPrintf("#%d: FdAcquire(%d) -> %p\n", thr->tid, fd, s); |
| Dmitry Vyukov | 334553e | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 166 | MemoryRead(thr, pc, (uptr)d, kSizeLog8); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 167 | if (s) |
| 168 | Acquire(thr, pc, (uptr)s); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 169 | } |
| 170 | |
| 171 | void FdRelease(ThreadState *thr, uptr pc, int fd) { |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 172 | if (bogusfd(fd)) |
| 173 | return; |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 174 | FdDesc *d = fddesc(thr, pc, fd); |
| 175 | FdSync *s = d->sync; |
| 176 | DPrintf("#%d: FdRelease(%d) -> %p\n", thr->tid, fd, s); |
| Dmitry Vyukov | 48e5420 | 2013-06-20 14:32:12 +0000 | [diff] [blame] | 177 | MemoryRead(thr, pc, (uptr)d, kSizeLog8); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 178 | if (s) |
| 179 | Release(thr, pc, (uptr)s); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 180 | } |
| 181 | |
| Dmitry Vyukov | a597258 | 2013-01-09 17:31:27 +0000 | [diff] [blame] | 182 | void FdAccess(ThreadState *thr, uptr pc, int fd) { |
| 183 | DPrintf("#%d: FdAccess(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 184 | if (bogusfd(fd)) |
| 185 | return; |
| Dmitry Vyukov | a597258 | 2013-01-09 17:31:27 +0000 | [diff] [blame] | 186 | FdDesc *d = fddesc(thr, pc, fd); |
| Dmitry Vyukov | 334553e | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 187 | MemoryRead(thr, pc, (uptr)d, kSizeLog8); |
| Dmitry Vyukov | a597258 | 2013-01-09 17:31:27 +0000 | [diff] [blame] | 188 | } |
| 189 | |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 190 | void FdClose(ThreadState *thr, uptr pc, int fd, bool write) { |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 191 | DPrintf("#%d: FdClose(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 192 | if (bogusfd(fd)) |
| 193 | return; |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 194 | FdDesc *d = fddesc(thr, pc, fd); |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 195 | if (write) { |
| 196 | // To catch races between fd usage and close. |
| 197 | MemoryWrite(thr, pc, (uptr)d, kSizeLog8); |
| 198 | } else { |
| 199 | // This path is used only by dup2/dup3 calls. |
| 200 | // We do read instead of write because there is a number of legitimate |
| 201 | // cases where write would lead to false positives: |
| 202 | // 1. Some software dups a closed pipe in place of a socket before closing |
| 203 | // the socket (to prevent races actually). |
| 204 | // 2. Some daemons dup /dev/null in place of stdin/stdout. |
| 205 | // On the other hand we have not seen cases when write here catches real |
| 206 | // bugs. |
| 207 | MemoryRead(thr, pc, (uptr)d, kSizeLog8); |
| 208 | } |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 209 | // We need to clear it, because if we do not intercept any call out there |
| 210 | // that creates fd, we will hit false postives. |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 211 | MemoryResetRange(thr, pc, (uptr)d, 8); |
| 212 | unref(thr, pc, d->sync); |
| 213 | d->sync = 0; |
| 214 | d->creation_tid = 0; |
| 215 | d->creation_stack = 0; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 216 | } |
| 217 | |
| 218 | void FdFileCreate(ThreadState *thr, uptr pc, int fd) { |
| 219 | DPrintf("#%d: FdFileCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 220 | if (bogusfd(fd)) |
| 221 | return; |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 222 | init(thr, pc, fd, &fdctx.filesync); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 223 | } |
| 224 | |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 225 | void FdDup(ThreadState *thr, uptr pc, int oldfd, int newfd, bool write) { |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 226 | DPrintf("#%d: FdDup(%d, %d)\n", thr->tid, oldfd, newfd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 227 | if (bogusfd(oldfd) || bogusfd(newfd)) |
| 228 | return; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 229 | // Ignore the case when user dups not yet connected socket. |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 230 | FdDesc *od = fddesc(thr, pc, oldfd); |
| Dmitry Vyukov | 334553e | 2013-02-01 09:42:06 +0000 | [diff] [blame] | 231 | MemoryRead(thr, pc, (uptr)od, kSizeLog8); |
| Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 232 | FdClose(thr, pc, newfd, write); |
| 233 | init(thr, pc, newfd, ref(od->sync), write); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 234 | } |
| 235 | |
| 236 | void FdPipeCreate(ThreadState *thr, uptr pc, int rfd, int wfd) { |
| 237 | DPrintf("#%d: FdCreatePipe(%d, %d)\n", thr->tid, rfd, wfd); |
| Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 238 | FdSync *s = allocsync(thr, pc); |
| Dmitry Vyukov | e3178e8 | 2012-12-18 12:20:55 +0000 | [diff] [blame] | 239 | init(thr, pc, rfd, ref(s)); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 240 | init(thr, pc, wfd, ref(s)); |
| Dmitry Vyukov | e3178e8 | 2012-12-18 12:20:55 +0000 | [diff] [blame] | 241 | unref(thr, pc, s); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 242 | } |
| 243 | |
| 244 | void FdEventCreate(ThreadState *thr, uptr pc, int fd) { |
| 245 | DPrintf("#%d: FdEventCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 246 | if (bogusfd(fd)) |
| 247 | return; |
| Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 248 | init(thr, pc, fd, allocsync(thr, pc)); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 249 | } |
| 250 | |
| Dmitry Vyukov | 45d4324 | 2012-12-18 12:35:31 +0000 | [diff] [blame] | 251 | void FdSignalCreate(ThreadState *thr, uptr pc, int fd) { |
| 252 | DPrintf("#%d: FdSignalCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 253 | if (bogusfd(fd)) |
| 254 | return; |
| Dmitry Vyukov | 45d4324 | 2012-12-18 12:35:31 +0000 | [diff] [blame] | 255 | init(thr, pc, fd, 0); |
| 256 | } |
| 257 | |
| 258 | void FdInotifyCreate(ThreadState *thr, uptr pc, int fd) { |
| 259 | DPrintf("#%d: FdInotifyCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 260 | if (bogusfd(fd)) |
| 261 | return; |
| Dmitry Vyukov | 45d4324 | 2012-12-18 12:35:31 +0000 | [diff] [blame] | 262 | init(thr, pc, fd, 0); |
| 263 | } |
| 264 | |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 265 | void FdPollCreate(ThreadState *thr, uptr pc, int fd) { |
| 266 | DPrintf("#%d: FdPollCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 267 | if (bogusfd(fd)) |
| 268 | return; |
| Stephen Hines | 6a211c5 | 2014-07-21 00:49:56 -0700 | [diff] [blame] | 269 | init(thr, pc, fd, allocsync(thr, pc)); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 270 | } |
| 271 | |
| 272 | void FdSocketCreate(ThreadState *thr, uptr pc, int fd) { |
| 273 | DPrintf("#%d: FdSocketCreate(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 274 | if (bogusfd(fd)) |
| 275 | return; |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 276 | // It can be a UDP socket. |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 277 | init(thr, pc, fd, &fdctx.socksync); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 278 | } |
| 279 | |
| 280 | void FdSocketAccept(ThreadState *thr, uptr pc, int fd, int newfd) { |
| 281 | DPrintf("#%d: FdSocketAccept(%d, %d)\n", thr->tid, fd, newfd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 282 | if (bogusfd(fd)) |
| 283 | return; |
| Dmitry Vyukov | ed513f6 | 2012-12-14 20:01:58 +0000 | [diff] [blame] | 284 | // Synchronize connect->accept. |
| 285 | Acquire(thr, pc, (uptr)&fdctx.connectsync); |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 286 | init(thr, pc, newfd, &fdctx.socksync); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 287 | } |
| 288 | |
| Dmitry Vyukov | ed513f6 | 2012-12-14 20:01:58 +0000 | [diff] [blame] | 289 | void FdSocketConnecting(ThreadState *thr, uptr pc, int fd) { |
| 290 | DPrintf("#%d: FdSocketConnecting(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 291 | if (bogusfd(fd)) |
| 292 | return; |
| Dmitry Vyukov | ed513f6 | 2012-12-14 20:01:58 +0000 | [diff] [blame] | 293 | // Synchronize connect->accept. |
| 294 | Release(thr, pc, (uptr)&fdctx.connectsync); |
| 295 | } |
| 296 | |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 297 | void FdSocketConnect(ThreadState *thr, uptr pc, int fd) { |
| 298 | DPrintf("#%d: FdSocketConnect(%d)\n", thr->tid, fd); |
| Dmitry Vyukov | 175599b | 2013-10-25 09:45:44 +0000 | [diff] [blame] | 299 | if (bogusfd(fd)) |
| 300 | return; |
| Dmitry Vyukov | c2234cd | 2012-12-18 06:57:34 +0000 | [diff] [blame] | 301 | init(thr, pc, fd, &fdctx.socksync); |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 302 | } |
| 303 | |
| Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 304 | uptr File2addr(const char *path) { |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 305 | (void)path; |
| 306 | static u64 addr; |
| 307 | return (uptr)&addr; |
| 308 | } |
| 309 | |
| Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 310 | uptr Dir2addr(const char *path) { |
| Dmitry Vyukov | fb8ca81 | 2012-12-12 12:27:00 +0000 | [diff] [blame] | 311 | (void)path; |
| 312 | static u64 addr; |
| 313 | return (uptr)&addr; |
| 314 | } |
| 315 | |
| 316 | } // namespace __tsan |