| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 1 | /* | 
 | 2 |  * Copyright (C) 2008 The Android Open Source Project | 
 | 3 |  * All rights reserved. | 
 | 4 |  * | 
 | 5 |  * Redistribution and use in source and binary forms, with or without | 
 | 6 |  * modification, are permitted provided that the following conditions | 
 | 7 |  * are met: | 
 | 8 |  *  * Redistributions of source code must retain the above copyright | 
 | 9 |  *    notice, this list of conditions and the following disclaimer. | 
 | 10 |  *  * Redistributions in binary form must reproduce the above copyright | 
 | 11 |  *    notice, this list of conditions and the following disclaimer in | 
 | 12 |  *    the documentation and/or other materials provided with the | 
 | 13 |  *    distribution. | 
 | 14 |  * | 
 | 15 |  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 
 | 16 |  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 
 | 17 |  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS | 
 | 18 |  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE | 
 | 19 |  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, | 
 | 20 |  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, | 
 | 21 |  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS | 
 | 22 |  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED | 
 | 23 |  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, | 
 | 24 |  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT | 
 | 25 |  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | 
 | 26 |  * SUCH DAMAGE. | 
 | 27 |  */ | 
 | 28 |  | 
 | 29 | #include <pthread.h> | 
 | 30 |  | 
 | 31 | #include <errno.h> | 
| Elliott Hughes | 05fc1d7 | 2015-01-28 18:02:33 -0800 | [diff] [blame] | 32 | #include <string.h> | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 33 | #include <sys/mman.h> | 
| Elliott Hughes | 99d5465 | 2018-08-22 10:36:23 -0700 | [diff] [blame] | 34 | #include <sys/prctl.h> | 
| Peter Collingbourne | da772e2 | 2018-09-06 22:20:44 -0700 | [diff] [blame] | 35 | #include <sys/random.h> | 
| Elliott Hughes | 7086ad6 | 2014-06-19 16:39:01 -0700 | [diff] [blame] | 36 | #include <unistd.h> | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 37 |  | 
 | 38 | #include "pthread_internal.h" | 
 | 39 |  | 
| Christopher Ferris | 7a3681e | 2017-04-24 17:48:32 -0700 | [diff] [blame] | 40 | #include <async_safe/log.h> | 
 | 41 |  | 
| Peter Collingbourne | 5d3aa86 | 2020-09-11 15:05:17 -0700 | [diff] [blame] | 42 | #include "private/ScopedRWLock.h" | 
| Peter Collingbourne | 734beec | 2018-11-14 12:41:41 -0800 | [diff] [blame] | 43 | #include "private/bionic_constants.h" | 
| dimitry | fa43252 | 2017-10-25 13:07:45 +0200 | [diff] [blame] | 44 | #include "private/bionic_defs.h" | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 45 | #include "private/bionic_globals.h" | 
| Josh Gao | 4956c37 | 2019-12-19 16:35:51 -0800 | [diff] [blame] | 46 | #include "platform/bionic/macros.h" | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 47 | #include "private/bionic_ssp.h" | 
| Philip Cuadra | 77d0f90 | 2019-01-25 10:39:25 -0800 | [diff] [blame] | 48 | #include "private/bionic_systrace.h" | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 49 | #include "private/bionic_tls.h" | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 50 | #include "private/ErrnoRestorer.h" | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 51 |  | 
| Elliott Hughes | 0d236aa | 2014-05-09 14:42:16 -0700 | [diff] [blame] | 52 | // x86 uses segment descriptors rather than a direct pointer to TLS. | 
| Josh Gao | cb728e6 | 2016-09-15 13:56:37 -0700 | [diff] [blame] | 53 | #if defined(__i386__) | 
| Elliott Hughes | 0d236aa | 2014-05-09 14:42:16 -0700 | [diff] [blame] | 54 | #include <asm/ldt.h> | 
| Elliott Hughes | 01b85d5 | 2016-02-09 22:44:16 -0800 | [diff] [blame] | 55 | void __init_user_desc(struct user_desc*, bool, void*); | 
| Elliott Hughes | 0d236aa | 2014-05-09 14:42:16 -0700 | [diff] [blame] | 56 | #endif | 
 | 57 |  | 
