pthread_mutex.c revision 1.6 1 1.6 scw /* $NetBSD: pthread_mutex.c,v 1.6 2003/01/22 13:49:14 scw 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.6 scw #include <string.h>
45 1.2 thorpej
46 1.2 thorpej #include "pthread.h"
47 1.2 thorpej #include "pthread_int.h"
48 1.2 thorpej
49 1.2 thorpej static int pthread_mutex_lock_slow(pthread_mutex_t *);
50 1.2 thorpej
51 1.2 thorpej __strong_alias(__libc_mutex_init,pthread_mutex_init)
52 1.2 thorpej __strong_alias(__libc_mutex_lock,pthread_mutex_lock)
53 1.2 thorpej __strong_alias(__libc_mutex_trylock,pthread_mutex_trylock)
54 1.2 thorpej __strong_alias(__libc_mutex_unlock,pthread_mutex_unlock)
55 1.2 thorpej __strong_alias(__libc_mutex_destroy,pthread_mutex_destroy)
56 1.4 thorpej
57 1.4 thorpej __strong_alias(__libc_mutexattr_init,pthread_mutexattr_init)
58 1.4 thorpej __strong_alias(__libc_mutexattr_destroy,pthread_mutexattr_destroy)
59 1.5 thorpej __strong_alias(__libc_mutexattr_settype,pthread_mutexattr_settype)
60 1.2 thorpej
61 1.2 thorpej __strong_alias(__libc_thr_once,pthread_once)
62 1.2 thorpej
63 1.2 thorpej struct mutex_private {
64 1.2 thorpej int type;
65 1.2 thorpej int recursecount;
66 1.2 thorpej };
67 1.2 thorpej
68 1.2 thorpej static const struct mutex_private mutex_private_default = {
69 1.2 thorpej PTHREAD_MUTEX_DEFAULT,
70 1.2 thorpej 0,
71 1.2 thorpej };
72 1.2 thorpej
73 1.2 thorpej struct mutexattr_private {
74 1.2 thorpej int type;
75 1.2 thorpej };
76 1.2 thorpej
77 1.2 thorpej static const struct mutexattr_private mutexattr_private_default = {
78 1.2 thorpej PTHREAD_MUTEX_DEFAULT,
79 1.2 thorpej };
80 1.2 thorpej
81 1.2 thorpej /*
82 1.2 thorpej * If the mutex does not already have private data (i.e. was statically
83 1.2 thorpej * initialized), then give it the default.
84 1.2 thorpej */
85 1.2 thorpej #define GET_MUTEX_PRIVATE(mutex, mp) \
86 1.2 thorpej do { \
87 1.2 thorpej if (__predict_false((mp = (mutex)->ptm_private) == NULL)) { \
88 1.2 thorpej /* LINTED cast away const */ \
89 1.2 thorpej mp = ((mutex)->ptm_private = \
90 1.2 thorpej (void *)&mutex_private_default); \
91 1.2 thorpej } \
92 1.2 thorpej } while (/*CONSTCOND*/0)
93 1.2 thorpej
94 1.2 thorpej int
95 1.2 thorpej pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr)
96 1.2 thorpej {
97 1.2 thorpej struct mutexattr_private *map;
98 1.2 thorpej struct mutex_private *mp;
99 1.2 thorpej
100 1.2 thorpej #ifdef ERRORCHECK
101 1.2 thorpej if ((mutex == NULL) ||
102 1.2 thorpej (attr && (attr->ptma_magic != _PT_MUTEXATTR_MAGIC)))
103 1.2 thorpej return EINVAL;
104 1.2 thorpej #endif
105 1.2 thorpej
106 1.2 thorpej if (attr != NULL && (map = attr->ptma_private) != NULL &&
107 1.2 thorpej memcmp(map, &mutexattr_private_default, sizeof(*map)) != 0) {
108 1.2 thorpej mp = malloc(sizeof(*mp));
109 1.2 thorpej if (mp == NULL)
110 1.2 thorpej return ENOMEM;
111 1.2 thorpej
112 1.2 thorpej mp->type = map->type;
113 1.2 thorpej mp->recursecount = 0;
114 1.2 thorpej } else {
115 1.2 thorpej /* LINTED cast away const */
116 1.2 thorpej mp = (struct mutex_private *) &mutex_private_default;
117 1.2 thorpej }
118 1.2 thorpej
119 1.2 thorpej mutex->ptm_magic = _PT_MUTEX_MAGIC;
120 1.2 thorpej mutex->ptm_owner = NULL;
121 1.2 thorpej pthread_lockinit(&mutex->ptm_lock);
122 1.2 thorpej pthread_lockinit(&mutex->ptm_interlock);
123 1.2 thorpej PTQ_INIT(&mutex->ptm_blocked);
124 1.2 thorpej mutex->ptm_private = mp;
125 1.2 thorpej
126 1.2 thorpej return 0;
127 1.2 thorpej }
128 1.2 thorpej
129 1.2 thorpej
130 1.2 thorpej int
131 1.2 thorpej pthread_mutex_destroy(pthread_mutex_t *mutex)
132 1.2 thorpej {
133 1.2 thorpej
134 1.2 thorpej #ifdef ERRORCHECK
135 1.2 thorpej if ((mutex == NULL) ||
136 1.2 thorpej (mutex->ptm_magic != _PT_MUTEX_MAGIC) ||
137 1.2 thorpej (mutex->ptm_lock != __SIMPLELOCK_UNLOCKED))
138 1.2 thorpej return EINVAL;
139 1.2 thorpej #endif
140 1.2 thorpej
141 1.2 thorpej mutex->ptm_magic = _PT_MUTEX_DEAD;
142 1.2 thorpej if (mutex->ptm_private != NULL &&
143 1.3 christos mutex->ptm_private != (const void *)&mutex_private_default)
144 1.2 thorpej free(mutex->ptm_private);
145 1.2 thorpej
146 1.2 thorpej return 0;
147 1.2 thorpej }
148 1.2 thorpej
149 1.2 thorpej
150 1.2 thorpej /*
151 1.2 thorpej * Note regarding memory visibility: Pthreads has rules about memory
152 1.2 thorpej * visibility and mutexes. Very roughly: Memory a thread can see when
153 1.2 thorpej * it unlocks a mutex can be seen by another thread that locks the
154 1.2 thorpej * same mutex.
155 1.2 thorpej *
156 1.2 thorpej * A memory barrier after a lock and before an unlock will provide
157 1.2 thorpej * this behavior. This code relies on pthread__simple_lock_try() to issue
158 1.2 thorpej * a barrier after obtaining a lock, and on pthread__simple_unlock() to
159 1.2 thorpej * issue a barrier before releasing a lock.
160 1.2 thorpej */
161 1.2 thorpej
162 1.2 thorpej int
163 1.2 thorpej pthread_mutex_lock(pthread_mutex_t *mutex)
164 1.2 thorpej {
165 1.2 thorpej int error;
166 1.2 thorpej
167 1.2 thorpej #ifdef ERRORCHECK
168 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
169 1.2 thorpej return EINVAL;
170 1.2 thorpej #endif
171 1.2 thorpej
172 1.2 thorpej /*
173 1.2 thorpej * Note that if we get the lock, we don't have to deal with any
174 1.2 thorpej * non-default lock type handling.
175 1.2 thorpej */
176 1.2 thorpej if (__predict_false(pthread__simple_lock_try(&mutex->ptm_lock) == 0)) {
177 1.2 thorpej error = pthread_mutex_lock_slow(mutex);
178 1.2 thorpej if (error)
179 1.2 thorpej return error;
180 1.2 thorpej }
181 1.2 thorpej
182 1.2 thorpej /* We have the lock! */
183 1.2 thorpej mutex->ptm_owner = pthread__self();
184 1.2 thorpej
185 1.2 thorpej return 0;
186 1.2 thorpej }
187 1.2 thorpej
188 1.2 thorpej
189 1.2 thorpej static int
190 1.2 thorpej pthread_mutex_lock_slow(pthread_mutex_t *mutex)
191 1.2 thorpej {
192 1.2 thorpej pthread_t self;
193 1.2 thorpej
194 1.2 thorpej self = pthread__self();
195 1.2 thorpej
196 1.2 thorpej while (/*CONSTCOND*/1) {
197 1.2 thorpej if (pthread__simple_lock_try(&mutex->ptm_lock))
198 1.2 thorpej break; /* got it! */
199 1.2 thorpej
200 1.2 thorpej /* Okay, didn't look free. Get the interlock... */
201 1.2 thorpej pthread_spinlock(self, &mutex->ptm_interlock);
202 1.2 thorpej /*
203 1.2 thorpej * The mutex_unlock routine will get the interlock
204 1.2 thorpej * before looking at the list of sleepers, so if the
205 1.2 thorpej * lock is held we can safely put ourselves on the
206 1.2 thorpej * sleep queue. If it's not held, we can try taking it
207 1.2 thorpej * again.
208 1.2 thorpej */
209 1.2 thorpej if (mutex->ptm_lock == __SIMPLELOCK_LOCKED) {
210 1.2 thorpej struct mutex_private *mp;
211 1.2 thorpej
212 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
213 1.2 thorpej
214 1.2 thorpej if (mutex->ptm_owner == self) {
215 1.2 thorpej switch (mp->type) {
216 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
217 1.2 thorpej pthread_spinunlock(self,
218 1.2 thorpej &mutex->ptm_interlock);
219 1.2 thorpej return EDEADLK;
220 1.2 thorpej
221 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
222 1.2 thorpej /*
223 1.2 thorpej * It's safe to do this without
224 1.2 thorpej * holding the interlock, because
225 1.2 thorpej * we only modify it if we know we
226 1.2 thorpej * own the mutex.
227 1.2 thorpej */
228 1.2 thorpej pthread_spinunlock(self,
229 1.2 thorpej &mutex->ptm_interlock);
230 1.2 thorpej if (mp->recursecount == INT_MAX)
231 1.2 thorpej return EAGAIN;
232 1.2 thorpej mp->recursecount++;
233 1.2 thorpej return 0;
234 1.2 thorpej }
235 1.2 thorpej }
236 1.2 thorpej
237 1.2 thorpej PTQ_INSERT_TAIL(&mutex->ptm_blocked, self, pt_sleep);
238 1.2 thorpej /*
239 1.2 thorpej * Locking a mutex is not a cancellation
240 1.2 thorpej * point, so we don't need to do the
241 1.2 thorpej * test-cancellation dance. We may get woken
242 1.2 thorpej * up spuriously by pthread_cancel, though,
243 1.2 thorpej * but it's okay since we're just going to
244 1.2 thorpej * retry.
245 1.2 thorpej */
246 1.2 thorpej pthread_spinlock(self, &self->pt_statelock);
247 1.2 thorpej self->pt_state = PT_STATE_BLOCKED_QUEUE;
248 1.2 thorpej self->pt_sleepobj = mutex;
249 1.2 thorpej self->pt_sleepq = &mutex->ptm_blocked;
250 1.2 thorpej self->pt_sleeplock = &mutex->ptm_interlock;
251 1.2 thorpej pthread_spinunlock(self, &self->pt_statelock);
252 1.2 thorpej
253 1.2 thorpej pthread__block(self, &mutex->ptm_interlock);
254 1.2 thorpej /* interlock is not held when we return */
255 1.2 thorpej } else {
256 1.2 thorpej pthread_spinunlock(self, &mutex->ptm_interlock);
257 1.2 thorpej }
258 1.2 thorpej /* Go around for another try. */
259 1.2 thorpej }
260 1.2 thorpej
261 1.2 thorpej return 0;
262 1.2 thorpej }
263 1.2 thorpej
264 1.2 thorpej
265 1.2 thorpej int
266 1.2 thorpej pthread_mutex_trylock(pthread_mutex_t *mutex)
267 1.2 thorpej {
268 1.2 thorpej pthread_t self = pthread__self();
269 1.2 thorpej
270 1.2 thorpej #ifdef ERRORCHECK
271 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
272 1.2 thorpej return EINVAL;
273 1.2 thorpej #endif
274 1.2 thorpej
275 1.2 thorpej if (pthread__simple_lock_try(&mutex->ptm_lock) == 0) {
276 1.2 thorpej struct mutex_private *mp;
277 1.2 thorpej
278 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
279 1.2 thorpej
280 1.2 thorpej /*
281 1.2 thorpej * These tests can be performed without holding the
282 1.2 thorpej * interlock because these fields are only modified
283 1.2 thorpej * if we know we own the mutex.
284 1.2 thorpej */
285 1.2 thorpej if (mutex->ptm_owner == self) {
286 1.2 thorpej switch (mp->type) {
287 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
288 1.2 thorpej return EDEADLK;
289 1.2 thorpej
290 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
291 1.2 thorpej if (mp->recursecount == INT_MAX)
292 1.2 thorpej return EAGAIN;
293 1.2 thorpej mp->recursecount++;
294 1.2 thorpej return 0;
295 1.2 thorpej }
296 1.2 thorpej }
297 1.2 thorpej
298 1.2 thorpej return EBUSY;
299 1.2 thorpej }
300 1.2 thorpej
301 1.2 thorpej mutex->ptm_owner = self;
302 1.2 thorpej
303 1.2 thorpej return 0;
304 1.2 thorpej }
305 1.2 thorpej
306 1.2 thorpej
307 1.2 thorpej int
308 1.2 thorpej pthread_mutex_unlock(pthread_mutex_t *mutex)
309 1.2 thorpej {
310 1.2 thorpej struct mutex_private *mp;
311 1.2 thorpej pthread_t self, blocked;
312 1.2 thorpej
313 1.2 thorpej self = pthread__self();
314 1.2 thorpej
315 1.2 thorpej #ifdef ERRORCHECK
316 1.2 thorpej if ((mutex == NULL) || (mutex->ptm_magic != _PT_MUTEX_MAGIC))
317 1.2 thorpej return EINVAL;
318 1.2 thorpej
319 1.2 thorpej if (mutex->ptm_lock != __SIMPLELOCK_LOCKED)
320 1.2 thorpej return EPERM; /* Not exactly the right error. */
321 1.2 thorpej #endif
322 1.2 thorpej
323 1.2 thorpej GET_MUTEX_PRIVATE(mutex, mp);
324 1.2 thorpej
325 1.2 thorpej /*
326 1.2 thorpej * These tests can be performed without holding the
327 1.2 thorpej * interlock because these fields are only modified
328 1.2 thorpej * if we know we own the mutex.
329 1.2 thorpej */
330 1.2 thorpej switch (mp->type) {
331 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
332 1.2 thorpej if (mutex->ptm_owner != self)
333 1.2 thorpej return EPERM;
334 1.2 thorpej break;
335 1.2 thorpej
336 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
337 1.2 thorpej if (mutex->ptm_owner != self)
338 1.2 thorpej return EPERM;
339 1.2 thorpej if (mp->recursecount != 0) {
340 1.2 thorpej mp->recursecount--;
341 1.2 thorpej return 0;
342 1.2 thorpej }
343 1.2 thorpej break;
344 1.2 thorpej }
345 1.2 thorpej
346 1.2 thorpej pthread_spinlock(self, &mutex->ptm_interlock);
347 1.2 thorpej blocked = PTQ_FIRST(&mutex->ptm_blocked);
348 1.2 thorpej if (blocked)
349 1.2 thorpej PTQ_REMOVE(&mutex->ptm_blocked, blocked, pt_sleep);
350 1.2 thorpej mutex->ptm_owner = NULL;
351 1.2 thorpej pthread__simple_unlock(&mutex->ptm_lock);
352 1.2 thorpej pthread_spinunlock(self, &mutex->ptm_interlock);
353 1.2 thorpej
354 1.2 thorpej /* Give the head of the blocked queue another try. */
355 1.2 thorpej if (blocked)
356 1.2 thorpej pthread__sched(self, blocked);
357 1.2 thorpej
358 1.2 thorpej return 0;
359 1.2 thorpej }
360 1.2 thorpej
361 1.2 thorpej int
362 1.2 thorpej pthread_mutexattr_init(pthread_mutexattr_t *attr)
363 1.2 thorpej {
364 1.2 thorpej struct mutexattr_private *map;
365 1.2 thorpej
366 1.2 thorpej #ifdef ERRORCHECK
367 1.2 thorpej if (attr == NULL)
368 1.2 thorpej return EINVAL;
369 1.2 thorpej #endif
370 1.2 thorpej
371 1.2 thorpej map = malloc(sizeof(*map));
372 1.2 thorpej if (map == NULL)
373 1.2 thorpej return ENOMEM;
374 1.2 thorpej
375 1.2 thorpej *map = mutexattr_private_default;
376 1.2 thorpej
377 1.2 thorpej attr->ptma_magic = _PT_MUTEXATTR_MAGIC;
378 1.2 thorpej attr->ptma_private = map;
379 1.2 thorpej
380 1.2 thorpej return 0;
381 1.2 thorpej }
382 1.2 thorpej
383 1.2 thorpej
384 1.2 thorpej int
385 1.2 thorpej pthread_mutexattr_destroy(pthread_mutexattr_t *attr)
386 1.2 thorpej {
387 1.2 thorpej
388 1.2 thorpej #ifdef ERRORCHECK
389 1.2 thorpej if ((attr == NULL) ||
390 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC))
391 1.2 thorpej return EINVAL;
392 1.2 thorpej #endif
393 1.2 thorpej
394 1.2 thorpej attr->ptma_magic = _PT_MUTEXATTR_DEAD;
395 1.2 thorpej if (attr->ptma_private != NULL)
396 1.2 thorpej free(attr->ptma_private);
397 1.2 thorpej
398 1.2 thorpej return 0;
399 1.2 thorpej }
400 1.2 thorpej
401 1.2 thorpej
402 1.2 thorpej int
403 1.2 thorpej pthread_mutexattr_gettype(const pthread_mutexattr_t *attr, int *typep)
404 1.2 thorpej {
405 1.2 thorpej struct mutexattr_private *map;
406 1.2 thorpej
407 1.2 thorpej #ifdef ERRORCHECK
408 1.2 thorpej if ((attr == NULL) ||
409 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC) ||
410 1.2 thorpej (typep == NULL))
411 1.2 thorpej return EINVAL;
412 1.2 thorpej #endif
413 1.2 thorpej
414 1.2 thorpej map = attr->ptma_private;
415 1.2 thorpej
416 1.2 thorpej *typep = map->type;
417 1.2 thorpej
418 1.2 thorpej return 0;
419 1.2 thorpej }
420 1.2 thorpej
421 1.2 thorpej
422 1.2 thorpej int
423 1.2 thorpej pthread_mutexattr_settype(pthread_mutexattr_t *attr, int type)
424 1.2 thorpej {
425 1.2 thorpej struct mutexattr_private *map;
426 1.2 thorpej
427 1.2 thorpej #ifdef ERRORCHECK
428 1.2 thorpej if ((attr == NULL) ||
429 1.2 thorpej (attr->ptma_magic != _PT_MUTEXATTR_MAGIC))
430 1.2 thorpej return EINVAL;
431 1.2 thorpej #endif
432 1.2 thorpej map = attr->ptma_private;
433 1.2 thorpej
434 1.2 thorpej switch (type) {
435 1.2 thorpej case PTHREAD_MUTEX_NORMAL:
436 1.2 thorpej case PTHREAD_MUTEX_ERRORCHECK:
437 1.2 thorpej case PTHREAD_MUTEX_RECURSIVE:
438 1.2 thorpej map->type = type;
439 1.2 thorpej break;
440 1.2 thorpej
441 1.2 thorpej default:
442 1.2 thorpej return EINVAL;
443 1.2 thorpej }
444 1.2 thorpej
445 1.2 thorpej return 0;
446 1.2 thorpej }
447 1.2 thorpej
448 1.2 thorpej
449 1.2 thorpej int
450 1.2 thorpej pthread_once(pthread_once_t *once_control, void (*routine)(void))
451 1.2 thorpej {
452 1.2 thorpej
453 1.2 thorpej if (once_control->pto_done == 0) {
454 1.2 thorpej pthread_mutex_lock(&once_control->pto_mutex);
455 1.2 thorpej if (once_control->pto_done == 0) {
456 1.2 thorpej routine();
457 1.2 thorpej once_control->pto_done = 1;
458 1.2 thorpej }
459 1.2 thorpej pthread_mutex_unlock(&once_control->pto_mutex);
460 1.2 thorpej }
461 1.2 thorpej
462 1.2 thorpej return 0;
463 1.2 thorpej }
464