t_cond.c revision 1.2 1 1.2 christos /* $NetBSD: t_cond.c,v 1.2 2010/11/03 16:10:22 christos Exp $ */
2 1.1 jmmv
3 1.1 jmmv /*
4 1.1 jmmv * Copyright (c) 2008 The NetBSD Foundation, Inc.
5 1.1 jmmv * All rights reserved.
6 1.1 jmmv *
7 1.1 jmmv * Redistribution and use in source and binary forms, with or without
8 1.1 jmmv * modification, are permitted provided that the following conditions
9 1.1 jmmv * are met:
10 1.1 jmmv * 1. Redistributions of source code must retain the above copyright
11 1.1 jmmv * notice, this list of conditions and the following disclaimer.
12 1.1 jmmv * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 jmmv * notice, this list of conditions and the following disclaimer in the
14 1.1 jmmv * documentation and/or other materials provided with the distribution.
15 1.1 jmmv *
16 1.1 jmmv * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.1 jmmv * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.1 jmmv * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.1 jmmv * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.1 jmmv * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.1 jmmv * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.1 jmmv * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.1 jmmv * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.1 jmmv * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.1 jmmv * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.1 jmmv * POSSIBILITY OF SUCH DAMAGE.
27 1.1 jmmv */
28 1.1 jmmv
29 1.1 jmmv #include <sys/cdefs.h>
30 1.1 jmmv __COPYRIGHT("@(#) Copyright (c) 2008\
31 1.1 jmmv The NetBSD Foundation, inc. All rights reserved.");
32 1.2 christos __RCSID("$NetBSD: t_cond.c,v 1.2 2010/11/03 16:10:22 christos Exp $");
33 1.1 jmmv
34 1.1 jmmv #include <sys/time.h>
35 1.1 jmmv
36 1.1 jmmv #include <errno.h>
37 1.1 jmmv #include <pthread.h>
38 1.1 jmmv #include <stdio.h>
39 1.1 jmmv #include <unistd.h>
40 1.1 jmmv
41 1.1 jmmv #include <atf-c.h>
42 1.1 jmmv
43 1.1 jmmv #include "h_common.h"
44 1.1 jmmv
45 1.1 jmmv static pthread_mutex_t mutex;
46 1.1 jmmv static pthread_cond_t cond;
47 1.1 jmmv static pthread_mutex_t static_mutex = PTHREAD_MUTEX_INITIALIZER;
48 1.1 jmmv static pthread_cond_t static_cond = PTHREAD_COND_INITIALIZER;
49 1.1 jmmv static int count, share, toggle, total;
50 1.1 jmmv
51 1.1 jmmv static void *
52 1.1 jmmv signal_delay_wait_threadfunc(void *arg)
53 1.1 jmmv {
54 1.2 christos int *shared = (int *) arg;
55 1.1 jmmv
56 1.1 jmmv printf("2: Second thread.\n");
57 1.1 jmmv
58 1.1 jmmv printf("2: Locking mutex\n");
59 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
60 1.1 jmmv printf("2: Got mutex.\n");
61 1.2 christos printf("Shared value: %d. Changing to 0.\n", *shared);
62 1.2 christos *shared = 0;
63 1.1 jmmv
64 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
65 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&cond));
66 1.1 jmmv
67 1.1 jmmv return NULL;
68 1.1 jmmv }
69 1.1 jmmv
70 1.1 jmmv ATF_TC(signal_delay_wait);
71 1.1 jmmv ATF_TC_HEAD(signal_delay_wait, tc)
72 1.1 jmmv {
73 1.1 jmmv atf_tc_set_md_var(tc, "descr", "Checks condition variables");
74 1.1 jmmv }
75 1.1 jmmv ATF_TC_BODY(signal_delay_wait, tc)
76 1.1 jmmv {
77 1.1 jmmv int x;
78 1.1 jmmv pthread_t new;
79 1.1 jmmv void *joinval;
80 1.1 jmmv int sharedval;
81 1.1 jmmv
82 1.1 jmmv printf("1: condition variable test 1\n");
83 1.1 jmmv
84 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_init(&mutex, NULL));
85 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_init(&cond, NULL));
86 1.1 jmmv
87 1.1 jmmv x = 20;
88 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
89 1.1 jmmv
90 1.1 jmmv sharedval = 1;
91 1.1 jmmv
92 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL, signal_delay_wait_threadfunc,
93 1.1 jmmv &sharedval));
94 1.1 jmmv
95 1.1 jmmv printf("1: Before waiting.\n");
96 1.1 jmmv do {
97 1.1 jmmv sleep(2);
98 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&cond, &mutex));
99 1.1 jmmv printf("1: After waiting, in loop.\n");
100 1.1 jmmv } while (sharedval != 0);
101 1.1 jmmv
102 1.1 jmmv printf("1: After the loop.\n");
103 1.1 jmmv
104 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
105 1.1 jmmv
106 1.1 jmmv printf("1: After releasing the mutex.\n");
107 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, &joinval));
108 1.1 jmmv
109 1.1 jmmv printf("1: Thread joined.\n");
110 1.1 jmmv }
111 1.1 jmmv
112 1.1 jmmv static void *
113 1.1 jmmv signal_before_unlock_threadfunc(void *arg)
114 1.1 jmmv {
115 1.2 christos int *shared = (int *) arg;
116 1.1 jmmv
117 1.1 jmmv printf("2: Second thread.\n");
118 1.1 jmmv
119 1.1 jmmv printf("2: Locking mutex\n");
120 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
121 1.1 jmmv printf("2: Got mutex.\n");
122 1.2 christos printf("Shared value: %d. Changing to 0.\n", *shared);
123 1.2 christos *shared = 0;
124 1.1 jmmv
125 1.1 jmmv /* Signal first, then unlock, for a different test than #1. */
126 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&cond));
127 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
128 1.1 jmmv
129 1.1 jmmv return NULL;
130 1.1 jmmv }
131 1.1 jmmv
132 1.1 jmmv ATF_TC(signal_before_unlock);
133 1.1 jmmv ATF_TC_HEAD(signal_before_unlock, tc)
134 1.1 jmmv {
135 1.1 jmmv atf_tc_set_md_var(tc, "descr",
136 1.1 jmmv "Checks condition variables: signal before unlocking mutex");
137 1.1 jmmv }
138 1.1 jmmv ATF_TC_BODY(signal_before_unlock, tc)
139 1.1 jmmv {
140 1.1 jmmv int x;
141 1.1 jmmv pthread_t new;
142 1.1 jmmv void *joinval;
143 1.1 jmmv int sharedval;
144 1.1 jmmv
145 1.1 jmmv printf("1: condition variable test 2\n");
146 1.1 jmmv
147 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_init(&mutex, NULL));
148 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_init(&cond, NULL));
149 1.1 jmmv
150 1.1 jmmv x = 20;
151 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
152 1.1 jmmv
153 1.1 jmmv sharedval = 1;
154 1.1 jmmv
155 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL,
156 1.1 jmmv signal_before_unlock_threadfunc, &sharedval));
157 1.1 jmmv
158 1.1 jmmv printf("1: Before waiting.\n");
159 1.1 jmmv do {
160 1.1 jmmv sleep(2);
161 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&cond, &mutex));
162 1.1 jmmv printf("1: After waiting, in loop.\n");
163 1.1 jmmv } while (sharedval != 0);
164 1.1 jmmv
165 1.1 jmmv printf("1: After the loop.\n");
166 1.1 jmmv
167 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
168 1.1 jmmv
169 1.1 jmmv printf("1: After releasing the mutex.\n");
170 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, &joinval));
171 1.1 jmmv
172 1.1 jmmv printf("1: Thread joined.\n");
173 1.1 jmmv }
174 1.1 jmmv
175 1.1 jmmv static void *
176 1.1 jmmv signal_before_unlock_static_init_threadfunc(void *arg)
177 1.1 jmmv {
178 1.2 christos int *shared = (int *) arg;
179 1.1 jmmv
180 1.1 jmmv printf("2: Second thread.\n");
181 1.1 jmmv
182 1.1 jmmv printf("2: Locking mutex\n");
183 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
184 1.1 jmmv printf("2: Got mutex.\n");
185 1.2 christos printf("Shared value: %d. Changing to 0.\n", *shared);
186 1.2 christos *shared = 0;
187 1.1 jmmv
188 1.1 jmmv /* Signal first, then unlock, for a different test than #1. */
189 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
190 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
191 1.1 jmmv
192 1.1 jmmv return NULL;
193 1.1 jmmv }
194 1.1 jmmv
195 1.1 jmmv ATF_TC(signal_before_unlock_static_init);
196 1.1 jmmv ATF_TC_HEAD(signal_before_unlock_static_init, tc)
197 1.1 jmmv {
198 1.1 jmmv atf_tc_set_md_var(tc, "descr",
199 1.1 jmmv "Checks condition variables: signal before unlocking "
200 1.1 jmmv "mutex, use static initializers");
201 1.1 jmmv }
202 1.1 jmmv ATF_TC_BODY(signal_before_unlock_static_init, tc)
203 1.1 jmmv {
204 1.1 jmmv int x;
205 1.1 jmmv pthread_t new;
206 1.1 jmmv void *joinval;
207 1.1 jmmv int sharedval;
208 1.1 jmmv
209 1.1 jmmv printf("1: condition variable test 3\n");
210 1.1 jmmv
211 1.1 jmmv x = 20;
212 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
213 1.1 jmmv
214 1.1 jmmv sharedval = 1;
215 1.1 jmmv
216 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL,
217 1.1 jmmv signal_before_unlock_static_init_threadfunc, &sharedval));
218 1.1 jmmv
219 1.1 jmmv printf("1: Before waiting.\n");
220 1.1 jmmv do {
221 1.1 jmmv sleep(2);
222 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&static_cond, &static_mutex));
223 1.1 jmmv printf("1: After waiting, in loop.\n");
224 1.1 jmmv } while (sharedval != 0);
225 1.1 jmmv
226 1.1 jmmv printf("1: After the loop.\n");
227 1.1 jmmv
228 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
229 1.1 jmmv
230 1.1 jmmv printf("1: After releasing the mutex.\n");
231 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, &joinval));
232 1.1 jmmv
233 1.1 jmmv printf("1: Thread joined.\n");
234 1.1 jmmv }
235 1.1 jmmv
236 1.1 jmmv static void *
237 1.1 jmmv signal_wait_race_threadfunc(void *arg)
238 1.1 jmmv {
239 1.1 jmmv printf("2: Second thread.\n");
240 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
241 1.1 jmmv printf("2: Before the loop.\n");
242 1.1 jmmv while (count>0) {
243 1.1 jmmv count--;
244 1.1 jmmv total++;
245 1.1 jmmv toggle = 0;
246 1.1 jmmv /* printf("2: Before signal %d.\n", count); */
247 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
248 1.1 jmmv do {
249 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&static_cond,
250 1.1 jmmv &static_mutex));
251 1.1 jmmv } while (toggle != 1);
252 1.1 jmmv }
253 1.1 jmmv printf("2: After the loop.\n");
254 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
255 1.1 jmmv
256 1.1 jmmv return NULL;
257 1.1 jmmv }
258 1.1 jmmv
259 1.1 jmmv ATF_TC(signal_wait_race);
260 1.1 jmmv ATF_TC_HEAD(signal_wait_race, tc)
261 1.1 jmmv {
262 1.1 jmmv atf_tc_set_md_var(tc, "descr", "Checks condition variables");
263 1.1 jmmv }
264 1.1 jmmv ATF_TC_BODY(signal_wait_race, tc)
265 1.1 jmmv {
266 1.1 jmmv pthread_t new;
267 1.1 jmmv void *joinval;
268 1.1 jmmv int sharedval;
269 1.1 jmmv
270 1.1 jmmv printf("1: condition variable test 4\n");
271 1.1 jmmv
272 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
273 1.1 jmmv
274 1.1 jmmv count = 50000;
275 1.1 jmmv toggle = 0;
276 1.1 jmmv
277 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL, signal_wait_race_threadfunc,
278 1.1 jmmv &sharedval));
279 1.1 jmmv
280 1.1 jmmv printf("1: Before waiting.\n");
281 1.1 jmmv while (count>0) {
282 1.1 jmmv count--;
283 1.1 jmmv total++;
284 1.1 jmmv toggle = 1;
285 1.1 jmmv /* printf("1: Before signal %d.\n", count); */
286 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
287 1.1 jmmv do {
288 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&static_cond,
289 1.1 jmmv &static_mutex));
290 1.1 jmmv } while (toggle != 0);
291 1.1 jmmv }
292 1.1 jmmv printf("1: After the loop.\n");
293 1.1 jmmv
294 1.1 jmmv toggle = 1;
295 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
296 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
297 1.1 jmmv
298 1.1 jmmv printf("1: After releasing the mutex.\n");
299 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, &joinval));
300 1.1 jmmv
301 1.1 jmmv printf("1: Thread joined. Final count = %d, total = %d\n",
302 1.1 jmmv count, total);
303 1.1 jmmv
304 1.1 jmmv ATF_REQUIRE_EQ(count, 0);
305 1.1 jmmv ATF_REQUIRE_EQ(total, 50000);
306 1.1 jmmv }
307 1.1 jmmv
308 1.1 jmmv static void *
309 1.1 jmmv broadcast_threadfunc(void *arg)
310 1.1 jmmv {
311 1.1 jmmv printf("2: Second thread.\n");
312 1.1 jmmv
313 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
314 1.1 jmmv while (count>0) {
315 1.1 jmmv count--;
316 1.1 jmmv total++;
317 1.1 jmmv toggle = 0;
318 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
319 1.1 jmmv do {
320 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&static_cond,
321 1.1 jmmv &static_mutex));
322 1.1 jmmv } while (toggle != 1);
323 1.1 jmmv }
324 1.1 jmmv printf("2: After the loop.\n");
325 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
326 1.1 jmmv
327 1.1 jmmv return NULL;
328 1.1 jmmv }
329 1.1 jmmv
330 1.1 jmmv
331 1.1 jmmv ATF_TC(broadcast);
332 1.1 jmmv ATF_TC_HEAD(broadcast, tc)
333 1.1 jmmv {
334 1.1 jmmv atf_tc_set_md_var(tc, "descr",
335 1.1 jmmv "Checks condition variables: use pthread_cond_broadcast()");
336 1.1 jmmv }
337 1.1 jmmv ATF_TC_BODY(broadcast, tc)
338 1.1 jmmv {
339 1.1 jmmv pthread_t new;
340 1.1 jmmv void *joinval;
341 1.1 jmmv int sharedval;
342 1.1 jmmv
343 1.1 jmmv printf("1: condition variable test 5\n");
344 1.1 jmmv
345 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
346 1.1 jmmv
347 1.1 jmmv count = 50000;
348 1.1 jmmv toggle = 0;
349 1.1 jmmv
350 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL, broadcast_threadfunc,
351 1.1 jmmv &sharedval));
352 1.1 jmmv
353 1.1 jmmv printf("1: Before waiting.\n");
354 1.1 jmmv while (count>0) {
355 1.1 jmmv count--;
356 1.1 jmmv total++;
357 1.1 jmmv toggle = 1;
358 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_broadcast(&static_cond));
359 1.1 jmmv do {
360 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&static_cond,
361 1.1 jmmv &static_mutex));
362 1.1 jmmv } while (toggle != 0);
363 1.1 jmmv }
364 1.1 jmmv printf("1: After the loop.\n");
365 1.1 jmmv
366 1.1 jmmv toggle = 1;
367 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
368 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_signal(&static_cond));
369 1.1 jmmv
370 1.1 jmmv printf("1: After releasing the mutex.\n");
371 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, &joinval));
372 1.1 jmmv
373 1.1 jmmv printf("1: Thread joined. Final count = %d, total = %d\n", count,
374 1.1 jmmv total);
375 1.1 jmmv
376 1.1 jmmv ATF_REQUIRE_EQ(count, 0);
377 1.1 jmmv ATF_REQUIRE_EQ(total, 50000);
378 1.1 jmmv }
379 1.1 jmmv
380 1.1 jmmv static void *
381 1.1 jmmv bogus_timedwaits_threadfunc(void *arg)
382 1.1 jmmv {
383 1.1 jmmv return NULL;
384 1.1 jmmv }
385 1.1 jmmv
386 1.1 jmmv ATF_TC(bogus_timedwaits);
387 1.1 jmmv ATF_TC_HEAD(bogus_timedwaits, tc)
388 1.1 jmmv {
389 1.1 jmmv atf_tc_set_md_var(tc, "descr",
390 1.1 jmmv "Checks condition variables: bogus timedwaits");
391 1.1 jmmv }
392 1.1 jmmv ATF_TC_BODY(bogus_timedwaits, tc)
393 1.1 jmmv {
394 1.1 jmmv pthread_t new;
395 1.1 jmmv struct timespec ts;
396 1.1 jmmv struct timeval tv;
397 1.1 jmmv
398 1.1 jmmv printf("condition variable test 6: bogus timedwaits\n");
399 1.1 jmmv
400 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&static_mutex));
401 1.1 jmmv
402 1.1 jmmv printf("unthreaded test (past)\n");
403 1.1 jmmv gettimeofday(&tv, NULL);
404 1.1 jmmv tv.tv_sec -= 2; /* Place the time in the past */
405 1.1 jmmv TIMEVAL_TO_TIMESPEC(&tv, &ts);
406 1.1 jmmv
407 1.1 jmmv ATF_REQUIRE_EQ_MSG(pthread_cond_timedwait(&static_cond, &static_mutex,
408 1.1 jmmv &ts), ETIMEDOUT, "pthread_cond_timedwait() (unthreaded) in the "
409 1.1 jmmv "past");
410 1.1 jmmv
411 1.1 jmmv printf("unthreaded test (zero time)\n");
412 1.1 jmmv tv.tv_sec = 0;
413 1.1 jmmv tv.tv_usec = 0;
414 1.1 jmmv TIMEVAL_TO_TIMESPEC(&tv, &ts);
415 1.1 jmmv
416 1.1 jmmv ATF_REQUIRE_EQ_MSG(pthread_cond_timedwait(&static_cond, &static_mutex,
417 1.1 jmmv &ts), ETIMEDOUT, "pthread_cond_timedwait() (unthreaded) with zero "
418 1.1 jmmv "time");
419 1.1 jmmv
420 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&new, NULL, bogus_timedwaits_threadfunc,
421 1.1 jmmv NULL));
422 1.1 jmmv PTHREAD_REQUIRE(pthread_join(new, NULL));
423 1.1 jmmv
424 1.1 jmmv printf("threaded test\n");
425 1.1 jmmv gettimeofday(&tv, NULL);
426 1.1 jmmv tv.tv_sec -= 2; /* Place the time in the past */
427 1.1 jmmv TIMEVAL_TO_TIMESPEC(&tv, &ts);
428 1.1 jmmv
429 1.1 jmmv ATF_REQUIRE_EQ_MSG(pthread_cond_timedwait(&static_cond, &static_mutex,
430 1.1 jmmv &ts), ETIMEDOUT, "pthread_cond_timedwait() (threaded) in the past");
431 1.1 jmmv
432 1.1 jmmv printf("threaded test (zero time)\n");
433 1.1 jmmv tv.tv_sec = 0;
434 1.1 jmmv tv.tv_usec = 0;
435 1.1 jmmv TIMEVAL_TO_TIMESPEC(&tv, &ts);
436 1.1 jmmv
437 1.1 jmmv ATF_REQUIRE_EQ_MSG(pthread_cond_timedwait(&static_cond, &static_mutex,
438 1.1 jmmv &ts), ETIMEDOUT, "pthread_cond_timedwait() (threaded) with zero "
439 1.1 jmmv "time");
440 1.1 jmmv
441 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&static_mutex));
442 1.1 jmmv }
443 1.1 jmmv
444 1.1 jmmv static void
445 1.1 jmmv unlock(void *arg)
446 1.1 jmmv {
447 1.1 jmmv pthread_mutex_unlock((pthread_mutex_t *)arg);
448 1.1 jmmv }
449 1.1 jmmv
450 1.1 jmmv static void *
451 1.1 jmmv destroy_after_cancel_threadfunc(void *arg)
452 1.1 jmmv {
453 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
454 1.1 jmmv
455 1.1 jmmv pthread_cleanup_push(unlock, &mutex);
456 1.1 jmmv
457 1.1 jmmv while (1) {
458 1.1 jmmv share = 1;
459 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_broadcast(&cond));
460 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&cond, &mutex));
461 1.1 jmmv }
462 1.1 jmmv
463 1.1 jmmv pthread_cleanup_pop(0);
464 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
465 1.1 jmmv
466 1.1 jmmv return NULL;
467 1.1 jmmv }
468 1.1 jmmv
469 1.1 jmmv ATF_TC(destroy_after_cancel);
470 1.1 jmmv ATF_TC_HEAD(destroy_after_cancel, tc)
471 1.1 jmmv {
472 1.1 jmmv atf_tc_set_md_var(tc, "descr", "Checks destroying a condition variable "
473 1.1 jmmv "after cancelling a wait");
474 1.1 jmmv }
475 1.1 jmmv ATF_TC_BODY(destroy_after_cancel, tc)
476 1.1 jmmv {
477 1.1 jmmv pthread_t thread;
478 1.1 jmmv
479 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_init(&mutex, NULL));
480 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_init(&cond, NULL));
481 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_lock(&mutex));
482 1.1 jmmv PTHREAD_REQUIRE(pthread_create(&thread, NULL,
483 1.1 jmmv destroy_after_cancel_threadfunc, NULL));
484 1.1 jmmv
485 1.1 jmmv while (share == 0) {
486 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_wait(&cond, &mutex));
487 1.1 jmmv }
488 1.1 jmmv
489 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_unlock(&mutex));
490 1.1 jmmv PTHREAD_REQUIRE(pthread_cancel(thread));
491 1.1 jmmv
492 1.1 jmmv PTHREAD_REQUIRE(pthread_join(thread, NULL));
493 1.1 jmmv PTHREAD_REQUIRE(pthread_cond_destroy(&cond));
494 1.1 jmmv
495 1.1 jmmv PTHREAD_REQUIRE(pthread_mutex_destroy(&mutex));
496 1.1 jmmv }
497 1.1 jmmv
498 1.1 jmmv ATF_TP_ADD_TCS(tp)
499 1.1 jmmv {
500 1.1 jmmv
501 1.1 jmmv ATF_TP_ADD_TC(tp, signal_delay_wait);
502 1.1 jmmv ATF_TP_ADD_TC(tp, signal_before_unlock);
503 1.1 jmmv ATF_TP_ADD_TC(tp, signal_before_unlock_static_init);
504 1.1 jmmv ATF_TP_ADD_TC(tp, signal_wait_race);
505 1.1 jmmv ATF_TP_ADD_TC(tp, broadcast);
506 1.1 jmmv ATF_TP_ADD_TC(tp, bogus_timedwaits);
507 1.1 jmmv ATF_TP_ADD_TC(tp, destroy_after_cancel);
508 1.1 jmmv
509 1.1 jmmv return atf_no_error();
510 1.1 jmmv }
511