| Ryan Prichard | 9cfca86 | 2018-11-22 02:44:09 -0800 | [diff] [blame] | 58 | __attribute__((no_stack_protector)) | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 59 | void __init_tcb_stack_guard(bionic_tcb* tcb) { | 
| Ryan Prichard | 9cfca86 | 2018-11-22 02:44:09 -0800 | [diff] [blame] | 60 |   // GCC looks in the TLS for the stack guard on x86, so copy it there from our global. | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 61 |   tcb->tls_slot(TLS_SLOT_STACK_GUARD) = reinterpret_cast<void*>(__stack_chk_guard); | 
| Ryan Prichard | 9cfca86 | 2018-11-22 02:44:09 -0800 | [diff] [blame] | 62 | } | 
 | 63 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 64 | void __init_bionic_tls_ptrs(bionic_tcb* tcb, bionic_tls* tls) { | 
 | 65 |   tcb->thread()->bionic_tls = tls; | 
 | 66 |   tcb->tls_slot(TLS_SLOT_BIONIC_TLS) = tls; | 
 | 67 | } | 
 | 68 |  | 
 | 69 | // Allocate a temporary bionic_tls that the dynamic linker's main thread can | 
 | 70 | // use while it's loading the initial set of ELF modules. | 
 | 71 | bionic_tls* __allocate_temp_bionic_tls() { | 
 | 72 |   size_t allocation_size = __BIONIC_ALIGN(sizeof(bionic_tls), PAGE_SIZE); | 
 | 73 |   void* allocation = mmap(nullptr, allocation_size, | 
 | 74 |                           PROT_READ | PROT_WRITE, | 
 | 75 |                           MAP_PRIVATE | MAP_ANONYMOUS, | 
 | 76 |                           -1, 0); | 
| Josh Gao | 5e2285d | 2017-02-22 12:19:05 -0800 | [diff] [blame] | 77 |   if (allocation == MAP_FAILED) { | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 78 |     // Avoid strerror because it might need bionic_tls. | 
 | 79 |     async_safe_fatal("failed to allocate bionic_tls: error %d", errno); | 
| Josh Gao | 5e2285d | 2017-02-22 12:19:05 -0800 | [diff] [blame] | 80 |   } | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 81 |   return static_cast<bionic_tls*>(allocation); | 
 | 82 | } | 
| Elliott Hughes | 53dc9dd | 2017-09-19 14:02:50 -0700 | [diff] [blame] | 83 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 84 | void __free_temp_bionic_tls(bionic_tls* tls) { | 
 | 85 |   munmap(tls, __BIONIC_ALIGN(sizeof(bionic_tls), PAGE_SIZE)); | 
| Elliott Hughes | 70b24b1 | 2013-11-15 11:51:07 -0800 | [diff] [blame] | 86 | } | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 87 |  | 
| Peter Collingbourne | da772e2 | 2018-09-06 22:20:44 -0700 | [diff] [blame] | 88 | static void __init_alternate_signal_stack(pthread_internal_t* thread) { | 
| Elliott Hughes | 84114c8 | 2013-07-17 13:33:19 -0700 | [diff] [blame] | 89 |   // Create and set an alternate signal stack. | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 90 |   void* stack_base = mmap(nullptr, SIGNAL_STACK_SIZE, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0); | 
| Yabin Cui | ef11500 | 2015-03-30 20:03:57 -0700 | [diff] [blame] | 91 |   if (stack_base != MAP_FAILED) { | 
| Elliott Hughes | d6c678c | 2017-06-27 17:01:57 -0700 | [diff] [blame] | 92 |     // Create a guard to catch stack overflows in signal handlers. | 
 | 93 |     if (mprotect(stack_base, PTHREAD_GUARD_SIZE, PROT_NONE) == -1) { | 
| Yabin Cui | ef11500 | 2015-03-30 20:03:57 -0700 | [diff] [blame] | 94 |       munmap(stack_base, SIGNAL_STACK_SIZE); | 
 | 95 |       return; | 
 | 96 |     } | 
 | 97 |     stack_t ss; | 
| Elliott Hughes | d6c678c | 2017-06-27 17:01:57 -0700 | [diff] [blame] | 98 |     ss.ss_sp = reinterpret_cast<uint8_t*>(stack_base) + PTHREAD_GUARD_SIZE; | 
 | 99 |     ss.ss_size = SIGNAL_STACK_SIZE - PTHREAD_GUARD_SIZE; | 
| Elliott Hughes | 84114c8 | 2013-07-17 13:33:19 -0700 | [diff] [blame] | 100 |     ss.ss_flags = 0; | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 101 |     sigaltstack(&ss, nullptr); | 
| Yabin Cui | ef11500 | 2015-03-30 20:03:57 -0700 | [diff] [blame] | 102 |     thread->alternate_signal_stack = stack_base; | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 103 |  | 
 | 104 |     // We can only use const static allocated string for mapped region name, as Android kernel | 
 | 105 |     // uses the string pointer directly when dumping /proc/pid/maps. | 
| Elliott Hughes | a3125fd | 2015-03-31 02:42:39 +0000 | [diff] [blame] | 106 |     prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, ss.ss_sp, ss.ss_size, "thread signal stack"); | 
| Elliott Hughes | 84114c8 | 2013-07-17 13:33:19 -0700 | [diff] [blame] | 107 |   } | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 108 | } | 
 | 109 |  | 
