]> git.ipfire.org Git - thirdparty/glibc.git/blame - nptl/pthread_create.c
* dlfcn/Makefile (LDLIBS-bug-atexit3-lib.so): Use this instead of
[thirdparty/glibc.git] / nptl / pthread_create.c
CommitLineData
d804f5df 1/* Copyright (C) 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
76a50749
UD
2 This file is part of the GNU C Library.
3 Contributed by Ulrich Drepper <drepper@redhat.com>, 2002.
4
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
9
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
18 02111-1307 USA. */
19
20#include <errno.h>
21#include <stdbool.h>
22#include <stdlib.h>
23#include <string.h>
24#include "pthreadP.h"
25#include <hp-timing.h>
26#include <ldsodefs.h>
3e4fc359 27#include <atomic.h>
12d7ca07 28#include <libc-internal.h>
0e9d6240 29#include <resolv.h>
76a50749
UD
30
31#include <shlib-compat.h>
32
33
34/* Local function to start thread and handle cleanup. */
35static int start_thread (void *arg);
76a50749
UD
36
37
38/* Nozero if debugging mode is enabled. */
39int __pthread_debug;
40
41/* Globally enabled events. */
fa9a4ff0 42static td_thr_events_t __nptl_threads_events;
76a50749
UD
43
44/* Pointer to descriptor with the last event. */
fa9a4ff0 45static struct pthread *__nptl_last_event;
76a50749 46
47202270
UD
47/* Number of threads running. */
48unsigned int __nptl_nthreads = 1;
49
76a50749
UD
50
51/* Code to allocate and deallocate a stack. */
76a50749
UD
52#include "allocatestack.c"
53
54/* Code to create the thread. */
8dea90aa 55#include <createthread.c>
76a50749
UD
56
57
76a50749 58struct pthread *
90491dc4 59internal_function
76a50749
UD
60__find_in_stack_list (pd)
61 struct pthread *pd;
62{
63 list_t *entry;
64 struct pthread *result = NULL;
65
66 lll_lock (stack_cache_lock);
67
68 list_for_each (entry, &stack_used)
69 {
70 struct pthread *curp;
71
d4f64e1a 72 curp = list_entry (entry, struct pthread, list);
76a50749
UD
73 if (curp == pd)
74 {
75 result = curp;
76 break;
77 }
78 }
79
80 if (result == NULL)
81 list_for_each (entry, &__stack_user)
82 {
83 struct pthread *curp;
84
d4f64e1a 85 curp = list_entry (entry, struct pthread, list);
76a50749
UD
86 if (curp == pd)
87 {
88 result = curp;
89 break;
90 }
91 }
92
93 lll_unlock (stack_cache_lock);
94
95 return result;
96}
97
98
99/* Deallocate POSIX thread-local-storage. */
3fa21fd8
UD
100void
101attribute_hidden
102__nptl_deallocate_tsd (void)
76a50749 103{
877e51b2
UD
104 struct pthread *self = THREAD_SELF;
105
76a50749
UD
106 /* Maybe no data was ever allocated. This happens often so we have
107 a flag for this. */
877e51b2 108 if (THREAD_GETMEM (self, specific_used))
76a50749
UD
109 {
110 size_t round;
6b4686a5 111 size_t cnt;
76a50749 112
6b4686a5
UD
113 round = 0;
114 do
76a50749 115 {
76a50749
UD
116 size_t idx;
117
c5acd3d7 118 /* So far no new nonzero data entry. */
877e51b2 119 THREAD_SETMEM (self, specific_used, false);
c5acd3d7 120
76a50749 121 for (cnt = idx = 0; cnt < PTHREAD_KEY_1STLEVEL_SIZE; ++cnt)
6b4686a5
UD
122 {
123 struct pthread_key_data *level2;
124
877e51b2 125 level2 = THREAD_GETMEM_NC (self, specific, cnt);
6b4686a5
UD
126
127 if (level2 != NULL)
128 {
129 size_t inner;
130
131 for (inner = 0; inner < PTHREAD_KEY_2NDLEVEL_SIZE;
132 ++inner, ++idx)
133 {
134 void *data = level2[inner].data;
135
877e51b2
UD
136 if (data != NULL)
137 {
138 /* Always clear the data. */
139 level2[inner].data = NULL;
140
6b4686a5
UD
141 /* Make sure the data corresponds to a valid
142 key. This test fails if the key was
143 deallocated and also if it was
144 re-allocated. It is the user's
145 responsibility to free the memory in this
146 case. */
877e51b2
UD
147 if (level2[inner].seq
148 == __pthread_keys[idx].seq
149 /* It is not necessary to register a destructor
150 function. */
151 && __pthread_keys[idx].destr != NULL)
152 /* Call the user-provided destructor. */
153 __pthread_keys[idx].destr (data);
6b4686a5
UD
154 }
155 }
156 }
157 else
158 idx += PTHREAD_KEY_1STLEVEL_SIZE;
159 }
877e51b2
UD
160
161 if (THREAD_GETMEM (self, specific_used) == 0)
162 /* No data has been modified. */
163 goto just_free;
76a50749 164 }
877e51b2
UD
165 /* We only repeat the process a fixed number of times. */
166 while (__builtin_expect (++round < PTHREAD_DESTRUCTOR_ITERATIONS, 0));
76a50749 167
877e51b2
UD
168 /* Just clear the memory of the first block for reuse. */
169 memset (&THREAD_SELF->specific_1stblock, '\0',
170 sizeof (self->specific_1stblock));
6b4686a5 171
877e51b2 172 just_free:
6b4686a5
UD
173 /* Free the memory for the other blocks. */
174 for (cnt = 1; cnt < PTHREAD_KEY_1STLEVEL_SIZE; ++cnt)
175 {
176 struct pthread_key_data *level2;
177
877e51b2 178 level2 = THREAD_GETMEM_NC (self, specific, cnt);
6b4686a5
UD
179 if (level2 != NULL)
180 {
181 /* The first block is allocated as part of the thread
182 descriptor. */
183 free (level2);
877e51b2 184 THREAD_SETMEM_NC (self, specific, cnt, NULL);
6b4686a5
UD
185 }
186 }
187
877e51b2 188 THREAD_SETMEM (self, specific_used, false);
76a50749
UD
189 }
190}
191
192
193/* Deallocate a thread's stack after optionally making sure the thread
194 descriptor is still valid. */
195void
90491dc4 196internal_function
76a50749
UD
197__free_tcb (struct pthread *pd)
198{
199 /* The thread is exiting now. */
ba25bb0f
UD
200 if (__builtin_expect (atomic_bit_test_set (&pd->cancelhandling,
201 TERMINATED_BIT) == 0, 1))
76a50749
UD
202 {
203 /* Remove the descriptor from the list. */
204 if (DEBUGGING_P && __find_in_stack_list (pd) == NULL)
205 /* Something is really wrong. The descriptor for a still
206 running thread is gone. */
207 abort ();
208
76a50749
UD
209 /* Queue the stack memory block for reuse and exit the process. The
210 kernel will signal via writing to the address returned by
211 QUEUE-STACK when the stack is available. */
212 __deallocate_stack (pd);
213 }
214}
215
216
217static int
218start_thread (void *arg)
219{
220 struct pthread *pd = (struct pthread *) arg;
221
222#if HP_TIMING_AVAIL
223 /* Remember the time when the thread was started. */
224 hp_timing_t now;
225 HP_TIMING_NOW (now);
226 THREAD_SETMEM (pd, cpuclock_offset, now);
227#endif
228
0e9d6240
UD
229 /* Initialize resolver state pointer. */
230 __resp = &pd->res;
231
0f6699ea
UD
232#ifdef __NR_set_robust_list
233# ifndef __ASSUME_SET_ROBUST_LIST
234 if (__set_robust_list_avail >= 0)
235# endif
236 {
237 INTERNAL_SYSCALL_DECL (err);
238 /* This call should never fail because the initial call in init.c
239 succeeded. */
240 INTERNAL_SYSCALL (set_robust_list, err, 2, &pd->robust_head,
241 sizeof (struct robust_list_head));
242 }
243#endif
244
76a50749
UD
245 /* This is where the try/finally block should be created. For
246 compilers without that support we do use setjmp. */
877e51b2
UD
247 struct pthread_unwind_buf unwind_buf;
248
249 /* No previous handlers. */
250 unwind_buf.priv.data.prev = NULL;
251 unwind_buf.priv.data.cleanup = NULL;
252
253 int not_first_call;
254 not_first_call = setjmp ((struct __jmp_buf_tag *) unwind_buf.cancel_jmp_buf);
18d009ca 255 if (__builtin_expect (! not_first_call, 1))
76a50749 256 {
877e51b2
UD
257 /* Store the new cleanup handler info. */
258 THREAD_SETMEM (pd, cleanup_jmp_buf, &unwind_buf);
259
5f66b766
UD
260 if (__builtin_expect (pd->stopped_start, 0))
261 {
262 int oldtype = CANCEL_ASYNC ();
362038b0 263
5f66b766
UD
264 /* Get the lock the parent locked to force synchronization. */
265 lll_lock (pd->lock);
266 /* And give it up right away. */
267 lll_unlock (pd->lock);
362038b0 268
5f66b766
UD
269 CANCEL_RESET (oldtype);
270 }
362038b0 271
76a50749 272 /* Run the code the user provided. */
42c8f44c
UD
273#ifdef CALL_THREAD_FCT
274 THREAD_SETMEM (pd, result, CALL_THREAD_FCT (pd));
275#else
cc775edf 276 THREAD_SETMEM (pd, result, pd->start_routine (pd->arg));
42c8f44c 277#endif
76a50749
UD
278 }
279
6b4686a5 280 /* Run the destructor for the thread-local data. */
3fa21fd8 281 __nptl_deallocate_tsd ();
6b4686a5 282
12d7ca07
RM
283 /* Clean up any state libc stored in thread-local variables. */
284 __libc_thread_freeres ();
76a50749 285
47202270
UD
286 /* If this is the last thread we terminate the process now. We
287 do not notify the debugger, it might just irritate it if there
288 is no thread left. */
729924a0 289 if (__builtin_expect (atomic_decrement_and_test (&__nptl_nthreads), 0))
47202270
UD
290 /* This was the last thread. */
291 exit (0);
292
76a50749
UD
293 /* Report the death of the thread if this is wanted. */
294 if (__builtin_expect (pd->report_events, 0))
295 {
296 /* See whether TD_DEATH is in any of the mask. */
297 const int idx = __td_eventword (TD_DEATH);
298 const uint32_t mask = __td_eventmask (TD_DEATH);
299
300 if ((mask & (__nptl_threads_events.event_bits[idx]
301 | pd->eventbuf.eventmask.event_bits[idx])) != 0)
302 {
303 /* Yep, we have to signal the death. Add the descriptor to
304 the list but only if it is not already on it. */
305 if (pd->nextevent == NULL)
306 {
307 pd->eventbuf.eventnum = TD_DEATH;
308 pd->eventbuf.eventdata = pd;
309
310 do
311 pd->nextevent = __nptl_last_event;
5a3ab2fc
UD
312 while (atomic_compare_and_exchange_bool_acq (&__nptl_last_event,
313 pd, pd->nextevent));
76a50749
UD
314 }
315
316 /* Now call the function to signal the event. */
317 __nptl_death_event ();
318 }
319 }
320
6461e577
RM
321 /* The thread is exiting now. Don't set this bit until after we've hit
322 the event-reporting breakpoint, so that td_thr_get_info on us while at
323 the breakpoint reports TD_THR_RUN state rather than TD_THR_ZOMBIE. */
324 atomic_bit_set (&pd->cancelhandling, EXITING_BIT);
76a50749 325
0f6699ea 326#ifndef __ASSUME_SET_ROBUST_LIST
1bcfb5a5 327 /* If this thread has any robust mutexes locked, handle them now. */
0f6699ea
UD
328# if __WORDSIZE == 64
329 void *robust = pd->robust_head.list;
330# else
b007ce7c 331 __pthread_slist_t *robust = pd->robust_list.__next;
0f6699ea
UD
332# endif
333/* We let the kernel do the notification if it is able to do so. */
334 if (__set_robust_list_avail < 0
335 && __builtin_expect (robust != &pd->robust_head, 0))
1bcfb5a5
UD
336 {
337 do
338 {
b007ce7c 339 struct __pthread_mutex_s *this = (struct __pthread_mutex_s *)
0f6699ea
UD
340 ((char *) robust - offsetof (struct __pthread_mutex_s,
341 __list.__next));
342 robust = *((void **) robust);
d804f5df 343
0f6699ea 344# ifdef __PTHREAD_MUTEX_HAVE_PREV
b007ce7c 345 this->__list.__prev = NULL;
0f6699ea
UD
346# endif
347 this->__list.__next = NULL;
1bcfb5a5 348
683040c3 349 lll_robust_mutex_dead (this->__lock);
1bcfb5a5 350 }
0f6699ea 351 while (robust != &pd->robust_head);
1bcfb5a5 352 }
0f6699ea 353#endif
1bcfb5a5 354
76a50749
UD
355 /* If the thread is detached free the TCB. */
356 if (IS_DETACHED (pd))
357 /* Free the TCB. */
358 __free_tcb (pd);
dff9a7a1
UD
359 else if (__builtin_expect (pd->cancelhandling & SETXID_BITMASK, 0))
360 {
361 /* Some other thread might call any of the setXid functions and expect
362 us to reply. In this case wait until we did that. */
363 do
364 lll_futex_wait (&pd->setxid_futex, 0);
365 while (pd->cancelhandling & SETXID_BITMASK);
366
367 /* Reset the value so that the stack can be reused. */
368 pd->setxid_futex = 0;
369 }
76a50749
UD
370
371 /* We cannot call '_exit' here. '_exit' will terminate the process.
372
373 The 'exit' implementation in the kernel will signal when the
374 process is really dead since 'clone' got passed the CLONE_CLEARTID
375 flag. The 'tid' field in the TCB will be set to zero.
376
377 The exit code is zero since in case all threads exit by calling
378 'pthread_exit' the exit status must be 0 (zero). */
379 __exit_thread_inline (0);
380
381 /* NOTREACHED */
382 return 0;
383}
384
385
76a50749
UD
386/* Default thread attributes for the case when the user does not
387 provide any. */
388static const struct pthread_attr default_attr =
389 {
390 /* Just some value > 0 which gets rounded to the nearest page size. */
391 .guardsize = 1,
392 };
393
394
395int
396__pthread_create_2_1 (newthread, attr, start_routine, arg)
397 pthread_t *newthread;
398 const pthread_attr_t *attr;
399 void *(*start_routine) (void *);
400 void *arg;
401{
402 STACK_VARIABLES;
76a50749 403
1e6da2b0 404 const struct pthread_attr *iattr = (struct pthread_attr *) attr;
76a50749
UD
405 if (iattr == NULL)
406 /* Is this the best idea? On NUMA machines this could mean
407 accessing far-away memory. */
408 iattr = &default_attr;
409
dff9a7a1 410 struct pthread *pd = NULL;
1e6da2b0 411 int err = ALLOCATE_STACK (iattr, &pd);
729924a0 412 if (__builtin_expect (err != 0, 0))
76a50749
UD
413 /* Something went wrong. Maybe a parameter of the attributes is
414 invalid or we could not allocate memory. */
415 return err;
416
417
418 /* Initialize the TCB. All initializations with zero should be
419 performed in 'get_cached_stack'. This way we avoid doing this if
420 the stack freshly allocated with 'mmap'. */
421
5d5d5969 422#ifdef TLS_TCB_AT_TP
76a50749 423 /* Reference to the TCB itself. */
55c11fbd 424 pd->header.self = pd;
76a50749 425
d4f64e1a 426 /* Self-reference for TLS. */
55c11fbd 427 pd->header.tcb = pd;
76a50749
UD
428#endif
429
430 /* Store the address of the start routine and the parameter. Since
431 we do not start the function directly the stillborn thread will
432 get the information from its thread descriptor. */
433 pd->start_routine = start_routine;
434 pd->arg = arg;
435
436 /* Copy the thread attribute flags. */
14ffbc83
UD
437 struct pthread *self = THREAD_SELF;
438 pd->flags = ((iattr->flags & ~(ATTR_FLAG_SCHED_SET | ATTR_FLAG_POLICY_SET))
439 | (self->flags & (ATTR_FLAG_SCHED_SET | ATTR_FLAG_POLICY_SET)));
76a50749
UD
440
441 /* Initialize the field for the ID of the thread which is waiting
442 for us. This is a self-reference in case the thread is created
443 detached. */
444 pd->joinid = iattr->flags & ATTR_FLAG_DETACHSTATE ? pd : NULL;
445
446 /* The debug events are inherited from the parent. */
14ffbc83
UD
447 pd->eventbuf = self->eventbuf;
448
76a50749 449
14ffbc83
UD
450 /* Copy the parent's scheduling parameters. The flags will say what
451 is valid and what is not. */
452 pd->schedpolicy = self->schedpolicy;
453 pd->schedparam = self->schedparam;
76a50749 454
35f1e827
UD
455 /* Copy the stack guard canary. */
456#ifdef THREAD_COPY_STACK_GUARD
457 THREAD_COPY_STACK_GUARD (pd);
458#endif
459
827b7087
UD
460 /* Copy the pointer guard value. */
461#ifdef THREAD_COPY_POINTER_GUARD
462 THREAD_COPY_POINTER_GUARD (pd);
463#endif
464
14ffbc83
UD
465 /* Determine scheduling parameters for the thread. */
466 if (attr != NULL
467 && __builtin_expect ((iattr->flags & ATTR_FLAG_NOTINHERITSCHED) != 0, 0)
468 && (iattr->flags & (ATTR_FLAG_SCHED_SET | ATTR_FLAG_POLICY_SET)) != 0)
76a50749 469 {
1e6da2b0 470 INTERNAL_SYSCALL_DECL (scerr);
14ffbc83
UD
471
472 /* Use the scheduling parameters the user provided. */
473 if (iattr->flags & ATTR_FLAG_POLICY_SET)
474 pd->schedpolicy = iattr->schedpolicy;
475 else if ((pd->flags & ATTR_FLAG_POLICY_SET) == 0)
76a50749 476 {
1e6da2b0 477 pd->schedpolicy = INTERNAL_SYSCALL (sched_getscheduler, scerr, 1, 0);
14ffbc83 478 pd->flags |= ATTR_FLAG_POLICY_SET;
76a50749 479 }
14ffbc83
UD
480
481 if (iattr->flags & ATTR_FLAG_SCHED_SET)
482 memcpy (&pd->schedparam, &iattr->schedparam,
483 sizeof (struct sched_param));
484 else if ((pd->flags & ATTR_FLAG_SCHED_SET) == 0)
485 {
1e6da2b0 486 INTERNAL_SYSCALL (sched_getparam, scerr, 2, 0, &pd->schedparam);
14ffbc83
UD
487 pd->flags |= ATTR_FLAG_SCHED_SET;
488 }
489
490 /* Check for valid priorities. */
1e6da2b0 491 int minprio = INTERNAL_SYSCALL (sched_get_priority_min, scerr, 1,
14ffbc83 492 iattr->schedpolicy);
1e6da2b0 493 int maxprio = INTERNAL_SYSCALL (sched_get_priority_max, scerr, 1,
14ffbc83
UD
494 iattr->schedpolicy);
495 if (pd->schedparam.sched_priority < minprio
496 || pd->schedparam.sched_priority > maxprio)
76a50749 497 {
14ffbc83
UD
498 err = EINVAL;
499 goto errout;
76a50749
UD
500 }
501 }
502
503 /* Pass the descriptor to the caller. */
504 *newthread = (pthread_t) pd;
505
ebfa58bb
UD
506 /* Remember whether the thread is detached or not. In case of an
507 error we have to free the stacks of non-detached stillborn
508 threads. */
509 bool is_detached = IS_DETACHED (pd);
510
76a50749 511 /* Start the thread. */
80f536db 512 err = create_thread (pd, iattr, STACK_VARIABLES_ARGS);
76a50749
UD
513 if (err != 0)
514 {
515 /* Something went wrong. Free the resources. */
ebfa58bb 516 if (!is_detached)
a1fbd858
UD
517 {
518 errout:
519 __deallocate_stack (pd);
520 }
76a50749
UD
521 return err;
522 }
523
524 return 0;
525}
526versioned_symbol (libpthread, __pthread_create_2_1, pthread_create, GLIBC_2_1);
527
528
529#if SHLIB_COMPAT(libpthread, GLIBC_2_0, GLIBC_2_1)
530int
531__pthread_create_2_0 (newthread, attr, start_routine, arg)
532 pthread_t *newthread;
533 const pthread_attr_t *attr;
534 void *(*start_routine) (void *);
535 void *arg;
536{
537 /* The ATTR attribute is not really of type `pthread_attr_t *'. It has
538 the old size and access to the new members might crash the program.
539 We convert the struct now. */
540 struct pthread_attr new_attr;
541
542 if (attr != NULL)
543 {
544 struct pthread_attr *iattr = (struct pthread_attr *) attr;
545 size_t ps = __getpagesize ();
546
547 /* Copy values from the user-provided attributes. */
548 new_attr.schedparam = iattr->schedparam;
549 new_attr.schedpolicy = iattr->schedpolicy;
550 new_attr.flags = iattr->flags;
551
552 /* Fill in default values for the fields not present in the old
553 implementation. */
554 new_attr.guardsize = ps;
555 new_attr.stackaddr = NULL;
556 new_attr.stacksize = 0;
ca85ede0 557 new_attr.cpuset = NULL;
76a50749
UD
558
559 /* We will pass this value on to the real implementation. */
560 attr = (pthread_attr_t *) &new_attr;
561 }
562
563 return __pthread_create_2_1 (newthread, attr, start_routine, arg);
564}
565compat_symbol (libpthread, __pthread_create_2_0, pthread_create,
566 GLIBC_2_0);
567#endif
7f08f55a
RM
568\f
569/* Information for libthread_db. */
570
571#include "../nptl_db/db_info.c"
b639d0c9
UD
572\f
573/* If pthread_create is present, libgcc_eh.a and libsupc++.a expects some other POSIX thread
574 functions to be present as well. */
575PTHREAD_STATIC_FN_REQUIRE (pthread_mutex_lock)
576PTHREAD_STATIC_FN_REQUIRE (pthread_mutex_unlock)
577
578PTHREAD_STATIC_FN_REQUIRE (pthread_once)
ef2bb413 579PTHREAD_STATIC_FN_REQUIRE (pthread_cancel)
b639d0c9
UD
580
581PTHREAD_STATIC_FN_REQUIRE (pthread_key_create)
582PTHREAD_STATIC_FN_REQUIRE (pthread_setspecific)
583PTHREAD_STATIC_FN_REQUIRE (pthread_getspecific)