Home | History | Annotate | Line # | Download | only in libpthread
pthread_barrier.c revision 1.14
      1  1.14       ad /*	$NetBSD: pthread_barrier.c,v 1.14 2007/08/16 13:54:16 ad Exp $	*/
      2   1.2  thorpej 
      3   1.2  thorpej /*-
      4  1.10       ad  * Copyright (c) 2001, 2003, 2006, 2007 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.11       ad  * by Nathan J. Williams, by Jason R. Thorpe, and by Andrew Doran.
      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.14       ad __RCSID("$NetBSD: pthread_barrier.c,v 1.14 2007/08/16 13:54:16 ad 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 
     60   1.2  thorpej #ifdef ERRORCHECK
     61   1.2  thorpej 	if ((barrier == NULL) ||
     62   1.2  thorpej 	    (attr && (attr->ptba_magic != _PT_BARRIERATTR_MAGIC)))
     63   1.2  thorpej 		return EINVAL;
     64   1.2  thorpej #endif
     65   1.2  thorpej 
     66   1.2  thorpej 	if (count == 0)
     67   1.2  thorpej 		return EINVAL;
     68   1.2  thorpej 
     69   1.2  thorpej 	if (barrier->ptb_magic == _PT_BARRIER_MAGIC) {
     70   1.2  thorpej 		/*
     71   1.2  thorpej 		 * We're simply reinitializing the barrier to a
     72   1.2  thorpej 		 * new count.
     73   1.2  thorpej 		 */
     74  1.14       ad 		pthread_spinlock(&barrier->ptb_lock);
     75   1.2  thorpej 
     76   1.2  thorpej 		if (barrier->ptb_magic != _PT_BARRIER_MAGIC) {
     77  1.14       ad 			pthread_spinunlock(&barrier->ptb_lock);
     78   1.2  thorpej 			return EINVAL;
     79   1.2  thorpej 		}
     80   1.2  thorpej 
     81   1.2  thorpej 		if (!PTQ_EMPTY(&barrier->ptb_waiters)) {
     82  1.14       ad 			pthread_spinunlock(&barrier->ptb_lock);
     83   1.2  thorpej 			return EBUSY;
     84   1.2  thorpej 		}
     85   1.2  thorpej 
     86   1.2  thorpej 		barrier->ptb_initcount = count;
     87   1.2  thorpej 		barrier->ptb_curcount = 0;
     88   1.3  nathanw 		barrier->ptb_generation = 0;
     89   1.2  thorpej 
     90  1.14       ad 		pthread_spinunlock(&barrier->ptb_lock);
     91   1.2  thorpej 
     92   1.2  thorpej 		return 0;
     93   1.2  thorpej 	}
     94   1.2  thorpej 
     95   1.2  thorpej 	barrier->ptb_magic = _PT_BARRIER_MAGIC;
     96   1.2  thorpej 	pthread_lockinit(&barrier->ptb_lock);
     97   1.2  thorpej 	PTQ_INIT(&barrier->ptb_waiters);
     98   1.2  thorpej 	barrier->ptb_initcount = count;
     99   1.2  thorpej 	barrier->ptb_curcount = 0;
    100   1.3  nathanw 	barrier->ptb_generation = 0;
    101   1.2  thorpej 
    102   1.2  thorpej 	return 0;
    103   1.2  thorpej }
    104   1.2  thorpej 
    105   1.2  thorpej 
    106   1.2  thorpej int
    107   1.2  thorpej pthread_barrier_destroy(pthread_barrier_t *barrier)
    108   1.2  thorpej {
    109   1.2  thorpej 
    110   1.2  thorpej #ifdef ERRORCHECK
    111   1.2  thorpej 	if ((barrier == NULL) || (barrier->ptb_magic != _PT_BARRIER_MAGIC))
    112   1.2  thorpej 		return EINVAL;
    113   1.2  thorpej #endif
    114   1.2  thorpej 
    115  1.14       ad 	pthread_spinlock(&barrier->ptb_lock);
    116   1.2  thorpej 
    117   1.2  thorpej 	if (barrier->ptb_magic != _PT_BARRIER_MAGIC) {
    118  1.14       ad 		pthread_spinunlock(&barrier->ptb_lock);
    119   1.2  thorpej 		return EINVAL;
    120   1.2  thorpej 	}
    121   1.2  thorpej 
    122   1.2  thorpej 	if (!PTQ_EMPTY(&barrier->ptb_waiters)) {
    123  1.14       ad 		pthread_spinunlock(&barrier->ptb_lock);
    124   1.2  thorpej 		return EBUSY;
    125   1.2  thorpej 	}
    126   1.2  thorpej 
    127   1.2  thorpej 	barrier->ptb_magic = _PT_BARRIER_DEAD;
    128   1.2  thorpej 
    129  1.14       ad 	pthread_spinunlock(&barrier->ptb_lock);
    130   1.2  thorpej 
    131   1.2  thorpej 	return 0;
    132   1.2  thorpej }
    133   1.2  thorpej 
    134   1.2  thorpej 
    135   1.2  thorpej int
    136   1.2  thorpej pthread_barrier_wait(pthread_barrier_t *barrier)
    137   1.2  thorpej {
    138   1.2  thorpej 	pthread_t self;
    139   1.3  nathanw 	unsigned int gen;
    140   1.2  thorpej 
    141   1.2  thorpej #ifdef ERRORCHECK
    142   1.2  thorpej 	if ((barrier == NULL) || (barrier->ptb_magic != _PT_BARRIER_MAGIC))
    143   1.2  thorpej 		return EINVAL;
    144   1.2  thorpej #endif
    145   1.2  thorpej 	self = pthread__self();
    146   1.2  thorpej 
    147  1.14       ad 	pthread_spinlock(&barrier->ptb_lock);
    148   1.2  thorpej 
    149   1.2  thorpej 	/*
    150   1.2  thorpej 	 * A single arbitrary thread is supposed to return
    151   1.2  thorpej 	 * PTHREAD_BARRIER_SERIAL_THREAD, and everone else
    152   1.2  thorpej 	 * is supposed to return 0.  Since pthread_barrier_wait()
    153   1.2  thorpej 	 * is not a cancellation point, this is trivial; we
    154   1.2  thorpej 	 * simply elect that the thread that causes the barrier
    155   1.2  thorpej 	 * to be satisfied gets the special return value.  Note
    156   1.2  thorpej 	 * that this final thread does not actually need to block,
    157   1.2  thorpej 	 * but instead is responsible for waking everyone else up.
    158   1.2  thorpej 	 */
    159   1.2  thorpej 	if (barrier->ptb_curcount + 1 == barrier->ptb_initcount) {
    160   1.8       ad 		SDPRINTF(("(barrier wait %p) Satisfied %p\n",
    161   1.8       ad 		    self, barrier));
    162   1.8       ad 
    163   1.8       ad 		barrier->ptb_generation++;
    164  1.11       ad 		pthread__unpark_all(self, &barrier->ptb_lock,
    165   1.8       ad 		    &barrier->ptb_waiters);
    166   1.2  thorpej 		return PTHREAD_BARRIER_SERIAL_THREAD;
    167   1.2  thorpej 	}
    168   1.2  thorpej 
    169   1.3  nathanw 	barrier->ptb_curcount++;
    170   1.3  nathanw 	gen = barrier->ptb_generation;
    171   1.3  nathanw 	while (gen == barrier->ptb_generation) {
    172   1.3  nathanw 		SDPRINTF(("(barrier wait %p) Waiting on %p\n",
    173   1.3  nathanw 		    self, barrier));
    174  1.11       ad 		PTQ_INSERT_TAIL(&barrier->ptb_waiters, self, pt_sleep);
    175  1.11       ad 		self->pt_sleeponq = 1;
    176  1.11       ad 		self->pt_sleepobj = &barrier->ptb_waiters;
    177  1.14       ad 		pthread_spinunlock(&barrier->ptb_lock);
    178  1.11       ad 		(void)pthread__park(self, &barrier->ptb_lock,
    179  1.12       ad 		    &barrier->ptb_waiters, NULL, 0,
    180  1.12       ad 		    &barrier->ptb_waiters);
    181   1.3  nathanw 		SDPRINTF(("(barrier wait %p) Woke up on %p\n",
    182   1.3  nathanw 		    self, barrier));
    183  1.14       ad 		pthread_spinlock(&barrier->ptb_lock);
    184   1.3  nathanw 	}
    185  1.14       ad 	pthread_spinunlock(&barrier->ptb_lock);
    186   1.2  thorpej 
    187   1.2  thorpej 	return 0;
    188   1.2  thorpej }
    189   1.2  thorpej 
    190   1.2  thorpej 
    191   1.2  thorpej int
    192   1.2  thorpej pthread_barrierattr_init(pthread_barrierattr_t *attr)
    193   1.2  thorpej {
    194   1.2  thorpej 
    195   1.2  thorpej #ifdef ERRORCHECK
    196   1.2  thorpej 	if (attr == NULL)
    197   1.2  thorpej 		return EINVAL;
    198   1.2  thorpej #endif
    199   1.2  thorpej 
    200   1.2  thorpej 	attr->ptba_magic = _PT_BARRIERATTR_MAGIC;
    201   1.2  thorpej 
    202   1.2  thorpej 	return 0;
    203   1.2  thorpej }
    204   1.2  thorpej 
    205   1.2  thorpej 
    206   1.2  thorpej int
    207   1.2  thorpej pthread_barrierattr_destroy(pthread_barrierattr_t *attr)
    208   1.2  thorpej {
    209   1.2  thorpej 
    210   1.2  thorpej #ifdef ERRORCHECK
    211   1.2  thorpej 	if ((attr == NULL) ||
    212   1.2  thorpej 	    (attr->ptba_magic != _PT_BARRIERATTR_MAGIC))
    213   1.2  thorpej 		return EINVAL;
    214   1.2  thorpej #endif
    215   1.2  thorpej 
    216   1.2  thorpej 	attr->ptba_magic = _PT_BARRIERATTR_DEAD;
    217   1.2  thorpej 
    218   1.2  thorpej 	return 0;
    219   1.2  thorpej }
    220