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