blob: e441bdac84b68d4204a380e552d29251861e4dd9 [file] [log] [blame]
Rich Felkerf68a3462013-09-16 10:54:31 -04001#define _GNU_SOURCE
Rich Felker0b44a032011-02-12 00:22:29 -05002#include "pthread_impl.h"
Rich Felkerdba68bf2011-07-30 08:02:14 -04003#include "stdio_impl.h"
Szabolcs Nagyb20760c2013-09-15 02:00:32 +00004#include "libc.h"
Rich Felkerefd4d872012-11-08 17:04:20 -05005#include <sys/mman.h>
Rich Felkera6293282014-08-22 14:05:10 -04006#include <string.h>
Rich Felker0b44a032011-02-12 00:22:29 -05007
Rich Felkerb2486a82011-04-06 20:27:07 -04008static void dummy_0()
9{
10}
Rich Felkerdcd60372012-10-05 11:51:50 -040011weak_alias(dummy_0, __acquire_ptc);
12weak_alias(dummy_0, __release_ptc);
Rich Felkera6054e32011-04-19 23:09:14 -040013weak_alias(dummy_0, __pthread_tsd_run_dtors);
Rich Felkerb092f1c2014-08-16 02:28:34 -040014weak_alias(dummy_0, __do_private_robust_list);
Rich Felker5345c9b2014-08-23 23:35:10 -040015weak_alias(dummy_0, __do_orphaned_stdio_locks);
Rich Felkerfd80cfa2011-04-03 02:33:50 -040016
Rich Felker0c05bd32012-09-06 23:34:10 -040017_Noreturn void pthread_exit(void *result)
Rich Felker1a9a2ff2011-02-13 19:58:30 -050018{
Rich Felkerdf151682014-06-10 04:02:40 -040019 pthread_t self = __pthread_self();
Rich Felkerd0ba0982013-04-26 16:16:04 -040020 sigset_t set;
Rich Felker1a9a2ff2011-02-13 19:58:30 -050021
Rich Felkerafc35d52012-02-09 02:33:08 -050022 self->result = result;
23
24 while (self->cancelbuf) {
25 void (*f)(void *) = self->cancelbuf->__f;
26 void *x = self->cancelbuf->__x;
27 self->cancelbuf = self->cancelbuf->__next;
28 f(x);
Rich Felker1ebde9c2011-04-17 17:06:05 -040029 }
Rich Felker1a9a2ff2011-02-13 19:58:30 -050030
Rich Felkera6054e32011-04-19 23:09:14 -040031 __pthread_tsd_run_dtors();
Rich Felker1a9a2ff2011-02-13 19:58:30 -050032
Rich Felkerbbbe87e2012-07-12 11:23:43 -040033 __lock(self->exitlock);
Rich Felkerf58c8a02011-06-14 01:25:17 -040034
Rich Felker5fcebcd2011-03-10 18:31:37 -050035 /* Mark this thread dead before decrementing count */
Rich Felkerbbbe87e2012-07-12 11:23:43 -040036 __lock(self->killlock);
Rich Felker5fcebcd2011-03-10 18:31:37 -050037 self->dead = 1;
Rich Felker19eb13b2011-02-19 11:04:36 -050038
Rich Felker6e531f92013-04-26 16:04:30 -040039 /* Block all signals before decrementing the live thread count.
40 * This is important to ensure that dynamically allocated TLS
41 * is not under-allocated/over-committed, and possibly for other
42 * reasons as well. */
Rich Felker2c074b02013-04-26 19:48:01 -040043 __block_all_sigs(&set);
Rich Felker23f21c32013-04-26 15:47:44 -040044
Rich Felkerd674f852013-04-26 17:51:22 -040045 /* Wait to unlock the kill lock, which governs functions like
46 * pthread_kill which target a thread id, until signals have
47 * been blocked. This precludes observation of the thread id
48 * as a live thread (with application code running in it) after
49 * the thread was reported dead by ESRCH being returned. */
50 __unlock(self->killlock);
51
Rich Felkerd0ba0982013-04-26 16:16:04 -040052 /* It's impossible to determine whether this is "the last thread"
53 * until performing the atomic decrement, since multiple threads
54 * could exit at the same time. For the last thread, revert the
55 * decrement and unblock signals to give the atexit handlers and
56 * stdio cleanup code a consistent state. */
57 if (a_fetch_add(&libc.threads_minus_1, -1)==0) {
58 libc.threads_minus_1 = 0;
Rich Felker2c074b02013-04-26 19:48:01 -040059 __restore_sigs(&set);
Rich Felkerd0ba0982013-04-26 16:16:04 -040060 exit(0);
61 }
Rich Felkerfb11b6b2011-02-19 10:38:57 -050062
Rich Felker0bc03092014-07-02 19:33:19 -040063 if (self->locale != &libc.global_locale) {
64 a_dec(&libc.uselocale_cnt);
65 if (self->locale->ctype_utf8)
66 a_dec(&libc.bytelocale_cnt_minus_1);
67 }
68
Rich Felkerb092f1c2014-08-16 02:28:34 -040069 __do_private_robust_list();
Rich Felker5345c9b2014-08-23 23:35:10 -040070 __do_orphaned_stdio_locks();
Rich Felkerb092f1c2014-08-16 02:28:34 -040071
Rich Felker5fcebcd2011-03-10 18:31:37 -050072 if (self->detached && self->map_base) {
Rich Felker6e531f92013-04-26 16:04:30 -040073 /* Detached threads must avoid the kernel clear_child_tid
74 * feature, since the virtual address will have been
75 * unmapped and possibly already reused by a new mapping
76 * at the time the kernel would perform the write. In
77 * the case of threads that started out detached, the
78 * initial clone flags are correct, but if the thread was
79 * detached later (== 2), we need to clear it here. */
80 if (self->detached == 2) __syscall(SYS_set_tid_address, 0);
81
82 /* The following call unmaps the thread's stack mapping
83 * and then exits without touching the stack. */
Rich Felker1a9a2ff2011-02-13 19:58:30 -050084 __unmapself(self->map_base, self->map_size);
Rich Felker5fcebcd2011-03-10 18:31:37 -050085 }
Rich Felker1a9a2ff2011-02-13 19:58:30 -050086
Rich Felker0c05bd32012-09-06 23:34:10 -040087 for (;;) __syscall(SYS_exit, 0);
Rich Felker1a9a2ff2011-02-13 19:58:30 -050088}
Rich Felker0b44a032011-02-12 00:22:29 -050089
Rich Felkercfd892f2012-05-23 14:13:54 -040090void __do_cleanup_push(struct __ptcb *cb)
Rich Felker5f37fc12011-08-03 19:57:46 -040091{
Rich Felkerdab441a2014-03-24 16:57:11 -040092 if (!libc.has_thread_pointer) return;
Rich Felkerdf151682014-06-10 04:02:40 -040093 struct pthread *self = __pthread_self();
Rich Felker5f37fc12011-08-03 19:57:46 -040094 cb->__next = self->cancelbuf;
95 self->cancelbuf = cb;
96}
97
Rich Felkercfd892f2012-05-23 14:13:54 -040098void __do_cleanup_pop(struct __ptcb *cb)
Rich Felker5f37fc12011-08-03 19:57:46 -040099{
Rich Felkerdab441a2014-03-24 16:57:11 -0400100 if (!libc.has_thread_pointer) return;
Rich Felkerafc35d52012-02-09 02:33:08 -0500101 __pthread_self()->cancelbuf = cb->__next;
Rich Felker5f37fc12011-08-03 19:57:46 -0400102}
103
Rich Felker3f72cda2011-09-18 10:14:37 -0400104static int start(void *p)
Rich Felker0b44a032011-02-12 00:22:29 -0500105{
Rich Felker3f72cda2011-09-18 10:14:37 -0400106 pthread_t self = p;
Rich Felker1e21e782012-11-11 15:38:04 -0500107 if (self->startlock[0]) {
108 __wait(self->startlock, 0, 1, 1);
109 if (self->startlock[0]) {
110 self->detached = 2;
111 pthread_exit(0);
112 }
Rich Felker2c074b02013-04-26 19:48:01 -0400113 __restore_sigs(self->sigmask);
Rich Felker1e21e782012-11-11 15:38:04 -0500114 }
Rich Felker99b8a252011-05-07 23:23:58 -0400115 if (self->unblock_cancel)
Rich Felker2f437042012-08-09 22:52:13 -0400116 __syscall(SYS_rt_sigprocmask, SIG_UNBLOCK,
Rich Felkerccc7b4c2013-03-26 23:07:31 -0400117 SIGPT_SET, 0, _NSIG/8);
Rich Felker0b44a032011-02-12 00:22:29 -0500118 pthread_exit(self->start(self->start_arg));
Rich Felker3f72cda2011-09-18 10:14:37 -0400119 return 0;
Rich Felker0b44a032011-02-12 00:22:29 -0500120}
121
Rich Felker0b44a032011-02-12 00:22:29 -0500122#define ROUND(x) (((x)+PAGE_SIZE-1)&-PAGE_SIZE)
123
124/* pthread_key_create.c overrides this */
Rich Felkera6adb2b2014-07-16 21:32:06 -0400125static volatile size_t dummy = 0;
Rich Felker0b44a032011-02-12 00:22:29 -0500126weak_alias(dummy, __pthread_tsd_size);
Rich Felkera6adb2b2014-07-16 21:32:06 -0400127static void *dummy_tsd[1] = { 0 };
Rich Felkerdab441a2014-03-24 16:57:11 -0400128weak_alias(dummy_tsd, __pthread_tsd_main);
Rich Felker0b44a032011-02-12 00:22:29 -0500129
Rich Felkera6adb2b2014-07-16 21:32:06 -0400130static FILE *volatile dummy_file = 0;
Rich Felkerdba68bf2011-07-30 08:02:14 -0400131weak_alias(dummy_file, __stdin_used);
132weak_alias(dummy_file, __stdout_used);
133weak_alias(dummy_file, __stderr_used);
134
135static void init_file_lock(FILE *f)
136{
137 if (f && f->lock<0) f->lock = 0;
138}
139
Rich Felkerdcd60372012-10-05 11:51:50 -0400140void *__copy_tls(unsigned char *);
Rich Felker8431d792012-10-04 16:35:46 -0400141
Rich Felkerd5142642013-02-01 22:10:40 -0500142int pthread_create(pthread_t *restrict res, const pthread_attr_t *restrict attrp, void *(*entry)(void *), void *restrict arg)
Rich Felker0b44a032011-02-12 00:22:29 -0500143{
Rich Felker0b44a032011-02-12 00:22:29 -0500144 int ret;
Rich Felkerd5142642013-02-01 22:10:40 -0500145 size_t size, guard;
Rich Felkerdab441a2014-03-24 16:57:11 -0400146 struct pthread *self, *new;
Rich Felker14a835b2013-03-31 23:25:55 -0400147 unsigned char *map = 0, *stack = 0, *tsd = 0, *stack_limit;
Rich Felkerf68a3462013-09-16 10:54:31 -0400148 unsigned flags = CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND
Rich Felker271c2112013-09-16 10:56:01 -0400149 | CLONE_THREAD | CLONE_SYSVSEM | CLONE_SETTLS
Rich Felkerf68a3462013-09-16 10:54:31 -0400150 | CLONE_PARENT_SETTID | CLONE_CHILD_CLEARTID | CLONE_DETACHED;
Rich Felker1e21e782012-11-11 15:38:04 -0500151 int do_sched = 0;
Rich Felkerd5142642013-02-01 22:10:40 -0500152 pthread_attr_t attr = {0};
Rich Felker0b44a032011-02-12 00:22:29 -0500153
Rich Felkerdab441a2014-03-24 16:57:11 -0400154 if (!libc.can_do_threads) return ENOSYS;
155 self = __pthread_self();
Rich Felker9080cc12011-04-17 16:53:54 -0400156 if (!libc.threaded) {
Rich Felkerdba68bf2011-07-30 08:02:14 -0400157 for (FILE *f=libc.ofl_head; f; f=f->next)
158 init_file_lock(f);
159 init_file_lock(__stdin_used);
160 init_file_lock(__stdout_used);
161 init_file_lock(__stderr_used);
Rich Felkerdab441a2014-03-24 16:57:11 -0400162 __syscall(SYS_rt_sigprocmask, SIG_UNBLOCK, SIGPT_SET, 0, _NSIG/8);
Rich Felker689e0e62014-03-24 17:39:08 -0400163 self->tsd = (void **)__pthread_tsd_main;
Rich Felker9080cc12011-04-17 16:53:54 -0400164 libc.threaded = 1;
165 }
Rich Felkerd5142642013-02-01 22:10:40 -0500166 if (attrp) attr = *attrp;
Rich Felker0b44a032011-02-12 00:22:29 -0500167
Rich Felkerdcd60372012-10-05 11:51:50 -0400168 __acquire_ptc();
169
Rich Felkerd5142642013-02-01 22:10:40 -0500170 if (attr._a_stackaddr) {
171 size_t need = libc.tls_size + __pthread_tsd_size;
172 size = attr._a_stacksize + DEFAULT_STACK_SIZE;
173 stack = (void *)(attr._a_stackaddr & -16);
Rich Felkerced64992013-04-06 01:15:08 -0400174 stack_limit = (void *)(attr._a_stackaddr - size);
Rich Felkerd5142642013-02-01 22:10:40 -0500175 /* Use application-provided stack for TLS only when
176 * it does not take more than ~12% or 2k of the
177 * application's stack space. */
178 if (need < size/8 && need < 2048) {
179 tsd = stack - __pthread_tsd_size;
180 stack = tsd - libc.tls_size;
Rich Felkera6293282014-08-22 14:05:10 -0400181 memset(stack, 0, need);
Rich Felkerd5142642013-02-01 22:10:40 -0500182 } else {
183 size = ROUND(need);
184 guard = 0;
Rich Felker819006a2012-06-09 19:53:29 -0400185 }
Rich Felkerd5142642013-02-01 22:10:40 -0500186 } else {
187 guard = ROUND(DEFAULT_GUARD_SIZE + attr._a_guardsize);
188 size = guard + ROUND(DEFAULT_STACK_SIZE + attr._a_stacksize
189 + libc.tls_size + __pthread_tsd_size);
190 }
191
192 if (!tsd) {
Rich Felker8431d792012-10-04 16:35:46 -0400193 if (guard) {
194 map = mmap(0, size, PROT_NONE, MAP_PRIVATE|MAP_ANON, -1, 0);
Rich Felker72768ea2013-02-01 22:25:19 -0500195 if (map == MAP_FAILED) goto fail;
Rich Felker8431d792012-10-04 16:35:46 -0400196 if (mprotect(map+guard, size-guard, PROT_READ|PROT_WRITE)) {
197 munmap(map, size);
Rich Felker72768ea2013-02-01 22:25:19 -0500198 goto fail;
Rich Felker8431d792012-10-04 16:35:46 -0400199 }
200 } else {
201 map = mmap(0, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, -1, 0);
Rich Felker72768ea2013-02-01 22:25:19 -0500202 if (map == MAP_FAILED) goto fail;
Rich Felker8431d792012-10-04 16:35:46 -0400203 }
Rich Felker819006a2012-06-09 19:53:29 -0400204 tsd = map + size - __pthread_tsd_size;
Rich Felker14a835b2013-03-31 23:25:55 -0400205 if (!stack) {
206 stack = tsd - libc.tls_size;
207 stack_limit = map + guard;
208 }
Rich Felker11e4b922011-05-07 23:39:48 -0400209 }
Rich Felkerd5142642013-02-01 22:10:40 -0500210
211 new = __copy_tls(tsd - libc.tls_size);
Rich Felker0b44a032011-02-12 00:22:29 -0500212 new->map_base = map;
213 new->map_size = size;
Rich Felker14a835b2013-03-31 23:25:55 -0400214 new->stack = stack;
215 new->stack_size = stack - stack_limit;
Rich Felker0b44a032011-02-12 00:22:29 -0500216 new->start = entry;
217 new->start_arg = arg;
218 new->self = new;
219 new->tsd = (void *)tsd;
Rich Felker0bc03092014-07-02 19:33:19 -0400220 new->locale = &libc.global_locale;
Rich Felkerd5142642013-02-01 22:10:40 -0500221 if (attr._a_detach) {
Rich Felker92f83962012-07-11 23:36:46 -0400222 new->detached = 1;
Rich Felkerf68a3462013-09-16 10:54:31 -0400223 flags -= CLONE_CHILD_CLEARTID;
Rich Felker92f83962012-07-11 23:36:46 -0400224 }
Rich Felkerd5142642013-02-01 22:10:40 -0500225 if (attr._a_sched) {
Rich Felker1e21e782012-11-11 15:38:04 -0500226 do_sched = new->startlock[0] = 1;
Rich Felker2c074b02013-04-26 19:48:01 -0400227 __block_app_sigs(new->sigmask);
Rich Felker1e21e782012-11-11 15:38:04 -0500228 }
Rich Felkerbf619d82011-03-29 12:58:22 -0400229 new->unblock_cancel = self->cancel;
Rich Felker0a96a372012-10-07 21:43:46 -0400230 new->canary = self->canary;
Rich Felker0b44a032011-02-12 00:22:29 -0500231
Rich Felker0b44a032011-02-12 00:22:29 -0500232 a_inc(&libc.threads_minus_1);
Rich Felker9ec42832012-10-15 18:51:53 -0400233 ret = __clone(start, stack, flags, new, &new->tid, TP_ADJ(new), &new->tid);
Rich Felker0b44a032011-02-12 00:22:29 -0500234
Rich Felkerdcd60372012-10-05 11:51:50 -0400235 __release_ptc();
Rich Felker0b44a032011-02-12 00:22:29 -0500236
Rich Felker1e21e782012-11-11 15:38:04 -0500237 if (do_sched) {
Rich Felker2c074b02013-04-26 19:48:01 -0400238 __restore_sigs(new->sigmask);
Rich Felker1e21e782012-11-11 15:38:04 -0500239 }
240
Rich Felker0b44a032011-02-12 00:22:29 -0500241 if (ret < 0) {
242 a_dec(&libc.threads_minus_1);
Rich Felker077549e2013-02-01 22:23:24 -0500243 if (map) munmap(map, size);
Rich Felker59666802011-02-15 02:20:21 -0500244 return EAGAIN;
Rich Felker0b44a032011-02-12 00:22:29 -0500245 }
Rich Felker1e21e782012-11-11 15:38:04 -0500246
247 if (do_sched) {
248 ret = __syscall(SYS_sched_setscheduler, new->tid,
Rich Felkerd5142642013-02-01 22:10:40 -0500249 attr._a_policy, &attr._a_prio);
Rich Felker1e21e782012-11-11 15:38:04 -0500250 a_store(new->startlock, ret<0 ? 2 : 0);
251 __wake(new->startlock, 1, 1);
252 if (ret < 0) return -ret;
253 }
254
Rich Felker0b44a032011-02-12 00:22:29 -0500255 *res = new;
256 return 0;
Rich Felker72768ea2013-02-01 22:25:19 -0500257fail:
258 __release_ptc();
259 return EAGAIN;
Rich Felker0b44a032011-02-12 00:22:29 -0500260}