pthread_barrier.c revision 1.21 1 1.21 kamil /* $NetBSD: pthread_barrier.c,v 1.21 2020/01/29 14:41:57 kamil Exp $ */
2 1.2 thorpej
3 1.2 thorpej /*-
4 1.19 ad * Copyright (c) 2001, 2003, 2006, 2007, 2009 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 *
19 1.2 thorpej * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.2 thorpej * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.2 thorpej * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.2 thorpej * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.2 thorpej * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.2 thorpej * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.2 thorpej * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.2 thorpej * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.2 thorpej * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.2 thorpej * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.2 thorpej * POSSIBILITY OF SUCH DAMAGE.
30 1.2 thorpej */
31 1.6 lukem
32 1.6 lukem #include <sys/cdefs.h>
33 1.21 kamil __RCSID("$NetBSD: pthread_barrier.c,v 1.21 2020/01/29 14:41:57 kamil Exp $");
34 1.2 thorpej
35 1.2 thorpej #include <errno.h>
36 1.2 thorpej
37 1.2 thorpej #include "pthread.h"
38 1.2 thorpej #include "pthread_int.h"
39 1.2 thorpej
40 1.2 thorpej int
41 1.2 thorpej pthread_barrier_init(pthread_barrier_t *barrier,
42 1.18 ad const pthread_barrierattr_t *attr, unsigned int count)
43 1.2 thorpej {
44 1.21 kamil
45 1.21 kamil pthread__error(EINVAL, "Invalid barrier attribute",
46 1.21 kamil attr == NULL || attr->ptba_magic == _PT_BARRIERATTR_MAGIC);
47 1.2 thorpej if (count == 0)
48 1.2 thorpej return EINVAL;
49 1.2 thorpej
50 1.2 thorpej barrier->ptb_magic = _PT_BARRIER_MAGIC;
51 1.2 thorpej PTQ_INIT(&barrier->ptb_waiters);
52 1.2 thorpej barrier->ptb_initcount = count;
53 1.2 thorpej barrier->ptb_curcount = 0;
54 1.3 nathanw barrier->ptb_generation = 0;
55 1.2 thorpej return 0;
56 1.2 thorpej }
57 1.2 thorpej
58 1.2 thorpej int
59 1.2 thorpej pthread_barrier_destroy(pthread_barrier_t *barrier)
60 1.2 thorpej {
61 1.2 thorpej
62 1.21 kamil pthread__error(EINVAL, "Invalid barrier",
63 1.21 kamil barrier->ptb_magic == _PT_BARRIER_MAGIC);
64 1.19 ad if (barrier->ptb_curcount != 0)
65 1.2 thorpej return EBUSY;
66 1.21 kamil
67 1.21 kamil barrier->ptb_magic = _PT_BARRIER_DEAD;
68 1.21 kamil
69 1.2 thorpej return 0;
70 1.2 thorpej }
71 1.2 thorpej
72 1.2 thorpej int
73 1.2 thorpej pthread_barrier_wait(pthread_barrier_t *barrier)
74 1.2 thorpej {
75 1.18 ad pthread_mutex_t *interlock;
76 1.2 thorpej pthread_t self;
77 1.3 nathanw unsigned int gen;
78 1.2 thorpej
79 1.21 kamil pthread__error(EINVAL, "Invalid barrier",
80 1.21 kamil barrier->ptb_magic == _PT_BARRIER_MAGIC);
81 1.2 thorpej
82 1.2 thorpej /*
83 1.2 thorpej * A single arbitrary thread is supposed to return
84 1.2 thorpej * PTHREAD_BARRIER_SERIAL_THREAD, and everone else
85 1.2 thorpej * is supposed to return 0. Since pthread_barrier_wait()
86 1.2 thorpej * is not a cancellation point, this is trivial; we
87 1.2 thorpej * simply elect that the thread that causes the barrier
88 1.2 thorpej * to be satisfied gets the special return value. Note
89 1.2 thorpej * that this final thread does not actually need to block,
90 1.2 thorpej * but instead is responsible for waking everyone else up.
91 1.2 thorpej */
92 1.19 ad self = pthread__self();
93 1.19 ad interlock = pthread__hashlock(barrier);
94 1.19 ad pthread_mutex_lock(interlock);
95 1.2 thorpej if (barrier->ptb_curcount + 1 == barrier->ptb_initcount) {
96 1.8 ad barrier->ptb_generation++;
97 1.19 ad barrier->ptb_curcount = 0;
98 1.18 ad pthread__unpark_all(&barrier->ptb_waiters, self,
99 1.18 ad interlock);
100 1.18 ad pthread_mutex_unlock(interlock);
101 1.2 thorpej return PTHREAD_BARRIER_SERIAL_THREAD;
102 1.2 thorpej }
103 1.3 nathanw barrier->ptb_curcount++;
104 1.3 nathanw gen = barrier->ptb_generation;
105 1.19 ad for (;;) {
106 1.11 ad PTQ_INSERT_TAIL(&barrier->ptb_waiters, self, pt_sleep);
107 1.11 ad self->pt_sleepobj = &barrier->ptb_waiters;
108 1.18 ad (void)pthread__park(self, interlock, &barrier->ptb_waiters,
109 1.18 ad NULL, 0, __UNVOLATILE(&interlock->ptm_waiters));
110 1.19 ad if (__predict_true(gen != barrier->ptb_generation)) {
111 1.19 ad break;
112 1.19 ad }
113 1.18 ad pthread_mutex_lock(interlock);
114 1.19 ad if (gen != barrier->ptb_generation) {
115 1.19 ad pthread_mutex_unlock(interlock);
116 1.19 ad break;
117 1.19 ad }
118 1.3 nathanw }
119 1.2 thorpej
120 1.2 thorpej return 0;
121 1.2 thorpej }
122 1.2 thorpej
123 1.20 christos #ifdef _PTHREAD_PSHARED
124 1.20 christos int
125 1.20 christos pthread_barrierattr_getpshared(const pthread_barrierattr_t * __restrict attr,
126 1.20 christos int * __restrict pshared)
127 1.20 christos {
128 1.20 christos
129 1.21 kamil pthread__error(EINVAL, "Invalid barrier attribute",
130 1.21 kamil attr->ptba_magic == _PT_BARRIERATTR_MAGIC);
131 1.21 kamil
132 1.20 christos *pshared = PTHREAD_PROCESS_PRIVATE;
133 1.20 christos return 0;
134 1.20 christos }
135 1.20 christos
136 1.20 christos int
137 1.20 christos pthread_barrierattr_setpshared(pthread_barrierattr_t *attr, int pshared)
138 1.20 christos {
139 1.20 christos
140 1.21 kamil pthread__error(EINVAL, "Invalid barrier attribute",
141 1.21 kamil attr->ptba_magic == _PT_BARRIERATTR_MAGIC);
142 1.21 kamil
143 1.20 christos switch(pshared) {
144 1.20 christos case PTHREAD_PROCESS_PRIVATE:
145 1.20 christos return 0;
146 1.20 christos case PTHREAD_PROCESS_SHARED:
147 1.20 christos return ENOSYS;
148 1.20 christos }
149 1.20 christos return EINVAL;
150 1.20 christos }
151 1.20 christos #endif
152 1.2 thorpej
153 1.2 thorpej int
154 1.2 thorpej pthread_barrierattr_init(pthread_barrierattr_t *attr)
155 1.2 thorpej {
156 1.2 thorpej
157 1.2 thorpej attr->ptba_magic = _PT_BARRIERATTR_MAGIC;
158 1.2 thorpej return 0;
159 1.2 thorpej }
160 1.2 thorpej
161 1.2 thorpej int
162 1.2 thorpej pthread_barrierattr_destroy(pthread_barrierattr_t *attr)
163 1.2 thorpej {
164 1.2 thorpej
165 1.21 kamil pthread__error(EINVAL, "Invalid barrier attribute",
166 1.21 kamil attr->ptba_magic == _PT_BARRIERATTR_MAGIC);
167 1.2 thorpej attr->ptba_magic = _PT_BARRIERATTR_DEAD;
168 1.2 thorpej return 0;
169 1.2 thorpej }
170