1 1.1 mrg //===-- tsan_rtl_access.cpp -----------------------------------------------===// 2 1.1 mrg // 3 1.1 mrg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 1.1 mrg // See https://llvm.org/LICENSE.txt for license information. 5 1.1 mrg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 1.1 mrg // 7 1.1 mrg //===----------------------------------------------------------------------===// 8 1.1 mrg // 9 1.1 mrg // This file is a part of ThreadSanitizer (TSan), a race detector. 10 1.1 mrg // 11 1.1 mrg // Definitions of memory access and function entry/exit entry points. 12 1.1 mrg //===----------------------------------------------------------------------===// 13 1.1 mrg 14 1.1 mrg #include "tsan_rtl.h" 15 1.1 mrg 16 1.1 mrg namespace __tsan { 17 1.1 mrg 18 1.1 mrg namespace v3 { 19 1.1 mrg 20 1.1 mrg ALWAYS_INLINE USED bool TryTraceMemoryAccess(ThreadState *thr, uptr pc, 21 1.1 mrg uptr addr, uptr size, 22 1.1 mrg AccessType typ) { 23 1.1 mrg DCHECK(size == 1 || size == 2 || size == 4 || size == 8); 24 1.1 mrg if (!kCollectHistory) 25 1.1 mrg return true; 26 1.1 mrg EventAccess *ev; 27 1.1 mrg if (UNLIKELY(!TraceAcquire(thr, &ev))) 28 1.1 mrg return false; 29 1.1 mrg u64 size_log = size == 1 ? 0 : size == 2 ? 1 : size == 4 ? 2 : 3; 30 1.1 mrg uptr pc_delta = pc - thr->trace_prev_pc + (1 << (EventAccess::kPCBits - 1)); 31 1.1 mrg thr->trace_prev_pc = pc; 32 1.1 mrg if (LIKELY(pc_delta < (1 << EventAccess::kPCBits))) { 33 1.1 mrg ev->is_access = 1; 34 1.1 mrg ev->is_read = !!(typ & kAccessRead); 35 1.1 mrg ev->is_atomic = !!(typ & kAccessAtomic); 36 1.1 mrg ev->size_log = size_log; 37 1.1 mrg ev->pc_delta = pc_delta; 38 1.1 mrg DCHECK_EQ(ev->pc_delta, pc_delta); 39 1.1 mrg ev->addr = CompressAddr(addr); 40 1.1 mrg TraceRelease(thr, ev); 41 1.1 mrg return true; 42 1.1 mrg } 43 1.1 mrg auto *evex = reinterpret_cast<EventAccessExt *>(ev); 44 1.1 mrg evex->is_access = 0; 45 1.1 mrg evex->is_func = 0; 46 1.1 mrg evex->type = EventType::kAccessExt; 47 1.1 mrg evex->is_read = !!(typ & kAccessRead); 48 1.1 mrg evex->is_atomic = !!(typ & kAccessAtomic); 49 1.1 mrg evex->size_log = size_log; 50 1.1 mrg evex->addr = CompressAddr(addr); 51 1.1 mrg evex->pc = pc; 52 1.1 mrg TraceRelease(thr, evex); 53 1.1 mrg return true; 54 1.1 mrg } 55 1.1 mrg 56 1.1 mrg ALWAYS_INLINE USED bool TryTraceMemoryAccessRange(ThreadState *thr, uptr pc, 57 1.1 mrg uptr addr, uptr size, 58 1.1 mrg AccessType typ) { 59 1.1 mrg if (!kCollectHistory) 60 1.1 mrg return true; 61 1.1 mrg EventAccessRange *ev; 62 1.1 mrg if (UNLIKELY(!TraceAcquire(thr, &ev))) 63 1.1 mrg return false; 64 1.1 mrg thr->trace_prev_pc = pc; 65 1.1 mrg ev->is_access = 0; 66 1.1 mrg ev->is_func = 0; 67 1.1 mrg ev->type = EventType::kAccessRange; 68 1.1 mrg ev->is_read = !!(typ & kAccessRead); 69 1.1 mrg ev->is_free = !!(typ & kAccessFree); 70 1.1 mrg ev->size_lo = size; 71 1.1 mrg ev->pc = CompressAddr(pc); 72 1.1 mrg ev->addr = CompressAddr(addr); 73 1.1 mrg ev->size_hi = size >> EventAccessRange::kSizeLoBits; 74 1.1 mrg TraceRelease(thr, ev); 75 1.1 mrg return true; 76 1.1 mrg } 77 1.1 mrg 78 1.1 mrg void TraceMemoryAccessRange(ThreadState *thr, uptr pc, uptr addr, uptr size, 79 1.1 mrg AccessType typ) { 80 1.1 mrg if (LIKELY(TryTraceMemoryAccessRange(thr, pc, addr, size, typ))) 81 1.1 mrg return; 82 1.1 mrg TraceSwitchPart(thr); 83 1.1 mrg UNUSED bool res = TryTraceMemoryAccessRange(thr, pc, addr, size, typ); 84 1.1 mrg DCHECK(res); 85 1.1 mrg } 86 1.1 mrg 87 1.1 mrg void TraceFunc(ThreadState *thr, uptr pc) { 88 1.1 mrg if (LIKELY(TryTraceFunc(thr, pc))) 89 1.1 mrg return; 90 1.1 mrg TraceSwitchPart(thr); 91 1.1 mrg UNUSED bool res = TryTraceFunc(thr, pc); 92 1.1 mrg DCHECK(res); 93 1.1 mrg } 94 1.1 mrg 95 1.1 mrg void TraceMutexLock(ThreadState *thr, EventType type, uptr pc, uptr addr, 96 1.1 mrg StackID stk) { 97 1.1 mrg DCHECK(type == EventType::kLock || type == EventType::kRLock); 98 1.1 mrg if (!kCollectHistory) 99 1.1 mrg return; 100 1.1 mrg EventLock ev; 101 1.1 mrg ev.is_access = 0; 102 1.1 mrg ev.is_func = 0; 103 1.1 mrg ev.type = type; 104 1.1 mrg ev.pc = CompressAddr(pc); 105 1.1 mrg ev.stack_lo = stk; 106 1.1 mrg ev.stack_hi = stk >> EventLock::kStackIDLoBits; 107 1.1 mrg ev._ = 0; 108 1.1 mrg ev.addr = CompressAddr(addr); 109 1.1 mrg TraceEvent(thr, ev); 110 1.1 mrg } 111 1.1 mrg 112 1.1 mrg void TraceMutexUnlock(ThreadState *thr, uptr addr) { 113 1.1 mrg if (!kCollectHistory) 114 1.1 mrg return; 115 1.1 mrg EventUnlock ev; 116 1.1 mrg ev.is_access = 0; 117 1.1 mrg ev.is_func = 0; 118 1.1 mrg ev.type = EventType::kUnlock; 119 1.1 mrg ev._ = 0; 120 1.1 mrg ev.addr = CompressAddr(addr); 121 1.1 mrg TraceEvent(thr, ev); 122 1.1 mrg } 123 1.1 mrg 124 1.1 mrg void TraceTime(ThreadState *thr) { 125 1.1 mrg if (!kCollectHistory) 126 1.1 mrg return; 127 1.1 mrg EventTime ev; 128 1.1 mrg ev.is_access = 0; 129 1.1 mrg ev.is_func = 0; 130 1.1 mrg ev.type = EventType::kTime; 131 1.1 mrg ev.sid = static_cast<u64>(thr->sid); 132 1.1 mrg ev.epoch = static_cast<u64>(thr->epoch); 133 1.1 mrg ev._ = 0; 134 1.1 mrg TraceEvent(thr, ev); 135 1.1 mrg } 136 1.1 mrg 137 1.1 mrg } // namespace v3 138 1.1 mrg 139 1.1 mrg ALWAYS_INLINE 140 1.1 mrg Shadow LoadShadow(u64 *p) { 141 1.1 mrg u64 raw = atomic_load((atomic_uint64_t *)p, memory_order_relaxed); 142 1.1 mrg return Shadow(raw); 143 1.1 mrg } 144 1.1 mrg 145 1.1 mrg ALWAYS_INLINE 146 1.1 mrg void StoreShadow(u64 *sp, u64 s) { 147 1.1 mrg atomic_store((atomic_uint64_t *)sp, s, memory_order_relaxed); 148 1.1 mrg } 149 1.1 mrg 150 1.1 mrg ALWAYS_INLINE 151 1.1 mrg void StoreIfNotYetStored(u64 *sp, u64 *s) { 152 1.1 mrg StoreShadow(sp, *s); 153 1.1 mrg *s = 0; 154 1.1 mrg } 155 1.1 mrg 156 1.1 mrg extern "C" void __tsan_report_race(); 157 1.1 mrg 158 1.1 mrg ALWAYS_INLINE 159 1.1 mrg void HandleRace(ThreadState *thr, u64 *shadow_mem, Shadow cur, Shadow old) { 160 1.1 mrg thr->racy_state[0] = cur.raw(); 161 1.1 mrg thr->racy_state[1] = old.raw(); 162 1.1 mrg thr->racy_shadow_addr = shadow_mem; 163 1.1 mrg #if !SANITIZER_GO 164 1.1 mrg HACKY_CALL(__tsan_report_race); 165 1.1 mrg #else 166 1.1 mrg ReportRace(thr); 167 1.1 mrg #endif 168 1.1 mrg } 169 1.1 mrg 170 1.1 mrg static inline bool HappensBefore(Shadow old, ThreadState *thr) { 171 1.1 mrg return thr->clock.get(old.TidWithIgnore()) >= old.epoch(); 172 1.1 mrg } 173 1.1 mrg 174 1.1 mrg ALWAYS_INLINE 175 1.1 mrg void MemoryAccessImpl1(ThreadState *thr, uptr addr, int kAccessSizeLog, 176 1.1 mrg bool kAccessIsWrite, bool kIsAtomic, u64 *shadow_mem, 177 1.1 mrg Shadow cur) { 178 1.1 mrg // This potentially can live in an MMX/SSE scratch register. 179 1.1 mrg // The required intrinsics are: 180 1.1 mrg // __m128i _mm_move_epi64(__m128i*); 181 1.1 mrg // _mm_storel_epi64(u64*, __m128i); 182 1.1 mrg u64 store_word = cur.raw(); 183 1.1 mrg bool stored = false; 184 1.1 mrg 185 1.1 mrg // scan all the shadow values and dispatch to 4 categories: 186 1.1 mrg // same, replace, candidate and race (see comments below). 187 1.1 mrg // we consider only 3 cases regarding access sizes: 188 1.1 mrg // equal, intersect and not intersect. initially I considered 189 1.1 mrg // larger and smaller as well, it allowed to replace some 190 1.1 mrg // 'candidates' with 'same' or 'replace', but I think 191 1.1 mrg // it's just not worth it (performance- and complexity-wise). 192 1.1 mrg 193 1.1 mrg Shadow old(0); 194 1.1 mrg 195 1.1 mrg // It release mode we manually unroll the loop, 196 1.1 mrg // because empirically gcc generates better code this way. 197 1.1 mrg // However, we can't afford unrolling in debug mode, because the function 198 1.1 mrg // consumes almost 4K of stack. Gtest gives only 4K of stack to death test 199 1.1 mrg // threads, which is not enough for the unrolled loop. 200 1.1 mrg #if SANITIZER_DEBUG 201 1.1 mrg for (int idx = 0; idx < 4; idx++) { 202 1.1 mrg # include "tsan_update_shadow_word.inc" 203 1.1 mrg } 204 1.1 mrg #else 205 1.1 mrg int idx = 0; 206 1.1 mrg # include "tsan_update_shadow_word.inc" 207 1.1 mrg idx = 1; 208 1.1 mrg if (stored) { 209 1.1 mrg # include "tsan_update_shadow_word.inc" 210 1.1 mrg } else { 211 1.1 mrg # include "tsan_update_shadow_word.inc" 212 1.1 mrg } 213 1.1 mrg idx = 2; 214 1.1 mrg if (stored) { 215 1.1 mrg # include "tsan_update_shadow_word.inc" 216 1.1 mrg } else { 217 1.1 mrg # include "tsan_update_shadow_word.inc" 218 1.1 mrg } 219 1.1 mrg idx = 3; 220 1.1 mrg if (stored) { 221 1.1 mrg # include "tsan_update_shadow_word.inc" 222 1.1 mrg } else { 223 1.1 mrg # include "tsan_update_shadow_word.inc" 224 1.1 mrg } 225 1.1 mrg #endif 226 1.1 mrg 227 1.1 mrg // we did not find any races and had already stored 228 1.1 mrg // the current access info, so we are done 229 1.1 mrg if (LIKELY(stored)) 230 1.1 mrg return; 231 1.1 mrg // choose a random candidate slot and replace it 232 1.1 mrg StoreShadow(shadow_mem + (cur.epoch() % kShadowCnt), store_word); 233 1.1 mrg return; 234 1.1 mrg RACE: 235 1.1 mrg HandleRace(thr, shadow_mem, cur, old); 236 1.1 mrg return; 237 1.1 mrg } 238 1.1 mrg 239 1.1 mrg void UnalignedMemoryAccess(ThreadState *thr, uptr pc, uptr addr, uptr size, 240 1.1 mrg AccessType typ) { 241 1.1 mrg DCHECK(!(typ & kAccessAtomic)); 242 1.1 mrg const bool kAccessIsWrite = !(typ & kAccessRead); 243 1.1 mrg const bool kIsAtomic = false; 244 1.1 mrg while (size) { 245 1.1 mrg int size1 = 1; 246 1.1 mrg int kAccessSizeLog = kSizeLog1; 247 1.1 mrg if (size >= 8 && (addr & ~7) == ((addr + 7) & ~7)) { 248 1.1 mrg size1 = 8; 249 1.1 mrg kAccessSizeLog = kSizeLog8; 250 1.1 mrg } else if (size >= 4 && (addr & ~7) == ((addr + 3) & ~7)) { 251 1.1 mrg size1 = 4; 252 1.1 mrg kAccessSizeLog = kSizeLog4; 253 1.1 mrg } else if (size >= 2 && (addr & ~7) == ((addr + 1) & ~7)) { 254 1.1 mrg size1 = 2; 255 1.1 mrg kAccessSizeLog = kSizeLog2; 256 1.1 mrg } 257 1.1 mrg MemoryAccess(thr, pc, addr, kAccessSizeLog, kAccessIsWrite, kIsAtomic); 258 1.1 mrg addr += size1; 259 1.1 mrg size -= size1; 260 1.1 mrg } 261 1.1 mrg } 262 1.1 mrg 263 1.1 mrg ALWAYS_INLINE 264 1.1 mrg bool ContainsSameAccessSlow(u64 *s, u64 a, u64 sync_epoch, bool is_write) { 265 1.1 mrg Shadow cur(a); 266 1.1 mrg for (uptr i = 0; i < kShadowCnt; i++) { 267 1.1 mrg Shadow old(LoadShadow(&s[i])); 268 1.1 mrg if (Shadow::Addr0AndSizeAreEqual(cur, old) && 269 1.1 mrg old.TidWithIgnore() == cur.TidWithIgnore() && 270 1.1 mrg old.epoch() > sync_epoch && old.IsAtomic() == cur.IsAtomic() && 271 1.1 mrg old.IsRead() <= cur.IsRead()) 272 1.1 mrg return true; 273 1.1 mrg } 274 1.1 mrg return false; 275 1.1 mrg } 276 1.1 mrg 277 1.1 mrg #if TSAN_VECTORIZE 278 1.1 mrg # define SHUF(v0, v1, i0, i1, i2, i3) \ 279 1.1 mrg _mm_castps_si128(_mm_shuffle_ps(_mm_castsi128_ps(v0), \ 280 1.1 mrg _mm_castsi128_ps(v1), \ 281 1.1 mrg (i0)*1 + (i1)*4 + (i2)*16 + (i3)*64)) 282 1.1 mrg ALWAYS_INLINE 283 1.1 mrg bool ContainsSameAccessFast(u64 *s, u64 a, u64 sync_epoch, bool is_write) { 284 1.1 mrg // This is an optimized version of ContainsSameAccessSlow. 285 1.1 mrg // load current access into access[0:63] 286 1.1 mrg const m128 access = _mm_cvtsi64_si128(a); 287 1.1 mrg // duplicate high part of access in addr0: 288 1.1 mrg // addr0[0:31] = access[32:63] 289 1.1 mrg // addr0[32:63] = access[32:63] 290 1.1 mrg // addr0[64:95] = access[32:63] 291 1.1 mrg // addr0[96:127] = access[32:63] 292 1.1 mrg const m128 addr0 = SHUF(access, access, 1, 1, 1, 1); 293 1.1 mrg // load 4 shadow slots 294 1.1 mrg const m128 shadow0 = _mm_load_si128((__m128i *)s); 295 1.1 mrg const m128 shadow1 = _mm_load_si128((__m128i *)s + 1); 296 1.1 mrg // load high parts of 4 shadow slots into addr_vect: 297 1.1 mrg // addr_vect[0:31] = shadow0[32:63] 298 1.1 mrg // addr_vect[32:63] = shadow0[96:127] 299 1.1 mrg // addr_vect[64:95] = shadow1[32:63] 300 1.1 mrg // addr_vect[96:127] = shadow1[96:127] 301 1.1 mrg m128 addr_vect = SHUF(shadow0, shadow1, 1, 3, 1, 3); 302 1.1 mrg if (!is_write) { 303 1.1 mrg // set IsRead bit in addr_vect 304 1.1 mrg const m128 rw_mask1 = _mm_cvtsi64_si128(1 << 15); 305 1.1 mrg const m128 rw_mask = SHUF(rw_mask1, rw_mask1, 0, 0, 0, 0); 306 1.1 mrg addr_vect = _mm_or_si128(addr_vect, rw_mask); 307 1.1 mrg } 308 1.1 mrg // addr0 == addr_vect? 309 1.1 mrg const m128 addr_res = _mm_cmpeq_epi32(addr0, addr_vect); 310 1.1 mrg // epoch1[0:63] = sync_epoch 311 1.1 mrg const m128 epoch1 = _mm_cvtsi64_si128(sync_epoch); 312 1.1 mrg // epoch[0:31] = sync_epoch[0:31] 313 1.1 mrg // epoch[32:63] = sync_epoch[0:31] 314 1.1 mrg // epoch[64:95] = sync_epoch[0:31] 315 1.1 mrg // epoch[96:127] = sync_epoch[0:31] 316 1.1 mrg const m128 epoch = SHUF(epoch1, epoch1, 0, 0, 0, 0); 317 1.1 mrg // load low parts of shadow cell epochs into epoch_vect: 318 1.1 mrg // epoch_vect[0:31] = shadow0[0:31] 319 1.1 mrg // epoch_vect[32:63] = shadow0[64:95] 320 1.1 mrg // epoch_vect[64:95] = shadow1[0:31] 321 1.1 mrg // epoch_vect[96:127] = shadow1[64:95] 322 1.1 mrg const m128 epoch_vect = SHUF(shadow0, shadow1, 0, 2, 0, 2); 323 1.1 mrg // epoch_vect >= sync_epoch? 324 1.1 mrg const m128 epoch_res = _mm_cmpgt_epi32(epoch_vect, epoch); 325 1.1 mrg // addr_res & epoch_res 326 1.1 mrg const m128 res = _mm_and_si128(addr_res, epoch_res); 327 1.1 mrg // mask[0] = res[7] 328 1.1 mrg // mask[1] = res[15] 329 1.1 mrg // ... 330 1.1 mrg // mask[15] = res[127] 331 1.1 mrg const int mask = _mm_movemask_epi8(res); 332 1.1 mrg return mask != 0; 333 1.1 mrg } 334 1.1 mrg #endif 335 1.1 mrg 336 1.1 mrg ALWAYS_INLINE 337 1.1 mrg bool ContainsSameAccess(u64 *s, u64 a, u64 sync_epoch, bool is_write) { 338 1.1 mrg #if TSAN_VECTORIZE 339 1.1 mrg bool res = ContainsSameAccessFast(s, a, sync_epoch, is_write); 340 1.1 mrg // NOTE: this check can fail if the shadow is concurrently mutated 341 1.1 mrg // by other threads. But it still can be useful if you modify 342 1.1 mrg // ContainsSameAccessFast and want to ensure that it's not completely broken. 343 1.1 mrg // DCHECK_EQ(res, ContainsSameAccessSlow(s, a, sync_epoch, is_write)); 344 1.1 mrg return res; 345 1.1 mrg #else 346 1.1 mrg return ContainsSameAccessSlow(s, a, sync_epoch, is_write); 347 1.1 mrg #endif 348 1.1 mrg } 349 1.1 mrg 350 1.1 mrg ALWAYS_INLINE USED void MemoryAccess(ThreadState *thr, uptr pc, uptr addr, 351 1.1 mrg int kAccessSizeLog, bool kAccessIsWrite, 352 1.1 mrg bool kIsAtomic) { 353 1.1 mrg RawShadow *shadow_mem = MemToShadow(addr); 354 1.1 mrg DPrintf2( 355 1.1 mrg "#%d: MemoryAccess: @%p %p size=%d" 356 1.1 mrg " is_write=%d shadow_mem=%p {%zx, %zx, %zx, %zx}\n", 357 1.1 mrg (int)thr->fast_state.tid(), (void *)pc, (void *)addr, 358 1.1 mrg (int)(1 << kAccessSizeLog), kAccessIsWrite, shadow_mem, 359 1.1 mrg (uptr)shadow_mem[0], (uptr)shadow_mem[1], (uptr)shadow_mem[2], 360 1.1 mrg (uptr)shadow_mem[3]); 361 1.1 mrg #if SANITIZER_DEBUG 362 1.1 mrg if (!IsAppMem(addr)) { 363 1.1 mrg Printf("Access to non app mem %zx\n", addr); 364 1.1 mrg DCHECK(IsAppMem(addr)); 365 1.1 mrg } 366 1.1 mrg if (!IsShadowMem(shadow_mem)) { 367 1.1 mrg Printf("Bad shadow addr %p (%zx)\n", shadow_mem, addr); 368 1.1 mrg DCHECK(IsShadowMem(shadow_mem)); 369 1.1 mrg } 370 1.1 mrg #endif 371 1.1 mrg 372 1.1 mrg if (!SANITIZER_GO && !kAccessIsWrite && *shadow_mem == kShadowRodata) { 373 1.1 mrg // Access to .rodata section, no races here. 374 1.1 mrg // Measurements show that it can be 10-20% of all memory accesses. 375 1.1 mrg return; 376 1.1 mrg } 377 1.1 mrg 378 1.1 mrg FastState fast_state = thr->fast_state; 379 1.1 mrg if (UNLIKELY(fast_state.GetIgnoreBit())) { 380 1.1 mrg return; 381 1.1 mrg } 382 1.1 mrg 383 1.1 mrg Shadow cur(fast_state); 384 1.1 mrg cur.SetAddr0AndSizeLog(addr & 7, kAccessSizeLog); 385 1.1 mrg cur.SetWrite(kAccessIsWrite); 386 1.1 mrg cur.SetAtomic(kIsAtomic); 387 1.1 mrg 388 1.1 mrg if (LIKELY(ContainsSameAccess(shadow_mem, cur.raw(), thr->fast_synch_epoch, 389 1.1 mrg kAccessIsWrite))) { 390 1.1 mrg return; 391 1.1 mrg } 392 1.1 mrg 393 1.1 mrg if (kCollectHistory) { 394 1.1 mrg fast_state.IncrementEpoch(); 395 1.1 mrg thr->fast_state = fast_state; 396 1.1 mrg TraceAddEvent(thr, fast_state, EventTypeMop, pc); 397 1.1 mrg cur.IncrementEpoch(); 398 1.1 mrg } 399 1.1 mrg 400 1.1 mrg MemoryAccessImpl1(thr, addr, kAccessSizeLog, kAccessIsWrite, kIsAtomic, 401 1.1 mrg shadow_mem, cur); 402 1.1 mrg } 403 1.1 mrg 404 1.1 mrg // Called by MemoryAccessRange in tsan_rtl_thread.cpp 405 1.1 mrg ALWAYS_INLINE USED void MemoryAccessImpl(ThreadState *thr, uptr addr, 406 1.1 mrg int kAccessSizeLog, 407 1.1 mrg bool kAccessIsWrite, bool kIsAtomic, 408 1.1 mrg u64 *shadow_mem, Shadow cur) { 409 1.1 mrg if (LIKELY(ContainsSameAccess(shadow_mem, cur.raw(), thr->fast_synch_epoch, 410 1.1 mrg kAccessIsWrite))) { 411 1.1 mrg return; 412 1.1 mrg } 413 1.1 mrg 414 1.1 mrg MemoryAccessImpl1(thr, addr, kAccessSizeLog, kAccessIsWrite, kIsAtomic, 415 1.1 mrg shadow_mem, cur); 416 1.1 mrg } 417 1.1 mrg 418 1.1 mrg static void MemoryRangeSet(ThreadState *thr, uptr pc, uptr addr, uptr size, 419 1.1 mrg u64 val) { 420 1.1 mrg (void)thr; 421 1.1 mrg (void)pc; 422 1.1 mrg if (size == 0) 423 1.1 mrg return; 424 1.1 mrg // FIXME: fix me. 425 1.1 mrg uptr offset = addr % kShadowCell; 426 1.1 mrg if (offset) { 427 1.1 mrg offset = kShadowCell - offset; 428 1.1 mrg if (size <= offset) 429 1.1 mrg return; 430 1.1 mrg addr += offset; 431 1.1 mrg size -= offset; 432 1.1 mrg } 433 1.1 mrg DCHECK_EQ(addr % 8, 0); 434 1.1 mrg // If a user passes some insane arguments (memset(0)), 435 1.1 mrg // let it just crash as usual. 436 1.1 mrg if (!IsAppMem(addr) || !IsAppMem(addr + size - 1)) 437 1.1 mrg return; 438 1.1 mrg // Don't want to touch lots of shadow memory. 439 1.1 mrg // If a program maps 10MB stack, there is no need reset the whole range. 440 1.1 mrg size = (size + (kShadowCell - 1)) & ~(kShadowCell - 1); 441 1.1 mrg // UnmapOrDie/MmapFixedNoReserve does not work on Windows. 442 1.1 mrg if (SANITIZER_WINDOWS || size < common_flags()->clear_shadow_mmap_threshold) { 443 1.1 mrg RawShadow *p = MemToShadow(addr); 444 1.1 mrg CHECK(IsShadowMem(p)); 445 1.1 mrg CHECK(IsShadowMem(p + size * kShadowCnt / kShadowCell - 1)); 446 1.1 mrg // FIXME: may overwrite a part outside the region 447 1.1 mrg for (uptr i = 0; i < size / kShadowCell * kShadowCnt;) { 448 1.1 mrg p[i++] = val; 449 1.1 mrg for (uptr j = 1; j < kShadowCnt; j++) p[i++] = 0; 450 1.1 mrg } 451 1.1 mrg } else { 452 1.1 mrg // The region is big, reset only beginning and end. 453 1.1 mrg const uptr kPageSize = GetPageSizeCached(); 454 1.1 mrg RawShadow *begin = MemToShadow(addr); 455 1.1 mrg RawShadow *end = begin + size / kShadowCell * kShadowCnt; 456 1.1 mrg RawShadow *p = begin; 457 1.1 mrg // Set at least first kPageSize/2 to page boundary. 458 1.1 mrg while ((p < begin + kPageSize / kShadowSize / 2) || ((uptr)p % kPageSize)) { 459 1.1 mrg *p++ = val; 460 1.1 mrg for (uptr j = 1; j < kShadowCnt; j++) *p++ = 0; 461 1.1 mrg } 462 1.1 mrg // Reset middle part. 463 1.1 mrg RawShadow *p1 = p; 464 1.1 mrg p = RoundDown(end, kPageSize); 465 1.1 mrg if (!MmapFixedSuperNoReserve((uptr)p1, (uptr)p - (uptr)p1)) 466 1.1 mrg Die(); 467 1.1 mrg // Set the ending. 468 1.1 mrg while (p < end) { 469 1.1 mrg *p++ = val; 470 1.1 mrg for (uptr j = 1; j < kShadowCnt; j++) *p++ = 0; 471 1.1 mrg } 472 1.1 mrg } 473 1.1 mrg } 474 1.1 mrg 475 1.1 mrg void MemoryResetRange(ThreadState *thr, uptr pc, uptr addr, uptr size) { 476 1.1 mrg MemoryRangeSet(thr, pc, addr, size, 0); 477 1.1 mrg } 478 1.1 mrg 479 1.1 mrg void MemoryRangeFreed(ThreadState *thr, uptr pc, uptr addr, uptr size) { 480 1.1 mrg // Processing more than 1k (4k of shadow) is expensive, 481 1.1 mrg // can cause excessive memory consumption (user does not necessary touch 482 1.1 mrg // the whole range) and most likely unnecessary. 483 1.1 mrg if (size > 1024) 484 1.1 mrg size = 1024; 485 1.1 mrg CHECK_EQ(thr->is_freeing, false); 486 1.1 mrg thr->is_freeing = true; 487 1.1 mrg MemoryAccessRange(thr, pc, addr, size, true); 488 1.1 mrg thr->is_freeing = false; 489 1.1 mrg if (kCollectHistory) { 490 1.1 mrg thr->fast_state.IncrementEpoch(); 491 1.1 mrg TraceAddEvent(thr, thr->fast_state, EventTypeMop, pc); 492 1.1 mrg } 493 1.1 mrg Shadow s(thr->fast_state); 494 1.1 mrg s.ClearIgnoreBit(); 495 1.1 mrg s.MarkAsFreed(); 496 1.1 mrg s.SetWrite(true); 497 1.1 mrg s.SetAddr0AndSizeLog(0, 3); 498 1.1 mrg MemoryRangeSet(thr, pc, addr, size, s.raw()); 499 1.1 mrg } 500 1.1 mrg 501 1.1 mrg void MemoryRangeImitateWrite(ThreadState *thr, uptr pc, uptr addr, uptr size) { 502 1.1 mrg if (kCollectHistory) { 503 1.1 mrg thr->fast_state.IncrementEpoch(); 504 1.1 mrg TraceAddEvent(thr, thr->fast_state, EventTypeMop, pc); 505 1.1 mrg } 506 1.1 mrg Shadow s(thr->fast_state); 507 1.1 mrg s.ClearIgnoreBit(); 508 1.1 mrg s.SetWrite(true); 509 1.1 mrg s.SetAddr0AndSizeLog(0, 3); 510 1.1 mrg MemoryRangeSet(thr, pc, addr, size, s.raw()); 511 1.1 mrg } 512 1.1 mrg 513 1.1 mrg void MemoryRangeImitateWriteOrResetRange(ThreadState *thr, uptr pc, uptr addr, 514 1.1 mrg uptr size) { 515 1.1 mrg if (thr->ignore_reads_and_writes == 0) 516 1.1 mrg MemoryRangeImitateWrite(thr, pc, addr, size); 517 1.1 mrg else 518 1.1 mrg MemoryResetRange(thr, pc, addr, size); 519 1.1 mrg } 520 1.1 mrg 521 1.1 mrg void MemoryAccessRange(ThreadState *thr, uptr pc, uptr addr, uptr size, 522 1.1 mrg bool is_write) { 523 1.1 mrg if (size == 0) 524 1.1 mrg return; 525 1.1 mrg 526 1.1 mrg RawShadow *shadow_mem = MemToShadow(addr); 527 1.1 mrg DPrintf2("#%d: MemoryAccessRange: @%p %p size=%d is_write=%d\n", thr->tid, 528 1.1 mrg (void *)pc, (void *)addr, (int)size, is_write); 529 1.1 mrg 530 1.1 mrg #if SANITIZER_DEBUG 531 1.1 mrg if (!IsAppMem(addr)) { 532 1.1 mrg Printf("Access to non app mem %zx\n", addr); 533 1.1 mrg DCHECK(IsAppMem(addr)); 534 1.1 mrg } 535 1.1 mrg if (!IsAppMem(addr + size - 1)) { 536 1.1 mrg Printf("Access to non app mem %zx\n", addr + size - 1); 537 1.1 mrg DCHECK(IsAppMem(addr + size - 1)); 538 1.1 mrg } 539 1.1 mrg if (!IsShadowMem(shadow_mem)) { 540 1.1 mrg Printf("Bad shadow addr %p (%zx)\n", shadow_mem, addr); 541 1.1 mrg DCHECK(IsShadowMem(shadow_mem)); 542 1.1 mrg } 543 1.1 mrg if (!IsShadowMem(shadow_mem + size * kShadowCnt / 8 - 1)) { 544 1.1 mrg Printf("Bad shadow addr %p (%zx)\n", shadow_mem + size * kShadowCnt / 8 - 1, 545 1.1 mrg addr + size - 1); 546 1.1 mrg DCHECK(IsShadowMem(shadow_mem + size * kShadowCnt / 8 - 1)); 547 1.1 mrg } 548 1.1 mrg #endif 549 1.1 mrg 550 1.1 mrg if (*shadow_mem == kShadowRodata) { 551 1.1 mrg DCHECK(!is_write); 552 1.1 mrg // Access to .rodata section, no races here. 553 1.1 mrg // Measurements show that it can be 10-20% of all memory accesses. 554 1.1 mrg return; 555 1.1 mrg } 556 1.1 mrg 557 1.1 mrg FastState fast_state = thr->fast_state; 558 1.1 mrg if (fast_state.GetIgnoreBit()) 559 1.1 mrg return; 560 1.1 mrg 561 1.1 mrg fast_state.IncrementEpoch(); 562 1.1 mrg thr->fast_state = fast_state; 563 1.1 mrg TraceAddEvent(thr, fast_state, EventTypeMop, pc); 564 1.1 mrg 565 1.1 mrg bool unaligned = (addr % kShadowCell) != 0; 566 1.1 mrg 567 1.1 mrg // Handle unaligned beginning, if any. 568 1.1 mrg for (; addr % kShadowCell && size; addr++, size--) { 569 1.1 mrg int const kAccessSizeLog = 0; 570 1.1 mrg Shadow cur(fast_state); 571 1.1 mrg cur.SetWrite(is_write); 572 1.1 mrg cur.SetAddr0AndSizeLog(addr & (kShadowCell - 1), kAccessSizeLog); 573 1.1 mrg MemoryAccessImpl(thr, addr, kAccessSizeLog, is_write, false, shadow_mem, 574 1.1 mrg cur); 575 1.1 mrg } 576 1.1 mrg if (unaligned) 577 1.1 mrg shadow_mem += kShadowCnt; 578 1.1 mrg // Handle middle part, if any. 579 1.1 mrg for (; size >= kShadowCell; addr += kShadowCell, size -= kShadowCell) { 580 1.1 mrg int const kAccessSizeLog = 3; 581 1.1 mrg Shadow cur(fast_state); 582 1.1 mrg cur.SetWrite(is_write); 583 1.1 mrg cur.SetAddr0AndSizeLog(0, kAccessSizeLog); 584 1.1 mrg MemoryAccessImpl(thr, addr, kAccessSizeLog, is_write, false, shadow_mem, 585 1.1 mrg cur); 586 1.1 mrg shadow_mem += kShadowCnt; 587 1.1 mrg } 588 1.1 mrg // Handle ending, if any. 589 1.1 mrg for (; size; addr++, size--) { 590 1.1 mrg int const kAccessSizeLog = 0; 591 1.1 mrg Shadow cur(fast_state); 592 1.1 mrg cur.SetWrite(is_write); 593 1.1 mrg cur.SetAddr0AndSizeLog(addr & (kShadowCell - 1), kAccessSizeLog); 594 1.1 mrg MemoryAccessImpl(thr, addr, kAccessSizeLog, is_write, false, shadow_mem, 595 1.1 mrg cur); 596 1.1 mrg } 597 1.1 mrg } 598 1.1 mrg 599 1.1 mrg } // namespace __tsan 600 1.1 mrg 601 1.1 mrg #if !SANITIZER_GO 602 1.1 mrg // Must be included in this file to make sure everything is inlined. 603 1.1 mrg # include "tsan_interface.inc" 604 1.1 mrg #endif 605