13cab2bb3Spatrick //===-- tsan_platform_mac.cpp ---------------------------------------------===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick //
93cab2bb3Spatrick // This file is a part of ThreadSanitizer (TSan), a race detector.
103cab2bb3Spatrick //
113cab2bb3Spatrick // Mac-specific code.
123cab2bb3Spatrick //===----------------------------------------------------------------------===//
133cab2bb3Spatrick
143cab2bb3Spatrick #include "sanitizer_common/sanitizer_platform.h"
15*810390e3Srobert #if SANITIZER_APPLE
163cab2bb3Spatrick
173cab2bb3Spatrick #include "sanitizer_common/sanitizer_atomic.h"
183cab2bb3Spatrick #include "sanitizer_common/sanitizer_common.h"
193cab2bb3Spatrick #include "sanitizer_common/sanitizer_libc.h"
203cab2bb3Spatrick #include "sanitizer_common/sanitizer_posix.h"
213cab2bb3Spatrick #include "sanitizer_common/sanitizer_procmaps.h"
221f9cb04fSpatrick #include "sanitizer_common/sanitizer_ptrauth.h"
233cab2bb3Spatrick #include "sanitizer_common/sanitizer_stackdepot.h"
243cab2bb3Spatrick #include "tsan_platform.h"
253cab2bb3Spatrick #include "tsan_rtl.h"
263cab2bb3Spatrick #include "tsan_flags.h"
273cab2bb3Spatrick
28*810390e3Srobert #include <limits.h>
293cab2bb3Spatrick #include <mach/mach.h>
303cab2bb3Spatrick #include <pthread.h>
313cab2bb3Spatrick #include <signal.h>
323cab2bb3Spatrick #include <stdio.h>
333cab2bb3Spatrick #include <stdlib.h>
343cab2bb3Spatrick #include <string.h>
353cab2bb3Spatrick #include <stdarg.h>
363cab2bb3Spatrick #include <sys/mman.h>
373cab2bb3Spatrick #include <sys/syscall.h>
383cab2bb3Spatrick #include <sys/time.h>
393cab2bb3Spatrick #include <sys/types.h>
403cab2bb3Spatrick #include <sys/resource.h>
413cab2bb3Spatrick #include <sys/stat.h>
423cab2bb3Spatrick #include <unistd.h>
433cab2bb3Spatrick #include <errno.h>
443cab2bb3Spatrick #include <sched.h>
453cab2bb3Spatrick
463cab2bb3Spatrick namespace __tsan {
473cab2bb3Spatrick
483cab2bb3Spatrick #if !SANITIZER_GO
49*810390e3Srobert static char main_thread_state[sizeof(ThreadState)] ALIGNED(
50*810390e3Srobert SANITIZER_CACHE_LINE_SIZE);
51*810390e3Srobert static ThreadState *dead_thread_state;
52*810390e3Srobert static pthread_key_t thread_state_key;
53*810390e3Srobert
54*810390e3Srobert // We rely on the following documented, but Darwin-specific behavior to keep the
55*810390e3Srobert // reference to the ThreadState object alive in TLS:
56*810390e3Srobert // pthread_key_create man page:
57*810390e3Srobert // If, after all the destructors have been called for all non-NULL values with
58*810390e3Srobert // associated destructors, there are still some non-NULL values with
59*810390e3Srobert // associated destructors, then the process is repeated. If, after at least
60*810390e3Srobert // [PTHREAD_DESTRUCTOR_ITERATIONS] iterations of destructor calls for
61*810390e3Srobert // outstanding non-NULL values, there are still some non-NULL values with
62*810390e3Srobert // associated destructors, the implementation stops calling destructors.
63*810390e3Srobert static_assert(PTHREAD_DESTRUCTOR_ITERATIONS == 4, "Small number of iterations");
ThreadStateDestructor(void * thr)64*810390e3Srobert static void ThreadStateDestructor(void *thr) {
65*810390e3Srobert int res = pthread_setspecific(thread_state_key, thr);
66*810390e3Srobert CHECK_EQ(res, 0);
673cab2bb3Spatrick }
683cab2bb3Spatrick
InitializeThreadStateStorage()69*810390e3Srobert static void InitializeThreadStateStorage() {
70*810390e3Srobert int res;
71*810390e3Srobert CHECK_EQ(thread_state_key, 0);
72*810390e3Srobert res = pthread_key_create(&thread_state_key, ThreadStateDestructor);
73*810390e3Srobert CHECK_EQ(res, 0);
74*810390e3Srobert res = pthread_setspecific(thread_state_key, main_thread_state);
75*810390e3Srobert CHECK_EQ(res, 0);
763cab2bb3Spatrick
77*810390e3Srobert auto dts = (ThreadState *)MmapOrDie(sizeof(ThreadState), "ThreadState");
78*810390e3Srobert dts->fast_state.SetIgnoreBit();
79*810390e3Srobert dts->ignore_interceptors = 1;
80*810390e3Srobert dts->is_dead = true;
81*810390e3Srobert const_cast<Tid &>(dts->tid) = kInvalidTid;
82*810390e3Srobert res = internal_mprotect(dts, sizeof(ThreadState), PROT_READ); // immutable
83*810390e3Srobert CHECK_EQ(res, 0);
84*810390e3Srobert dead_thread_state = dts;
853cab2bb3Spatrick }
863cab2bb3Spatrick
cur_thread()873cab2bb3Spatrick ThreadState *cur_thread() {
88*810390e3Srobert // Some interceptors get called before libpthread has been initialized and in
89*810390e3Srobert // these cases we must avoid calling any pthread APIs.
90*810390e3Srobert if (UNLIKELY(!thread_state_key)) {
91*810390e3Srobert return (ThreadState *)main_thread_state;
92*810390e3Srobert }
93*810390e3Srobert
94*810390e3Srobert // We only reach this line after InitializeThreadStateStorage() ran, i.e,
95*810390e3Srobert // after TSan (and therefore libpthread) have been initialized.
96*810390e3Srobert ThreadState *thr = (ThreadState *)pthread_getspecific(thread_state_key);
97*810390e3Srobert if (UNLIKELY(!thr)) {
98*810390e3Srobert thr = (ThreadState *)MmapOrDie(sizeof(ThreadState), "ThreadState");
99*810390e3Srobert int res = pthread_setspecific(thread_state_key, thr);
100*810390e3Srobert CHECK_EQ(res, 0);
101*810390e3Srobert }
102*810390e3Srobert return thr;
1033cab2bb3Spatrick }
1043cab2bb3Spatrick
set_cur_thread(ThreadState * thr)1053cab2bb3Spatrick void set_cur_thread(ThreadState *thr) {
106*810390e3Srobert int res = pthread_setspecific(thread_state_key, thr);
107*810390e3Srobert CHECK_EQ(res, 0);
1083cab2bb3Spatrick }
1093cab2bb3Spatrick
cur_thread_finalize()1103cab2bb3Spatrick void cur_thread_finalize() {
111*810390e3Srobert ThreadState *thr = (ThreadState *)pthread_getspecific(thread_state_key);
112*810390e3Srobert CHECK(thr);
113*810390e3Srobert if (thr == (ThreadState *)main_thread_state) {
1143cab2bb3Spatrick // Calling dispatch_main() or xpc_main() actually invokes pthread_exit to
1153cab2bb3Spatrick // exit the main thread. Let's keep the main thread's ThreadState.
1163cab2bb3Spatrick return;
1173cab2bb3Spatrick }
118*810390e3Srobert // Intercepted functions can still get called after cur_thread_finalize()
119*810390e3Srobert // (called from DestroyThreadState()), so put a fake thread state for "dead"
120*810390e3Srobert // threads. An alternative solution would be to release the ThreadState
121*810390e3Srobert // object from THREAD_DESTROY (which is delivered later and on the parent
122*810390e3Srobert // thread) instead of THREAD_TERMINATE.
123*810390e3Srobert int res = pthread_setspecific(thread_state_key, dead_thread_state);
124*810390e3Srobert CHECK_EQ(res, 0);
125*810390e3Srobert UnmapOrDie(thr, sizeof(ThreadState));
1263cab2bb3Spatrick }
1273cab2bb3Spatrick #endif
1283cab2bb3Spatrick
RegionMemUsage(uptr start,uptr end,uptr * res,uptr * dirty)1293cab2bb3Spatrick static void RegionMemUsage(uptr start, uptr end, uptr *res, uptr *dirty) {
1303cab2bb3Spatrick vm_address_t address = start;
1313cab2bb3Spatrick vm_address_t end_address = end;
1323cab2bb3Spatrick uptr resident_pages = 0;
1333cab2bb3Spatrick uptr dirty_pages = 0;
1343cab2bb3Spatrick while (address < end_address) {
1353cab2bb3Spatrick vm_size_t vm_region_size;
1363cab2bb3Spatrick mach_msg_type_number_t count = VM_REGION_EXTENDED_INFO_COUNT;
1373cab2bb3Spatrick vm_region_extended_info_data_t vm_region_info;
1383cab2bb3Spatrick mach_port_t object_name;
1393cab2bb3Spatrick kern_return_t ret = vm_region_64(
1403cab2bb3Spatrick mach_task_self(), &address, &vm_region_size, VM_REGION_EXTENDED_INFO,
1413cab2bb3Spatrick (vm_region_info_t)&vm_region_info, &count, &object_name);
1423cab2bb3Spatrick if (ret != KERN_SUCCESS) break;
1433cab2bb3Spatrick
1443cab2bb3Spatrick resident_pages += vm_region_info.pages_resident;
1453cab2bb3Spatrick dirty_pages += vm_region_info.pages_dirtied;
1463cab2bb3Spatrick
1473cab2bb3Spatrick address += vm_region_size;
1483cab2bb3Spatrick }
1493cab2bb3Spatrick *res = resident_pages * GetPageSizeCached();
1503cab2bb3Spatrick *dirty = dirty_pages * GetPageSizeCached();
1513cab2bb3Spatrick }
1523cab2bb3Spatrick
WriteMemoryProfile(char * buf,uptr buf_size,u64 uptime_ns)153*810390e3Srobert void WriteMemoryProfile(char *buf, uptr buf_size, u64 uptime_ns) {
1543cab2bb3Spatrick uptr shadow_res, shadow_dirty;
1553cab2bb3Spatrick uptr meta_res, meta_dirty;
1563cab2bb3Spatrick RegionMemUsage(ShadowBeg(), ShadowEnd(), &shadow_res, &shadow_dirty);
1573cab2bb3Spatrick RegionMemUsage(MetaShadowBeg(), MetaShadowEnd(), &meta_res, &meta_dirty);
1583cab2bb3Spatrick
1593cab2bb3Spatrick # if !SANITIZER_GO
1603cab2bb3Spatrick uptr low_res, low_dirty;
1613cab2bb3Spatrick uptr high_res, high_dirty;
1623cab2bb3Spatrick uptr heap_res, heap_dirty;
1633cab2bb3Spatrick RegionMemUsage(LoAppMemBeg(), LoAppMemEnd(), &low_res, &low_dirty);
1643cab2bb3Spatrick RegionMemUsage(HiAppMemBeg(), HiAppMemEnd(), &high_res, &high_dirty);
1653cab2bb3Spatrick RegionMemUsage(HeapMemBeg(), HeapMemEnd(), &heap_res, &heap_dirty);
1663cab2bb3Spatrick #else // !SANITIZER_GO
1673cab2bb3Spatrick uptr app_res, app_dirty;
168*810390e3Srobert RegionMemUsage(LoAppMemBeg(), LoAppMemEnd(), &app_res, &app_dirty);
1693cab2bb3Spatrick #endif
1703cab2bb3Spatrick
171*810390e3Srobert StackDepotStats stacks = StackDepotGetStats();
172*810390e3Srobert uptr nthread, nlive;
173*810390e3Srobert ctx->thread_registry.GetNumberOfThreads(&nthread, &nlive);
174*810390e3Srobert internal_snprintf(
175*810390e3Srobert buf, buf_size,
1763cab2bb3Spatrick "shadow (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1773cab2bb3Spatrick "meta (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1783cab2bb3Spatrick # if !SANITIZER_GO
1793cab2bb3Spatrick "low app (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1803cab2bb3Spatrick "high app (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1813cab2bb3Spatrick "heap (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1823cab2bb3Spatrick # else // !SANITIZER_GO
1833cab2bb3Spatrick "app (0x%016zx-0x%016zx): resident %zd kB, dirty %zd kB\n"
1843cab2bb3Spatrick # endif
1853cab2bb3Spatrick "stacks: %zd unique IDs, %zd kB allocated\n"
1863cab2bb3Spatrick "threads: %zd total, %zd live\n"
1873cab2bb3Spatrick "------------------------------\n",
1883cab2bb3Spatrick ShadowBeg(), ShadowEnd(), shadow_res / 1024, shadow_dirty / 1024,
1893cab2bb3Spatrick MetaShadowBeg(), MetaShadowEnd(), meta_res / 1024, meta_dirty / 1024,
1903cab2bb3Spatrick # if !SANITIZER_GO
1913cab2bb3Spatrick LoAppMemBeg(), LoAppMemEnd(), low_res / 1024, low_dirty / 1024,
1923cab2bb3Spatrick HiAppMemBeg(), HiAppMemEnd(), high_res / 1024, high_dirty / 1024,
1933cab2bb3Spatrick HeapMemBeg(), HeapMemEnd(), heap_res / 1024, heap_dirty / 1024,
1943cab2bb3Spatrick # else // !SANITIZER_GO
195*810390e3Srobert LoAppMemBeg(), LoAppMemEnd(), app_res / 1024, app_dirty / 1024,
1963cab2bb3Spatrick # endif
197*810390e3Srobert stacks.n_uniq_ids, stacks.allocated / 1024, nthread, nlive);
1983cab2bb3Spatrick }
1993cab2bb3Spatrick
2003cab2bb3Spatrick # if !SANITIZER_GO
InitializeShadowMemoryPlatform()2013cab2bb3Spatrick void InitializeShadowMemoryPlatform() { }
2023cab2bb3Spatrick
203*810390e3Srobert // Register GCD worker threads, which are created without an observable call to
204*810390e3Srobert // pthread_create().
ThreadCreateCallback(uptr thread,bool gcd_worker)205*810390e3Srobert static void ThreadCreateCallback(uptr thread, bool gcd_worker) {
206*810390e3Srobert if (gcd_worker) {
2073cab2bb3Spatrick ThreadState *thr = cur_thread();
2083cab2bb3Spatrick Processor *proc = ProcCreate();
2093cab2bb3Spatrick ProcWire(proc, thr);
2103cab2bb3Spatrick ThreadState *parent_thread_state = nullptr; // No parent.
211*810390e3Srobert Tid tid = ThreadCreate(parent_thread_state, 0, (uptr)thread, true);
212*810390e3Srobert CHECK_NE(tid, kMainTid);
2133cab2bb3Spatrick ThreadStart(thr, tid, GetTid(), ThreadType::Worker);
2143cab2bb3Spatrick }
215*810390e3Srobert }
216*810390e3Srobert
217*810390e3Srobert // Destroy thread state for *all* threads.
ThreadTerminateCallback(uptr thread)218*810390e3Srobert static void ThreadTerminateCallback(uptr thread) {
2193cab2bb3Spatrick ThreadState *thr = cur_thread();
2203cab2bb3Spatrick if (thr->tctx) {
2213cab2bb3Spatrick DestroyThreadState();
2223cab2bb3Spatrick }
2233cab2bb3Spatrick }
2243cab2bb3Spatrick #endif
2253cab2bb3Spatrick
InitializePlatformEarly()2263cab2bb3Spatrick void InitializePlatformEarly() {
227*810390e3Srobert # if !SANITIZER_GO && SANITIZER_IOS
2283cab2bb3Spatrick uptr max_vm = GetMaxUserVirtualAddress() + 1;
229*810390e3Srobert if (max_vm != HiAppMemEnd()) {
2303cab2bb3Spatrick Printf("ThreadSanitizer: unsupported vm address limit %p, expected %p.\n",
231*810390e3Srobert (void *)max_vm, (void *)HiAppMemEnd());
2323cab2bb3Spatrick Die();
2333cab2bb3Spatrick }
2343cab2bb3Spatrick #endif
2353cab2bb3Spatrick }
2363cab2bb3Spatrick
2373cab2bb3Spatrick static uptr longjmp_xor_key = 0;
2383cab2bb3Spatrick
InitializePlatform()2393cab2bb3Spatrick void InitializePlatform() {
2403cab2bb3Spatrick DisableCoreDumperIfNecessary();
2413cab2bb3Spatrick #if !SANITIZER_GO
2423cab2bb3Spatrick CheckAndProtect();
2433cab2bb3Spatrick
244*810390e3Srobert InitializeThreadStateStorage();
2453cab2bb3Spatrick
246*810390e3Srobert ThreadEventCallbacks callbacks = {
247*810390e3Srobert .create = ThreadCreateCallback,
248*810390e3Srobert .terminate = ThreadTerminateCallback,
249*810390e3Srobert };
250*810390e3Srobert InstallPthreadIntrospectionHook(callbacks);
2513cab2bb3Spatrick #endif
2523cab2bb3Spatrick
2531f9cb04fSpatrick if (GetMacosAlignedVersion() >= MacosVersion(10, 14)) {
2543cab2bb3Spatrick // Libsystem currently uses a process-global key; this might change.
2553cab2bb3Spatrick const unsigned kTLSLongjmpXorKeySlot = 0x7;
2563cab2bb3Spatrick longjmp_xor_key = (uptr)pthread_getspecific(kTLSLongjmpXorKeySlot);
2573cab2bb3Spatrick }
2583cab2bb3Spatrick }
2593cab2bb3Spatrick
2603cab2bb3Spatrick #ifdef __aarch64__
2613cab2bb3Spatrick # define LONG_JMP_SP_ENV_SLOT \
2621f9cb04fSpatrick ((GetMacosAlignedVersion() >= MacosVersion(10, 14)) ? 12 : 13)
2633cab2bb3Spatrick #else
2643cab2bb3Spatrick # define LONG_JMP_SP_ENV_SLOT 2
2653cab2bb3Spatrick #endif
2663cab2bb3Spatrick
ExtractLongJmpSp(uptr * env)2673cab2bb3Spatrick uptr ExtractLongJmpSp(uptr *env) {
2683cab2bb3Spatrick uptr mangled_sp = env[LONG_JMP_SP_ENV_SLOT];
2693cab2bb3Spatrick uptr sp = mangled_sp ^ longjmp_xor_key;
2701f9cb04fSpatrick sp = (uptr)ptrauth_auth_data((void *)sp, ptrauth_key_asdb,
2711f9cb04fSpatrick ptrauth_string_discriminator("sp"));
2723cab2bb3Spatrick return sp;
2733cab2bb3Spatrick }
2743cab2bb3Spatrick
2753cab2bb3Spatrick #if !SANITIZER_GO
__tsan_tls_initialization()276*810390e3Srobert extern "C" void __tsan_tls_initialization() {}
277*810390e3Srobert
ImitateTlsWrite(ThreadState * thr,uptr tls_addr,uptr tls_size)2783cab2bb3Spatrick void ImitateTlsWrite(ThreadState *thr, uptr tls_addr, uptr tls_size) {
279*810390e3Srobert const uptr pc = StackTrace::GetNextInstructionPc(
280*810390e3Srobert reinterpret_cast<uptr>(__tsan_tls_initialization));
281*810390e3Srobert // Unlike Linux, we only store a pointer to the ThreadState object in TLS;
282*810390e3Srobert // just mark the entire range as written to.
283*810390e3Srobert MemoryRangeImitateWrite(thr, pc, tls_addr, tls_size);
2843cab2bb3Spatrick }
2853cab2bb3Spatrick #endif
2863cab2bb3Spatrick
2873cab2bb3Spatrick #if !SANITIZER_GO
2883cab2bb3Spatrick // Note: this function runs with async signals enabled,
2893cab2bb3Spatrick // so it must not touch any tsan state.
call_pthread_cancel_with_cleanup(int (* fn)(void * arg),void (* cleanup)(void * arg),void * arg)290d89ec533Spatrick int call_pthread_cancel_with_cleanup(int (*fn)(void *arg),
2913cab2bb3Spatrick void (*cleanup)(void *arg), void *arg) {
2923cab2bb3Spatrick // pthread_cleanup_push/pop are hardcore macros mess.
2933cab2bb3Spatrick // We can't intercept nor call them w/o including pthread.h.
2943cab2bb3Spatrick int res;
2953cab2bb3Spatrick pthread_cleanup_push(cleanup, arg);
296d89ec533Spatrick res = fn(arg);
2973cab2bb3Spatrick pthread_cleanup_pop(0);
2983cab2bb3Spatrick return res;
2993cab2bb3Spatrick }
3003cab2bb3Spatrick #endif
3013cab2bb3Spatrick
3023cab2bb3Spatrick } // namespace __tsan
3033cab2bb3Spatrick
304*810390e3Srobert #endif // SANITIZER_APPLE
305