blob: 7986adace2853f9db745b97a7479a4708a6be836 [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>
Elliott Hughes4b4a8822013-02-12 17:15:59 -080033#include <sys/mman.h>
Elliott Hughes7086ad62014-06-19 16:39:01 -070034#include <unistd.h>
Elliott Hughes4b4a8822013-02-12 17:15:59 -080035
36#include "pthread_internal.h"
37
Christopher Ferris03eebcb2014-06-13 13:57:51 -070038#include "private/bionic_macros.h"
Yabin Cui8cf1b302014-12-03 21:36:24 -080039#include "private/bionic_prctl.h"
Elliott Hughes4b4a8822013-02-12 17:15:59 -080040#include "private/bionic_ssp.h"
41#include "private/bionic_tls.h"
Elliott Hughes8f2a5a02013-03-15 15:30:25 -070042#include "private/libc_logging.h"
Elliott Hughes4b4a8822013-02-12 17:15:59 -080043#include "private/ErrnoRestorer.h"
44#include "private/ScopedPthreadMutexLocker.h"
45
Elliott Hughes0d236aa2014-05-09 14:42:16 -070046// x86 uses segment descriptors rather than a direct pointer to TLS.
47#if __i386__
48#include <asm/ldt.h>
Elliott Hughes01b85d52016-02-09 22:44:16 -080049void __init_user_desc(struct user_desc*, bool, void*);
Elliott Hughes0d236aa2014-05-09 14:42:16 -070050#endif
51
Elliott Hughesf2cea022014-03-13 14:54:53 -070052extern "C" int __isthreaded;
53
Elliott Hughes70b24b12013-11-15 11:51:07 -080054// This code is used both by each new pthread and the code that initializes the main thread.
Elliott Hughesaf8aebe2014-01-14 17:16:18 -080055void __init_tls(pthread_internal_t* thread) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -080056 // Slot 0 must point to itself. The x86 Linux kernel reads the TLS from %fs:0.
Elliott Hughes40eabe22013-02-14 18:59:37 -080057 thread->tls[TLS_SLOT_SELF] = thread->tls;
58 thread->tls[TLS_SLOT_THREAD_ID] = thread;
Josh Gaob6453c52016-06-29 16:47:53 -070059}
60
61void __init_thread_stack_guard(pthread_internal_t* thread) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -080062 // GCC looks in the TLS for the stack guard on x86, so copy it there from our global.
Elliott Hughes8b5df392015-01-21 16:19:07 -080063 thread->tls[TLS_SLOT_STACK_GUARD] = reinterpret_cast<void*>(__stack_chk_guard);
Elliott Hughes70b24b12013-11-15 11:51:07 -080064}
Elliott Hughes4b4a8822013-02-12 17:15:59 -080065
Elliott Hughes70b24b12013-11-15 11:51:07 -080066void __init_alternate_signal_stack(pthread_internal_t* thread) {
Elliott Hughes84114c82013-07-17 13:33:19 -070067 // Create and set an alternate signal stack.
Yabin Cuief115002015-03-30 20:03:57 -070068 void* stack_base = mmap(NULL, SIGNAL_STACK_SIZE, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
69 if (stack_base != MAP_FAILED) {
70
71 // Create a guard page to catch stack overflows in signal handlers.
72 if (mprotect(stack_base, PAGE_SIZE, PROT_NONE) == -1) {
73 munmap(stack_base, SIGNAL_STACK_SIZE);
74 return;
75 }
76 stack_t ss;
77 ss.ss_sp = reinterpret_cast<uint8_t*>(stack_base) + PAGE_SIZE;
78 ss.ss_size = SIGNAL_STACK_SIZE - PAGE_SIZE;
Elliott Hughes84114c82013-07-17 13:33:19 -070079 ss.ss_flags = 0;
80 sigaltstack(&ss, NULL);
Yabin Cuief115002015-03-30 20:03:57 -070081 thread->alternate_signal_stack = stack_base;
Yabin Cui8cf1b302014-12-03 21:36:24 -080082
83 // We can only use const static allocated string for mapped region name, as Android kernel
84 // uses the string pointer directly when dumping /proc/pid/maps.
Elliott Hughesa3125fd2015-03-31 02:42:39 +000085 prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, ss.ss_sp, ss.ss_size, "thread signal stack");
Elliott Hugheseeb6b572015-07-01 23:48:39 -070086 prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, stack_base, PAGE_SIZE, "thread signal stack guard page");
Elliott Hughes84114c82013-07-17 13:33:19 -070087 }
Elliott Hughes4b4a8822013-02-12 17:15:59 -080088}
89
Yabin Cui673b15e2015-03-19 14:19:19 -070090int __init_thread(pthread_internal_t* thread) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -080091 int error = 0;
92
Yabin Cui58cf31b2015-03-06 17:23:53 -080093 if (__predict_true((thread->attr.flags & PTHREAD_ATTR_FLAG_DETACHED) == 0)) {
94 atomic_init(&thread->join_state, THREAD_NOT_JOINED);
95 } else {
96 atomic_init(&thread->join_state, THREAD_DETACHED);
97 }
98
Elliott Hughes4b4a8822013-02-12 17:15:59 -080099 // Set the scheduling policy/priority of the thread.
100 if (thread->attr.sched_policy != SCHED_NORMAL) {
Elliott Hughesc3f11402013-10-30 14:40:09 -0700101 sched_param param;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800102 param.sched_priority = thread->attr.sched_priority;
Elliott Hughes40eabe22013-02-14 18:59:37 -0800103 if (sched_setscheduler(thread->tid, thread->attr.sched_policy, &param) == -1) {
Josh Gaob36efa42016-09-15 13:55:41 -0700104#if defined(__LP64__)
Elliott Hughes98624c32013-10-15 16:51:17 -0700105 // For backwards compatibility reasons, we only report failures on 64-bit devices.
106 error = errno;
107#endif
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700108 __libc_format_log(ANDROID_LOG_WARN, "libc",
109 "pthread_create sched_setscheduler call failed: %s", strerror(errno));
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800110 }
111 }
112
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800113 thread->cleanup_stack = NULL;
114
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800115 return error;
116}
117
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800118static void* __create_thread_mapped_space(size_t mmap_size, size_t stack_guard_size) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800119 // Create a new private anonymous map.
120 int prot = PROT_READ | PROT_WRITE;
121 int flags = MAP_PRIVATE | MAP_ANONYMOUS | MAP_NORESERVE;
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800122 void* space = mmap(NULL, mmap_size, prot, flags, -1, 0);
123 if (space == MAP_FAILED) {
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700124 __libc_format_log(ANDROID_LOG_WARN,
125 "libc",
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800126 "pthread_create failed: couldn't allocate %zu-bytes mapped space: %s",
127 mmap_size, strerror(errno));
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800128 return NULL;
129 }
130
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800131 // Stack is at the lower end of mapped space, stack guard region is at the lower end of stack.
132 // Set the stack guard region to PROT_NONE, so we can detect thread stack overflow.
133 if (mprotect(space, stack_guard_size, PROT_NONE) == -1) {
Elliott Hughesb95cf0d2013-07-15 14:51:07 -0700134 __libc_format_log(ANDROID_LOG_WARN, "libc",
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800135 "pthread_create failed: couldn't mprotect PROT_NONE %zu-byte stack guard region: %s",
136 stack_guard_size, strerror(errno));
137 munmap(space, mmap_size);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800138 return NULL;
139 }
Elliott Hugheseeb6b572015-07-01 23:48:39 -0700140 prctl(PR_SET_VMA, PR_SET_VMA_ANON_NAME, space, stack_guard_size, "thread stack guard page");
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800141
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800142 return space;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800143}
144
Yabin Cui8cf1b302014-12-03 21:36:24 -0800145static int __allocate_thread(pthread_attr_t* attr, pthread_internal_t** threadp, void** child_stack) {
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800146 size_t mmap_size;
Yabin Cui6a7aaf42014-12-22 19:17:33 -0800147 uint8_t* stack_top;
148
Yabin Cui8cf1b302014-12-03 21:36:24 -0800149 if (attr->stack_base == NULL) {
150 // The caller didn't provide a stack, so allocate one.
151 // Make sure the stack size and guard size are multiples of PAGE_SIZE.
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800152 mmap_size = BIONIC_ALIGN(attr->stack_size + sizeof(pthread_internal_t), PAGE_SIZE);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800153 attr->guard_size = BIONIC_ALIGN(attr->guard_size, PAGE_SIZE);
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800154 attr->stack_base = __create_thread_mapped_space(mmap_size, attr->guard_size);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800155 if (attr->stack_base == NULL) {
156 return EAGAIN;
157 }
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800158 stack_top = reinterpret_cast<uint8_t*>(attr->stack_base) + mmap_size;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800159 } else {
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800160 // Remember the mmap size is zero and we don't need to free it.
161 mmap_size = 0;
Yabin Cui6a7aaf42014-12-22 19:17:33 -0800162 stack_top = reinterpret_cast<uint8_t*>(attr->stack_base) + attr->stack_size;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800163 }
164
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800165 // Mapped space(or user allocated stack) is used for:
Yabin Cuia2db50d2015-03-20 10:58:04 -0700166 // pthread_internal_t
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800167 // thread stack (including guard page)
Yabin Cuia2db50d2015-03-20 10:58:04 -0700168
169 // To safely access the pthread_internal_t and thread stack, we need to find a 16-byte aligned boundary.
170 stack_top = reinterpret_cast<uint8_t*>(
171 (reinterpret_cast<uintptr_t>(stack_top) - sizeof(pthread_internal_t)) & ~0xf);
172
Yabin Cui8cf1b302014-12-03 21:36:24 -0800173 pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(stack_top);
Yabin Cui304348a2015-12-03 13:01:42 -0800174 if (mmap_size == 0) {
175 // If thread was not allocated by mmap(), it may not have been cleared to zero.
176 // So assume the worst and zero it.
177 memset(thread, 0, sizeof(pthread_internal_t));
178 }
Yabin Cui917d3902015-01-08 12:32:42 -0800179 attr->stack_size = stack_top - reinterpret_cast<uint8_t*>(attr->stack_base);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800180
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800181 thread->mmap_size = mmap_size;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800182 thread->attr = *attr;
183 __init_tls(thread);
Josh Gao4159e862016-09-01 22:58:44 -0700184 __init_thread_stack_guard(thread);
Yabin Cui8cf1b302014-12-03 21:36:24 -0800185
186 *threadp = thread;
187 *child_stack = stack_top;
188 return 0;
189}
190
Elliott Hughese48b6852013-11-15 14:57:45 -0800191static int __pthread_start(void* arg) {
192 pthread_internal_t* thread = reinterpret_cast<pthread_internal_t*>(arg);
193
194 // Wait for our creating thread to release us. This lets it have time to
195 // notify gdb about this thread before we start doing anything.
196 // This also provides the memory barrier needed to ensure that all memory
197 // accesses previously made by the creating thread are visible to us.
Yabin Cuid26e7802015-10-22 20:07:56 -0700198 thread->startup_handshake_lock.lock();
Elliott Hughese48b6852013-11-15 14:57:45 -0800199
200 __init_alternate_signal_stack(thread);
201
Elliott Hughese48b6852013-11-15 14:57:45 -0800202 void* result = thread->start_routine(thread->start_routine_arg);
203 pthread_exit(result);
204
205 return 0;
206}
207
Elliott Hughescef3fae2013-11-19 16:52:24 -0800208// A dummy start routine for pthread_create failures where we've created a thread but aren't
209// going to run user code on it. We swap out the user's start routine for this and take advantage
210// of the regular thread teardown to free up resources.
211static void* __do_nothing(void*) {
212 return NULL;
213}
214
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800215int pthread_create(pthread_t* thread_out, pthread_attr_t const* attr,
216 void* (*start_routine)(void*), void* arg) {
217 ErrnoRestorer errno_restorer;
218
Elliott Hughesf2cea022014-03-13 14:54:53 -0700219 // Inform the rest of the C library that at least one thread was created.
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800220 __isthreaded = 1;
221
Yabin Cui8cf1b302014-12-03 21:36:24 -0800222 pthread_attr_t thread_attr;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800223 if (attr == NULL) {
Yabin Cui8cf1b302014-12-03 21:36:24 -0800224 pthread_attr_init(&thread_attr);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800225 } else {
Yabin Cui8cf1b302014-12-03 21:36:24 -0800226 thread_attr = *attr;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800227 attr = NULL; // Prevent misuse below.
228 }
229
Yabin Cui8cf1b302014-12-03 21:36:24 -0800230 pthread_internal_t* thread = NULL;
231 void* child_stack = NULL;
232 int result = __allocate_thread(&thread_attr, &thread, &child_stack);
233 if (result != 0) {
234 return result;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800235 }
236
Yabin Cuid26e7802015-10-22 20:07:56 -0700237 // Create a lock for the thread to wait on once it starts so we can keep
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800238 // it from doing anything until after we notify the debugger about it
239 //
240 // This also provides the memory barrier we need to ensure that all
241 // memory accesses previously performed by this thread are visible to
242 // the new thread.
Yabin Cuid26e7802015-10-22 20:07:56 -0700243 thread->startup_handshake_lock.init(false);
244 thread->startup_handshake_lock.lock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800245
Elliott Hughes70b24b12013-11-15 11:51:07 -0800246 thread->start_routine = start_routine;
247 thread->start_routine_arg = arg;
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800248
Elliott Hughes7086ad62014-06-19 16:39:01 -0700249 thread->set_cached_pid(getpid());
250
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800251 int flags = CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND | CLONE_THREAD | CLONE_SYSVSEM |
252 CLONE_SETTLS | CLONE_PARENT_SETTID | CLONE_CHILD_CLEARTID;
Yabin Cui8cf1b302014-12-03 21:36:24 -0800253 void* tls = reinterpret_cast<void*>(thread->tls);
Elliott Hughes80906142013-11-26 13:57:21 -0800254#if defined(__i386__)
255 // 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 -0700256 // a pointer to the TLS itself.
257 user_desc tls_descriptor;
258 __init_user_desc(&tls_descriptor, false, tls);
259 tls = &tls_descriptor;
Elliott Hughes80906142013-11-26 13:57:21 -0800260#endif
Elliott Hughes0d236aa2014-05-09 14:42:16 -0700261 int rc = clone(__pthread_start, child_stack, flags, thread, &(thread->tid), tls, &(thread->tid));
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800262 if (rc == -1) {
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800263 int clone_errno = errno;
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800264 // We don't have to unlock the mutex at all because clone(2) failed so there's no child waiting to
265 // be unblocked, but we're about to unmap the memory the mutex is stored in, so this serves as a
266 // reminder that you can't rewrite this function to use a ScopedPthreadMutexLocker.
Yabin Cuid26e7802015-10-22 20:07:56 -0700267 thread->startup_handshake_lock.unlock();
Yabin Cuiba8dfc22015-01-06 09:31:00 -0800268 if (thread->mmap_size != 0) {
269 munmap(thread->attr.stack_base, thread->mmap_size);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800270 }
Elliott Hughescfa089d2013-03-29 16:35:00 -0700271 __libc_format_log(ANDROID_LOG_WARN, "libc", "pthread_create failed: clone failed: %s", strerror(errno));
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800272 return clone_errno;
273 }
274
Yabin Cui673b15e2015-03-19 14:19:19 -0700275 int init_errno = __init_thread(thread);
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800276 if (init_errno != 0) {
Elliott Hughescef3fae2013-11-19 16:52:24 -0800277 // Mark the thread detached and replace its start_routine with a no-op.
278 // Letting the thread run is the easiest way to clean up its resources.
Yabin Cui58cf31b2015-03-06 17:23:53 -0800279 atomic_store(&thread->join_state, THREAD_DETACHED);
Yabin Cui799cb352015-03-25 16:18:21 -0700280 __pthread_internal_add(thread);
Elliott Hughescef3fae2013-11-19 16:52:24 -0800281 thread->start_routine = __do_nothing;
Yabin Cuid26e7802015-10-22 20:07:56 -0700282 thread->startup_handshake_lock.unlock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800283 return init_errno;
284 }
285
Elliott Hughes877ec6d2013-11-15 17:40:18 -0800286 // Publish the pthread_t and unlock the mutex to let the new thread start running.
Yabin Cui673b15e2015-03-19 14:19:19 -0700287 *thread_out = __pthread_internal_add(thread);
Yabin Cuid26e7802015-10-22 20:07:56 -0700288 thread->startup_handshake_lock.unlock();
Elliott Hughes4b4a8822013-02-12 17:15:59 -0800289
290 return 0;
291}