]>
Commit | Line | Data |
---|---|---|
b168057a | 1 | /* Copyright (C) 2002-2015 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 | |
59ba27a6 PE |
16 | License along with the GNU C Library; if not, see |
17 | <http://www.gnu.org/licenses/>. */ | |
76a50749 UD |
18 | |
19 | #include <assert.h> | |
1bcfb5a5 | 20 | #include <errno.h> |
184ee940 | 21 | #include <stdbool.h> |
76a50749 | 22 | #include <string.h> |
f8de5057 | 23 | #include <kernel-features.h> |
76a50749 | 24 | #include "pthreadP.h" |
cdcb42d7 | 25 | #include <atomic.h> |
76a50749 | 26 | |
5acf7263 RM |
27 | #include <stap-probe.h> |
28 | ||
69854bb5 | 29 | static const struct pthread_mutexattr default_mutexattr = |
76a50749 UD |
30 | { |
31 | /* Default is a normal mutex, not shared between processes. */ | |
32 | .mutexkind = PTHREAD_MUTEX_NORMAL | |
33 | }; | |
34 | ||
35 | ||
184ee940 RM |
36 | static bool |
37 | prio_inherit_missing (void) | |
38 | { | |
39 | #ifdef __NR_futex | |
40 | # ifndef __ASSUME_FUTEX_LOCK_PI | |
41 | static int tpi_supported; | |
42 | if (__glibc_unlikely (tpi_supported == 0)) | |
43 | { | |
44 | int lock = 0; | |
45 | INTERNAL_SYSCALL_DECL (err); | |
46 | int ret = INTERNAL_SYSCALL (futex, err, 4, &lock, FUTEX_UNLOCK_PI, 0, 0); | |
47 | assert (INTERNAL_SYSCALL_ERROR_P (ret, err)); | |
48 | tpi_supported = INTERNAL_SYSCALL_ERRNO (ret, err) == ENOSYS ? -1 : 1; | |
49 | } | |
50 | return __glibc_unlikely (tpi_supported < 0); | |
51 | # endif | |
52 | return false; | |
df47504c | 53 | #endif |
184ee940 RM |
54 | return true; |
55 | } | |
df47504c | 56 | |
76a50749 UD |
57 | int |
58 | __pthread_mutex_init (mutex, mutexattr) | |
59 | pthread_mutex_t *mutex; | |
60 | const pthread_mutexattr_t *mutexattr; | |
61 | { | |
62 | const struct pthread_mutexattr *imutexattr; | |
63 | ||
64 | assert (sizeof (pthread_mutex_t) <= __SIZEOF_PTHREAD_MUTEX_T); | |
65 | ||
69854bb5 SP |
66 | imutexattr = ((const struct pthread_mutexattr *) mutexattr |
67 | ?: &default_mutexattr); | |
76a50749 | 68 | |
1bcfb5a5 | 69 | /* Sanity checks. */ |
f3be81a9 UD |
70 | switch (__builtin_expect (imutexattr->mutexkind |
71 | & PTHREAD_MUTEXATTR_PROTOCOL_MASK, | |
72 | PTHREAD_PRIO_NONE | |
73 | << PTHREAD_MUTEXATTR_PROTOCOL_SHIFT)) | |
74 | { | |
75 | case PTHREAD_PRIO_NONE << PTHREAD_MUTEXATTR_PROTOCOL_SHIFT: | |
76 | break; | |
77 | ||
df47504c | 78 | case PTHREAD_PRIO_INHERIT << PTHREAD_MUTEXATTR_PROTOCOL_SHIFT: |
184ee940 | 79 | if (__glibc_unlikely (prio_inherit_missing ())) |
df47504c | 80 | return ENOTSUP; |
df47504c UD |
81 | break; |
82 | ||
f3be81a9 | 83 | default: |
f17efcb4 UD |
84 | /* XXX: For now we don't support robust priority protected mutexes. */ |
85 | if (imutexattr->mutexkind & PTHREAD_MUTEXATTR_FLAG_ROBUST) | |
86 | return ENOTSUP; | |
87 | break; | |
f3be81a9 | 88 | } |
1bcfb5a5 | 89 | |
76a50749 UD |
90 | /* Clear the whole variable. */ |
91 | memset (mutex, '\0', __SIZEOF_PTHREAD_MUTEX_T); | |
92 | ||
93 | /* Copy the values from the attribute. */ | |
1bcfb5a5 | 94 | mutex->__data.__kind = imutexattr->mutexkind & ~PTHREAD_MUTEXATTR_FLAG_BITS; |
0f6699ea | 95 | |
1bcfb5a5 | 96 | if ((imutexattr->mutexkind & PTHREAD_MUTEXATTR_FLAG_ROBUST) != 0) |
0f6699ea UD |
97 | { |
98 | #ifndef __ASSUME_SET_ROBUST_LIST | |
99 | if ((imutexattr->mutexkind & PTHREAD_MUTEXATTR_FLAG_PSHARED) != 0 | |
100 | && __set_robust_list_avail < 0) | |
101 | return ENOTSUP; | |
102 | #endif | |
103 | ||
104 | mutex->__data.__kind |= PTHREAD_MUTEX_ROBUST_NORMAL_NP; | |
105 | } | |
106 | ||
f3be81a9 | 107 | switch (imutexattr->mutexkind & PTHREAD_MUTEXATTR_PROTOCOL_MASK) |
a5f2bd86 | 108 | { |
f3be81a9 | 109 | case PTHREAD_PRIO_INHERIT << PTHREAD_MUTEXATTR_PROTOCOL_SHIFT: |
df47504c | 110 | mutex->__data.__kind |= PTHREAD_MUTEX_PRIO_INHERIT_NP; |
a5f2bd86 | 111 | break; |
f3be81a9 UD |
112 | |
113 | case PTHREAD_PRIO_PROTECT << PTHREAD_MUTEXATTR_PROTOCOL_SHIFT: | |
df47504c | 114 | mutex->__data.__kind |= PTHREAD_MUTEX_PRIO_PROTECT_NP; |
f17efcb4 UD |
115 | |
116 | int ceiling = (imutexattr->mutexkind | |
117 | & PTHREAD_MUTEXATTR_PRIO_CEILING_MASK) | |
118 | >> PTHREAD_MUTEXATTR_PRIO_CEILING_SHIFT; | |
119 | if (! ceiling) | |
120 | { | |
cdcb42d7 TR |
121 | /* See __init_sched_fifo_prio. */ |
122 | if (atomic_load_relaxed (&__sched_fifo_min_prio) == -1) | |
f17efcb4 | 123 | __init_sched_fifo_prio (); |
cdcb42d7 TR |
124 | if (ceiling < atomic_load_relaxed (&__sched_fifo_min_prio)) |
125 | ceiling = atomic_load_relaxed (&__sched_fifo_min_prio); | |
f17efcb4 UD |
126 | } |
127 | mutex->__data.__lock = ceiling << PTHREAD_MUTEX_PRIO_CEILING_SHIFT; | |
a5f2bd86 | 128 | break; |
f3be81a9 | 129 | |
a5f2bd86 RM |
130 | default: |
131 | break; | |
132 | } | |
76a50749 | 133 | |
5bd8a249 UD |
134 | /* The kernel when waking robust mutexes on exit never uses |
135 | FUTEX_PRIVATE_FLAG FUTEX_WAKE. */ | |
136 | if ((imutexattr->mutexkind & (PTHREAD_MUTEXATTR_FLAG_PSHARED | |
137 | | PTHREAD_MUTEXATTR_FLAG_ROBUST)) != 0) | |
138 | mutex->__data.__kind |= PTHREAD_MUTEX_PSHARED_BIT; | |
139 | ||
76a50749 UD |
140 | /* Default values: mutex not used yet. */ |
141 | // mutex->__count = 0; already done by memset | |
61623643 UD |
142 | // mutex->__owner = 0; already done by memset |
143 | // mutex->__nusers = 0; already done by memset | |
2c0b891a | 144 | // mutex->__spins = 0; already done by memset |
1bcfb5a5 | 145 | // mutex->__next = NULL; already done by memset |
76a50749 | 146 | |
5acf7263 RM |
147 | LIBC_PROBE (mutex_init, 1, mutex); |
148 | ||
76a50749 UD |
149 | return 0; |
150 | } | |
151 | strong_alias (__pthread_mutex_init, pthread_mutex_init) | |
4d17e683 | 152 | hidden_def (__pthread_mutex_init) |