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