pthread_mutex.c revision 1.4 1 1.4 thorpej /* $NetBSD: pthread_mutex.c,v 1.4 2003/01/19 20:46:12 thorpej Exp $ */
2 1.2 thorpej
3 1.2 thorpej /*-
4 1.2 thorpej * Copyright (c) 2001, 2003 The NetBSD Foundation, Inc.
5 1.2 thorpej * All rights reserved.
6 1.2 thorpej *
7 1.2 thorpej * This code is derived from software contributed to The NetBSD Foundation
8 1.2 thorpej * by Nathan J. Williams, and by Jason R. Thorpe.
9 1.2 thorpej *
10 1.2 thorpej * Redistribution and use in source and binary forms, with or without
11 1.2 thorpej * modification, are permitted provided that the following conditions
12 1.2 thorpej * are met:
13 1.2 thorpej * 1. Redistributions of source code must retain the above copyright
14 1.2 thorpej * notice, this list of conditions and the following disclaimer.
15 1.2 thorpej * 2. Redistributions in binary form must reproduce the above copyright
16 1.2 thorpej * notice, this list of conditions and the following disclaimer in the
17 1.2 thorpej * documentation and/or other materials provided with the distribution.
18 1.2 thorpej * 3. All advertising materials mentioning features or use of this software
19 1.2 thorpej * must display the following acknowledgement:
20 1.2 thorpej * This product includes software developed by the NetBSD
21 1.2 thorpej * Foundation, Inc. and its contributors.
22 1.2 thorpej * 4. Neither the name of The NetBSD Foundation nor the names of its
23 1.2 thorpej * contributors may be used to endorse or promote products derived
24 1.2 thorpej * from this software without specific prior written permission.
25 1.2 thorpej *
26 1.2 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
27 1.2 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
28 1.2 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
29 1.2 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
30 1.2 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 1.2 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 1.2 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 1.2 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 1.2 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 1.2 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 1.2 thorpej * POSSIBILITY OF SUCH DAMAGE.
37 1.2 thorpej */
38 1.2 thorpej
39 1.2 thorpej #include <sys/cdefs.h>
40 1.2 thorpej #include <assert.h>
41 1.2 thorpej #include <errno.h>
42 1.2 thorpej #include <limits.h>
43 1.2 thorpej #include <stdlib.h>
44 1.2 thorpej
45 1.2 thorpej #include "pthread.h"
46 1.2 thorpej #include "pthread_int.h"
47 1.2 thorpej
48 1.2 thorpej static int pthread_mutex_lock_slow(pthread_mutex_t *);
49 1.2 thorpej
50 1.2 thorpej __strong_alias(__libc_mutex_init,pthread_mutex_init)
51 1.2 thorpej __strong_alias(__libc_mutex_lock,pthread_mutex_lock)
52 1.2 thorpej __strong_alias(__libc_mutex_trylock,pthread_mutex_trylock)
53 1.2 thorpej __strong_alias(__libc_mutex_unlock,pthread_mutex_unlock)
54 1.2 thorpej __strong_alias(__libc_mutex_destroy,pthread_mutex_destroy)
55 1.4 thorpej
56 1.4 thorpej __strong_alias(__libc_mutexattr_init,pthread_mutexattr_init)
57 1.4 thorpej __strong_alias(__libc_mutexattr_destroy,pthread_mutexattr_destroy)
58 1.4 thorpej __string_alias(__libc_mutexattr_settype,pthread_mutexattr_settype)
59 1.2 thorpej
60 1.2 thorpej __strong_alias(__libc_thr_once,pthread_once)
61 1.2 thorpej
62 1.2 thorpej struct mutex_private {
63 1.2 thorpej int type;
64 1.2 thorpej int recursecount;
65 1.2 thorpej };
66 1.2 thorpej
67 1.2 thorpej static const struct mutex_private mutex_private_default = {
68 1.2 thorpej PTHREAD_MUTEX_DEFAULT,
69 1.2 thorpej 0,
70 1.2 thorpej };
71 1.2 thorpej
72 1.2 thorpej struct mutexattr_private {
73 1.2 thorpej int type;
74 1.2 thorpej };
75 1.2 thorpej
76 1.2 thorpej static const struct mutexattr_private mutexattr_private_default = {
77 1.2 thorpej PTHREAD_MUTEX_DEFAULT,
78 1.2 thorpej };
79 1.2 thorpej
80 1.2 thorpej /*
81 1.2 thorpej * If the mutex does not already have private data (i.e. was statically
82 1.2 thorpej * initialized), then give it the default.
83 1.2 thorpej */
84 1.2 thorpej #define GET_MUTEX_PRIVATE(mutex, mp) \
85 1.2 thorpej do { \
86 1.2 thorpej if (__predict_false((mp = (mutex)->ptm_private) == NULL)) { \
87 1.2 thorpej /* LINTED cast away const */ \
88 1.2 thorpej mp = ((mutex)->ptm_private = \
89 1.2 thorpej (void *)&mutex_private_default); \
90 1.2 thorpej } \
91 1.2 thorpej } while (/*CONSTCOND*/0)
92 1.2 thorpej
93 1.2 thorpej int
94 1.2 thorpej pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr)
95 1.2 thorpej {
96 1.2 thorpej struct mutexattr_private *map;
97 1.2 thorpej struct mutex_private *mp;
98 1.2 thorpej
99 1.2 thorpej #ifdef ERRORCHECK
100 1.2 thorpej if ((mutex == NULL) ||
101 1.2 thorpej (attr && (attr->ptma_magic != _PT_MUTEXATTR_MAGIC)))
102 1.2 thorpej return EINVAL;
103 1.2 thorpej #endif
104 1.2 thorpej
105 1.2 thorpej if (attr != NULL && (map = attr->ptma_private) != NULL &&
106 1.2 thorpej memcmp(map, &mutexattr_private_default, sizeof(*map)) != 0) {
107 1.2 thorpej mp = malloc(sizeof(*mp));
108 1.2 thorpej if (mp == NULL)
109 1.2 thorpej return ENOMEM;
110 1.2 thorpej
111 1.2 thorpej mp->type = map->type;
112 1.2 thorpej mp->recursecount = 0;
113 1.2 thorpej } else {
114 1.2 thorpej /* LINTED cast away const */
115 1.2 thorpej mp = (struct mutex_private *) &mutex_private_default;
116 1.2 thorpej }
117 1.2 thorpej
118 1.2 thorpej mutex->ptm_magic = _PT_MUTEX_MAGIC;
119 1.2 thorpej mutex->ptm_owner = NULL;
120 1.2 thorpej pthread_lockinit(&mutex->ptm_lock);
121 1.2 thorpej pthread_lockinit(&mutex->ptm_interlock);
122 1.2 thorpej PTQ_INIT(&mutex->ptm_blocked);
123 1.2 thorpej mutex->ptm_private = mp;
124 1.2 thorpej
125 1.2 thorpej return 0;
126 1.2 thorpej }
127 1.2 thorpej
128 1.2 thorpej
129 1.2 thorpej int
130 1.2 thorpej pthread_mutex_destroy(pthread_mutex_t *mutex)
131 1.2 thorpej {
132 1.2 thorpej
133 1.2 thorpej #ifdef ERRORCHECK
134 1.2 thorpej if ((mutex == NULL) ||
135 1.2 thorpej (mutex->ptm_magic != _PT_MUTEX_MAGIC) ||
136 1.2 thorpej (mutex->ptm_lock != __SIMPLELOCK_UNLOCKED))
137 1.2 thorpej return EINVAL;
138 1.2 thorpej #endif
139 1.2 thorpej
140 1.2 thorpej mutex->ptm_magic = _PT_MUTEX_DEAD;
141 1.2 thorpej if (mutex->ptm_private != NULL &&
142 1.3 christos mutex->ptm_private != (const void *)&mutex_private_default)
143 1.2 thorpej free(mutex->ptm_private);
144 1.2 thorpej
145 1.2 thorpej return 0;
146 1.2 thorpej }
147 1.2 thorpej
148 1.2 thorpej
149 1.2 thorpej /*
150 1.2 thorpej * Note regarding memory visibility: Pthreads has rules about memory
151 1.2 thorpej * visibility and mutexes. Very roughly: Memory a thread can see when
152 1.2 thorpej * it unlocks a mutex can be seen by another thread that locks the
153 1.2 thorpej * same mutex.
154 1.2 thorpej *
155 1.2 thorpej * A memory barrier after a lock and before an unlock will provide
156 1.2 thorpej * this behavior. This code relies on pthread__simple_lock_try() to issue
157 1.2 thorpej * a barrier after obtaining a lock, and on pthread__simple_unlock() to
158 1.2 thorpej * issue a barrier before releasing a lock.
159 1.2 thorpej */
160 1.2 thorpej
161 1.2 thorpej int
162 1.2 thorpej pthread_mutex_lock(pthread_mutex_t *mutex)
163 1.2 thorpej {
164 1.2 thorpej int error;
165 1.2 thorpej
166 1.2 thorpej #ifdef ERRORCHECK
167 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
168 1.2 thorpej return EINVAL;
169 1.2 thorpej #endif
170 1.2 thorpej
171 1.2 thorpej /*
172 1.2 thorpej * Note that if we get the lock, we don't have to deal with any
173 1.2 thorpej * non-default lock type handling.
174 1.2 thorpej */
175 1.2 thorpej if (__predict_false(pthread__simple_lock_try(&mutex->ptm_lock) == 0)) {
176 1.2 thorpej error = pthread_mutex_lock_slow(mutex);
177 1.2 thorpej if (error)
178 1.2 thorpej return error;
179 1.2 thorpej }
180 1.2 thorpej
181 1.2 thorpej /* We have the lock! */
182 1.2 thorpej mutex->ptm_owner = pthread__self();
183 1.2 thorpej
184 1.2 thorpej return 0;
185 1.2 thorpej }
186 1.2 thorpej
187 1.2 thorpej
188 1.2 thorpej static int
189 1.2 thorpej pthread_mutex_lock_slow(pthread_mutex_t *mutex)
190 1.2 thorpej {
191 1.2 thorpej pthread_t self;
192 1.2 thorpej
193 1.2 thorpej self = pthread__self();
194 1.2 thorpej
195 1.2 thorpej while (/*CONSTCOND*/1) {
196 1.2 thorpej if (pthread__simple_lock_try(&mutex->ptm_lock))
197 1.2 thorpej break; /* got it! */
198 1.2 thorpej
199 1.2 thorpej /* Okay, didn't look free. Get the interlock... */
200 1.2 thorpej pthread_spinlock(self, &mutex->ptm_interlock);
201 1.2 thorpej /*
202 1.2 thorpej * The mutex_unlock routine will get the interlock
203 1.2 thorpej * before looking at the list of sleepers, so if the
204 1.2 thorpej * lock is held we can safely put ourselves on the
205 1.2 thorpej * sleep queue. If it's not held, we can try taking it
206 1.2 thorpej * again.
207 1.2 thorpej */
208 1.2 thorpej if (mutex->ptm_lock == __SIMPLELOCK_LOCKED) {
209 1.2 thorpej struct mutex_private *mp;
210 1.2 thorpej
211 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
212 1.2 thorpej
213 1.2 thorpej if (mutex->ptm_owner == self) {
214 1.2 thorpej switch (mp->type) {
215 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
216 1.2 thorpej pthread_spinunlock(self,
217 1.2 thorpej &mutex->ptm_interlock);
218 1.2 thorpej return EDEADLK;
219 1.2 thorpej
220 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
221 1.2 thorpej /*
222 1.2 thorpej * It's safe to do this without
223 1.2 thorpej * holding the interlock, because
224 1.2 thorpej * we only modify it if we know we
225 1.2 thorpej * own the mutex.
226 1.2 thorpej */
227 1.2 thorpej pthread_spinunlock(self,
228 1.2 thorpej &mutex->ptm_interlock);
229 1.2 thorpej if (mp->recursecount == INT_MAX)
230 1.2 thorpej return EAGAIN;
231 1.2 thorpej mp->recursecount++;
232 1.2 thorpej return 0;
233 1.2 thorpej }
234 1.2 thorpej }
235 1.2 thorpej
236 1.2 thorpej PTQ_INSERT_TAIL(&mutex->ptm_blocked, self, pt_sleep);
237 1.2 thorpej /*
238 1.2 thorpej * Locking a mutex is not a cancellation
239 1.2 thorpej * point, so we don't need to do the
240 1.2 thorpej * test-cancellation dance. We may get woken
241 1.2 thorpej * up spuriously by pthread_cancel, though,
242 1.2 thorpej * but it's okay since we're just going to
243 1.2 thorpej * retry.
244 1.2 thorpej */
245 1.2 thorpej pthread_spinlock(self, &self->pt_statelock);
246 1.2 thorpej self->pt_state = PT_STATE_BLOCKED_QUEUE;
247 1.2 thorpej self->pt_sleepobj = mutex;
248 1.2 thorpej self->pt_sleepq = &mutex->ptm_blocked;
249 1.2 thorpej self->pt_sleeplock = &mutex->ptm_interlock;
250 1.2 thorpej pthread_spinunlock(self, &self->pt_statelock);
251 1.2 thorpej
252 1.2 thorpej pthread__block(self, &mutex->ptm_interlock);
253 1.2 thorpej /* interlock is not held when we return */
254 1.2 thorpej } else {
255 1.2 thorpej pthread_spinunlock(self, &mutex->ptm_interlock);
256 1.2 thorpej }
257 1.2 thorpej /* Go around for another try. */
258 1.2 thorpej }
259 1.2 thorpej
260 1.2 thorpej return 0;
261 1.2 thorpej }
262 1.2 thorpej
263 1.2 thorpej
264 1.2 thorpej int
265 1.2 thorpej pthread_mutex_trylock(pthread_mutex_t *mutex)
266 1.2 thorpej {
267 1.2 thorpej pthread_t self = pthread__self();
268 1.2 thorpej
269 1.2 thorpej #ifdef ERRORCHECK
270 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
271 1.2 thorpej return EINVAL;
272 1.2 thorpej #endif
273 1.2 thorpej
274 1.2 thorpej if (pthread__simple_lock_try(&mutex->ptm_lock) == 0) {
275 1.2 thorpej struct mutex_private *mp;
276 1.2 thorpej
277 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
278 1.2 thorpej
279 1.2 thorpej /*
280 1.2 thorpej * These tests can be performed without holding the
281 1.2 thorpej * interlock because these fields are only modified
282 1.2 thorpej * if we know we own the mutex.
283 1.2 thorpej */
284 1.2 thorpej if (mutex->ptm_owner == self) {
285 1.2 thorpej switch (mp->type) {
286 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
287 1.2 thorpej return EDEADLK;
288 1.2 thorpej
289 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
290 1.2 thorpej if (mp->recursecount == INT_MAX)
291 1.2 thorpej return EAGAIN;
292 1.2 thorpej mp->recursecount++;
293 1.2 thorpej return 0;
294 1.2 thorpej }
295 1.2 thorpej }
296 1.2 thorpej
297 1.2 thorpej return EBUSY;
298 1.2 thorpej }
299 1.2 thorpej
300 1.2 thorpej mutex->ptm_owner = self;
301 1.2 thorpej
302 1.2 thorpej return 0;
303 1.2 thorpej }
304 1.2 thorpej
305 1.2 thorpej
306 1.2 thorpej int
307 1.2 thorpej pthread_mutex_unlock(pthread_mutex_t *mutex)
308 1.2 thorpej {
309 1.2 thorpej struct mutex_private *mp;
310 1.2 thorpej pthread_t self, blocked;
311 1.2 thorpej
312 1.2 thorpej self = pthread__self();
313 1.2 thorpej
314 1.2 thorpej #ifdef ERRORCHECK
315 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
316 1.2 thorpej return EINVAL;
317 1.2 thorpej
318 1.2 thorpej if (mutex->ptm_lock != __SIMPLELOCK_LOCKED)
319 1.2 thorpej return EPERM; /* Not exactly the right error. */
320 1.2 thorpej #endif
321 1.2 thorpej
322 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
323 1.2 thorpej
324 1.2 thorpej /*
325 1.2 thorpej * These tests can be performed without holding the
326 1.2 thorpej * interlock because these fields are only modified
327 1.2 thorpej * if we know we own the mutex.
328 1.2 thorpej */
329 1.2 thorpej switch (mp->type) {
330 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
331 1.2 thorpej if (mutex->ptm_owner != self)
332 1.2 thorpej return EPERM;
333 1.2 thorpej break;
334 1.2 thorpej
335 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
336 1.2 thorpej if (mutex->ptm_owner != self)
337 1.2 thorpej return EPERM;
338 1.2 thorpej if (mp->recursecount != 0) {
339 1.2 thorpej mp->recursecount--;
340 1.2 thorpej return 0;
341 1.2 thorpej }
342 1.2 thorpej break;
343 1.2 thorpej }
344 1.2 thorpej
345 1.2 thorpej pthread_spinlock(self, &mutex->ptm_interlock);
346 1.2 thorpej blocked = PTQ_FIRST(&mutex->ptm_blocked);
347 1.2 thorpej if (blocked)
348 1.2 thorpej PTQ_REMOVE(&mutex->ptm_blocked, blocked, pt_sleep);
349 1.2 thorpej mutex->ptm_owner = NULL;
350 1.2 thorpej pthread__simple_unlock(&mutex->ptm_lock);
351 1.2 thorpej pthread_spinunlock(self, &mutex->ptm_interlock);
352 1.2 thorpej
353 1.2 thorpej /* Give the head of the blocked queue another try. */
354 1.2 thorpej if (blocked)
355 1.2 thorpej pthread__sched(self, blocked);
356 1.2 thorpej
357 1.2 thorpej return 0;
358 1.2 thorpej }
359 1.2 thorpej
360 1.2 thorpej int
361 1.2 thorpej pthread_mutexattr_init(pthread_mutexattr_t *attr)
362 1.2 thorpej {
363 1.2 thorpej struct mutexattr_private *map;
364 1.2 thorpej
365 1.2 thorpej #ifdef ERRORCHECK
366 1.2 thorpej if (attr == NULL)
367 1.2 thorpej return EINVAL;
368 1.2 thorpej #endif
369 1.2 thorpej
370 1.2 thorpej map = malloc(sizeof(*map));
371 1.2 thorpej if (map == NULL)
372 1.2 thorpej return ENOMEM;
373 1.2 thorpej
374 1.2 thorpej *map = mutexattr_private_default;
375 1.2 thorpej
376 1.2 thorpej attr->ptma_magic = _PT_MUTEXATTR_MAGIC;
377 1.2 thorpej attr->ptma_private = map;
378 1.2 thorpej
379 1.2 thorpej return 0;
380 1.2 thorpej }
381 1.2 thorpej
382 1.2 thorpej
383 1.2 thorpej int
384 1.2 thorpej pthread_mutexattr_destroy(pthread_mutexattr_t *attr)
385 1.2 thorpej {
386 1.2 thorpej
387 1.2 thorpej #ifdef ERRORCHECK
388 1.2 thorpej if ((attr == NULL) ||
389 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC))
390 1.2 thorpej return EINVAL;
391 1.2 thorpej #endif
392 1.2 thorpej
393 1.2 thorpej attr->ptma_magic = _PT_MUTEXATTR_DEAD;
394 1.2 thorpej if (attr->ptma_private != NULL)
395 1.2 thorpej free(attr->ptma_private);
396 1.2 thorpej
397 1.2 thorpej return 0;
398 1.2 thorpej }
399 1.2 thorpej
400 1.2 thorpej
401 1.2 thorpej int
402 1.2 thorpej pthread_mutexattr_gettype(const pthread_mutexattr_t *attr, int *typep)
403 1.2 thorpej {
404 1.2 thorpej struct mutexattr_private *map;
405 1.2 thorpej
406 1.2 thorpej #ifdef ERRORCHECK
407 1.2 thorpej if ((attr == NULL) ||
408 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC) ||
409 1.2 thorpej (typep == NULL))
410 1.2 thorpej return EINVAL;
411 1.2 thorpej #endif
412 1.2 thorpej
413 1.2 thorpej map = attr->ptma_private;
414 1.2 thorpej
415 1.2 thorpej *typep = map->type;
416 1.2 thorpej
417 1.2 thorpej return 0;
418 1.2 thorpej }
419 1.2 thorpej
420 1.2 thorpej
421 1.2 thorpej int
422 1.2 thorpej pthread_mutexattr_settype(pthread_mutexattr_t *attr, int type)
423 1.2 thorpej {
424 1.2 thorpej struct mutexattr_private *map;
425 1.2 thorpej
426 1.2 thorpej #ifdef ERRORCHECK
427 1.2 thorpej if ((attr == NULL) ||
428 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC))
429 1.2 thorpej return EINVAL;
430 1.2 thorpej #endif
431 1.2 thorpej map = attr->ptma_private;
432 1.2 thorpej
433 1.2 thorpej switch (type) {
434 1.2 thorpej case PTHREAD_MUTEX_NORMAL:
435 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
436 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
437 1.2 thorpej map->type = type;
438 1.2 thorpej break;
439 1.2 thorpej
440 1.2 thorpej default:
441 1.2 thorpej return EINVAL;
442 1.2 thorpej }
443 1.2 thorpej
444 1.2 thorpej return 0;
445 1.2 thorpej }
446 1.2 thorpej
447 1.2 thorpej
448 1.2 thorpej int
449 1.2 thorpej pthread_once(pthread_once_t *once_control, void (*routine)(void))
450 1.2 thorpej {
451 1.2 thorpej
452 1.2 thorpej if (once_control->pto_done == 0) {
453 1.2 thorpej pthread_mutex_lock(&once_control->pto_mutex);
454 1.2 thorpej if (once_control->pto_done == 0) {
455 1.2 thorpej routine();
456 1.2 thorpej once_control->pto_done = 1;
457 1.2 thorpej }
458 1.2 thorpej pthread_mutex_unlock(&once_control->pto_mutex);
459 1.2 thorpej }
460 1.2 thorpej
461 1.2 thorpej return 0;
462 1.2 thorpej }
463