| Peter Collingbourne | da772e2 | 2018-09-06 22:20:44 -0700 | [diff] [blame] | 110 | static void __init_shadow_call_stack(pthread_internal_t* thread __unused) { | 
 | 111 | #ifdef __aarch64__ | 
| Peter Collingbourne | f1ed31f | 2019-01-31 14:26:43 -0800 | [diff] [blame] | 112 |   // Allocate the stack and the guard region. | 
| Peter Collingbourne | 734beec | 2018-11-14 12:41:41 -0800 | [diff] [blame] | 113 |   char* scs_guard_region = reinterpret_cast<char*>( | 
 | 114 |       mmap(nullptr, SCS_GUARD_REGION_SIZE, 0, MAP_PRIVATE | MAP_ANON, -1, 0)); | 
 | 115 |   thread->shadow_call_stack_guard_region = scs_guard_region; | 
 | 116 |  | 
| Peter Collingbourne | f1ed31f | 2019-01-31 14:26:43 -0800 | [diff] [blame] | 117 |   // The address is aligned to SCS_SIZE so that we only need to store the lower log2(SCS_SIZE) bits | 
 | 118 |   // in jmp_buf. | 
 | 119 |   char* scs_aligned_guard_region = | 
| Peter Collingbourne | 734beec | 2018-11-14 12:41:41 -0800 | [diff] [blame] | 120 |       reinterpret_cast<char*>(align_up(reinterpret_cast<uintptr_t>(scs_guard_region), SCS_SIZE)); | 
| Peter Collingbourne | f1ed31f | 2019-01-31 14:26:43 -0800 | [diff] [blame] | 121 |  | 
 | 122 |   // We need to ensure that [scs_offset,scs_offset+SCS_SIZE) is in the guard region and that there | 
 | 123 |   // is at least one unmapped page after the shadow call stack (to catch stack overflows). We can't | 
 | 124 |   // use arc4random_uniform in init because /dev/urandom might not have been created yet. | 
 | 125 |   size_t scs_offset = | 
 | 126 |       (getpid() == 1) ? 0 : (arc4random_uniform(SCS_GUARD_REGION_SIZE / SCS_SIZE - 1) * SCS_SIZE); | 
 | 127 |  | 
 | 128 |   // Make the stack readable and writable and store its address in register x18. This is | 
 | 129 |   // deliberately the only place where the address is stored. | 
 | 130 |   char *scs = scs_aligned_guard_region + scs_offset; | 
| Peter Collingbourne | 734beec | 2018-11-14 12:41:41 -0800 | [diff] [blame] | 131 |   mprotect(scs, SCS_SIZE, PROT_READ | PROT_WRITE); | 
| Peter Collingbourne | da772e2 | 2018-09-06 22:20:44 -0700 | [diff] [blame] | 132 |   __asm__ __volatile__("mov x18, %0" ::"r"(scs)); | 
 | 133 | #endif | 
 | 134 | } | 
 | 135 |  | 
 | 136 | void __init_additional_stacks(pthread_internal_t* thread) { | 
 | 137 |   __init_alternate_signal_stack(thread); | 
 | 138 |   __init_shadow_call_stack(thread); | 
 | 139 | } | 
 | 140 |  | 
