blob: 3fa8ee6836566885ba14d2f4d98fec8bac5ab52f [file] [log] [blame]
Elliott Hughes4b4a8822013-02-12 17:15:59 -08001/*
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 Hughes05fc1d72015-01-28 18:02:33 -080032#include <string.h>
Peter Collingbournedcbacd62021-04-22 12:13:40 -070033#include <sys/auxv.h>
Elliott Hughes4b4a8822013-02-12 17:15:59 -080034#include <sys/mman.h>
Elliott Hughes99d54652018-08-22 10:36:23 -070035#include <sys/prctl.h>
Peter Collingbourneda772e22018-09-06 22:20:44 -070036#include <sys/random.h>
Elliott Hughes7086ad62014-06-19 16:39:01 -070037#include <unistd.h>
Elliott Hughes4b4a8822013-02-12 17:15:59 -080038
39#include "pthread_internal.h"
40
Christopher Ferris7a3681e2017-04-24 17:48:32 -070041#include <async_safe/log.h>
42
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -070043#include "platform/bionic/macros.h"
44#include "platform/bionic/mte.h"
Peter Collingbournebb11ee62022-05-02 12:26:16 -070045#include "platform/bionic/page.h"
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -070046#include "private/ErrnoRestorer.h"
Peter Collingbourne5d3aa862020-09-11 15:05:17 -070047#include "private/ScopedRWLock.h"
Peter Collingbourne734beec2018-11-14 12:41:41 -080048#include "private/bionic_constants.h"
dimitryfa432522017-10-25 13:07:45 +020049#include "private/bionic_defs.h"
Ryan Prichard45d13492019-01-03 02:51:30 -080050#include "private/bionic_globals.h"
Elliott Hughes4b4a8822013-02-12 17:15:59 -080051#include "private/bionic_ssp.h"
Philip Cuadra77d0f902019-01-25 10:39:25 -080052#include "private/bionic_systrace.h"
Elliott Hughes4b4a8822013-02-12 17:15:59 -080053#include "private/bionic_tls.h"
Elliott Hughes4b4a8822013-02-12 17:15:59 -080054
Elliott Hughes0d236aa2014-05-09 14:42:16 -070055// x86 uses segment descriptors rather than a direct pointer to TLS.
Josh Gaocb728e62016-09-15 13:56:37 -070056#if defined(__i386__)
Elliott Hughes0d236aa2014-05-09 14:42:16 -070057#include <asm/ldt.h>
Elliott Hughes01b85d52016-02-09 22:44:16 -080058void __init_user_desc(struct user_desc*, bool, void*);
Elliott Hughes0d236aa2014-05-09 14:42:16 -070059#endif
60
Ryan Prichard9cfca862018-11-22 02:44:09 -080061__attribute__((no_stack_protector))
Ryan Prichard45d13492019-01-03 02:51:30 -080062void __init_tcb_stack_guard(bionic_tcb* tcb) {
Ryan Prichard9cfca862018-11-22 02:44:09 -080063 // GCC looks in the TLS for the stack guard on x86, so copy it there from our global.
Ryan Prichard45d13492019-01-03 02:51:30 -080064 tcb->tls_slot(TLS_SLOT_STACK_GUARD) = reinterpret_cast<void*>(__stack_chk_guard);
Ryan Prichard9cfca862018-11-22 02:44:09 -080065}
66
Ryan Prichard45d13492019-01-03 02:51:30 -080067void __init_bionic_tls_ptrs(bionic_tcb* tcb, bionic_tls* tls) {
Florian Mayerc0aa70a2024-06-24 15:49:20 -070068 tcb->thread()->bionic_tcb = tcb;
Ryan Prichard45d13492019-01-03 02:51:30 -080069 tcb->thread()->bionic_tls = tls;
70 tcb->tls_slot(TLS_SLOT_BIONIC_TLS) = tls;
71}
72
73// Allocate a temporary bionic_tls that the dynamic linker's main thread can
74// use while it's loading the initial set of ELF modules.
75bionic_tls* __allocate_temp_bionic_tls() {
Peter Collingbournebb11ee62022-05-02 12:26:16 -070076 size_t allocation_size = __BIONIC_ALIGN(sizeof(bionic_tls), page_size());
Ryan Prichard45d13492019-01-03 02:51:30 -080077 void* allocation = mmap(nullptr, allocation_size,
78 PROT_READ | PROT_WRITE,
79 MAP_PRIVATE | MAP_ANONYMOUS,
80 -1, 0);
Josh Gao5e2285d2017-02-22 12:19:05 -080081 if (allocation == MAP_FAILED) {
Elliott Hughes2557f732023-07-12 21:15:23 +000082 async_safe_fatal("failed to allocate bionic_tls: %m");
Josh Gao5e2285d2017-02-22 12:19:05 -080083 }
Ryan Prichard45d13492019-01-03 02:51:30 -080084 return static_cast<bionic_tls*>(allocation);
85}
Elliott Hughes53dc9dd2017-09-19 14:02:50 -070086
Ryan Prichard45d13492019-01-03 02:51:30 -080087void __free_temp_bionic_tls(bionic_tls* tls) {
Peter Collingbournebb11ee62022-05-02 12:26:16 -070088 munmap(tls, __BIONIC_ALIGN(sizeof(bionic_tls), page_size()));
Elliott Hughes70b24b12013-11-15 11:51:07 -080089}
Elliott Hughes4b4a8822013-02-12 17:15:59 -080090
Peter Collingbourneda772e22018-09-06 22:20:44 -070091static void __init_alternate_signal_stack(pthread_internal_t* thread) {
Elliott Hughes84114c82013-07-17 13:33:19 -070092 // Create and set an alternate signal stack.
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -070093 int prot = PROT_READ | PROT_WRITE;
94#ifdef __aarch64__
Florian Mayer73750dc2024-03-08 14:10:48 -080095 if (atomic_load(&__libc_memtag_stack)) {
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -070096 prot |= PROT_MTE;
97 }
98#endif
99 void* stack_base = mmap(nullptr, SIGNAL_STACK_SIZE, prot, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
Yabin Cuief115002015-03-30 20:03:57 -0700100 if (stack_base != MAP_FAILED) {
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700101 // Create a guard to catch stack overflows in signal handlers.
102 if (mprotect(stack_base, PTHREAD_GUARD_SIZE, PROT_NONE) == -1) {
Yabin Cuief115002015-03-30 20:03:57 -0700103 munmap(stack_base, SIGNAL_STACK_SIZE);
104 return;
105 }
106 stack_t ss;
Elliott Hughesd6c678c2017-06-27 17:01:57 -0700107 ss.ss_sp = reinterpret_cast<uint8_t*>(stack_base) + PTHREAD_GUARD_SIZE;
108 ss.ss_size = SIGNAL_STACK_SIZE - PTHREAD_GUARD_SIZE;
Elliott Hughes84114c82013-07-17 13:33:19 -0700109 ss.ss_flags = 0;
Yi Kong32bc0fc2018-08-02 17:31:13 -0700110 sigaltstack(&ss, nullptr);
Yabin Cuief115002015-03-30 20:03:57 -0700111 thread->alternate_signal_stack = stack_base;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800112
113 // We can only use const static allocated string for mapped region name, as Android kernel
114 // uses the string pointer directly when dumping /proc/pid/maps.
Elliott Hughesa3125fd2015-03-31 02:42:39 +0000115 prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, ss.ss_sp, ss.ss_size, "thread signal stack");
Elliott Hughes84114c82013-07-17 13:33:19 -0700116 }
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800117}
118
Peter Collingbourneda772e22018-09-06 22:20:44 -0700119static void __init_shadow_call_stack(pthread_internal_t* thread __unused) {
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000120#if defined(__aarch64__) || defined(__riscv)
Elliott Hughes1b362912024-07-29 16:49:01 +0000121 // Allocate the shadow call stack and its guard region.
Peter Collingbourne734beec2018-11-14 12:41:41 -0800122 char* scs_guard_region = reinterpret_cast<char*>(
Elliott Hughes1b362912024-07-29 16:49:01 +0000123 mmap(nullptr, SCS_GUARD_REGION_SIZE, PROT_NONE, MAP_PRIVATE | MAP_ANON, -1, 0));
124 if (scs_guard_region == MAP_FAILED) {
125 async_safe_fatal("failed to allocate shadow stack: %m");
126 }
Peter Collingbourne734beec2018-11-14 12:41:41 -0800127 thread->shadow_call_stack_guard_region = scs_guard_region;
128
Elliott Hughes1b362912024-07-29 16:49:01 +0000129 // Align the address to SCS_SIZE so that we only need to store the lower log2(SCS_SIZE) bits
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000130 // in jmp_buf. See the SCS commentary in pthread_internal.h for more detail.
Peter Collingbournef1ed31f2019-01-31 14:26:43 -0800131 char* scs_aligned_guard_region =
Peter Collingbourne734beec2018-11-14 12:41:41 -0800132 reinterpret_cast<char*>(align_up(reinterpret_cast<uintptr_t>(scs_guard_region), SCS_SIZE));
Peter Collingbournef1ed31f2019-01-31 14:26:43 -0800133
134 // We need to ensure that [scs_offset,scs_offset+SCS_SIZE) is in the guard region and that there
135 // is at least one unmapped page after the shadow call stack (to catch stack overflows). We can't
136 // use arc4random_uniform in init because /dev/urandom might not have been created yet.
137 size_t scs_offset =
138 (getpid() == 1) ? 0 : (arc4random_uniform(SCS_GUARD_REGION_SIZE / SCS_SIZE - 1) * SCS_SIZE);
139
Elliott Hughes7dd38962023-04-06 14:50:31 -0700140 // Make the stack read-write, and store its address in the register we're using as the shadow
141 // stack pointer. This is deliberately the only place where the address is stored.
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000142 char* scs = scs_aligned_guard_region + scs_offset;
Kelvin Zhangfd93b602023-07-11 13:09:58 -0700143 if (mprotect(scs, SCS_SIZE, PROT_READ | PROT_WRITE) == -1) {
Elliott Hughes2557f732023-07-12 21:15:23 +0000144 async_safe_fatal("shadow stack read-write mprotect(%p, %d) failed: %m", scs, SCS_SIZE);
Kelvin Zhangfd93b602023-07-11 13:09:58 -0700145 }
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000146#if defined(__aarch64__)
Peter Collingbourneda772e22018-09-06 22:20:44 -0700147 __asm__ __volatile__("mov x18, %0" ::"r"(scs));
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000148#elif defined(__riscv)
Elliott Hughesc35a0dc2023-05-16 16:09:30 -0700149 __asm__ __volatile__("mv x3, %0" ::"r"(scs));
Elliott Hughes9a7155d2023-02-10 02:00:03 +0000150#endif
Peter Collingbourneda772e22018-09-06 22:20:44 -0700151#endif
152}
153
154void __init_additional_stacks(pthread_internal_t* thread) {
155 __init_alternate_signal_stack(thread);
156 __init_shadow_call_stack(thread);
157}
158
Yabin Cui673b15e2015-03-19 14:19:19 -0700159int __init_thread(pthread_internal_t* thread) {
Elliott Hughes8aecba72017-10-17 15:34:41 -0700160 thread->cleanup_stack = nullptr;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800161
Nick Desaulniers2e65afe2024-11-19 09:27:06 -0800162 ThreadJoinState state = THREAD_NOT_JOINED;
163 if (__predict_false((thread->attr.flags & PTHREAD_ATTR_FLAG_DETACHED) != 0)) {
164 state = THREAD_DETACHED;
Yabin Cui58cf31b2015-03-06 17:23:53 -0800165 }
Nick Desaulniers2e65afe2024-11-19 09:27:06 -0800166 atomic_store_explicit(&thread->join_state, state, memory_order_relaxed);
Yabin Cui58cf31b2015-03-06 17:23:53 -0800167
Elliott Hughes8aecba72017-10-17 15:34:41 -0700168 // Set the scheduling policy/priority of the thread if necessary.
169 bool need_set = true;
170 int policy;
171 sched_param param;
Elliott Hughes38f01e02017-10-27 15:28:54 -0700172 if ((thread->attr.flags & PTHREAD_ATTR_FLAG_INHERIT) != 0) {
Elliott Hughes8aecba72017-10-17 15:34:41 -0700173 // Unless the parent has SCHED_RESET_ON_FORK set, we've already inherited from the parent.
174 policy = sched_getscheduler(0);
175 need_set = ((policy & SCHED_RESET_ON_FORK) != 0);
176 if (need_set) {
177 if (policy == -1) {
178 async_safe_format_log(ANDROID_LOG_WARN, "libc",
Elliott Hughes2557f732023-07-12 21:15:23 +0000179 "pthread_create sched_getscheduler failed: %m");
Elliott Hughes8aecba72017-10-17 15:34:41 -0700180 return errno;
181 }
182 if (sched_getparam(0, &param) == -1) {
Elliott Hughes2557f732023-07-12 21:15:23 +0000183 async_safe_format_log(ANDROID_LOG_WARN, "libc", "pthread_create sched_getparam failed: %m");
Elliott Hughes8aecba72017-10-17 15:34:41 -0700184 return errno;
185 }
186 }
187 } else {
188 policy = thread->attr.sched_policy;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800189 param.sched_priority = thread->attr.sched_priority;
Elliott Hughes8aecba72017-10-17 15:34:41 -0700190 }
Elliott Hughes38f01e02017-10-27 15:28:54 -0700191 // Backwards compatibility: before P, Android didn't have pthread_attr_setinheritsched,
192 // and our behavior was neither of the POSIX behaviors.
193 if ((thread->attr.flags & (PTHREAD_ATTR_FLAG_INHERIT|PTHREAD_ATTR_FLAG_EXPLICIT)) == 0) {
194 need_set = (thread->attr.sched_policy != SCHED_NORMAL);
195 }
Elliott Hughes8aecba72017-10-17 15:34:41 -0700196 if (need_set) {
197 if (sched_setscheduler(thread->tid, policy, &param) == -1) {
198 async_safe_format_log(ANDROID_LOG_WARN, "libc",
Elliott Hughes2557f732023-07-12 21:15:23 +0000199 "pthread_create sched_setscheduler(%d, {%d}) call failed: %m", policy,
200 param.sched_priority);
Josh Gaob36efa42016-09-15 13:55:41 -0700201#if defined(__LP64__)
Elliott Hughes98624c32013-10-15 16:51:17 -0700202 // For backwards compatibility reasons, we only report failures on 64-bit devices.
Elliott Hughes8aecba72017-10-17 15:34:41 -0700203 return errno;
Elliott Hughes98624c32013-10-15 16:51:17 -0700204#endif
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800205 }
206 }
207
Elliott Hughes8aecba72017-10-17 15:34:41 -0700208 return 0;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800209}
210
Ryan Prichard45d13492019-01-03 02:51:30 -0800211// Allocate a thread's primary mapping. This mapping includes static TLS and
212// optionally a stack. Static TLS includes ELF TLS segments and the bionic_tls
213// struct.
214//
Peter Collingbournebb11ee62022-05-02 12:26:16 -0700215// The stack_guard_size must be a multiple of the page_size().
Ryan Prichard45d13492019-01-03 02:51:30 -0800216ThreadMapping __allocate_thread_mapping(size_t stack_size, size_t stack_guard_size) {
217 const StaticTlsLayout& layout = __libc_shared_globals()->static_tls_layout;
218
219 // Allocate in order: stack guard, stack, static TLS, guard page.
220 size_t mmap_size;
221 if (__builtin_add_overflow(stack_size, stack_guard_size, &mmap_size)) return {};
222 if (__builtin_add_overflow(mmap_size, layout.size(), &mmap_size)) return {};
223 if (__builtin_add_overflow(mmap_size, PTHREAD_GUARD_SIZE, &mmap_size)) return {};
224
225 // Align the result to a page size.
226 const size_t unaligned_size = mmap_size;
Peter Collingbournebb11ee62022-05-02 12:26:16 -0700227 mmap_size = __BIONIC_ALIGN(mmap_size, page_size());
Ryan Prichard45d13492019-01-03 02:51:30 -0800228 if (mmap_size < unaligned_size) return {};
229
230 // Create a new private anonymous map. Make the entire mapping PROT_NONE, then carve out a
231 // read+write area in the middle.
232 const int flags = MAP_PRIVATE | MAP_ANONYMOUS | MAP_NORESERVE;
233 char* const space = static_cast<char*>(mmap(nullptr, mmap_size, PROT_NONE, flags, -1, 0));
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800234 if (space == MAP_FAILED) {
Elliott Hughes2557f732023-07-12 21:15:23 +0000235 async_safe_format_log(ANDROID_LOG_WARN, "libc",
236 "pthread_create failed: couldn't allocate %zu-bytes mapped space: %m",
237 mmap_size);
Ryan Prichard45d13492019-01-03 02:51:30 -0800238 return {};
239 }
240 const size_t writable_size = mmap_size - stack_guard_size - PTHREAD_GUARD_SIZE;
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -0700241 int prot = PROT_READ | PROT_WRITE;
242 const char* prot_str = "R+W";
243#ifdef __aarch64__
Florian Mayer73750dc2024-03-08 14:10:48 -0800244 if (atomic_load(&__libc_memtag_stack)) {
Evgenii Stepanovf9fa32a2022-05-12 15:54:38 -0700245 prot |= PROT_MTE;
246 prot_str = "R+W+MTE";
247 }
248#endif
249 if (mprotect(space + stack_guard_size, writable_size, prot) != 0) {
250 async_safe_format_log(
251 ANDROID_LOG_WARN, "libc",
Elliott Hughes2557f732023-07-12 21:15:23 +0000252 "pthread_create failed: couldn't mprotect %s %zu-byte thread mapping region: %m", prot_str,
253 writable_size);
Ryan Prichard45d13492019-01-03 02:51:30 -0800254 munmap(space, mmap_size);
255 return {};
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800256 }
257
Ryan Prichard45d13492019-01-03 02:51:30 -0800258 ThreadMapping result = {};
259 result.mmap_base = space;
260 result.mmap_size = mmap_size;
Ryan Prichard03cef382019-06-17 17:57:19 -0700261 result.mmap_base_unguarded = space + stack_guard_size;
262 result.mmap_size_unguarded = mmap_size - stack_guard_size - PTHREAD_GUARD_SIZE;
Ryan Prichard45d13492019-01-03 02:51:30 -0800263 result.static_tls = space + mmap_size - PTHREAD_GUARD_SIZE - layout.size();
264 result.stack_base = space;
265 result.stack_top = result.static_tls;
266 return result;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800267}
268
Ryan Prichard45d13492019-01-03 02:51:30 -0800269static int __allocate_thread(pthread_attr_t* attr, bionic_tcb** tcbp, void** child_stack) {
270 ThreadMapping mapping;
271 char* stack_top;
272 bool stack_clean = false;
Yabin Cui6a7aaf42014-12-22 19:17:33 -0800273
Yi Kong32bc0fc2018-08-02 17:31:13 -0700274 if (attr->stack_base == nullptr) {
Yabin Cui8cf1b302014-12-03 21:36:24 -0800275 // The caller didn't provide a stack, so allocate one.
Ryan Prichard45d13492019-01-03 02:51:30 -0800276
Peter Collingbournebb11ee62022-05-02 12:26:16 -0700277 // Make sure the guard size is a multiple of page_size().
Ryan Prichard45d13492019-01-03 02:51:30 -0800278 const size_t unaligned_guard_size = attr->guard_size;
Peter Collingbournebb11ee62022-05-02 12:26:16 -0700279 attr->guard_size = __BIONIC_ALIGN(attr->guard_size, page_size());
Ryan Prichard45d13492019-01-03 02:51:30 -0800280 if (attr->guard_size < unaligned_guard_size) return EAGAIN;
281
282 mapping = __allocate_thread_mapping(attr->stack_size, attr->guard_size);
283 if (mapping.mmap_base == nullptr) return EAGAIN;
284
285 stack_top = mapping.stack_top;
286 attr->stack_base = mapping.stack_base;
287 stack_clean = true;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800288 } else {
Ryan Prichard45d13492019-01-03 02:51:30 -0800289 mapping = __allocate_thread_mapping(0, PTHREAD_GUARD_SIZE);
290 if (mapping.mmap_base == nullptr) return EAGAIN;
291
292 stack_top = static_cast<char*>(attr->stack_base) + attr->stack_size;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800293 }
294
Ryan Prichard45d13492019-01-03 02:51:30 -0800295 // Carve out space from the stack for the thread's pthread_internal_t. This
296 // memory isn't counted in pthread_attr_getstacksize.
Yabin Cuia2db50d2015-03-20 10:58:04 -0700297
298 // To safely access the pthread_internal_t and thread stack, we need to find a 16-byte aligned boundary.
Ryan Prichard45d13492019-01-03 02:51:30 -0800299 stack_top = align_down(stack_top - sizeof(pthread_internal_t), 16);
Yabin Cuia2db50d2015-03-20 10:58:04 -0700300
Yabin Cui8cf1b302014-12-03 21:36:24 -0800301 pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(stack_top);
Ryan Prichard45d13492019-01-03 02:51:30 -0800302 if (!stack_clean) {
Yabin Cui304348a2015-12-03 13:01:42 -0800303 // If thread was not allocated by mmap(), it may not have been cleared to zero.
304 // So assume the worst and zero it.
305 memset(thread, 0, sizeof(pthread_internal_t));
306 }
Yabin Cui8cf1b302014-12-03 21:36:24 -0800307
Ryan Prichard45d13492019-01-03 02:51:30 -0800308 // Locate static TLS structures within the mapped region.
309 const StaticTlsLayout& layout = __libc_shared_globals()->static_tls_layout;
310 auto tcb = reinterpret_cast<bionic_tcb*>(mapping.static_tls + layout.offset_bionic_tcb());
311 auto tls = reinterpret_cast<bionic_tls*>(mapping.static_tls + layout.offset_bionic_tls());
312
Ryan Prichard361c1b42019-01-15 13:45:27 -0800313 // Initialize TLS memory.
314 __init_static_tls(mapping.static_tls);
Ryan Prichard45d13492019-01-03 02:51:30 -0800315 __init_tcb(tcb, thread);
Ryan Prichard16455b52019-01-18 01:00:59 -0800316 __init_tcb_dtv(tcb);
Ryan Prichard45d13492019-01-03 02:51:30 -0800317 __init_tcb_stack_guard(tcb);
318 __init_bionic_tls_ptrs(tcb, tls);
319
320 attr->stack_size = stack_top - static_cast<char*>(attr->stack_base);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800321 thread->attr = *attr;
Ryan Prichard45d13492019-01-03 02:51:30 -0800322 thread->mmap_base = mapping.mmap_base;
323 thread->mmap_size = mapping.mmap_size;
Ryan Prichard03cef382019-06-17 17:57:19 -0700324 thread->mmap_base_unguarded = mapping.mmap_base_unguarded;
325 thread->mmap_size_unguarded = mapping.mmap_size_unguarded;
Peter Collingbourne5f45c182020-01-14 17:59:41 -0800326 thread->stack_top = reinterpret_cast<uintptr_t>(stack_top);
Ryan Prichard9cfca862018-11-22 02:44:09 -0800327
Ryan Prichard45d13492019-01-03 02:51:30 -0800328 *tcbp = tcb;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800329 *child_stack = stack_top;
330 return 0;
331}
332
Ryan Prichard03cef382019-06-17 17:57:19 -0700333void __set_stack_and_tls_vma_name(bool is_main_thread) {
334 // Name the thread's stack-and-tls area to help with debugging. This mapped area also includes
335 // static TLS data, which is typically a few pages (e.g. bionic_tls).
336 pthread_internal_t* thread = __get_thread();
337 const char* name;
338 if (is_main_thread) {
339 name = "stack_and_tls:main";
340 } else {
341 // The kernel doesn't copy the name string, but this variable will last at least as long as the
342 // mapped area. The mapped area's VMAs are unmapped with a single call to munmap.
343 auto& name_buffer = thread->vma_name_buffer;
344 static_assert(arraysize(name_buffer) >= arraysize("stack_and_tls:") + 11 + 1);
345 async_safe_format_buffer(name_buffer, arraysize(name_buffer), "stack_and_tls:%d", thread->tid);
346 name = name_buffer;
347 }
348 prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, thread->mmap_base_unguarded, thread->mmap_size_unguarded,
349 name);
350}
351
Evgenii Stepanovb92d1c32019-10-02 16:26:43 -0700352extern "C" int __rt_sigprocmask(int, const sigset64_t*, sigset64_t*, size_t);
353
Florian Mayereac5f732024-11-11 12:56:37 -0800354__attribute__((no_sanitize("hwaddress", "memtag")))
Elliott Hughesa7637a82024-07-29 18:18:30 +0000355#if defined(__aarch64__)
Peter Collingbourne26d83ba2021-06-04 14:35:13 -0700356// This function doesn't return, but it does appear in stack traces. Avoid using return PAC in this
357// function because we may end up resetting IA, which may confuse unwinders due to mismatching keys.
Elliott Hughes73091772022-03-10 18:01:04 +0000358__attribute__((target("branch-protection=bti")))
359#endif
Florian Mayereac5f732024-11-11 12:56:37 -0800360static int
361__pthread_start(void* arg) {
Elliott Hughese48b6852013-11-15 14:57:45 -0800362 pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(arg);
Florian Mayereac5f732024-11-11 12:56:37 -0800363#if defined(__aarch64__)
364 if (thread->should_allocate_stack_mte_ringbuffer) {
365 thread->bionic_tcb->tls_slot(TLS_SLOT_STACK_MTE) = __allocate_stack_mte_ringbuffer(0, thread);
366 }
367#endif
Evgenii Stepanov13e8dcb2018-09-19 16:29:12 -0700368 __hwasan_thread_enter();
369
Elliott Hughese48b6852013-11-15 14:57:45 -0800370 // Wait for our creating thread to release us. This lets it have time to
371 // notify gdb about this thread before we start doing anything.
372 // This also provides the memory barrier needed to ensure that all memory
373 // accesses previously made by the creating thread are visible to us.
Yabin Cuid26e7802015-10-22 20:07:56 -0700374 thread->startup_handshake_lock.lock();
Elliott Hughese48b6852013-11-15 14:57:45 -0800375
Ryan Prichard03cef382019-06-17 17:57:19 -0700376 __set_stack_and_tls_vma_name(false);
Peter Collingbourneda772e22018-09-06 22:20:44 -0700377 __init_additional_stacks(thread);
Evgenii Stepanovb92d1c32019-10-02 16:26:43 -0700378 __rt_sigprocmask(SIG_SETMASK, &thread->start_mask, nullptr, sizeof(thread->start_mask));
Elliott Hughesa7637a82024-07-29 18:18:30 +0000379#if defined(__aarch64__)
Peter Collingbourne811d1802021-03-25 11:46:44 -0700380 // Chrome's sandbox prevents this prctl, so only reset IA if the target SDK level is high enough.
Peter Collingbournedcbacd62021-04-22 12:13:40 -0700381 // Furthermore, processes loaded from vendor partitions may have their own sandboxes that would
Elliott Hughesa7637a82024-07-29 18:18:30 +0000382 // reject the prctl. Because no devices launched with PAC enabled before API level 31, we can
383 // avoid issues on upgrading devices by checking for PAC support before issuing the prctl.
Peter Collingbournedcbacd62021-04-22 12:13:40 -0700384 static const bool pac_supported = getauxval(AT_HWCAP) & HWCAP_PACA;
Elliott Hughesa7637a82024-07-29 18:18:30 +0000385 if (pac_supported && android_get_application_target_sdk_version() >= 31) {
Peter Collingbourne811d1802021-03-25 11:46:44 -0700386 prctl(PR_PAC_RESET_KEYS, PR_PAC_APIAKEY, 0, 0, 0);
387 }
388#endif
Elliott Hughese48b6852013-11-15 14:57:45 -0800389
Elliott Hughese48b6852013-11-15 14:57:45 -0800390 void* result = thread->start_routine(thread->start_routine_arg);
391 pthread_exit(result);
392
393 return 0;
394}
395
Elliott Hughes68ae6ad2020-07-21 16:11:30 -0700396// A no-op start routine for pthread_create failures where we've created a thread but aren't
Elliott Hughescef3fae2013-11-19 16:52:24 -0800397// going to run user code on it. We swap out the user's start routine for this and take advantage
398// of the regular thread teardown to free up resources.
399static void* __do_nothing(void*) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700400 return nullptr;
Elliott Hughescef3fae2013-11-19 16:52:24 -0800401}
402
Peter Collingbourne5d3aa862020-09-11 15:05:17 -0700403pthread_rwlock_t g_thread_creation_lock = PTHREAD_RWLOCK_INITIALIZER;
dimitryfa432522017-10-25 13:07:45 +0200404
405__BIONIC_WEAK_FOR_NATIVE_BRIDGE
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800406int pthread_create(pthread_t* thread_out, pthread_attr_t const* attr,
407 void* (*start_routine)(void*), void* arg) {
408 ErrnoRestorer errno_restorer;
409
Yabin Cui8cf1b302014-12-03 21:36:24 -0800410 pthread_attr_t thread_attr;
Philip Cuadra77d0f902019-01-25 10:39:25 -0800411 ScopedTrace trace("pthread_create");
Yi Kong32bc0fc2018-08-02 17:31:13 -0700412 if (attr == nullptr) {
Yabin Cui8cf1b302014-12-03 21:36:24 -0800413 pthread_attr_init(&thread_attr);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800414 } else {
Yabin Cui8cf1b302014-12-03 21:36:24 -0800415 thread_attr = *attr;
Yi Kong32bc0fc2018-08-02 17:31:13 -0700416 attr = nullptr; // Prevent misuse below.
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800417 }
418
Ryan Prichard45d13492019-01-03 02:51:30 -0800419 bionic_tcb* tcb = nullptr;
Yi Kong32bc0fc2018-08-02 17:31:13 -0700420 void* child_stack = nullptr;
Ryan Prichard45d13492019-01-03 02:51:30 -0800421 int result = __allocate_thread(&thread_attr, &tcb, &child_stack);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800422 if (result != 0) {
423 return result;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800424 }
425
Ryan Prichard45d13492019-01-03 02:51:30 -0800426 pthread_internal_t* thread = tcb->thread();
427
Yabin Cuid26e7802015-10-22 20:07:56 -0700428 // Create a lock for the thread to wait on once it starts so we can keep
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800429 // it from doing anything until after we notify the debugger about it
430 //
431 // This also provides the memory barrier we need to ensure that all
432 // memory accesses previously performed by this thread are visible to
433 // the new thread.
Yabin Cuid26e7802015-10-22 20:07:56 -0700434 thread->startup_handshake_lock.init(false);
435 thread->startup_handshake_lock.lock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800436
Elliott Hughes70b24b12013-11-15 11:51:07 -0800437 thread->start_routine = start_routine;
438 thread->start_routine_arg = arg;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800439
Elliott Hughes7086ad62014-06-19 16:39:01 -0700440 thread->set_cached_pid(getpid());
441
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800442 int flags = CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND | CLONE_THREAD | CLONE_SYSVSEM |
443 CLONE_SETTLS | CLONE_PARENT_SETTID | CLONE_CHILD_CLEARTID;
Ryan Prichard45d13492019-01-03 02:51:30 -0800444 void* tls = &tcb->tls_slot(0);
Elliott Hughes80906142013-11-26 13:57:21 -0800445#if defined(__i386__)
446 // On x86 (but not x86-64), CLONE_SETTLS takes a pointer to a struct user_desc rather than
Elliott Hughes0d236aa2014-05-09 14:42:16 -0700447 // a pointer to the TLS itself.
448 user_desc tls_descriptor;
449 __init_user_desc(&tls_descriptor, false, tls);
450 tls = &tls_descriptor;
Elliott Hughes80906142013-11-26 13:57:21 -0800451#endif
Evgenii Stepanovb92d1c32019-10-02 16:26:43 -0700452
Peter Collingbourne5d3aa862020-09-11 15:05:17 -0700453 ScopedReadLock locker(&g_thread_creation_lock);
454
Florian Mayerc0aa70a2024-06-24 15:49:20 -0700455// This has to be done under g_thread_creation_lock or g_thread_list_lock to avoid racing with
456// __pthread_internal_remap_stack_with_mte.
457#ifdef __aarch64__
Florian Mayereac5f732024-11-11 12:56:37 -0800458 thread->should_allocate_stack_mte_ringbuffer = __libc_memtag_stack_abi;
459#else
460 thread->should_allocate_stack_mte_ringbuffer = false;
Florian Mayerc0aa70a2024-06-24 15:49:20 -0700461#endif
462
Evgenii Stepanovb92d1c32019-10-02 16:26:43 -0700463 sigset64_t block_all_mask;
464 sigfillset64(&block_all_mask);
465 __rt_sigprocmask(SIG_SETMASK, &block_all_mask, &thread->start_mask, sizeof(thread->start_mask));
Elliott Hughes0d236aa2014-05-09 14:42:16 -0700466 int rc = clone(__pthread_start, child_stack, flags, thread, &(thread->tid), tls, &(thread->tid));
Evgenii Stepanovb92d1c32019-10-02 16:26:43 -0700467 __rt_sigprocmask(SIG_SETMASK, &thread->start_mask, nullptr, sizeof(thread->start_mask));
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800468 if (rc == -1) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800469 int clone_errno = errno;
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800470 // We don't have to unlock the mutex at all because clone(2) failed so there's no child waiting to
471 // be unblocked, but we're about to unmap the memory the mutex is stored in, so this serves as a
472 // reminder that you can't rewrite this function to use a ScopedPthreadMutexLocker.
Yabin Cuid26e7802015-10-22 20:07:56 -0700473 thread->startup_handshake_lock.unlock();
Elliott Hughes7484c212017-02-02 02:41:38 +0000474 if (thread->mmap_size != 0) {
Ryan Prichard45d13492019-01-03 02:51:30 -0800475 munmap(thread->mmap_base, thread->mmap_size);
Elliott Hughes7484c212017-02-02 02:41:38 +0000476 }
Elliott Hughes2557f732023-07-12 21:15:23 +0000477 async_safe_format_log(ANDROID_LOG_WARN, "libc", "pthread_create failed: clone failed: %m");
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800478 return clone_errno;
479 }
480
Yabin Cui673b15e2015-03-19 14:19:19 -0700481 int init_errno = __init_thread(thread);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800482 if (init_errno != 0) {
Elliott Hughescef3fae2013-11-19 16:52:24 -0800483 // Mark the thread detached and replace its start_routine with a no-op.
484 // Letting the thread run is the easiest way to clean up its resources.
Yabin Cui58cf31b2015-03-06 17:23:53 -0800485 atomic_store(&thread->join_state, THREAD_DETACHED);
Elliott Hughes7484c212017-02-02 02:41:38 +0000486 __pthread_internal_add(thread);
Elliott Hughescef3fae2013-11-19 16:52:24 -0800487 thread->start_routine = __do_nothing;
Yabin Cuid26e7802015-10-22 20:07:56 -0700488 thread->startup_handshake_lock.unlock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800489 return init_errno;
490 }
491
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800492 // Publish the pthread_t and unlock the mutex to let the new thread start running.
Elliott Hughes7484c212017-02-02 02:41:38 +0000493 *thread_out = __pthread_internal_add(thread);
Yabin Cuid26e7802015-10-22 20:07:56 -0700494 thread->startup_handshake_lock.unlock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800495
496 return 0;
497}