tsan_interceptors.cc revision 652f78a41de2887aedc1b0314b58bb6b622c80ca
1//===-- tsan_interceptors.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// FIXME: move as many interceptors as possible into 13// sanitizer_common/sanitizer_common_interceptors.inc 14//===----------------------------------------------------------------------===// 15 16#include "sanitizer_common/sanitizer_atomic.h" 17#include "sanitizer_common/sanitizer_libc.h" 18#include "sanitizer_common/sanitizer_linux.h" 19#include "sanitizer_common/sanitizer_platform_limits_posix.h" 20#include "sanitizer_common/sanitizer_placement_new.h" 21#include "sanitizer_common/sanitizer_stacktrace.h" 22#include "interception/interception.h" 23#include "tsan_interface.h" 24#include "tsan_platform.h" 25#include "tsan_rtl.h" 26#include "tsan_mman.h" 27#include "tsan_fd.h" 28 29using namespace __tsan; // NOLINT 30 31const int kSigCount = 64; 32 33struct my_siginfo_t { 34 // The size is determined by looking at sizeof of real siginfo_t on linux. 35 u64 opaque[128 / sizeof(u64)]; 36}; 37 38struct sigset_t { 39 // The size is determined by looking at sizeof of real sigset_t on linux. 40 u64 val[128 / sizeof(u64)]; 41}; 42 43struct ucontext_t { 44 // The size is determined by looking at sizeof of real ucontext_t on linux. 45 u64 opaque[936 / sizeof(u64) + 1]; 46}; 47 48extern "C" int pthread_attr_init(void *attr); 49extern "C" int pthread_attr_destroy(void *attr); 50extern "C" int pthread_attr_getdetachstate(void *attr, int *v); 51extern "C" int pthread_attr_setstacksize(void *attr, uptr stacksize); 52extern "C" int pthread_attr_getstacksize(void *attr, uptr *stacksize); 53extern "C" int pthread_key_create(unsigned *key, void (*destructor)(void* v)); 54extern "C" int pthread_setspecific(unsigned key, const void *v); 55extern "C" int pthread_mutexattr_gettype(void *a, int *type); 56extern "C" int pthread_yield(); 57extern "C" int pthread_sigmask(int how, const sigset_t *set, sigset_t *oldset); 58extern "C" int sigfillset(sigset_t *set); 59extern "C" void *pthread_self(); 60extern "C" void _exit(int status); 61extern "C" int *__errno_location(); 62extern "C" int fileno_unlocked(void *stream); 63extern "C" void *__libc_malloc(uptr size); 64extern "C" void *__libc_calloc(uptr size, uptr n); 65extern "C" void *__libc_realloc(void *ptr, uptr size); 66extern "C" void __libc_free(void *ptr); 67extern "C" int mallopt(int param, int value); 68const int PTHREAD_MUTEX_RECURSIVE = 1; 69const int PTHREAD_MUTEX_RECURSIVE_NP = 1; 70const int EINVAL = 22; 71const int EBUSY = 16; 72const int EPOLL_CTL_ADD = 1; 73const int SIGILL = 4; 74const int SIGABRT = 6; 75const int SIGFPE = 8; 76const int SIGSEGV = 11; 77const int SIGPIPE = 13; 78const int SIGBUS = 7; 79const int SIGSYS = 31; 80void *const MAP_FAILED = (void*)-1; 81const int PTHREAD_BARRIER_SERIAL_THREAD = -1; 82const int MAP_FIXED = 0x10; 83typedef long long_t; // NOLINT 84 85// From /usr/include/unistd.h 86# define F_ULOCK 0 /* Unlock a previously locked region. */ 87# define F_LOCK 1 /* Lock a region for exclusive use. */ 88# define F_TLOCK 2 /* Test and lock a region for exclusive use. */ 89# define F_TEST 3 /* Test a region for other processes locks. */ 90 91typedef void (*sighandler_t)(int sig); 92 93#define errno (*__errno_location()) 94 95struct sigaction_t { 96 union { 97 sighandler_t sa_handler; 98 void (*sa_sigaction)(int sig, my_siginfo_t *siginfo, void *uctx); 99 }; 100 sigset_t sa_mask; 101 int sa_flags; 102 void (*sa_restorer)(); 103}; 104 105const sighandler_t SIG_DFL = (sighandler_t)0; 106const sighandler_t SIG_IGN = (sighandler_t)1; 107const sighandler_t SIG_ERR = (sighandler_t)-1; 108const int SA_SIGINFO = 4; 109const int SIG_SETMASK = 2; 110 111namespace std { 112struct nothrow_t {}; 113} // namespace std 114 115static sigaction_t sigactions[kSigCount]; 116 117namespace __tsan { 118struct SignalDesc { 119 bool armed; 120 bool sigaction; 121 my_siginfo_t siginfo; 122 ucontext_t ctx; 123}; 124 125struct SignalContext { 126 int in_blocking_func; 127 int int_signal_send; 128 int pending_signal_count; 129 SignalDesc pending_signals[kSigCount]; 130}; 131} // namespace __tsan 132 133static SignalContext *SigCtx(ThreadState *thr) { 134 SignalContext *ctx = (SignalContext*)thr->signal_ctx; 135 if (ctx == 0 && thr->is_alive) { 136 ScopedInRtl in_rtl; 137 ctx = (SignalContext*)MmapOrDie(sizeof(*ctx), "SignalContext"); 138 MemoryResetRange(thr, (uptr)&SigCtx, (uptr)ctx, sizeof(*ctx)); 139 thr->signal_ctx = ctx; 140 } 141 return ctx; 142} 143 144static unsigned g_thread_finalize_key; 145 146class ScopedInterceptor { 147 public: 148 ScopedInterceptor(ThreadState *thr, const char *fname, uptr pc); 149 ~ScopedInterceptor(); 150 private: 151 ThreadState *const thr_; 152 const int in_rtl_; 153}; 154 155ScopedInterceptor::ScopedInterceptor(ThreadState *thr, const char *fname, 156 uptr pc) 157 : thr_(thr) 158 , in_rtl_(thr->in_rtl) { 159 if (thr_->in_rtl == 0) { 160 Initialize(thr); 161 FuncEntry(thr, pc); 162 thr_->in_rtl++; 163 DPrintf("#%d: intercept %s()\n", thr_->tid, fname); 164 } else { 165 thr_->in_rtl++; 166 } 167} 168 169ScopedInterceptor::~ScopedInterceptor() { 170 thr_->in_rtl--; 171 if (thr_->in_rtl == 0) { 172 FuncExit(thr_); 173 ProcessPendingSignals(thr_); 174 } 175 CHECK_EQ(in_rtl_, thr_->in_rtl); 176} 177 178#define SCOPED_INTERCEPTOR_RAW(func, ...) \ 179 ThreadState *thr = cur_thread(); \ 180 StatInc(thr, StatInterceptor); \ 181 StatInc(thr, StatInt_##func); \ 182 const uptr caller_pc = GET_CALLER_PC(); \ 183 ScopedInterceptor si(thr, #func, caller_pc); \ 184 const uptr pc = __sanitizer::StackTrace::GetCurrentPc(); \ 185 (void)pc; \ 186/**/ 187 188#define SCOPED_TSAN_INTERCEPTOR(func, ...) \ 189 SCOPED_INTERCEPTOR_RAW(func, __VA_ARGS__); \ 190 if (REAL(func) == 0) { \ 191 Printf("FATAL: ThreadSanitizer: failed to intercept %s\n", #func); \ 192 Die(); \ 193 } \ 194 if (thr->in_rtl > 1) \ 195 return REAL(func)(__VA_ARGS__); \ 196/**/ 197 198#define TSAN_INTERCEPTOR(ret, func, ...) INTERCEPTOR(ret, func, __VA_ARGS__) 199#define TSAN_INTERCEPT(func) INTERCEPT_FUNCTION(func) 200 201#define BLOCK_REAL(name) (BlockingCall(thr), REAL(name)) 202 203struct BlockingCall { 204 explicit BlockingCall(ThreadState *thr) 205 : ctx(SigCtx(thr)) { 206 ctx->in_blocking_func++; 207 } 208 209 ~BlockingCall() { 210 ctx->in_blocking_func--; 211 } 212 213 SignalContext *ctx; 214}; 215 216TSAN_INTERCEPTOR(unsigned, sleep, unsigned sec) { 217 SCOPED_TSAN_INTERCEPTOR(sleep, sec); 218 unsigned res = BLOCK_REAL(sleep)(sec); 219 AfterSleep(thr, pc); 220 return res; 221} 222 223TSAN_INTERCEPTOR(int, usleep, long_t usec) { 224 SCOPED_TSAN_INTERCEPTOR(usleep, usec); 225 int res = BLOCK_REAL(usleep)(usec); 226 AfterSleep(thr, pc); 227 return res; 228} 229 230TSAN_INTERCEPTOR(int, nanosleep, void *req, void *rem) { 231 SCOPED_TSAN_INTERCEPTOR(nanosleep, req, rem); 232 int res = BLOCK_REAL(nanosleep)(req, rem); 233 AfterSleep(thr, pc); 234 return res; 235} 236 237class AtExitContext { 238 public: 239 AtExitContext() 240 : mtx_(MutexTypeAtExit, StatMtxAtExit) 241 , pos_() { 242 } 243 244 typedef void(*atexit_t)(); 245 246 int atexit(ThreadState *thr, uptr pc, bool is_on_exit, 247 atexit_t f, void *arg) { 248 Lock l(&mtx_); 249 if (pos_ == kMaxAtExit) 250 return 1; 251 Release(thr, pc, (uptr)this); 252 stack_[pos_] = f; 253 args_[pos_] = arg; 254 is_on_exits_[pos_] = is_on_exit; 255 pos_++; 256 return 0; 257 } 258 259 void exit(ThreadState *thr, uptr pc) { 260 CHECK_EQ(thr->in_rtl, 0); 261 for (;;) { 262 atexit_t f = 0; 263 void *arg = 0; 264 bool is_on_exit = false; 265 { 266 Lock l(&mtx_); 267 if (pos_) { 268 pos_--; 269 f = stack_[pos_]; 270 arg = args_[pos_]; 271 is_on_exit = is_on_exits_[pos_]; 272 ScopedInRtl in_rtl; 273 Acquire(thr, pc, (uptr)this); 274 } 275 } 276 if (f == 0) 277 break; 278 DPrintf("#%d: executing atexit func %p\n", thr->tid, f); 279 CHECK_EQ(thr->in_rtl, 0); 280 if (is_on_exit) 281 ((void(*)(int status, void *arg))f)(0, arg); 282 else 283 ((void(*)(void *arg, void *dso))f)(arg, 0); 284 } 285 } 286 287 private: 288 static const int kMaxAtExit = 128; 289 Mutex mtx_; 290 atexit_t stack_[kMaxAtExit]; 291 void *args_[kMaxAtExit]; 292 bool is_on_exits_[kMaxAtExit]; 293 int pos_; 294}; 295 296static AtExitContext *atexit_ctx; 297 298TSAN_INTERCEPTOR(int, atexit, void (*f)()) { 299 if (cur_thread()->in_symbolizer) 300 return 0; 301 SCOPED_TSAN_INTERCEPTOR(atexit, f); 302 return atexit_ctx->atexit(thr, pc, false, (void(*)())f, 0); 303} 304 305TSAN_INTERCEPTOR(int, on_exit, void(*f)(int, void*), void *arg) { 306 if (cur_thread()->in_symbolizer) 307 return 0; 308 SCOPED_TSAN_INTERCEPTOR(on_exit, f, arg); 309 return atexit_ctx->atexit(thr, pc, true, (void(*)())f, arg); 310} 311 312TSAN_INTERCEPTOR(int, __cxa_atexit, void (*f)(void *a), void *arg, void *dso) { 313 if (cur_thread()->in_symbolizer) 314 return 0; 315 SCOPED_TSAN_INTERCEPTOR(__cxa_atexit, f, arg, dso); 316 if (dso) 317 return REAL(__cxa_atexit)(f, arg, dso); 318 return atexit_ctx->atexit(thr, pc, false, (void(*)())f, arg); 319} 320 321// Cleanup old bufs. 322static void JmpBufGarbageCollect(ThreadState *thr, uptr sp) { 323 for (uptr i = 0; i < thr->jmp_bufs.Size(); i++) { 324 JmpBuf *buf = &thr->jmp_bufs[i]; 325 if (buf->sp <= sp) { 326 uptr sz = thr->jmp_bufs.Size(); 327 thr->jmp_bufs[i] = thr->jmp_bufs[sz - 1]; 328 thr->jmp_bufs.PopBack(); 329 i--; 330 } 331 } 332} 333 334static void SetJmp(ThreadState *thr, uptr sp, uptr mangled_sp) { 335 if (thr->shadow_stack_pos == 0) // called from libc guts during bootstrap 336 return; 337 // Cleanup old bufs. 338 JmpBufGarbageCollect(thr, sp); 339 // Remember the buf. 340 JmpBuf *buf = thr->jmp_bufs.PushBack(); 341 buf->sp = sp; 342 buf->mangled_sp = mangled_sp; 343 buf->shadow_stack_pos = thr->shadow_stack_pos; 344} 345 346static void LongJmp(ThreadState *thr, uptr *env) { 347 uptr mangled_sp = env[6]; 348 // Find the saved buf by mangled_sp. 349 for (uptr i = 0; i < thr->jmp_bufs.Size(); i++) { 350 JmpBuf *buf = &thr->jmp_bufs[i]; 351 if (buf->mangled_sp == mangled_sp) { 352 CHECK_GE(thr->shadow_stack_pos, buf->shadow_stack_pos); 353 // Unwind the stack. 354 while (thr->shadow_stack_pos > buf->shadow_stack_pos) 355 FuncExit(thr); 356 JmpBufGarbageCollect(thr, buf->sp - 1); // do not collect buf->sp 357 return; 358 } 359 } 360 Printf("ThreadSanitizer: can't find longjmp buf\n"); 361 CHECK(0); 362} 363 364// FIXME: put everything below into a common extern "C" block? 365extern "C" void __tsan_setjmp(uptr sp, uptr mangled_sp) { 366 ScopedInRtl in_rtl; 367 SetJmp(cur_thread(), sp, mangled_sp); 368} 369 370// Not called. Merely to satisfy TSAN_INTERCEPT(). 371extern "C" SANITIZER_INTERFACE_ATTRIBUTE 372int __interceptor_setjmp(void *env); 373extern "C" int __interceptor_setjmp(void *env) { 374 CHECK(0); 375 return 0; 376} 377 378// FIXME: any reason to have a separate declaration? 379extern "C" SANITIZER_INTERFACE_ATTRIBUTE 380int __interceptor__setjmp(void *env); 381extern "C" int __interceptor__setjmp(void *env) { 382 CHECK(0); 383 return 0; 384} 385 386extern "C" SANITIZER_INTERFACE_ATTRIBUTE 387int __interceptor_sigsetjmp(void *env); 388extern "C" int __interceptor_sigsetjmp(void *env) { 389 CHECK(0); 390 return 0; 391} 392 393extern "C" SANITIZER_INTERFACE_ATTRIBUTE 394int __interceptor___sigsetjmp(void *env); 395extern "C" int __interceptor___sigsetjmp(void *env) { 396 CHECK(0); 397 return 0; 398} 399 400extern "C" int setjmp(void *env); 401extern "C" int _setjmp(void *env); 402extern "C" int sigsetjmp(void *env); 403extern "C" int __sigsetjmp(void *env); 404DEFINE_REAL(int, setjmp, void *env) 405DEFINE_REAL(int, _setjmp, void *env) 406DEFINE_REAL(int, sigsetjmp, void *env) 407DEFINE_REAL(int, __sigsetjmp, void *env) 408 409TSAN_INTERCEPTOR(void, longjmp, uptr *env, int val) { 410 { 411 SCOPED_TSAN_INTERCEPTOR(longjmp, env, val); 412 } 413 LongJmp(cur_thread(), env); 414 REAL(longjmp)(env, val); 415} 416 417TSAN_INTERCEPTOR(void, siglongjmp, uptr *env, int val) { 418 { 419 SCOPED_TSAN_INTERCEPTOR(siglongjmp, env, val); 420 } 421 LongJmp(cur_thread(), env); 422 REAL(siglongjmp)(env, val); 423} 424 425TSAN_INTERCEPTOR(void*, malloc, uptr size) { 426 if (cur_thread()->in_symbolizer) 427 return __libc_malloc(size); 428 void *p = 0; 429 { 430 SCOPED_INTERCEPTOR_RAW(malloc, size); 431 p = user_alloc(thr, pc, size); 432 } 433 invoke_malloc_hook(p, size); 434 return p; 435} 436 437TSAN_INTERCEPTOR(void*, __libc_memalign, uptr align, uptr sz) { 438 SCOPED_TSAN_INTERCEPTOR(__libc_memalign, align, sz); 439 return user_alloc(thr, pc, sz, align); 440} 441 442TSAN_INTERCEPTOR(void*, calloc, uptr size, uptr n) { 443 if (cur_thread()->in_symbolizer) 444 return __libc_calloc(size, n); 445 if (__sanitizer::CallocShouldReturnNullDueToOverflow(size, n)) 446 return AllocatorReturnNull(); 447 void *p = 0; 448 { 449 SCOPED_INTERCEPTOR_RAW(calloc, size, n); 450 p = user_alloc(thr, pc, n * size); 451 if (p) 452 internal_memset(p, 0, n * size); 453 } 454 invoke_malloc_hook(p, n * size); 455 return p; 456} 457 458TSAN_INTERCEPTOR(void*, realloc, void *p, uptr size) { 459 if (cur_thread()->in_symbolizer) 460 return __libc_realloc(p, size); 461 if (p) 462 invoke_free_hook(p); 463 { 464 SCOPED_INTERCEPTOR_RAW(realloc, p, size); 465 p = user_realloc(thr, pc, p, size); 466 } 467 invoke_malloc_hook(p, size); 468 return p; 469} 470 471TSAN_INTERCEPTOR(void, free, void *p) { 472 if (p == 0) 473 return; 474 if (cur_thread()->in_symbolizer) 475 return __libc_free(p); 476 invoke_free_hook(p); 477 SCOPED_INTERCEPTOR_RAW(free, p); 478 user_free(thr, pc, p); 479} 480 481TSAN_INTERCEPTOR(void, cfree, void *p) { 482 if (p == 0) 483 return; 484 if (cur_thread()->in_symbolizer) 485 return __libc_free(p); 486 invoke_free_hook(p); 487 SCOPED_INTERCEPTOR_RAW(cfree, p); 488 user_free(thr, pc, p); 489} 490 491TSAN_INTERCEPTOR(uptr, malloc_usable_size, void *p) { 492 SCOPED_INTERCEPTOR_RAW(malloc_usable_size, p); 493 return user_alloc_usable_size(thr, pc, p); 494} 495 496#define OPERATOR_NEW_BODY(mangled_name) \ 497 if (cur_thread()->in_symbolizer) \ 498 return __libc_malloc(size); \ 499 void *p = 0; \ 500 { \ 501 SCOPED_INTERCEPTOR_RAW(mangled_name, size); \ 502 p = user_alloc(thr, pc, size); \ 503 } \ 504 invoke_malloc_hook(p, size); \ 505 return p; 506 507SANITIZER_INTERFACE_ATTRIBUTE 508void *operator new(__sanitizer::uptr size); 509void *operator new(__sanitizer::uptr size) { 510 OPERATOR_NEW_BODY(_Znwm); 511} 512 513SANITIZER_INTERFACE_ATTRIBUTE 514void *operator new[](__sanitizer::uptr size); 515void *operator new[](__sanitizer::uptr size) { 516 OPERATOR_NEW_BODY(_Znam); 517} 518 519SANITIZER_INTERFACE_ATTRIBUTE 520void *operator new(__sanitizer::uptr size, std::nothrow_t const&); 521void *operator new(__sanitizer::uptr size, std::nothrow_t const&) { 522 OPERATOR_NEW_BODY(_ZnwmRKSt9nothrow_t); 523} 524 525SANITIZER_INTERFACE_ATTRIBUTE 526void *operator new[](__sanitizer::uptr size, std::nothrow_t const&); 527void *operator new[](__sanitizer::uptr size, std::nothrow_t const&) { 528 OPERATOR_NEW_BODY(_ZnamRKSt9nothrow_t); 529} 530 531#define OPERATOR_DELETE_BODY(mangled_name) \ 532 if (ptr == 0) return; \ 533 if (cur_thread()->in_symbolizer) \ 534 return __libc_free(ptr); \ 535 invoke_free_hook(ptr); \ 536 SCOPED_INTERCEPTOR_RAW(mangled_name, ptr); \ 537 user_free(thr, pc, ptr); 538 539SANITIZER_INTERFACE_ATTRIBUTE 540void operator delete(void *ptr); 541void operator delete(void *ptr) { 542 OPERATOR_DELETE_BODY(_ZdlPv); 543} 544 545SANITIZER_INTERFACE_ATTRIBUTE 546void operator delete[](void *ptr); 547void operator delete[](void *ptr) { 548 OPERATOR_DELETE_BODY(_ZdlPvRKSt9nothrow_t); 549} 550 551SANITIZER_INTERFACE_ATTRIBUTE 552void operator delete(void *ptr, std::nothrow_t const&); 553void operator delete(void *ptr, std::nothrow_t const&) { 554 OPERATOR_DELETE_BODY(_ZdaPv); 555} 556 557SANITIZER_INTERFACE_ATTRIBUTE 558void operator delete[](void *ptr, std::nothrow_t const&); 559void operator delete[](void *ptr, std::nothrow_t const&) { 560 OPERATOR_DELETE_BODY(_ZdaPvRKSt9nothrow_t); 561} 562 563TSAN_INTERCEPTOR(uptr, strlen, const char *s) { 564 SCOPED_TSAN_INTERCEPTOR(strlen, s); 565 uptr len = internal_strlen(s); 566 MemoryAccessRange(thr, pc, (uptr)s, len + 1, false); 567 return len; 568} 569 570TSAN_INTERCEPTOR(void*, memset, void *dst, int v, uptr size) { 571 SCOPED_TSAN_INTERCEPTOR(memset, dst, v, size); 572 MemoryAccessRange(thr, pc, (uptr)dst, size, true); 573 return internal_memset(dst, v, size); 574} 575 576TSAN_INTERCEPTOR(void*, memcpy, void *dst, const void *src, uptr size) { 577 SCOPED_TSAN_INTERCEPTOR(memcpy, dst, src, size); 578 MemoryAccessRange(thr, pc, (uptr)dst, size, true); 579 MemoryAccessRange(thr, pc, (uptr)src, size, false); 580 return internal_memcpy(dst, src, size); 581} 582 583TSAN_INTERCEPTOR(int, memcmp, const void *s1, const void *s2, uptr n) { 584 SCOPED_TSAN_INTERCEPTOR(memcmp, s1, s2, n); 585 int res = 0; 586 uptr len = 0; 587 for (; len < n; len++) { 588 if ((res = ((unsigned char*)s1)[len] - ((unsigned char*)s2)[len])) 589 break; 590 } 591 MemoryAccessRange(thr, pc, (uptr)s1, len < n ? len + 1 : n, false); 592 MemoryAccessRange(thr, pc, (uptr)s2, len < n ? len + 1 : n, false); 593 return res; 594} 595 596TSAN_INTERCEPTOR(void*, memchr, void *s, int c, uptr n) { 597 SCOPED_TSAN_INTERCEPTOR(memchr, s, c, n); 598 void *res = REAL(memchr)(s, c, n); 599 uptr len = res ? (char*)res - (char*)s + 1 : n; 600 MemoryAccessRange(thr, pc, (uptr)s, len, false); 601 return res; 602} 603 604TSAN_INTERCEPTOR(void*, memrchr, char *s, int c, uptr n) { 605 SCOPED_TSAN_INTERCEPTOR(memrchr, s, c, n); 606 MemoryAccessRange(thr, pc, (uptr)s, n, false); 607 return REAL(memrchr)(s, c, n); 608} 609 610TSAN_INTERCEPTOR(void*, memmove, void *dst, void *src, uptr n) { 611 SCOPED_TSAN_INTERCEPTOR(memmove, dst, src, n); 612 MemoryAccessRange(thr, pc, (uptr)dst, n, true); 613 MemoryAccessRange(thr, pc, (uptr)src, n, false); 614 return REAL(memmove)(dst, src, n); 615} 616 617TSAN_INTERCEPTOR(char*, strchr, char *s, int c) { 618 SCOPED_TSAN_INTERCEPTOR(strchr, s, c); 619 char *res = REAL(strchr)(s, c); 620 uptr len = res ? (char*)res - (char*)s + 1 : internal_strlen(s) + 1; 621 MemoryAccessRange(thr, pc, (uptr)s, len, false); 622 return res; 623} 624 625TSAN_INTERCEPTOR(char*, strchrnul, char *s, int c) { 626 SCOPED_TSAN_INTERCEPTOR(strchrnul, s, c); 627 char *res = REAL(strchrnul)(s, c); 628 uptr len = (char*)res - (char*)s + 1; 629 MemoryAccessRange(thr, pc, (uptr)s, len, false); 630 return res; 631} 632 633TSAN_INTERCEPTOR(char*, strrchr, char *s, int c) { 634 SCOPED_TSAN_INTERCEPTOR(strrchr, s, c); 635 MemoryAccessRange(thr, pc, (uptr)s, internal_strlen(s) + 1, false); 636 return REAL(strrchr)(s, c); 637} 638 639TSAN_INTERCEPTOR(char*, strcpy, char *dst, const char *src) { // NOLINT 640 SCOPED_TSAN_INTERCEPTOR(strcpy, dst, src); // NOLINT 641 uptr srclen = internal_strlen(src); 642 MemoryAccessRange(thr, pc, (uptr)dst, srclen + 1, true); 643 MemoryAccessRange(thr, pc, (uptr)src, srclen + 1, false); 644 return REAL(strcpy)(dst, src); // NOLINT 645} 646 647TSAN_INTERCEPTOR(char*, strncpy, char *dst, char *src, uptr n) { 648 SCOPED_TSAN_INTERCEPTOR(strncpy, dst, src, n); 649 uptr srclen = internal_strnlen(src, n); 650 MemoryAccessRange(thr, pc, (uptr)dst, n, true); 651 MemoryAccessRange(thr, pc, (uptr)src, min(srclen + 1, n), false); 652 return REAL(strncpy)(dst, src, n); 653} 654 655TSAN_INTERCEPTOR(const char*, strstr, const char *s1, const char *s2) { 656 SCOPED_TSAN_INTERCEPTOR(strstr, s1, s2); 657 const char *res = REAL(strstr)(s1, s2); 658 uptr len1 = internal_strlen(s1); 659 uptr len2 = internal_strlen(s2); 660 MemoryAccessRange(thr, pc, (uptr)s1, len1 + 1, false); 661 MemoryAccessRange(thr, pc, (uptr)s2, len2 + 1, false); 662 return res; 663} 664 665static bool fix_mmap_addr(void **addr, long_t sz, int flags) { 666 if (*addr) { 667 if (!IsAppMem((uptr)*addr) || !IsAppMem((uptr)*addr + sz - 1)) { 668 if (flags & MAP_FIXED) { 669 errno = EINVAL; 670 return false; 671 } else { 672 *addr = 0; 673 } 674 } 675 } 676 return true; 677} 678 679TSAN_INTERCEPTOR(void*, mmap, void *addr, long_t sz, int prot, 680 int flags, int fd, unsigned off) { 681 SCOPED_TSAN_INTERCEPTOR(mmap, addr, sz, prot, flags, fd, off); 682 if (!fix_mmap_addr(&addr, sz, flags)) 683 return MAP_FAILED; 684 void *res = REAL(mmap)(addr, sz, prot, flags, fd, off); 685 if (res != MAP_FAILED) { 686 if (fd > 0) 687 FdAccess(thr, pc, fd); 688 MemoryRangeImitateWrite(thr, pc, (uptr)res, sz); 689 } 690 return res; 691} 692 693TSAN_INTERCEPTOR(void*, mmap64, void *addr, long_t sz, int prot, 694 int flags, int fd, u64 off) { 695 SCOPED_TSAN_INTERCEPTOR(mmap64, addr, sz, prot, flags, fd, off); 696 if (!fix_mmap_addr(&addr, sz, flags)) 697 return MAP_FAILED; 698 void *res = REAL(mmap64)(addr, sz, prot, flags, fd, off); 699 if (res != MAP_FAILED) { 700 if (fd > 0) 701 FdAccess(thr, pc, fd); 702 MemoryRangeImitateWrite(thr, pc, (uptr)res, sz); 703 } 704 return res; 705} 706 707TSAN_INTERCEPTOR(int, munmap, void *addr, long_t sz) { 708 SCOPED_TSAN_INTERCEPTOR(munmap, addr, sz); 709 DontNeedShadowFor((uptr)addr, sz); 710 int res = REAL(munmap)(addr, sz); 711 return res; 712} 713 714TSAN_INTERCEPTOR(void*, memalign, uptr align, uptr sz) { 715 SCOPED_TSAN_INTERCEPTOR(memalign, align, sz); 716 return user_alloc(thr, pc, sz, align); 717} 718 719TSAN_INTERCEPTOR(void*, valloc, uptr sz) { 720 SCOPED_TSAN_INTERCEPTOR(valloc, sz); 721 return user_alloc(thr, pc, sz, GetPageSizeCached()); 722} 723 724TSAN_INTERCEPTOR(void*, pvalloc, uptr sz) { 725 SCOPED_TSAN_INTERCEPTOR(pvalloc, sz); 726 sz = RoundUp(sz, GetPageSizeCached()); 727 return user_alloc(thr, pc, sz, GetPageSizeCached()); 728} 729 730TSAN_INTERCEPTOR(int, posix_memalign, void **memptr, uptr align, uptr sz) { 731 SCOPED_TSAN_INTERCEPTOR(posix_memalign, memptr, align, sz); 732 *memptr = user_alloc(thr, pc, sz, align); 733 return 0; 734} 735 736// Used in thread-safe function static initialization. 737extern "C" int INTERFACE_ATTRIBUTE __cxa_guard_acquire(atomic_uint32_t *g) { 738 SCOPED_INTERCEPTOR_RAW(__cxa_guard_acquire, g); 739 for (;;) { 740 u32 cmp = atomic_load(g, memory_order_acquire); 741 if (cmp == 0) { 742 if (atomic_compare_exchange_strong(g, &cmp, 1<<16, memory_order_relaxed)) 743 return 1; 744 } else if (cmp == 1) { 745 Acquire(thr, pc, (uptr)g); 746 return 0; 747 } else { 748 internal_sched_yield(); 749 } 750 } 751} 752 753extern "C" void INTERFACE_ATTRIBUTE __cxa_guard_release(atomic_uint32_t *g) { 754 SCOPED_INTERCEPTOR_RAW(__cxa_guard_release, g); 755 Release(thr, pc, (uptr)g); 756 atomic_store(g, 1, memory_order_release); 757} 758 759extern "C" void INTERFACE_ATTRIBUTE __cxa_guard_abort(atomic_uint32_t *g) { 760 SCOPED_INTERCEPTOR_RAW(__cxa_guard_abort, g); 761 atomic_store(g, 0, memory_order_relaxed); 762} 763 764static void thread_finalize(void *v) { 765 uptr iter = (uptr)v; 766 if (iter > 1) { 767 if (pthread_setspecific(g_thread_finalize_key, (void*)(iter - 1))) { 768 Printf("ThreadSanitizer: failed to set thread key\n"); 769 Die(); 770 } 771 return; 772 } 773 { 774 ScopedInRtl in_rtl; 775 ThreadState *thr = cur_thread(); 776 ThreadFinish(thr); 777 SignalContext *sctx = thr->signal_ctx; 778 if (sctx) { 779 thr->signal_ctx = 0; 780 UnmapOrDie(sctx, sizeof(*sctx)); 781 } 782 } 783} 784 785 786struct ThreadParam { 787 void* (*callback)(void *arg); 788 void *param; 789 atomic_uintptr_t tid; 790}; 791 792extern "C" void *__tsan_thread_start_func(void *arg) { 793 ThreadParam *p = (ThreadParam*)arg; 794 void* (*callback)(void *arg) = p->callback; 795 void *param = p->param; 796 int tid = 0; 797 { 798 ThreadState *thr = cur_thread(); 799 ScopedInRtl in_rtl; 800 if (pthread_setspecific(g_thread_finalize_key, (void*)4)) { 801 Printf("ThreadSanitizer: failed to set thread key\n"); 802 Die(); 803 } 804 while ((tid = atomic_load(&p->tid, memory_order_acquire)) == 0) 805 pthread_yield(); 806 atomic_store(&p->tid, 0, memory_order_release); 807 ThreadStart(thr, tid, GetTid()); 808 CHECK_EQ(thr->in_rtl, 1); 809 } 810 void *res = callback(param); 811 // Prevent the callback from being tail called, 812 // it mixes up stack traces. 813 volatile int foo = 42; 814 foo++; 815 return res; 816} 817 818TSAN_INTERCEPTOR(int, pthread_create, 819 void *th, void *attr, void *(*callback)(void*), void * param) { 820 SCOPED_TSAN_INTERCEPTOR(pthread_create, th, attr, callback, param); 821 __sanitizer_pthread_attr_t myattr; 822 if (attr == 0) { 823 pthread_attr_init(&myattr); 824 attr = &myattr; 825 } 826 int detached = 0; 827 pthread_attr_getdetachstate(attr, &detached); 828 829#if defined(TSAN_DEBUG_OUTPUT) 830 int verbosity = (TSAN_DEBUG_OUTPUT); 831#else 832 int verbosity = 0; 833#endif 834 AdjustStackSizeLinux(attr, verbosity); 835 836 ThreadParam p; 837 p.callback = callback; 838 p.param = param; 839 atomic_store(&p.tid, 0, memory_order_relaxed); 840 int res = REAL(pthread_create)(th, attr, __tsan_thread_start_func, &p); 841 if (res == 0) { 842 int tid = ThreadCreate(thr, pc, *(uptr*)th, detached); 843 CHECK_NE(tid, 0); 844 atomic_store(&p.tid, tid, memory_order_release); 845 while (atomic_load(&p.tid, memory_order_acquire) != 0) 846 pthread_yield(); 847 } 848 if (attr == &myattr) 849 pthread_attr_destroy(&myattr); 850 return res; 851} 852 853TSAN_INTERCEPTOR(int, pthread_join, void *th, void **ret) { 854 SCOPED_TSAN_INTERCEPTOR(pthread_join, th, ret); 855 int tid = ThreadTid(thr, pc, (uptr)th); 856 int res = BLOCK_REAL(pthread_join)(th, ret); 857 if (res == 0) { 858 ThreadJoin(thr, pc, tid); 859 } 860 return res; 861} 862 863TSAN_INTERCEPTOR(int, pthread_detach, void *th) { 864 SCOPED_TSAN_INTERCEPTOR(pthread_detach, th); 865 int tid = ThreadTid(thr, pc, (uptr)th); 866 int res = REAL(pthread_detach)(th); 867 if (res == 0) { 868 ThreadDetach(thr, pc, tid); 869 } 870 return res; 871} 872 873TSAN_INTERCEPTOR(int, pthread_mutex_init, void *m, void *a) { 874 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_init, m, a); 875 int res = REAL(pthread_mutex_init)(m, a); 876 if (res == 0) { 877 bool recursive = false; 878 if (a) { 879 int type = 0; 880 if (pthread_mutexattr_gettype(a, &type) == 0) 881 recursive = (type == PTHREAD_MUTEX_RECURSIVE 882 || type == PTHREAD_MUTEX_RECURSIVE_NP); 883 } 884 MutexCreate(thr, pc, (uptr)m, false, recursive, false); 885 } 886 return res; 887} 888 889TSAN_INTERCEPTOR(int, pthread_mutex_destroy, void *m) { 890 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_destroy, m); 891 int res = REAL(pthread_mutex_destroy)(m); 892 if (res == 0 || res == EBUSY) { 893 MutexDestroy(thr, pc, (uptr)m); 894 } 895 return res; 896} 897 898TSAN_INTERCEPTOR(int, pthread_mutex_lock, void *m) { 899 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_lock, m); 900 int res = REAL(pthread_mutex_lock)(m); 901 if (res == 0) { 902 MutexLock(thr, pc, (uptr)m); 903 } 904 return res; 905} 906 907TSAN_INTERCEPTOR(int, pthread_mutex_trylock, void *m) { 908 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_trylock, m); 909 int res = REAL(pthread_mutex_trylock)(m); 910 if (res == 0) { 911 MutexLock(thr, pc, (uptr)m); 912 } 913 return res; 914} 915 916TSAN_INTERCEPTOR(int, pthread_mutex_timedlock, void *m, void *abstime) { 917 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_timedlock, m, abstime); 918 int res = REAL(pthread_mutex_timedlock)(m, abstime); 919 if (res == 0) { 920 MutexLock(thr, pc, (uptr)m); 921 } 922 return res; 923} 924 925TSAN_INTERCEPTOR(int, pthread_mutex_unlock, void *m) { 926 SCOPED_TSAN_INTERCEPTOR(pthread_mutex_unlock, m); 927 MutexUnlock(thr, pc, (uptr)m); 928 int res = REAL(pthread_mutex_unlock)(m); 929 return res; 930} 931 932TSAN_INTERCEPTOR(int, pthread_spin_init, void *m, int pshared) { 933 SCOPED_TSAN_INTERCEPTOR(pthread_spin_init, m, pshared); 934 int res = REAL(pthread_spin_init)(m, pshared); 935 if (res == 0) { 936 MutexCreate(thr, pc, (uptr)m, false, false, false); 937 } 938 return res; 939} 940 941TSAN_INTERCEPTOR(int, pthread_spin_destroy, void *m) { 942 SCOPED_TSAN_INTERCEPTOR(pthread_spin_destroy, m); 943 int res = REAL(pthread_spin_destroy)(m); 944 if (res == 0) { 945 MutexDestroy(thr, pc, (uptr)m); 946 } 947 return res; 948} 949 950TSAN_INTERCEPTOR(int, pthread_spin_lock, void *m) { 951 SCOPED_TSAN_INTERCEPTOR(pthread_spin_lock, m); 952 int res = REAL(pthread_spin_lock)(m); 953 if (res == 0) { 954 MutexLock(thr, pc, (uptr)m); 955 } 956 return res; 957} 958 959TSAN_INTERCEPTOR(int, pthread_spin_trylock, void *m) { 960 SCOPED_TSAN_INTERCEPTOR(pthread_spin_trylock, m); 961 int res = REAL(pthread_spin_trylock)(m); 962 if (res == 0) { 963 MutexLock(thr, pc, (uptr)m); 964 } 965 return res; 966} 967 968TSAN_INTERCEPTOR(int, pthread_spin_unlock, void *m) { 969 SCOPED_TSAN_INTERCEPTOR(pthread_spin_unlock, m); 970 MutexUnlock(thr, pc, (uptr)m); 971 int res = REAL(pthread_spin_unlock)(m); 972 return res; 973} 974 975TSAN_INTERCEPTOR(int, pthread_rwlock_init, void *m, void *a) { 976 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_init, m, a); 977 int res = REAL(pthread_rwlock_init)(m, a); 978 if (res == 0) { 979 MutexCreate(thr, pc, (uptr)m, true, false, false); 980 } 981 return res; 982} 983 984TSAN_INTERCEPTOR(int, pthread_rwlock_destroy, void *m) { 985 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_destroy, m); 986 int res = REAL(pthread_rwlock_destroy)(m); 987 if (res == 0) { 988 MutexDestroy(thr, pc, (uptr)m); 989 } 990 return res; 991} 992 993TSAN_INTERCEPTOR(int, pthread_rwlock_rdlock, void *m) { 994 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_rdlock, m); 995 int res = REAL(pthread_rwlock_rdlock)(m); 996 if (res == 0) { 997 MutexReadLock(thr, pc, (uptr)m); 998 } 999 return res; 1000} 1001 1002TSAN_INTERCEPTOR(int, pthread_rwlock_tryrdlock, void *m) { 1003 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_tryrdlock, m); 1004 int res = REAL(pthread_rwlock_tryrdlock)(m); 1005 if (res == 0) { 1006 MutexReadLock(thr, pc, (uptr)m); 1007 } 1008 return res; 1009} 1010 1011TSAN_INTERCEPTOR(int, pthread_rwlock_timedrdlock, void *m, void *abstime) { 1012 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_timedrdlock, m, abstime); 1013 int res = REAL(pthread_rwlock_timedrdlock)(m, abstime); 1014 if (res == 0) { 1015 MutexReadLock(thr, pc, (uptr)m); 1016 } 1017 return res; 1018} 1019 1020TSAN_INTERCEPTOR(int, pthread_rwlock_wrlock, void *m) { 1021 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_wrlock, m); 1022 int res = REAL(pthread_rwlock_wrlock)(m); 1023 if (res == 0) { 1024 MutexLock(thr, pc, (uptr)m); 1025 } 1026 return res; 1027} 1028 1029TSAN_INTERCEPTOR(int, pthread_rwlock_trywrlock, void *m) { 1030 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_trywrlock, m); 1031 int res = REAL(pthread_rwlock_trywrlock)(m); 1032 if (res == 0) { 1033 MutexLock(thr, pc, (uptr)m); 1034 } 1035 return res; 1036} 1037 1038TSAN_INTERCEPTOR(int, pthread_rwlock_timedwrlock, void *m, void *abstime) { 1039 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_timedwrlock, m, abstime); 1040 int res = REAL(pthread_rwlock_timedwrlock)(m, abstime); 1041 if (res == 0) { 1042 MutexLock(thr, pc, (uptr)m); 1043 } 1044 return res; 1045} 1046 1047TSAN_INTERCEPTOR(int, pthread_rwlock_unlock, void *m) { 1048 SCOPED_TSAN_INTERCEPTOR(pthread_rwlock_unlock, m); 1049 MutexReadOrWriteUnlock(thr, pc, (uptr)m); 1050 int res = REAL(pthread_rwlock_unlock)(m); 1051 return res; 1052} 1053 1054TSAN_INTERCEPTOR(int, pthread_cond_init_2_3_2, void *c, void *a) { 1055 SCOPED_TSAN_INTERCEPTOR(pthread_cond_init_2_3_2, c, a); 1056 MemoryWrite(thr, pc, (uptr)c, kSizeLog1); 1057 int res = REAL(pthread_cond_init_2_3_2)(c, a); 1058 return res; 1059} 1060 1061TSAN_INTERCEPTOR(int, pthread_cond_destroy_2_3_2, void *c) { 1062 SCOPED_TSAN_INTERCEPTOR(pthread_cond_destroy_2_3_2, c); 1063 MemoryWrite(thr, pc, (uptr)c, kSizeLog1); 1064 int res = REAL(pthread_cond_destroy_2_3_2)(c); 1065 return res; 1066} 1067 1068TSAN_INTERCEPTOR(int, pthread_cond_signal_2_3_2, void *c) { 1069 SCOPED_TSAN_INTERCEPTOR(pthread_cond_signal_2_3_2, c); 1070 MemoryRead(thr, pc, (uptr)c, kSizeLog1); 1071 int res = REAL(pthread_cond_signal_2_3_2)(c); 1072 return res; 1073} 1074 1075TSAN_INTERCEPTOR(int, pthread_cond_broadcast_2_3_2, void *c) { 1076 SCOPED_TSAN_INTERCEPTOR(pthread_cond_broadcast_2_3_2, c); 1077 MemoryRead(thr, pc, (uptr)c, kSizeLog1); 1078 int res = REAL(pthread_cond_broadcast_2_3_2)(c); 1079 return res; 1080} 1081 1082TSAN_INTERCEPTOR(int, pthread_cond_wait_2_3_2, void *c, void *m) { 1083 SCOPED_TSAN_INTERCEPTOR(pthread_cond_wait_2_3_2, c, m); 1084 MutexUnlock(thr, pc, (uptr)m); 1085 MemoryRead(thr, pc, (uptr)c, kSizeLog1); 1086 int res = REAL(pthread_cond_wait_2_3_2)(c, m); 1087 MutexLock(thr, pc, (uptr)m); 1088 return res; 1089} 1090 1091TSAN_INTERCEPTOR(int, pthread_cond_timedwait_2_3_2, void *c, void *m, 1092 void *abstime) { 1093 SCOPED_TSAN_INTERCEPTOR(pthread_cond_timedwait_2_3_2, c, m, abstime); 1094 MutexUnlock(thr, pc, (uptr)m); 1095 MemoryRead(thr, pc, (uptr)c, kSizeLog1); 1096 int res = REAL(pthread_cond_timedwait_2_3_2)(c, m, abstime); 1097 MutexLock(thr, pc, (uptr)m); 1098 return res; 1099} 1100 1101TSAN_INTERCEPTOR(int, pthread_barrier_init, void *b, void *a, unsigned count) { 1102 SCOPED_TSAN_INTERCEPTOR(pthread_barrier_init, b, a, count); 1103 MemoryWrite(thr, pc, (uptr)b, kSizeLog1); 1104 int res = REAL(pthread_barrier_init)(b, a, count); 1105 return res; 1106} 1107 1108TSAN_INTERCEPTOR(int, pthread_barrier_destroy, void *b) { 1109 SCOPED_TSAN_INTERCEPTOR(pthread_barrier_destroy, b); 1110 MemoryWrite(thr, pc, (uptr)b, kSizeLog1); 1111 int res = REAL(pthread_barrier_destroy)(b); 1112 return res; 1113} 1114 1115TSAN_INTERCEPTOR(int, pthread_barrier_wait, void *b) { 1116 SCOPED_TSAN_INTERCEPTOR(pthread_barrier_wait, b); 1117 Release(thr, pc, (uptr)b); 1118 MemoryRead(thr, pc, (uptr)b, kSizeLog1); 1119 int res = REAL(pthread_barrier_wait)(b); 1120 MemoryRead(thr, pc, (uptr)b, kSizeLog1); 1121 if (res == 0 || res == PTHREAD_BARRIER_SERIAL_THREAD) { 1122 Acquire(thr, pc, (uptr)b); 1123 } 1124 return res; 1125} 1126 1127TSAN_INTERCEPTOR(int, pthread_once, void *o, void (*f)()) { 1128 SCOPED_TSAN_INTERCEPTOR(pthread_once, o, f); 1129 if (o == 0 || f == 0) 1130 return EINVAL; 1131 atomic_uint32_t *a = static_cast<atomic_uint32_t*>(o); 1132 u32 v = atomic_load(a, memory_order_acquire); 1133 if (v == 0 && atomic_compare_exchange_strong(a, &v, 1, 1134 memory_order_relaxed)) { 1135 const int old_in_rtl = thr->in_rtl; 1136 thr->in_rtl = 0; 1137 (*f)(); 1138 CHECK_EQ(thr->in_rtl, 0); 1139 thr->in_rtl = old_in_rtl; 1140 Release(thr, pc, (uptr)o); 1141 atomic_store(a, 2, memory_order_release); 1142 } else { 1143 while (v != 2) { 1144 pthread_yield(); 1145 v = atomic_load(a, memory_order_acquire); 1146 } 1147 Acquire(thr, pc, (uptr)o); 1148 } 1149 return 0; 1150} 1151 1152TSAN_INTERCEPTOR(int, sem_init, void *s, int pshared, unsigned value) { 1153 SCOPED_TSAN_INTERCEPTOR(sem_init, s, pshared, value); 1154 int res = REAL(sem_init)(s, pshared, value); 1155 return res; 1156} 1157 1158TSAN_INTERCEPTOR(int, sem_destroy, void *s) { 1159 SCOPED_TSAN_INTERCEPTOR(sem_destroy, s); 1160 int res = REAL(sem_destroy)(s); 1161 return res; 1162} 1163 1164TSAN_INTERCEPTOR(int, sem_wait, void *s) { 1165 SCOPED_TSAN_INTERCEPTOR(sem_wait, s); 1166 int res = BLOCK_REAL(sem_wait)(s); 1167 if (res == 0) { 1168 Acquire(thr, pc, (uptr)s); 1169 } 1170 return res; 1171} 1172 1173TSAN_INTERCEPTOR(int, sem_trywait, void *s) { 1174 SCOPED_TSAN_INTERCEPTOR(sem_trywait, s); 1175 int res = BLOCK_REAL(sem_trywait)(s); 1176 if (res == 0) { 1177 Acquire(thr, pc, (uptr)s); 1178 } 1179 return res; 1180} 1181 1182TSAN_INTERCEPTOR(int, sem_timedwait, void *s, void *abstime) { 1183 SCOPED_TSAN_INTERCEPTOR(sem_timedwait, s, abstime); 1184 int res = BLOCK_REAL(sem_timedwait)(s, abstime); 1185 if (res == 0) { 1186 Acquire(thr, pc, (uptr)s); 1187 } 1188 return res; 1189} 1190 1191TSAN_INTERCEPTOR(int, sem_post, void *s) { 1192 SCOPED_TSAN_INTERCEPTOR(sem_post, s); 1193 Release(thr, pc, (uptr)s); 1194 int res = REAL(sem_post)(s); 1195 return res; 1196} 1197 1198TSAN_INTERCEPTOR(int, sem_getvalue, void *s, int *sval) { 1199 SCOPED_TSAN_INTERCEPTOR(sem_getvalue, s, sval); 1200 int res = REAL(sem_getvalue)(s, sval); 1201 if (res == 0) { 1202 Acquire(thr, pc, (uptr)s); 1203 } 1204 return res; 1205} 1206 1207TSAN_INTERCEPTOR(int, __xstat, int version, const char *path, void *buf) { 1208 SCOPED_TSAN_INTERCEPTOR(__xstat, version, path, buf); 1209 return REAL(__xstat)(version, path, buf); 1210} 1211 1212TSAN_INTERCEPTOR(int, stat, const char *path, void *buf) { 1213 SCOPED_TSAN_INTERCEPTOR(__xstat, 0, path, buf); 1214 return REAL(__xstat)(0, path, buf); 1215} 1216 1217TSAN_INTERCEPTOR(int, __xstat64, int version, const char *path, void *buf) { 1218 SCOPED_TSAN_INTERCEPTOR(__xstat64, version, path, buf); 1219 return REAL(__xstat64)(version, path, buf); 1220} 1221 1222TSAN_INTERCEPTOR(int, stat64, const char *path, void *buf) { 1223 SCOPED_TSAN_INTERCEPTOR(__xstat64, 0, path, buf); 1224 return REAL(__xstat64)(0, path, buf); 1225} 1226 1227TSAN_INTERCEPTOR(int, __lxstat, int version, const char *path, void *buf) { 1228 SCOPED_TSAN_INTERCEPTOR(__lxstat, version, path, buf); 1229 return REAL(__lxstat)(version, path, buf); 1230} 1231 1232TSAN_INTERCEPTOR(int, lstat, const char *path, void *buf) { 1233 SCOPED_TSAN_INTERCEPTOR(__lxstat, 0, path, buf); 1234 return REAL(__lxstat)(0, path, buf); 1235} 1236 1237TSAN_INTERCEPTOR(int, __lxstat64, int version, const char *path, void *buf) { 1238 SCOPED_TSAN_INTERCEPTOR(__lxstat64, version, path, buf); 1239 return REAL(__lxstat64)(version, path, buf); 1240} 1241 1242TSAN_INTERCEPTOR(int, lstat64, const char *path, void *buf) { 1243 SCOPED_TSAN_INTERCEPTOR(__lxstat64, 0, path, buf); 1244 return REAL(__lxstat64)(0, path, buf); 1245} 1246 1247TSAN_INTERCEPTOR(int, __fxstat, int version, int fd, void *buf) { 1248 SCOPED_TSAN_INTERCEPTOR(__fxstat, version, fd, buf); 1249 if (fd > 0) 1250 FdAccess(thr, pc, fd); 1251 return REAL(__fxstat)(version, fd, buf); 1252} 1253 1254TSAN_INTERCEPTOR(int, fstat, int fd, void *buf) { 1255 SCOPED_TSAN_INTERCEPTOR(__fxstat, 0, fd, buf); 1256 if (fd > 0) 1257 FdAccess(thr, pc, fd); 1258 return REAL(__fxstat)(0, fd, buf); 1259} 1260 1261TSAN_INTERCEPTOR(int, __fxstat64, int version, int fd, void *buf) { 1262 SCOPED_TSAN_INTERCEPTOR(__fxstat64, version, fd, buf); 1263 if (fd > 0) 1264 FdAccess(thr, pc, fd); 1265 return REAL(__fxstat64)(version, fd, buf); 1266} 1267 1268TSAN_INTERCEPTOR(int, fstat64, int fd, void *buf) { 1269 SCOPED_TSAN_INTERCEPTOR(__fxstat64, 0, fd, buf); 1270 if (fd > 0) 1271 FdAccess(thr, pc, fd); 1272 return REAL(__fxstat64)(0, fd, buf); 1273} 1274 1275TSAN_INTERCEPTOR(int, open, const char *name, int flags, int mode) { 1276 SCOPED_TSAN_INTERCEPTOR(open, name, flags, mode); 1277 int fd = REAL(open)(name, flags, mode); 1278 if (fd >= 0) 1279 FdFileCreate(thr, pc, fd); 1280 return fd; 1281} 1282 1283TSAN_INTERCEPTOR(int, open64, const char *name, int flags, int mode) { 1284 SCOPED_TSAN_INTERCEPTOR(open64, name, flags, mode); 1285 int fd = REAL(open64)(name, flags, mode); 1286 if (fd >= 0) 1287 FdFileCreate(thr, pc, fd); 1288 return fd; 1289} 1290 1291TSAN_INTERCEPTOR(int, creat, const char *name, int mode) { 1292 SCOPED_TSAN_INTERCEPTOR(creat, name, mode); 1293 int fd = REAL(creat)(name, mode); 1294 if (fd >= 0) 1295 FdFileCreate(thr, pc, fd); 1296 return fd; 1297} 1298 1299TSAN_INTERCEPTOR(int, creat64, const char *name, int mode) { 1300 SCOPED_TSAN_INTERCEPTOR(creat64, name, mode); 1301 int fd = REAL(creat64)(name, mode); 1302 if (fd >= 0) 1303 FdFileCreate(thr, pc, fd); 1304 return fd; 1305} 1306 1307TSAN_INTERCEPTOR(int, dup, int oldfd) { 1308 SCOPED_TSAN_INTERCEPTOR(dup, oldfd); 1309 int newfd = REAL(dup)(oldfd); 1310 if (oldfd >= 0 && newfd >= 0 && newfd != oldfd) 1311 FdDup(thr, pc, oldfd, newfd); 1312 return newfd; 1313} 1314 1315TSAN_INTERCEPTOR(int, dup2, int oldfd, int newfd) { 1316 SCOPED_TSAN_INTERCEPTOR(dup2, oldfd, newfd); 1317 int newfd2 = REAL(dup2)(oldfd, newfd); 1318 if (oldfd >= 0 && newfd2 >= 0 && newfd2 != oldfd) 1319 FdDup(thr, pc, oldfd, newfd2); 1320 return newfd2; 1321} 1322 1323TSAN_INTERCEPTOR(int, dup3, int oldfd, int newfd, int flags) { 1324 SCOPED_TSAN_INTERCEPTOR(dup3, oldfd, newfd, flags); 1325 int newfd2 = REAL(dup3)(oldfd, newfd, flags); 1326 if (oldfd >= 0 && newfd2 >= 0 && newfd2 != oldfd) 1327 FdDup(thr, pc, oldfd, newfd2); 1328 return newfd2; 1329} 1330 1331TSAN_INTERCEPTOR(int, eventfd, unsigned initval, int flags) { 1332 SCOPED_TSAN_INTERCEPTOR(eventfd, initval, flags); 1333 int fd = REAL(eventfd)(initval, flags); 1334 if (fd >= 0) 1335 FdEventCreate(thr, pc, fd); 1336 return fd; 1337} 1338 1339TSAN_INTERCEPTOR(int, signalfd, int fd, void *mask, int flags) { 1340 SCOPED_TSAN_INTERCEPTOR(signalfd, fd, mask, flags); 1341 if (fd >= 0) 1342 FdClose(thr, pc, fd); 1343 fd = REAL(signalfd)(fd, mask, flags); 1344 if (fd >= 0) 1345 FdSignalCreate(thr, pc, fd); 1346 return fd; 1347} 1348 1349TSAN_INTERCEPTOR(int, inotify_init, int fake) { 1350 SCOPED_TSAN_INTERCEPTOR(inotify_init, fake); 1351 int fd = REAL(inotify_init)(fake); 1352 if (fd >= 0) 1353 FdInotifyCreate(thr, pc, fd); 1354 return fd; 1355} 1356 1357TSAN_INTERCEPTOR(int, inotify_init1, int flags) { 1358 SCOPED_TSAN_INTERCEPTOR(inotify_init1, flags); 1359 int fd = REAL(inotify_init1)(flags); 1360 if (fd >= 0) 1361 FdInotifyCreate(thr, pc, fd); 1362 return fd; 1363} 1364 1365TSAN_INTERCEPTOR(int, socket, int domain, int type, int protocol) { 1366 SCOPED_TSAN_INTERCEPTOR(socket, domain, type, protocol); 1367 int fd = REAL(socket)(domain, type, protocol); 1368 if (fd >= 0) 1369 FdSocketCreate(thr, pc, fd); 1370 return fd; 1371} 1372 1373TSAN_INTERCEPTOR(int, socketpair, int domain, int type, int protocol, int *fd) { 1374 SCOPED_TSAN_INTERCEPTOR(socketpair, domain, type, protocol, fd); 1375 int res = REAL(socketpair)(domain, type, protocol, fd); 1376 if (res == 0 && fd[0] >= 0 && fd[1] >= 0) 1377 FdPipeCreate(thr, pc, fd[0], fd[1]); 1378 return res; 1379} 1380 1381TSAN_INTERCEPTOR(int, connect, int fd, void *addr, unsigned addrlen) { 1382 SCOPED_TSAN_INTERCEPTOR(connect, fd, addr, addrlen); 1383 FdSocketConnecting(thr, pc, fd); 1384 int res = REAL(connect)(fd, addr, addrlen); 1385 if (res == 0 && fd >= 0) 1386 FdSocketConnect(thr, pc, fd); 1387 return res; 1388} 1389 1390TSAN_INTERCEPTOR(int, bind, int fd, void *addr, unsigned addrlen) { 1391 SCOPED_TSAN_INTERCEPTOR(bind, fd, addr, addrlen); 1392 int res = REAL(bind)(fd, addr, addrlen); 1393 if (fd > 0 && res == 0) 1394 FdAccess(thr, pc, fd); 1395 return res; 1396} 1397 1398TSAN_INTERCEPTOR(int, listen, int fd, int backlog) { 1399 SCOPED_TSAN_INTERCEPTOR(listen, fd, backlog); 1400 int res = REAL(listen)(fd, backlog); 1401 if (fd > 0 && res == 0) 1402 FdAccess(thr, pc, fd); 1403 return res; 1404} 1405 1406TSAN_INTERCEPTOR(int, epoll_create, int size) { 1407 SCOPED_TSAN_INTERCEPTOR(epoll_create, size); 1408 int fd = REAL(epoll_create)(size); 1409 if (fd >= 0) 1410 FdPollCreate(thr, pc, fd); 1411 return fd; 1412} 1413 1414TSAN_INTERCEPTOR(int, epoll_create1, int flags) { 1415 SCOPED_TSAN_INTERCEPTOR(epoll_create1, flags); 1416 int fd = REAL(epoll_create1)(flags); 1417 if (fd >= 0) 1418 FdPollCreate(thr, pc, fd); 1419 return fd; 1420} 1421 1422TSAN_INTERCEPTOR(int, close, int fd) { 1423 SCOPED_TSAN_INTERCEPTOR(close, fd); 1424 if (fd >= 0) 1425 FdClose(thr, pc, fd); 1426 return REAL(close)(fd); 1427} 1428 1429TSAN_INTERCEPTOR(int, __close, int fd) { 1430 SCOPED_TSAN_INTERCEPTOR(__close, fd); 1431 if (fd >= 0) 1432 FdClose(thr, pc, fd); 1433 return REAL(__close)(fd); 1434} 1435 1436// glibc guts 1437TSAN_INTERCEPTOR(void, __res_iclose, void *state, bool free_addr) { 1438 SCOPED_TSAN_INTERCEPTOR(__res_iclose, state, free_addr); 1439 int fds[64]; 1440 int cnt = ExtractResolvFDs(state, fds, ARRAY_SIZE(fds)); 1441 for (int i = 0; i < cnt; i++) { 1442 if (fds[i] > 0) 1443 FdClose(thr, pc, fds[i]); 1444 } 1445 REAL(__res_iclose)(state, free_addr); 1446} 1447 1448TSAN_INTERCEPTOR(int, pipe, int *pipefd) { 1449 SCOPED_TSAN_INTERCEPTOR(pipe, pipefd); 1450 int res = REAL(pipe)(pipefd); 1451 if (res == 0 && pipefd[0] >= 0 && pipefd[1] >= 0) 1452 FdPipeCreate(thr, pc, pipefd[0], pipefd[1]); 1453 return res; 1454} 1455 1456TSAN_INTERCEPTOR(int, pipe2, int *pipefd, int flags) { 1457 SCOPED_TSAN_INTERCEPTOR(pipe2, pipefd, flags); 1458 int res = REAL(pipe2)(pipefd, flags); 1459 if (res == 0 && pipefd[0] >= 0 && pipefd[1] >= 0) 1460 FdPipeCreate(thr, pc, pipefd[0], pipefd[1]); 1461 return res; 1462} 1463 1464TSAN_INTERCEPTOR(long_t, send, int fd, void *buf, long_t len, int flags) { 1465 SCOPED_TSAN_INTERCEPTOR(send, fd, buf, len, flags); 1466 if (fd >= 0) 1467 FdRelease(thr, pc, fd); 1468 int res = REAL(send)(fd, buf, len, flags); 1469 return res; 1470} 1471 1472TSAN_INTERCEPTOR(long_t, sendmsg, int fd, void *msg, int flags) { 1473 SCOPED_TSAN_INTERCEPTOR(sendmsg, fd, msg, flags); 1474 if (fd >= 0) 1475 FdRelease(thr, pc, fd); 1476 int res = REAL(sendmsg)(fd, msg, flags); 1477 return res; 1478} 1479 1480TSAN_INTERCEPTOR(long_t, recv, int fd, void *buf, long_t len, int flags) { 1481 SCOPED_TSAN_INTERCEPTOR(recv, fd, buf, len, flags); 1482 int res = REAL(recv)(fd, buf, len, flags); 1483 if (res >= 0 && fd >= 0) { 1484 FdAcquire(thr, pc, fd); 1485 } 1486 return res; 1487} 1488 1489TSAN_INTERCEPTOR(int, unlink, char *path) { 1490 SCOPED_TSAN_INTERCEPTOR(unlink, path); 1491 Release(thr, pc, File2addr(path)); 1492 int res = REAL(unlink)(path); 1493 return res; 1494} 1495 1496TSAN_INTERCEPTOR(void*, fopen, char *path, char *mode) { 1497 SCOPED_TSAN_INTERCEPTOR(fopen, path, mode); 1498 void *res = REAL(fopen)(path, mode); 1499 Acquire(thr, pc, File2addr(path)); 1500 if (res) { 1501 int fd = fileno_unlocked(res); 1502 if (fd >= 0) 1503 FdFileCreate(thr, pc, fd); 1504 } 1505 return res; 1506} 1507 1508TSAN_INTERCEPTOR(void*, freopen, char *path, char *mode, void *stream) { 1509 SCOPED_TSAN_INTERCEPTOR(freopen, path, mode, stream); 1510 if (stream) { 1511 int fd = fileno_unlocked(stream); 1512 if (fd >= 0) 1513 FdClose(thr, pc, fd); 1514 } 1515 void *res = REAL(freopen)(path, mode, stream); 1516 Acquire(thr, pc, File2addr(path)); 1517 if (res) { 1518 int fd = fileno_unlocked(res); 1519 if (fd >= 0) 1520 FdFileCreate(thr, pc, fd); 1521 } 1522 return res; 1523} 1524 1525TSAN_INTERCEPTOR(int, fclose, void *stream) { 1526 { 1527 SCOPED_TSAN_INTERCEPTOR(fclose, stream); 1528 if (stream) { 1529 int fd = fileno_unlocked(stream); 1530 if (fd >= 0) 1531 FdClose(thr, pc, fd); 1532 } 1533 } 1534 return REAL(fclose)(stream); 1535} 1536 1537TSAN_INTERCEPTOR(uptr, fread, void *ptr, uptr size, uptr nmemb, void *f) { 1538 { 1539 SCOPED_TSAN_INTERCEPTOR(fread, ptr, size, nmemb, f); 1540 MemoryAccessRange(thr, pc, (uptr)ptr, size * nmemb, true); 1541 } 1542 return REAL(fread)(ptr, size, nmemb, f); 1543} 1544 1545TSAN_INTERCEPTOR(uptr, fwrite, const void *p, uptr size, uptr nmemb, void *f) { 1546 { 1547 SCOPED_TSAN_INTERCEPTOR(fwrite, p, size, nmemb, f); 1548 MemoryAccessRange(thr, pc, (uptr)p, size * nmemb, false); 1549 } 1550 return REAL(fwrite)(p, size, nmemb, f); 1551} 1552 1553TSAN_INTERCEPTOR(int, fflush, void *stream) { 1554 SCOPED_TSAN_INTERCEPTOR(fflush, stream); 1555 return REAL(fflush)(stream); 1556} 1557 1558TSAN_INTERCEPTOR(void, abort, int fake) { 1559 SCOPED_TSAN_INTERCEPTOR(abort, fake); 1560 REAL(fflush)(0); 1561 REAL(abort)(fake); 1562} 1563 1564TSAN_INTERCEPTOR(int, puts, const char *s) { 1565 SCOPED_TSAN_INTERCEPTOR(puts, s); 1566 MemoryAccessRange(thr, pc, (uptr)s, internal_strlen(s), false); 1567 return REAL(puts)(s); 1568} 1569 1570TSAN_INTERCEPTOR(int, rmdir, char *path) { 1571 SCOPED_TSAN_INTERCEPTOR(rmdir, path); 1572 Release(thr, pc, Dir2addr(path)); 1573 int res = REAL(rmdir)(path); 1574 return res; 1575} 1576 1577TSAN_INTERCEPTOR(void*, opendir, char *path) { 1578 SCOPED_TSAN_INTERCEPTOR(opendir, path); 1579 void *res = REAL(opendir)(path); 1580 if (res != 0) 1581 Acquire(thr, pc, Dir2addr(path)); 1582 return res; 1583} 1584 1585TSAN_INTERCEPTOR(int, epoll_ctl, int epfd, int op, int fd, void *ev) { 1586 SCOPED_TSAN_INTERCEPTOR(epoll_ctl, epfd, op, fd, ev); 1587 if (op == EPOLL_CTL_ADD && epfd >= 0) { 1588 FdRelease(thr, pc, epfd); 1589 } 1590 int res = REAL(epoll_ctl)(epfd, op, fd, ev); 1591 if (fd >= 0) 1592 FdAccess(thr, pc, fd); 1593 return res; 1594} 1595 1596TSAN_INTERCEPTOR(int, epoll_wait, int epfd, void *ev, int cnt, int timeout) { 1597 SCOPED_TSAN_INTERCEPTOR(epoll_wait, epfd, ev, cnt, timeout); 1598 int res = BLOCK_REAL(epoll_wait)(epfd, ev, cnt, timeout); 1599 if (res > 0 && epfd >= 0) { 1600 FdAcquire(thr, pc, epfd); 1601 } 1602 return res; 1603} 1604 1605void ALWAYS_INLINE rtl_generic_sighandler(bool sigact, int sig, 1606 my_siginfo_t *info, void *ctx) { 1607 ThreadState *thr = cur_thread(); 1608 SignalContext *sctx = SigCtx(thr); 1609 // Don't mess with synchronous signals. 1610 if (sig == SIGSEGV || sig == SIGBUS || sig == SIGILL || 1611 sig == SIGABRT || sig == SIGFPE || sig == SIGPIPE || sig == SIGSYS || 1612 // If we are sending signal to ourselves, we must process it now. 1613 (sctx && sig == sctx->int_signal_send) || 1614 // If we are in blocking function, we can safely process it now 1615 // (but check if we are in a recursive interceptor, 1616 // i.e. pthread_join()->munmap()). 1617 (sctx && sctx->in_blocking_func == 1 && thr->in_rtl == 1)) { 1618 int in_rtl = thr->in_rtl; 1619 thr->in_rtl = 0; 1620 CHECK_EQ(thr->in_signal_handler, false); 1621 thr->in_signal_handler = true; 1622 if (sigact) 1623 sigactions[sig].sa_sigaction(sig, info, ctx); 1624 else 1625 sigactions[sig].sa_handler(sig); 1626 CHECK_EQ(thr->in_signal_handler, true); 1627 thr->in_signal_handler = false; 1628 thr->in_rtl = in_rtl; 1629 return; 1630 } 1631 1632 if (sctx == 0) 1633 return; 1634 SignalDesc *signal = &sctx->pending_signals[sig]; 1635 if (signal->armed == false) { 1636 signal->armed = true; 1637 signal->sigaction = sigact; 1638 if (info) 1639 internal_memcpy(&signal->siginfo, info, sizeof(*info)); 1640 if (ctx) 1641 internal_memcpy(&signal->ctx, ctx, sizeof(signal->ctx)); 1642 sctx->pending_signal_count++; 1643 } 1644} 1645 1646static void rtl_sighandler(int sig) { 1647 rtl_generic_sighandler(false, sig, 0, 0); 1648} 1649 1650static void rtl_sigaction(int sig, my_siginfo_t *info, void *ctx) { 1651 rtl_generic_sighandler(true, sig, info, ctx); 1652} 1653 1654TSAN_INTERCEPTOR(int, sigaction, int sig, sigaction_t *act, sigaction_t *old) { 1655 SCOPED_TSAN_INTERCEPTOR(sigaction, sig, act, old); 1656 if (old) 1657 internal_memcpy(old, &sigactions[sig], sizeof(*old)); 1658 if (act == 0) 1659 return 0; 1660 internal_memcpy(&sigactions[sig], act, sizeof(*act)); 1661 sigaction_t newact; 1662 internal_memcpy(&newact, act, sizeof(newact)); 1663 sigfillset(&newact.sa_mask); 1664 if (act->sa_handler != SIG_IGN && act->sa_handler != SIG_DFL) { 1665 if (newact.sa_flags & SA_SIGINFO) 1666 newact.sa_sigaction = rtl_sigaction; 1667 else 1668 newact.sa_handler = rtl_sighandler; 1669 } 1670 int res = REAL(sigaction)(sig, &newact, 0); 1671 return res; 1672} 1673 1674TSAN_INTERCEPTOR(sighandler_t, signal, int sig, sighandler_t h) { 1675 sigaction_t act; 1676 act.sa_handler = h; 1677 REAL(memset)(&act.sa_mask, -1, sizeof(act.sa_mask)); 1678 act.sa_flags = 0; 1679 sigaction_t old; 1680 int res = sigaction(sig, &act, &old); 1681 if (res) 1682 return SIG_ERR; 1683 return old.sa_handler; 1684} 1685 1686TSAN_INTERCEPTOR(int, sigsuspend, const sigset_t *mask) { 1687 SCOPED_TSAN_INTERCEPTOR(sigsuspend, mask); 1688 return REAL(sigsuspend)(mask); 1689} 1690 1691TSAN_INTERCEPTOR(int, raise, int sig) { 1692 SCOPED_TSAN_INTERCEPTOR(raise, sig); 1693 SignalContext *sctx = SigCtx(thr); 1694 CHECK_NE(sctx, 0); 1695 int prev = sctx->int_signal_send; 1696 sctx->int_signal_send = sig; 1697 int res = REAL(raise)(sig); 1698 CHECK_EQ(sctx->int_signal_send, sig); 1699 sctx->int_signal_send = prev; 1700 return res; 1701} 1702 1703TSAN_INTERCEPTOR(int, kill, int pid, int sig) { 1704 SCOPED_TSAN_INTERCEPTOR(kill, pid, sig); 1705 SignalContext *sctx = SigCtx(thr); 1706 CHECK_NE(sctx, 0); 1707 int prev = sctx->int_signal_send; 1708 if (pid == (int)internal_getpid()) { 1709 sctx->int_signal_send = sig; 1710 } 1711 int res = REAL(kill)(pid, sig); 1712 if (pid == (int)internal_getpid()) { 1713 CHECK_EQ(sctx->int_signal_send, sig); 1714 sctx->int_signal_send = prev; 1715 } 1716 return res; 1717} 1718 1719TSAN_INTERCEPTOR(int, pthread_kill, void *tid, int sig) { 1720 SCOPED_TSAN_INTERCEPTOR(pthread_kill, tid, sig); 1721 SignalContext *sctx = SigCtx(thr); 1722 CHECK_NE(sctx, 0); 1723 int prev = sctx->int_signal_send; 1724 if (tid == pthread_self()) { 1725 sctx->int_signal_send = sig; 1726 } 1727 int res = REAL(pthread_kill)(tid, sig); 1728 if (tid == pthread_self()) { 1729 CHECK_EQ(sctx->int_signal_send, sig); 1730 sctx->int_signal_send = prev; 1731 } 1732 return res; 1733} 1734 1735TSAN_INTERCEPTOR(int, gettimeofday, void *tv, void *tz) { 1736 SCOPED_TSAN_INTERCEPTOR(gettimeofday, tv, tz); 1737 // It's intercepted merely to process pending signals. 1738 return REAL(gettimeofday)(tv, tz); 1739} 1740 1741TSAN_INTERCEPTOR(int, getaddrinfo, void *node, void *service, 1742 void *hints, void *rv) { 1743 SCOPED_TSAN_INTERCEPTOR(getaddrinfo, node, service, hints, rv); 1744 // We miss atomic synchronization in getaddrinfo, 1745 // and can report false race between malloc and free 1746 // inside of getaddrinfo. So ignore memory accesses. 1747 ThreadIgnoreBegin(thr); 1748 int res = REAL(getaddrinfo)(node, service, hints, rv); 1749 ThreadIgnoreEnd(thr); 1750 return res; 1751} 1752 1753// Linux kernel has a bug that leads to kernel deadlock if a process 1754// maps TBs of memory and then calls mlock(). 1755static void MlockIsUnsupported() { 1756 static atomic_uint8_t printed; 1757 if (atomic_exchange(&printed, 1, memory_order_relaxed)) 1758 return; 1759 if (flags()->verbosity > 0) 1760 Printf("INFO: ThreadSanitizer ignores mlock/mlockall/munlock/munlockall\n"); 1761} 1762 1763TSAN_INTERCEPTOR(int, mlock, const void *addr, uptr len) { 1764 MlockIsUnsupported(); 1765 return 0; 1766} 1767 1768TSAN_INTERCEPTOR(int, munlock, const void *addr, uptr len) { 1769 MlockIsUnsupported(); 1770 return 0; 1771} 1772 1773TSAN_INTERCEPTOR(int, mlockall, int flags) { 1774 MlockIsUnsupported(); 1775 return 0; 1776} 1777 1778TSAN_INTERCEPTOR(int, munlockall, void) { 1779 MlockIsUnsupported(); 1780 return 0; 1781} 1782 1783TSAN_INTERCEPTOR(int, fork, int fake) { 1784 SCOPED_TSAN_INTERCEPTOR(fork, fake); 1785 // It's intercepted merely to process pending signals. 1786 int pid = REAL(fork)(fake); 1787 if (pid == 0) { 1788 // child 1789 FdOnFork(thr, pc); 1790 } else if (pid > 0) { 1791 // parent 1792 } 1793 return pid; 1794} 1795 1796struct TsanInterceptorContext { 1797 ThreadState *thr; 1798 const uptr caller_pc; 1799 const uptr pc; 1800}; 1801 1802#include "sanitizer_common/sanitizer_platform_interceptors.h" 1803// Causes interceptor recursion (getpwuid_r() calls fopen()) 1804#undef SANITIZER_INTERCEPT_GETPWNAM_AND_FRIENDS 1805#undef SANITIZER_INTERCEPT_GETPWNAM_R_AND_FRIENDS 1806// Causes interceptor recursion (getaddrinfo() and fopen()) 1807#undef SANITIZER_INTERCEPT_GETADDRINFO 1808#undef SANITIZER_INTERCEPT_GETNAMEINFO 1809// Causes interceptor recursion (glob64() calls lstat64()) 1810#undef SANITIZER_INTERCEPT_GLOB 1811 1812#define COMMON_INTERCEPTOR_UNPOISON_PARAM(ctx, count) \ 1813 do { \ 1814 } while (false) 1815#define COMMON_INTERCEPTOR_WRITE_RANGE(ctx, ptr, size) \ 1816 MemoryAccessRange(((TsanInterceptorContext *)ctx)->thr, \ 1817 ((TsanInterceptorContext *)ctx)->pc, (uptr)ptr, size, \ 1818 true) 1819#define COMMON_INTERCEPTOR_READ_RANGE(ctx, ptr, size) \ 1820 MemoryAccessRange(((TsanInterceptorContext *) ctx)->thr, \ 1821 ((TsanInterceptorContext *) ctx)->pc, (uptr) ptr, size, \ 1822 false) 1823#define COMMON_INTERCEPTOR_ENTER(ctx, func, ...) \ 1824 SCOPED_TSAN_INTERCEPTOR(func, __VA_ARGS__); \ 1825 TsanInterceptorContext _ctx = {thr, caller_pc, pc}; \ 1826 ctx = (void *)&_ctx; \ 1827 (void) ctx; 1828#define COMMON_INTERCEPTOR_FD_ACQUIRE(ctx, fd) \ 1829 FdAcquire(((TsanInterceptorContext *) ctx)->thr, pc, fd) 1830#define COMMON_INTERCEPTOR_FD_RELEASE(ctx, fd) \ 1831 FdRelease(((TsanInterceptorContext *) ctx)->thr, pc, fd) 1832#define COMMON_INTERCEPTOR_FD_SOCKET_ACCEPT(ctx, fd, newfd) \ 1833 FdSocketAccept(((TsanInterceptorContext *) ctx)->thr, pc, fd, newfd) 1834#define COMMON_INTERCEPTOR_SET_THREAD_NAME(ctx, name) \ 1835 ThreadSetName(((TsanInterceptorContext *) ctx)->thr, name) 1836#define COMMON_INTERCEPTOR_BLOCK_REAL(name) BLOCK_REAL(name) 1837#include "sanitizer_common/sanitizer_common_interceptors.inc" 1838 1839// FIXME: Implement these with MemoryAccessRange(). 1840#define COMMON_SYSCALL_PRE_READ_RANGE(p, s) 1841#define COMMON_SYSCALL_PRE_WRITE_RANGE(p, s) 1842#define COMMON_SYSCALL_POST_READ_RANGE(p, s) 1843#define COMMON_SYSCALL_POST_WRITE_RANGE(p, s) 1844#include "sanitizer_common/sanitizer_common_syscalls.inc" 1845 1846namespace __tsan { 1847 1848void ProcessPendingSignals(ThreadState *thr) { 1849 CHECK_EQ(thr->in_rtl, 0); 1850 SignalContext *sctx = SigCtx(thr); 1851 if (sctx == 0 || sctx->pending_signal_count == 0 || thr->in_signal_handler) 1852 return; 1853 Context *ctx = CTX(); 1854 thr->in_signal_handler = true; 1855 sctx->pending_signal_count = 0; 1856 // These are too big for stack. 1857 static THREADLOCAL sigset_t emptyset, oldset; 1858 sigfillset(&emptyset); 1859 pthread_sigmask(SIG_SETMASK, &emptyset, &oldset); 1860 for (int sig = 0; sig < kSigCount; sig++) { 1861 SignalDesc *signal = &sctx->pending_signals[sig]; 1862 if (signal->armed) { 1863 signal->armed = false; 1864 if (sigactions[sig].sa_handler != SIG_DFL 1865 && sigactions[sig].sa_handler != SIG_IGN) { 1866 // Insure that the handler does not spoil errno. 1867 const int saved_errno = errno; 1868 errno = 0; 1869 if (signal->sigaction) 1870 sigactions[sig].sa_sigaction(sig, &signal->siginfo, &signal->ctx); 1871 else 1872 sigactions[sig].sa_handler(sig); 1873 if (flags()->report_bugs && errno != 0) { 1874 ScopedInRtl in_rtl; 1875 __tsan::StackTrace stack; 1876 uptr pc = signal->sigaction ? 1877 (uptr)sigactions[sig].sa_sigaction : 1878 (uptr)sigactions[sig].sa_handler; 1879 pc += 1; // return address is expected, OutputReport() will undo this 1880 stack.Init(&pc, 1); 1881 ThreadRegistryLock l(ctx->thread_registry); 1882 ScopedReport rep(ReportTypeErrnoInSignal); 1883 if (!IsFiredSuppression(ctx, rep, stack)) { 1884 rep.AddStack(&stack); 1885 OutputReport(ctx, rep, rep.GetReport()->stacks[0]); 1886 } 1887 } 1888 errno = saved_errno; 1889 } 1890 } 1891 } 1892 pthread_sigmask(SIG_SETMASK, &oldset, 0); 1893 CHECK_EQ(thr->in_signal_handler, true); 1894 thr->in_signal_handler = false; 1895} 1896 1897static void finalize(void *arg) { 1898 ThreadState * thr = cur_thread(); 1899 uptr pc = 0; 1900 atexit_ctx->exit(thr, pc); 1901 int status = Finalize(cur_thread()); 1902 REAL(fflush)(0); 1903 if (status) 1904 _exit(status); 1905} 1906 1907static void unreachable() { 1908 Printf("FATAL: ThreadSanitizer: unreachable called\n"); 1909 Die(); 1910} 1911 1912void InitializeInterceptors() { 1913 CHECK_GT(cur_thread()->in_rtl, 0); 1914 1915 // We need to setup it early, because functions like dlsym() can call it. 1916 REAL(memset) = internal_memset; 1917 REAL(memcpy) = internal_memcpy; 1918 REAL(memcmp) = internal_memcmp; 1919 1920 // Instruct libc malloc to consume less memory. 1921 mallopt(1, 0); // M_MXFAST 1922 mallopt(-3, 32*1024); // M_MMAP_THRESHOLD 1923 1924 SANITIZER_COMMON_INTERCEPTORS_INIT; 1925 1926 TSAN_INTERCEPT(setjmp); 1927 TSAN_INTERCEPT(_setjmp); 1928 TSAN_INTERCEPT(sigsetjmp); 1929 TSAN_INTERCEPT(__sigsetjmp); 1930 TSAN_INTERCEPT(longjmp); 1931 TSAN_INTERCEPT(siglongjmp); 1932 1933 TSAN_INTERCEPT(malloc); 1934 TSAN_INTERCEPT(__libc_memalign); 1935 TSAN_INTERCEPT(calloc); 1936 TSAN_INTERCEPT(realloc); 1937 TSAN_INTERCEPT(free); 1938 TSAN_INTERCEPT(cfree); 1939 TSAN_INTERCEPT(mmap); 1940 TSAN_INTERCEPT(mmap64); 1941 TSAN_INTERCEPT(munmap); 1942 TSAN_INTERCEPT(memalign); 1943 TSAN_INTERCEPT(valloc); 1944 TSAN_INTERCEPT(pvalloc); 1945 TSAN_INTERCEPT(posix_memalign); 1946 1947 TSAN_INTERCEPT(strlen); 1948 TSAN_INTERCEPT(memset); 1949 TSAN_INTERCEPT(memcpy); 1950 TSAN_INTERCEPT(memchr); 1951 TSAN_INTERCEPT(memrchr); 1952 TSAN_INTERCEPT(memmove); 1953 TSAN_INTERCEPT(memcmp); 1954 TSAN_INTERCEPT(strchr); 1955 TSAN_INTERCEPT(strchrnul); 1956 TSAN_INTERCEPT(strrchr); 1957 TSAN_INTERCEPT(strcpy); // NOLINT 1958 TSAN_INTERCEPT(strncpy); 1959 TSAN_INTERCEPT(strstr); 1960 1961 TSAN_INTERCEPT(pthread_create); 1962 TSAN_INTERCEPT(pthread_join); 1963 TSAN_INTERCEPT(pthread_detach); 1964 1965 TSAN_INTERCEPT(pthread_mutex_init); 1966 TSAN_INTERCEPT(pthread_mutex_destroy); 1967 TSAN_INTERCEPT(pthread_mutex_lock); 1968 TSAN_INTERCEPT(pthread_mutex_trylock); 1969 TSAN_INTERCEPT(pthread_mutex_timedlock); 1970 TSAN_INTERCEPT(pthread_mutex_unlock); 1971 1972 TSAN_INTERCEPT(pthread_spin_init); 1973 TSAN_INTERCEPT(pthread_spin_destroy); 1974 TSAN_INTERCEPT(pthread_spin_lock); 1975 TSAN_INTERCEPT(pthread_spin_trylock); 1976 TSAN_INTERCEPT(pthread_spin_unlock); 1977 1978 TSAN_INTERCEPT(pthread_rwlock_init); 1979 TSAN_INTERCEPT(pthread_rwlock_destroy); 1980 TSAN_INTERCEPT(pthread_rwlock_rdlock); 1981 TSAN_INTERCEPT(pthread_rwlock_tryrdlock); 1982 TSAN_INTERCEPT(pthread_rwlock_timedrdlock); 1983 TSAN_INTERCEPT(pthread_rwlock_wrlock); 1984 TSAN_INTERCEPT(pthread_rwlock_trywrlock); 1985 TSAN_INTERCEPT(pthread_rwlock_timedwrlock); 1986 TSAN_INTERCEPT(pthread_rwlock_unlock); 1987 1988 INTERCEPT_FUNCTION_VER(pthread_cond_init, pthread_cond_init_2_3_2, 1989 GLIBC_2.3.2); 1990 INTERCEPT_FUNCTION_VER(pthread_cond_destroy, pthread_cond_destroy_2_3_2, 1991 GLIBC_2.3.2); 1992 INTERCEPT_FUNCTION_VER(pthread_cond_signal, pthread_cond_signal_2_3_2, 1993 GLIBC_2.3.2); 1994 INTERCEPT_FUNCTION_VER(pthread_cond_broadcast, pthread_cond_broadcast_2_3_2, 1995 GLIBC_2.3.2); 1996 INTERCEPT_FUNCTION_VER(pthread_cond_wait, pthread_cond_wait_2_3_2, 1997 GLIBC_2.3.2); 1998 INTERCEPT_FUNCTION_VER(pthread_cond_timedwait, pthread_cond_timedwait_2_3_2, 1999 GLIBC_2.3.2); 2000 2001 TSAN_INTERCEPT(pthread_barrier_init); 2002 TSAN_INTERCEPT(pthread_barrier_destroy); 2003 TSAN_INTERCEPT(pthread_barrier_wait); 2004 2005 TSAN_INTERCEPT(pthread_once); 2006 2007 TSAN_INTERCEPT(sem_init); 2008 TSAN_INTERCEPT(sem_destroy); 2009 TSAN_INTERCEPT(sem_wait); 2010 TSAN_INTERCEPT(sem_trywait); 2011 TSAN_INTERCEPT(sem_timedwait); 2012 TSAN_INTERCEPT(sem_post); 2013 TSAN_INTERCEPT(sem_getvalue); 2014 2015 TSAN_INTERCEPT(stat); 2016 TSAN_INTERCEPT(__xstat); 2017 TSAN_INTERCEPT(stat64); 2018 TSAN_INTERCEPT(__xstat64); 2019 TSAN_INTERCEPT(lstat); 2020 TSAN_INTERCEPT(__lxstat); 2021 TSAN_INTERCEPT(lstat64); 2022 TSAN_INTERCEPT(__lxstat64); 2023 TSAN_INTERCEPT(fstat); 2024 TSAN_INTERCEPT(__fxstat); 2025 TSAN_INTERCEPT(fstat64); 2026 TSAN_INTERCEPT(__fxstat64); 2027 TSAN_INTERCEPT(open); 2028 TSAN_INTERCEPT(open64); 2029 TSAN_INTERCEPT(creat); 2030 TSAN_INTERCEPT(creat64); 2031 TSAN_INTERCEPT(dup); 2032 TSAN_INTERCEPT(dup2); 2033 TSAN_INTERCEPT(dup3); 2034 TSAN_INTERCEPT(eventfd); 2035 TSAN_INTERCEPT(signalfd); 2036 TSAN_INTERCEPT(inotify_init); 2037 TSAN_INTERCEPT(inotify_init1); 2038 TSAN_INTERCEPT(socket); 2039 TSAN_INTERCEPT(socketpair); 2040 TSAN_INTERCEPT(connect); 2041 TSAN_INTERCEPT(bind); 2042 TSAN_INTERCEPT(listen); 2043 TSAN_INTERCEPT(epoll_create); 2044 TSAN_INTERCEPT(epoll_create1); 2045 TSAN_INTERCEPT(close); 2046 TSAN_INTERCEPT(__close); 2047 TSAN_INTERCEPT(__res_iclose); 2048 TSAN_INTERCEPT(pipe); 2049 TSAN_INTERCEPT(pipe2); 2050 2051 TSAN_INTERCEPT(send); 2052 TSAN_INTERCEPT(sendmsg); 2053 TSAN_INTERCEPT(recv); 2054 2055 TSAN_INTERCEPT(unlink); 2056 TSAN_INTERCEPT(fopen); 2057 TSAN_INTERCEPT(freopen); 2058 TSAN_INTERCEPT(fclose); 2059 TSAN_INTERCEPT(fread); 2060 TSAN_INTERCEPT(fwrite); 2061 TSAN_INTERCEPT(fflush); 2062 TSAN_INTERCEPT(abort); 2063 TSAN_INTERCEPT(puts); 2064 TSAN_INTERCEPT(rmdir); 2065 TSAN_INTERCEPT(opendir); 2066 2067 TSAN_INTERCEPT(epoll_ctl); 2068 TSAN_INTERCEPT(epoll_wait); 2069 2070 TSAN_INTERCEPT(sigaction); 2071 TSAN_INTERCEPT(signal); 2072 TSAN_INTERCEPT(sigsuspend); 2073 TSAN_INTERCEPT(raise); 2074 TSAN_INTERCEPT(kill); 2075 TSAN_INTERCEPT(pthread_kill); 2076 TSAN_INTERCEPT(sleep); 2077 TSAN_INTERCEPT(usleep); 2078 TSAN_INTERCEPT(nanosleep); 2079 TSAN_INTERCEPT(gettimeofday); 2080 TSAN_INTERCEPT(getaddrinfo); 2081 2082 TSAN_INTERCEPT(mlock); 2083 TSAN_INTERCEPT(munlock); 2084 TSAN_INTERCEPT(mlockall); 2085 TSAN_INTERCEPT(munlockall); 2086 2087 TSAN_INTERCEPT(fork); 2088 TSAN_INTERCEPT(on_exit); 2089 TSAN_INTERCEPT(__cxa_atexit); 2090 2091 // Need to setup it, because interceptors check that the function is resolved. 2092 // But atexit is emitted directly into the module, so can't be resolved. 2093 REAL(atexit) = (int(*)(void(*)()))unreachable; 2094 atexit_ctx = new(internal_alloc(MBlockAtExit, sizeof(AtExitContext))) 2095 AtExitContext(); 2096 2097 if (REAL(__cxa_atexit)(&finalize, 0, 0)) { 2098 Printf("ThreadSanitizer: failed to setup atexit callback\n"); 2099 Die(); 2100 } 2101 2102 if (pthread_key_create(&g_thread_finalize_key, &thread_finalize)) { 2103 Printf("ThreadSanitizer: failed to create thread key\n"); 2104 Die(); 2105 } 2106 2107 FdInit(); 2108} 2109 2110void internal_start_thread(void(*func)(void *arg), void *arg) { 2111 void *th; 2112 REAL(pthread_create)(&th, 0, (void*(*)(void *arg))func, arg); 2113 REAL(pthread_detach)(th); 2114} 2115 2116} // namespace __tsan 2117