| Yabin Cui | 673b15e | 2015-03-19 14:19:19 -0700 | [diff] [blame] | 141 | int __init_thread(pthread_internal_t* thread) { | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 142 |   thread->cleanup_stack = nullptr; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 143 |  | 
| Yabin Cui | 58cf31b | 2015-03-06 17:23:53 -0800 | [diff] [blame] | 144 |   if (__predict_true((thread->attr.flags & PTHREAD_ATTR_FLAG_DETACHED) == 0)) { | 
 | 145 |     atomic_init(&thread->join_state, THREAD_NOT_JOINED); | 
 | 146 |   } else { | 
 | 147 |     atomic_init(&thread->join_state, THREAD_DETACHED); | 
 | 148 |   } | 
 | 149 |  | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 150 |   // Set the scheduling policy/priority of the thread if necessary. | 
 | 151 |   bool need_set = true; | 
 | 152 |   int policy; | 
 | 153 |   sched_param param; | 
| Elliott Hughes | 38f01e0 | 2017-10-27 15:28:54 -0700 | [diff] [blame] | 154 |   if ((thread->attr.flags & PTHREAD_ATTR_FLAG_INHERIT) != 0) { | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 155 |     // Unless the parent has SCHED_RESET_ON_FORK set, we've already inherited from the parent. | 
 | 156 |     policy = sched_getscheduler(0); | 
 | 157 |     need_set = ((policy & SCHED_RESET_ON_FORK) != 0); | 
 | 158 |     if (need_set) { | 
 | 159 |       if (policy == -1) { | 
 | 160 |         async_safe_format_log(ANDROID_LOG_WARN, "libc", | 
 | 161 |                               "pthread_create sched_getscheduler failed: %s", strerror(errno)); | 
 | 162 |         return errno; | 
 | 163 |       } | 
 | 164 |       if (sched_getparam(0, ¶m) == -1) { | 
 | 165 |         async_safe_format_log(ANDROID_LOG_WARN, "libc", | 
 | 166 |                               "pthread_create sched_getparam failed: %s", strerror(errno)); | 
 | 167 |         return errno; | 
 | 168 |       } | 
 | 169 |     } | 
 | 170 |   } else { | 
 | 171 |     policy = thread->attr.sched_policy; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 172 |     param.sched_priority = thread->attr.sched_priority; | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 173 |   } | 
| Elliott Hughes | 38f01e0 | 2017-10-27 15:28:54 -0700 | [diff] [blame] | 174 |   // Backwards compatibility: before P, Android didn't have pthread_attr_setinheritsched, | 
 | 175 |   // and our behavior was neither of the POSIX behaviors. | 
 | 176 |   if ((thread->attr.flags & (PTHREAD_ATTR_FLAG_INHERIT|PTHREAD_ATTR_FLAG_EXPLICIT)) == 0) { | 
 | 177 |     need_set = (thread->attr.sched_policy != SCHED_NORMAL); | 
 | 178 |   } | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 179 |   if (need_set) { | 
 | 180 |     if (sched_setscheduler(thread->tid, policy, ¶m) == -1) { | 
 | 181 |       async_safe_format_log(ANDROID_LOG_WARN, "libc", | 
 | 182 |                             "pthread_create sched_setscheduler(%d, {%d}) call failed: %s", policy, | 
 | 183 |                             param.sched_priority, strerror(errno)); | 
| Josh Gao | b36efa4 | 2016-09-15 13:55:41 -0700 | [diff] [blame] | 184 | #if defined(__LP64__) | 
| Elliott Hughes | 98624c3 | 2013-10-15 16:51:17 -0700 | [diff] [blame] | 185 |       // For backwards compatibility reasons, we only report failures on 64-bit devices. | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 186 |       return errno; | 
| Elliott Hughes | 98624c3 | 2013-10-15 16:51:17 -0700 | [diff] [blame] | 187 | #endif | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 188 |     } | 
 | 189 |   } | 
 | 190 |  | 
| Elliott Hughes | 8aecba7 | 2017-10-17 15:34:41 -0700 | [diff] [blame] | 191 |   return 0; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 192 | } | 
 | 193 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 194 |  | 
 | 195 | // Allocate a thread's primary mapping. This mapping includes static TLS and | 
 | 196 | // optionally a stack. Static TLS includes ELF TLS segments and the bionic_tls | 
 | 197 | // struct. | 
 | 198 | // | 
 | 199 | // The stack_guard_size must be a multiple of the PAGE_SIZE. | 
 | 200 | ThreadMapping __allocate_thread_mapping(size_t stack_size, size_t stack_guard_size) { | 
 | 201 |   const StaticTlsLayout& layout = __libc_shared_globals()->static_tls_layout; | 
 | 202 |  | 
 | 203 |   // Allocate in order: stack guard, stack, static TLS, guard page. | 
 | 204 |   size_t mmap_size; | 
 | 205 |   if (__builtin_add_overflow(stack_size, stack_guard_size, &mmap_size)) return {}; | 
 | 206 |   if (__builtin_add_overflow(mmap_size, layout.size(), &mmap_size)) return {}; | 
 | 207 |   if (__builtin_add_overflow(mmap_size, PTHREAD_GUARD_SIZE, &mmap_size)) return {}; | 
 | 208 |  | 
 | 209 |   // Align the result to a page size. | 
 | 210 |   const size_t unaligned_size = mmap_size; | 
 | 211 |   mmap_size = __BIONIC_ALIGN(mmap_size, PAGE_SIZE); | 
 | 212 |   if (mmap_size < unaligned_size) return {}; | 
 | 213 |  | 
 | 214 |   // Create a new private anonymous map. Make the entire mapping PROT_NONE, then carve out a | 
 | 215 |   // read+write area in the middle. | 
 | 216 |   const int flags = MAP_PRIVATE | MAP_ANONYMOUS | MAP_NORESERVE; | 
 | 217 |   char* const space = static_cast<char*>(mmap(nullptr, mmap_size, PROT_NONE, flags, -1, 0)); | 
| Yabin Cui | ba8dfc2 | 2015-01-06 09:31:00 -0800 | [diff] [blame] | 218 |   if (space == MAP_FAILED) { | 
| Christopher Ferris | 7a3681e | 2017-04-24 17:48:32 -0700 | [diff] [blame] | 219 |     async_safe_format_log(ANDROID_LOG_WARN, | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 220 |                           "libc", | 
 | 221 |                           "pthread_create failed: couldn't allocate %zu-bytes mapped space: %s", | 
 | 222 |                           mmap_size, strerror(errno)); | 
 | 223 |     return {}; | 
 | 224 |   } | 
 | 225 |   const size_t writable_size = mmap_size - stack_guard_size - PTHREAD_GUARD_SIZE; | 
 | 226 |   if (mprotect(space + stack_guard_size, | 
 | 227 |                writable_size, | 
 | 228 |                PROT_READ | PROT_WRITE) != 0) { | 
 | 229 |     async_safe_format_log(ANDROID_LOG_WARN, "libc", | 
 | 230 |                           "pthread_create failed: couldn't mprotect R+W %zu-byte thread mapping region: %s", | 
 | 231 |                           writable_size, strerror(errno)); | 
 | 232 |     munmap(space, mmap_size); | 
 | 233 |     return {}; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 234 |   } | 
 | 235 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 236 |   ThreadMapping result = {}; | 
 | 237 |   result.mmap_base = space; | 
 | 238 |   result.mmap_size = mmap_size; | 
| Ryan Prichard | 03cef38 | 2019-06-17 17:57:19 -0700 | [diff] [blame] | 239 |   result.mmap_base_unguarded = space + stack_guard_size; | 
 | 240 |   result.mmap_size_unguarded = mmap_size - stack_guard_size - PTHREAD_GUARD_SIZE; | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 241 |   result.static_tls = space + mmap_size - PTHREAD_GUARD_SIZE - layout.size(); | 
 | 242 |   result.stack_base = space; | 
 | 243 |   result.stack_top = result.static_tls; | 
 | 244 |   return result; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 245 | } | 
 | 246 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 247 | static int __allocate_thread(pthread_attr_t* attr, bionic_tcb** tcbp, void** child_stack) { | 
 | 248 |   ThreadMapping mapping; | 
 | 249 |   char* stack_top; | 
 | 250 |   bool stack_clean = false; | 
| Yabin Cui | 6a7aaf4 | 2014-12-22 19:17:33 -0800 | [diff] [blame] | 251 |  | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 252 |   if (attr->stack_base == nullptr) { | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 253 |     // The caller didn't provide a stack, so allocate one. | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 254 |  | 
 | 255 |     // Make sure the guard size is a multiple of PAGE_SIZE. | 
 | 256 |     const size_t unaligned_guard_size = attr->guard_size; | 
| Dan Albert | a613d0d | 2017-10-05 16:39:33 -0700 | [diff] [blame] | 257 |     attr->guard_size = __BIONIC_ALIGN(attr->guard_size, PAGE_SIZE); | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 258 |     if (attr->guard_size < unaligned_guard_size) return EAGAIN; | 
 | 259 |  | 
 | 260 |     mapping = __allocate_thread_mapping(attr->stack_size, attr->guard_size); | 
 | 261 |     if (mapping.mmap_base == nullptr) return EAGAIN; | 
 | 262 |  | 
 | 263 |     stack_top = mapping.stack_top; | 
 | 264 |     attr->stack_base = mapping.stack_base; | 
 | 265 |     stack_clean = true; | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 266 |   } else { | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 267 |     mapping = __allocate_thread_mapping(0, PTHREAD_GUARD_SIZE); | 
 | 268 |     if (mapping.mmap_base == nullptr) return EAGAIN; | 
 | 269 |  | 
 | 270 |     stack_top = static_cast<char*>(attr->stack_base) + attr->stack_size; | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 271 |   } | 
 | 272 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 273 |   // Carve out space from the stack for the thread's pthread_internal_t. This | 
 | 274 |   // memory isn't counted in pthread_attr_getstacksize. | 
| Yabin Cui | a2db50d | 2015-03-20 10:58:04 -0700 | [diff] [blame] | 275 |  | 
 | 276 |   // To safely access the pthread_internal_t and thread stack, we need to find a 16-byte aligned boundary. | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 277 |   stack_top = align_down(stack_top - sizeof(pthread_internal_t), 16); | 
| Yabin Cui | a2db50d | 2015-03-20 10:58:04 -0700 | [diff] [blame] | 278 |  | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 279 |   pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(stack_top); | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 280 |   if (!stack_clean) { | 
| Yabin Cui | 304348a | 2015-12-03 13:01:42 -0800 | [diff] [blame] | 281 |     // If thread was not allocated by mmap(), it may not have been cleared to zero. | 
 | 282 |     // So assume the worst and zero it. | 
 | 283 |     memset(thread, 0, sizeof(pthread_internal_t)); | 
 | 284 |   } | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 285 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 286 |   // Locate static TLS structures within the mapped region. | 
 | 287 |   const StaticTlsLayout& layout = __libc_shared_globals()->static_tls_layout; | 
 | 288 |   auto tcb = reinterpret_cast<bionic_tcb*>(mapping.static_tls + layout.offset_bionic_tcb()); | 
 | 289 |   auto tls = reinterpret_cast<bionic_tls*>(mapping.static_tls + layout.offset_bionic_tls()); | 
 | 290 |  | 
| Ryan Prichard | 361c1b4 | 2019-01-15 13:45:27 -0800 | [diff] [blame] | 291 |   // Initialize TLS memory. | 
 | 292 |   __init_static_tls(mapping.static_tls); | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 293 |   __init_tcb(tcb, thread); | 
| Ryan Prichard | 16455b5 | 2019-01-18 01:00:59 -0800 | [diff] [blame] | 294 |   __init_tcb_dtv(tcb); | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 295 |   __init_tcb_stack_guard(tcb); | 
 | 296 |   __init_bionic_tls_ptrs(tcb, tls); | 
 | 297 |  | 
 | 298 |   attr->stack_size = stack_top - static_cast<char*>(attr->stack_base); | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 299 |   thread->attr = *attr; | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 300 |   thread->mmap_base = mapping.mmap_base; | 
 | 301 |   thread->mmap_size = mapping.mmap_size; | 
| Ryan Prichard | 03cef38 | 2019-06-17 17:57:19 -0700 | [diff] [blame] | 302 |   thread->mmap_base_unguarded = mapping.mmap_base_unguarded; | 
 | 303 |   thread->mmap_size_unguarded = mapping.mmap_size_unguarded; | 
| Peter Collingbourne | 5f45c18 | 2020-01-14 17:59:41 -0800 | [diff] [blame] | 304 |   thread->stack_top = reinterpret_cast<uintptr_t>(stack_top); | 
| Ryan Prichard | 9cfca86 | 2018-11-22 02:44:09 -0800 | [diff] [blame] | 305 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 306 |   *tcbp = tcb; | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 307 |   *child_stack = stack_top; | 
 | 308 |   return 0; | 
 | 309 | } | 
 | 310 |  | 
| Ryan Prichard | 03cef38 | 2019-06-17 17:57:19 -0700 | [diff] [blame] | 311 | void __set_stack_and_tls_vma_name(bool is_main_thread) { | 
 | 312 |   // Name the thread's stack-and-tls area to help with debugging. This mapped area also includes | 
 | 313 |   // static TLS data, which is typically a few pages (e.g. bionic_tls). | 
 | 314 |   pthread_internal_t* thread = __get_thread(); | 
 | 315 |   const char* name; | 
 | 316 |   if (is_main_thread) { | 
 | 317 |     name = "stack_and_tls:main"; | 
 | 318 |   } else { | 
 | 319 |     // The kernel doesn't copy the name string, but this variable will last at least as long as the | 
 | 320 |     // mapped area. The mapped area's VMAs are unmapped with a single call to munmap. | 
 | 321 |     auto& name_buffer = thread->vma_name_buffer; | 
 | 322 |     static_assert(arraysize(name_buffer) >= arraysize("stack_and_tls:") + 11 + 1); | 
 | 323 |     async_safe_format_buffer(name_buffer, arraysize(name_buffer), "stack_and_tls:%d", thread->tid); | 
 | 324 |     name = name_buffer; | 
 | 325 |   } | 
 | 326 |   prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, thread->mmap_base_unguarded, thread->mmap_size_unguarded, | 
 | 327 |         name); | 
 | 328 | } | 
 | 329 |  | 
