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