Home | History | Annotate | Line # | Download | only in libpthread
pthread_barrier.c revision 1.9
      1  1.9  hubertf /*	$NetBSD: pthread_barrier.c,v 1.9 2007/01/17 23:24:22 hubertf 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.6    lukem 
     39  1.6    lukem #include <sys/cdefs.h>
     40  1.9  hubertf __RCSID("$NetBSD: pthread_barrier.c,v 1.9 2007/01/17 23:24:22 hubertf Exp $");
     41  1.2  thorpej 
     42  1.2  thorpej #include <errno.h>
     43  1.2  thorpej 
     44  1.2  thorpej #include "pthread.h"
     45  1.2  thorpej #include "pthread_int.h"
     46  1.2  thorpej 
     47  1.2  thorpej #undef PTHREAD_BARRIER_DEBUG
     48  1.2  thorpej 
     49  1.2  thorpej #ifdef PTHREAD_BARRIER_DEBUG
     50  1.2  thorpej #define SDPRINTF(x) DPRINTF(x)
     51  1.2  thorpej #else
     52  1.2  thorpej #define SDPRINTF(x)
     53  1.2  thorpej #endif
     54  1.2  thorpej 
     55  1.2  thorpej int
     56  1.2  thorpej pthread_barrier_init(pthread_barrier_t *barrier,
     57  1.2  thorpej     const pthread_barrierattr_t *attr, unsigned int count)
     58  1.2  thorpej {
     59  1.2  thorpej 	pthread_t self;
     60  1.2  thorpej 
     61  1.2  thorpej #ifdef ERRORCHECK
     62  1.2  thorpej 	if ((barrier == NULL) ||
     63  1.2  thorpej 	    (attr && (attr->ptba_magic != _PT_BARRIERATTR_MAGIC)))
     64  1.2  thorpej 		return EINVAL;
     65  1.2  thorpej #endif
     66  1.2  thorpej 
     67  1.2  thorpej 	if (count == 0)
     68  1.2  thorpej 		return EINVAL;
     69  1.2  thorpej 
     70  1.2  thorpej 	self = pthread__self();
     71  1.2  thorpej 
     72  1.2  thorpej 	if (barrier->ptb_magic == _PT_BARRIER_MAGIC) {
     73  1.2  thorpej 		/*
     74  1.2  thorpej 		 * We're simply reinitializing the barrier to a
     75  1.2  thorpej 		 * new count.
     76  1.2  thorpej 		 */
     77  1.2  thorpej 		pthread_spinlock(self, &barrier->ptb_lock);
     78  1.2  thorpej 
     79  1.2  thorpej 		if (barrier->ptb_magic != _PT_BARRIER_MAGIC) {
     80  1.2  thorpej 			pthread_spinunlock(self, &barrier->ptb_lock);
     81  1.2  thorpej 			return EINVAL;
     82  1.2  thorpej 		}
     83  1.2  thorpej 
     84  1.2  thorpej 		if (!PTQ_EMPTY(&barrier->ptb_waiters)) {
     85  1.2  thorpej 			pthread_spinunlock(self, &barrier->ptb_lock);
     86  1.2  thorpej 			return EBUSY;
     87  1.2  thorpej 		}
     88  1.2  thorpej 
     89  1.2  thorpej 		barrier->ptb_initcount = count;
     90  1.2  thorpej 		barrier->ptb_curcount = 0;
     91  1.3  nathanw 		barrier->ptb_generation = 0;
     92  1.2  thorpej 
     93  1.2  thorpej 		pthread_spinunlock(self, &barrier->ptb_lock);
     94  1.2  thorpej 
     95  1.2  thorpej 		return 0;
     96  1.2  thorpej 	}
     97  1.2  thorpej 
     98  1.2  thorpej 	barrier->ptb_magic = _PT_BARRIER_MAGIC;
     99  1.2  thorpej 	pthread_lockinit(&barrier->ptb_lock);
    100  1.2  thorpej 	PTQ_INIT(&barrier->ptb_waiters);
    101  1.2  thorpej 	barrier->ptb_initcount = count;
    102  1.2  thorpej 	barrier->ptb_curcount = 0;
    103  1.3  nathanw 	barrier->ptb_generation = 0;
    104  1.2  thorpej 
    105  1.2  thorpej 	return 0;
    106  1.2  thorpej }
    107  1.2  thorpej 
    108  1.2  thorpej 
    109  1.2  thorpej int
    110  1.2  thorpej pthread_barrier_destroy(pthread_barrier_t *barrier)
    111  1.2  thorpej {
    112  1.2  thorpej 	pthread_t self;
    113  1.2  thorpej 
    114  1.2  thorpej #ifdef ERRORCHECK
    115  1.2  thorpej 	if ((barrier == NULL) || (barrier->ptb_magic != _PT_BARRIER_MAGIC))
    116  1.2  thorpej 		return EINVAL;
    117  1.2  thorpej #endif
    118  1.2  thorpej 
    119  1.2  thorpej 	self = pthread__self();
    120  1.2  thorpej 
    121  1.2  thorpej 	pthread_spinlock(self, &barrier->ptb_lock);
    122  1.2  thorpej 
    123  1.2  thorpej 	if (barrier->ptb_magic != _PT_BARRIER_MAGIC) {
    124  1.2  thorpej 		pthread_spinunlock(self, &barrier->ptb_lock);
    125  1.2  thorpej 		return EINVAL;
    126  1.2  thorpej 	}
    127  1.2  thorpej 
    128  1.2  thorpej 	if (!PTQ_EMPTY(&barrier->ptb_waiters)) {
    129  1.2  thorpej 		pthread_spinunlock(self, &barrier->ptb_lock);
    130  1.2  thorpej 		return EBUSY;
    131  1.2  thorpej 	}
    132  1.2  thorpej 
    133  1.2  thorpej 	barrier->ptb_magic = _PT_BARRIER_DEAD;
    134  1.2  thorpej 
    135  1.2  thorpej 	pthread_spinunlock(self, &barrier->ptb_lock);
    136  1.2  thorpej 
    137  1.2  thorpej 	return 0;
    138  1.2  thorpej }
    139  1.2  thorpej 
    140  1.2  thorpej 
    141  1.2  thorpej int
    142  1.2  thorpej pthread_barrier_wait(pthread_barrier_t *barrier)
    143  1.2  thorpej {
    144  1.2  thorpej 	pthread_t self;
    145  1.3  nathanw 	unsigned int gen;
    146  1.2  thorpej 
    147  1.2  thorpej #ifdef ERRORCHECK
    148  1.2  thorpej 	if ((barrier == NULL) || (barrier->ptb_magic != _PT_BARRIER_MAGIC))
    149  1.2  thorpej 		return EINVAL;
    150  1.2  thorpej #endif
    151  1.2  thorpej 	self = pthread__self();
    152  1.2  thorpej 
    153  1.2  thorpej 	pthread_spinlock(self, &barrier->ptb_lock);
    154  1.2  thorpej 
    155  1.2  thorpej 	/*
    156  1.2  thorpej 	 * A single arbitrary thread is supposed to return
    157  1.2  thorpej 	 * PTHREAD_BARRIER_SERIAL_THREAD, and everone else
    158  1.2  thorpej 	 * is supposed to return 0.  Since pthread_barrier_wait()
    159  1.2  thorpej 	 * is not a cancellation point, this is trivial; we
    160  1.2  thorpej 	 * simply elect that the thread that causes the barrier
    161  1.2  thorpej 	 * to be satisfied gets the special return value.  Note
    162  1.2  thorpej 	 * that this final thread does not actually need to block,
    163  1.2  thorpej 	 * but instead is responsible for waking everyone else up.
    164  1.2  thorpej 	 */
    165  1.2  thorpej 	if (barrier->ptb_curcount + 1 == barrier->ptb_initcount) {
    166  1.8       ad #ifdef PTHREAD_SA
    167  1.2  thorpej 		struct pthread_queue_t blockedq;
    168  1.2  thorpej 
    169  1.2  thorpej 		SDPRINTF(("(barrier wait %p) Satisfied %p\n",
    170  1.2  thorpej 		    self, barrier));
    171  1.2  thorpej 
    172  1.2  thorpej 		blockedq = barrier->ptb_waiters;
    173  1.2  thorpej 		PTQ_INIT(&barrier->ptb_waiters);
    174  1.2  thorpej 		barrier->ptb_curcount = 0;
    175  1.3  nathanw 		barrier->ptb_generation++;
    176  1.2  thorpej 
    177  1.4  nathanw 		pthread__sched_sleepers(self, &blockedq);
    178  1.2  thorpej 
    179  1.2  thorpej 		pthread_spinunlock(self, &barrier->ptb_lock);
    180  1.7       ad #else
    181  1.8       ad 		SDPRINTF(("(barrier wait %p) Satisfied %p\n",
    182  1.8       ad 		    self, barrier));
    183  1.8       ad 
    184  1.8       ad 		barrier->ptb_generation++;
    185  1.7       ad 		pthread__unpark_all(self, &barrier->ptb_lock, barrier,
    186  1.8       ad 		    &barrier->ptb_waiters);
    187  1.7       ad #endif
    188  1.2  thorpej 		return PTHREAD_BARRIER_SERIAL_THREAD;
    189  1.2  thorpej 	}
    190  1.2  thorpej 
    191  1.3  nathanw 	barrier->ptb_curcount++;
    192  1.3  nathanw 	gen = barrier->ptb_generation;
    193  1.3  nathanw 	while (gen == barrier->ptb_generation) {
    194  1.3  nathanw 		SDPRINTF(("(barrier wait %p) Waiting on %p\n",
    195  1.3  nathanw 		    self, barrier));
    196  1.2  thorpej 
    197  1.7       ad #ifdef PTHREAD_SA
    198  1.3  nathanw 		pthread_spinlock(self, &self->pt_statelock);
    199  1.2  thorpej 
    200  1.3  nathanw 		self->pt_state = PT_STATE_BLOCKED_QUEUE;
    201  1.3  nathanw 		self->pt_sleepobj = barrier;
    202  1.3  nathanw 		self->pt_sleepq = &barrier->ptb_waiters;
    203  1.3  nathanw 		self->pt_sleeplock = &barrier->ptb_lock;
    204  1.7       ad 
    205  1.3  nathanw 		pthread_spinunlock(self, &self->pt_statelock);
    206  1.2  thorpej 
    207  1.3  nathanw 		PTQ_INSERT_TAIL(&barrier->ptb_waiters, self, pt_sleep);
    208  1.2  thorpej 
    209  1.3  nathanw 		pthread__block(self, &barrier->ptb_lock);
    210  1.7       ad 		/* Spinlock is unlocked on return */
    211  1.7       ad 		pthread_spinlock(self, &barrier->ptb_lock);
    212  1.7       ad #else	/* PTHREAD_SA */
    213  1.7       ad 		(void)pthread__park(self, &barrier->ptb_lock, barrier,
    214  1.8       ad 		    &barrier->ptb_waiters, NULL, 1, 0);
    215  1.7       ad #endif	/* PTHREAD_SA */
    216  1.3  nathanw 		SDPRINTF(("(barrier wait %p) Woke up on %p\n",
    217  1.3  nathanw 		    self, barrier));
    218  1.3  nathanw 	}
    219  1.3  nathanw 	pthread_spinunlock(self, &barrier->ptb_lock);
    220  1.2  thorpej 
    221  1.2  thorpej 	return 0;
    222  1.2  thorpej }
    223  1.2  thorpej 
    224  1.2  thorpej 
    225  1.2  thorpej int
    226  1.2  thorpej pthread_barrierattr_init(pthread_barrierattr_t *attr)
    227  1.2  thorpej {
    228  1.2  thorpej 
    229  1.2  thorpej #ifdef ERRORCHECK
    230  1.2  thorpej 	if (attr == NULL)
    231  1.2  thorpej 		return EINVAL;
    232  1.2  thorpej #endif
    233  1.2  thorpej 
    234  1.2  thorpej 	attr->ptba_magic = _PT_BARRIERATTR_MAGIC;
    235  1.2  thorpej 
    236  1.2  thorpej 	return 0;
    237  1.2  thorpej }
    238  1.2  thorpej 
    239  1.2  thorpej 
    240  1.2  thorpej int
    241  1.2  thorpej pthread_barrierattr_destroy(pthread_barrierattr_t *attr)
    242  1.2  thorpej {
    243  1.2  thorpej 
    244  1.2  thorpej #ifdef ERRORCHECK
    245  1.2  thorpej 	if ((attr == NULL) ||
    246  1.2  thorpej 	    (attr->ptba_magic != _PT_BARRIERATTR_MAGIC))
    247  1.2  thorpej 		return EINVAL;
    248  1.2  thorpej #endif
    249  1.2  thorpej 
    250  1.2  thorpej 	attr->ptba_magic = _PT_BARRIERATTR_DEAD;
    251  1.2  thorpej 
    252  1.2  thorpej 	return 0;
    253  1.2  thorpej }
    254