| Evgenii Stepanov | b92d1c3 | 2019-10-02 16:26:43 -0700 | [diff] [blame] | 330 | extern "C" int __rt_sigprocmask(int, const sigset64_t*, sigset64_t*, size_t); | 
 | 331 |  | 
| Evgenii Stepanov | 13e8dcb | 2018-09-19 16:29:12 -0700 | [diff] [blame] | 332 | __attribute__((no_sanitize("hwaddress"))) | 
| Elliott Hughes | e48b685 | 2013-11-15 14:57:45 -0800 | [diff] [blame] | 333 | static int __pthread_start(void* arg) { | 
 | 334 |   pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(arg); | 
 | 335 |  | 
| Evgenii Stepanov | 13e8dcb | 2018-09-19 16:29:12 -0700 | [diff] [blame] | 336 |   __hwasan_thread_enter(); | 
 | 337 |  | 
| Elliott Hughes | e48b685 | 2013-11-15 14:57:45 -0800 | [diff] [blame] | 338 |   // Wait for our creating thread to release us. This lets it have time to | 
 | 339 |   // notify gdb about this thread before we start doing anything. | 
 | 340 |   // This also provides the memory barrier needed to ensure that all memory | 
 | 341 |   // accesses previously made by the creating thread are visible to us. | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 342 |   thread->startup_handshake_lock.lock(); | 
| Elliott Hughes | e48b685 | 2013-11-15 14:57:45 -0800 | [diff] [blame] | 343 |  | 
| Ryan Prichard | 03cef38 | 2019-06-17 17:57:19 -0700 | [diff] [blame] | 344 |   __set_stack_and_tls_vma_name(false); | 
| Peter Collingbourne | da772e2 | 2018-09-06 22:20:44 -0700 | [diff] [blame] | 345 |   __init_additional_stacks(thread); | 
| Evgenii Stepanov | b92d1c3 | 2019-10-02 16:26:43 -0700 | [diff] [blame] | 346 |   __rt_sigprocmask(SIG_SETMASK, &thread->start_mask, nullptr, sizeof(thread->start_mask)); | 
| Elliott Hughes | e48b685 | 2013-11-15 14:57:45 -0800 | [diff] [blame] | 347 |  | 
| Elliott Hughes | e48b685 | 2013-11-15 14:57:45 -0800 | [diff] [blame] | 348 |   void* result = thread->start_routine(thread->start_routine_arg); | 
 | 349 |   pthread_exit(result); | 
 | 350 |  | 
 | 351 |   return 0; | 
 | 352 | } | 
 | 353 |  | 
| Elliott Hughes | 68ae6ad | 2020-07-21 16:11:30 -0700 | [diff] [blame] | 354 | // A no-op start routine for pthread_create failures where we've created a thread but aren't | 
| Elliott Hughes | cef3fae | 2013-11-19 16:52:24 -0800 | [diff] [blame] | 355 | // going to run user code on it. We swap out the user's start routine for this and take advantage | 
 | 356 | // of the regular thread teardown to free up resources. | 
 | 357 | static void* __do_nothing(void*) { | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 358 |   return nullptr; | 
| Elliott Hughes | cef3fae | 2013-11-19 16:52:24 -0800 | [diff] [blame] | 359 | } | 
 | 360 |  | 
| Peter Collingbourne | 5d3aa86 | 2020-09-11 15:05:17 -0700 | [diff] [blame] | 361 | pthread_rwlock_t g_thread_creation_lock = PTHREAD_RWLOCK_INITIALIZER; | 
| dimitry | fa43252 | 2017-10-25 13:07:45 +0200 | [diff] [blame] | 362 |  | 
 | 363 | __BIONIC_WEAK_FOR_NATIVE_BRIDGE | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 364 | int pthread_create(pthread_t* thread_out, pthread_attr_t const* attr, | 
 | 365 |                    void* (*start_routine)(void*), void* arg) { | 
 | 366 |   ErrnoRestorer errno_restorer; | 
 | 367 |  | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 368 |   pthread_attr_t thread_attr; | 
| Philip Cuadra | 77d0f90 | 2019-01-25 10:39:25 -0800 | [diff] [blame] | 369 |   ScopedTrace trace("pthread_create"); | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 370 |   if (attr == nullptr) { | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 371 |     pthread_attr_init(&thread_attr); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 372 |   } else { | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 373 |     thread_attr = *attr; | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 374 |     attr = nullptr; // Prevent misuse below. | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 375 |   } | 
 | 376 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 377 |   bionic_tcb* tcb = nullptr; | 
| Yi Kong | 32bc0fc | 2018-08-02 17:31:13 -0700 | [diff] [blame] | 378 |   void* child_stack = nullptr; | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 379 |   int result = __allocate_thread(&thread_attr, &tcb, &child_stack); | 
| Yabin Cui | 8cf1b30 | 2014-12-03 21:36:24 -0800 | [diff] [blame] | 380 |   if (result != 0) { | 
 | 381 |     return result; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 382 |   } | 
 | 383 |  | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 384 |   pthread_internal_t* thread = tcb->thread(); | 
 | 385 |  | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 386 |   // Create a lock for the thread to wait on once it starts so we can keep | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 387 |   // it from doing anything until after we notify the debugger about it | 
 | 388 |   // | 
 | 389 |   // This also provides the memory barrier we need to ensure that all | 
 | 390 |   // memory accesses previously performed by this thread are visible to | 
 | 391 |   // the new thread. | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 392 |   thread->startup_handshake_lock.init(false); | 
 | 393 |   thread->startup_handshake_lock.lock(); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 394 |  | 
| Elliott Hughes | 70b24b1 | 2013-11-15 11:51:07 -0800 | [diff] [blame] | 395 |   thread->start_routine = start_routine; | 
 | 396 |   thread->start_routine_arg = arg; | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 397 |  | 
| Elliott Hughes | 7086ad6 | 2014-06-19 16:39:01 -0700 | [diff] [blame] | 398 |   thread->set_cached_pid(getpid()); | 
 | 399 |  | 
| Elliott Hughes | 877ec6d | 2013-11-15 17:40:18 -0800 | [diff] [blame] | 400 |   int flags = CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND | CLONE_THREAD | CLONE_SYSVSEM | | 
 | 401 |       CLONE_SETTLS | CLONE_PARENT_SETTID | CLONE_CHILD_CLEARTID; | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 402 |   void* tls = &tcb->tls_slot(0); | 
| Elliott Hughes | 8090614 | 2013-11-26 13:57:21 -0800 | [diff] [blame] | 403 | #if defined(__i386__) | 
 | 404 |   // On x86 (but not x86-64), CLONE_SETTLS takes a pointer to a struct user_desc rather than | 
| Elliott Hughes | 0d236aa | 2014-05-09 14:42:16 -0700 | [diff] [blame] | 405 |   // a pointer to the TLS itself. | 
 | 406 |   user_desc tls_descriptor; | 
 | 407 |   __init_user_desc(&tls_descriptor, false, tls); | 
 | 408 |   tls = &tls_descriptor; | 
| Elliott Hughes | 8090614 | 2013-11-26 13:57:21 -0800 | [diff] [blame] | 409 | #endif | 
| Evgenii Stepanov | b92d1c3 | 2019-10-02 16:26:43 -0700 | [diff] [blame] | 410 |  | 
| Peter Collingbourne | 5d3aa86 | 2020-09-11 15:05:17 -0700 | [diff] [blame] | 411 |   ScopedReadLock locker(&g_thread_creation_lock); | 
 | 412 |  | 
| Evgenii Stepanov | b92d1c3 | 2019-10-02 16:26:43 -0700 | [diff] [blame] | 413 |   sigset64_t block_all_mask; | 
 | 414 |   sigfillset64(&block_all_mask); | 
 | 415 |   __rt_sigprocmask(SIG_SETMASK, &block_all_mask, &thread->start_mask, sizeof(thread->start_mask)); | 
| Elliott Hughes | 0d236aa | 2014-05-09 14:42:16 -0700 | [diff] [blame] | 416 |   int rc = clone(__pthread_start, child_stack, flags, thread, &(thread->tid), tls, &(thread->tid)); | 
| Evgenii Stepanov | b92d1c3 | 2019-10-02 16:26:43 -0700 | [diff] [blame] | 417 |   __rt_sigprocmask(SIG_SETMASK, &thread->start_mask, nullptr, sizeof(thread->start_mask)); | 
| Elliott Hughes | 877ec6d | 2013-11-15 17:40:18 -0800 | [diff] [blame] | 418 |   if (rc == -1) { | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 419 |     int clone_errno = errno; | 
| Elliott Hughes | 877ec6d | 2013-11-15 17:40:18 -0800 | [diff] [blame] | 420 |     // We don't have to unlock the mutex at all because clone(2) failed so there's no child waiting to | 
 | 421 |     // be unblocked, but we're about to unmap the memory the mutex is stored in, so this serves as a | 
 | 422 |     // reminder that you can't rewrite this function to use a ScopedPthreadMutexLocker. | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 423 |     thread->startup_handshake_lock.unlock(); | 
| Elliott Hughes | 7484c21 | 2017-02-02 02:41:38 +0000 | [diff] [blame] | 424 |     if (thread->mmap_size != 0) { | 
| Ryan Prichard | 45d1349 | 2019-01-03 02:51:30 -0800 | [diff] [blame] | 425 |       munmap(thread->mmap_base, thread->mmap_size); | 
| Elliott Hughes | 7484c21 | 2017-02-02 02:41:38 +0000 | [diff] [blame] | 426 |     } | 
| Christopher Ferris | 7a3681e | 2017-04-24 17:48:32 -0700 | [diff] [blame] | 427 |     async_safe_format_log(ANDROID_LOG_WARN, "libc", "pthread_create failed: clone failed: %s", | 
| dimitry | 6de6087 | 2017-08-14 14:42:19 +0200 | [diff] [blame] | 428 |                           strerror(clone_errno)); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 429 |     return clone_errno; | 
 | 430 |   } | 
 | 431 |  | 
| Yabin Cui | 673b15e | 2015-03-19 14:19:19 -0700 | [diff] [blame] | 432 |   int init_errno = __init_thread(thread); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 433 |   if (init_errno != 0) { | 
| Elliott Hughes | cef3fae | 2013-11-19 16:52:24 -0800 | [diff] [blame] | 434 |     // Mark the thread detached and replace its start_routine with a no-op. | 
 | 435 |     // Letting the thread run is the easiest way to clean up its resources. | 
| Yabin Cui | 58cf31b | 2015-03-06 17:23:53 -0800 | [diff] [blame] | 436 |     atomic_store(&thread->join_state, THREAD_DETACHED); | 
| Elliott Hughes | 7484c21 | 2017-02-02 02:41:38 +0000 | [diff] [blame] | 437 |     __pthread_internal_add(thread); | 
| Elliott Hughes | cef3fae | 2013-11-19 16:52:24 -0800 | [diff] [blame] | 438 |     thread->start_routine = __do_nothing; | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 439 |     thread->startup_handshake_lock.unlock(); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 440 |     return init_errno; | 
 | 441 |   } | 
 | 442 |  | 
| Elliott Hughes | 877ec6d | 2013-11-15 17:40:18 -0800 | [diff] [blame] | 443 |   // Publish the pthread_t and unlock the mutex to let the new thread start running. | 
| Elliott Hughes | 7484c21 | 2017-02-02 02:41:38 +0000 | [diff] [blame] | 444 |   *thread_out = __pthread_internal_add(thread); | 
| Yabin Cui | d26e780 | 2015-10-22 20:07:56 -0700 | [diff] [blame] | 445 |   thread->startup_handshake_lock.unlock(); | 
| Elliott Hughes | 4b4a882 | 2013-02-12 17:15:59 -0800 | [diff] [blame] | 446 |  | 
 | 447 |   return 0; | 
 | 448 | } |