xref: /netbsd-src/tests/lib/libpthread/t_cnd.c (revision a9ca1710c000a62165d496a9444222e7ac02d70f)
1*a9ca1710Skamil /*	$NetBSD: t_cnd.c,v 1.1 2019/04/24 11:43:19 kamil Exp $	*/
2*a9ca1710Skamil 
3*a9ca1710Skamil /*-
4*a9ca1710Skamil  * Copyright (c) 2019 The NetBSD Foundation, Inc.
5*a9ca1710Skamil  * All rights reserved.
6*a9ca1710Skamil  *
7*a9ca1710Skamil  * This code is derived from software contributed to The NetBSD Foundation
8*a9ca1710Skamil  * by Kamil Rytarowski.
9*a9ca1710Skamil  *
10*a9ca1710Skamil  * Redistribution and use in source and binary forms, with or without
11*a9ca1710Skamil  * modification, are permitted provided that the following conditions
12*a9ca1710Skamil  * are met:
13*a9ca1710Skamil  * 1. Redistributions of source code must retain the above copyright
14*a9ca1710Skamil  *    notice, this list of conditions and the following disclaimer.
15*a9ca1710Skamil  * 2. Redistributions in binary form must reproduce the above copyright
16*a9ca1710Skamil  *    notice, this list of conditions and the following disclaimer in the
17*a9ca1710Skamil  *    documentation and/or other materials provided with the distribution.
18*a9ca1710Skamil  *
19*a9ca1710Skamil  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20*a9ca1710Skamil  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21*a9ca1710Skamil  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22*a9ca1710Skamil  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23*a9ca1710Skamil  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24*a9ca1710Skamil  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25*a9ca1710Skamil  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26*a9ca1710Skamil  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27*a9ca1710Skamil  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28*a9ca1710Skamil  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29*a9ca1710Skamil  * POSSIBILITY OF SUCH DAMAGE.
30*a9ca1710Skamil  */
31*a9ca1710Skamil 
32*a9ca1710Skamil #include <sys/cdefs.h>
33*a9ca1710Skamil __COPYRIGHT("@(#) Copyright (c) 2019\
34*a9ca1710Skamil  The NetBSD Foundation, inc. All rights reserved.");
35*a9ca1710Skamil __RCSID("$NetBSD: t_cnd.c,v 1.1 2019/04/24 11:43:19 kamil Exp $");
36*a9ca1710Skamil 
37*a9ca1710Skamil #include <stdbool.h>
38*a9ca1710Skamil #include <threads.h>
39*a9ca1710Skamil #include <time.h>
40*a9ca1710Skamil 
41*a9ca1710Skamil #include <atf-c.h>
42*a9ca1710Skamil 
43*a9ca1710Skamil ATF_TC(cnd_init);
ATF_TC_HEAD(cnd_init,tc)44*a9ca1710Skamil ATF_TC_HEAD(cnd_init, tc)
45*a9ca1710Skamil {
46*a9ca1710Skamil 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_init(3)");
47*a9ca1710Skamil }
48*a9ca1710Skamil 
ATF_TC_BODY(cnd_init,tc)49*a9ca1710Skamil ATF_TC_BODY(cnd_init, tc)
50*a9ca1710Skamil {
51*a9ca1710Skamil 	cnd_t c;
52*a9ca1710Skamil 
53*a9ca1710Skamil 	ATF_REQUIRE_EQ(cnd_init(&c), thrd_success);
54*a9ca1710Skamil 	cnd_destroy(&c);
55*a9ca1710Skamil }
56*a9ca1710Skamil 
57*a9ca1710Skamil #define B_THREADS 8
58*a9ca1710Skamil 
59*a9ca1710Skamil static mtx_t b_m;
60*a9ca1710Skamil static cnd_t b_c;
61*a9ca1710Skamil static bool b_finished;
62*a9ca1710Skamil 
63*a9ca1710Skamil static int
b_func(void * arg)64*a9ca1710Skamil b_func(void *arg)
65*a9ca1710Skamil {
66*a9ca1710Skamil 	bool signal;
67*a9ca1710Skamil 
68*a9ca1710Skamil 	signal = (bool)(intptr_t)arg;
69*a9ca1710Skamil 
70*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_lock(&b_m), thrd_success);
71*a9ca1710Skamil 	while (!b_finished) {
72*a9ca1710Skamil 		ATF_REQUIRE_EQ(cnd_wait(&b_c, &b_m), thrd_success);
73*a9ca1710Skamil 	}
74*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_unlock(&b_m), thrd_success);
75*a9ca1710Skamil 
76*a9ca1710Skamil 	if (signal) {
77*a9ca1710Skamil 		ATF_REQUIRE_EQ(cnd_signal(&b_c), thrd_success);
78*a9ca1710Skamil 	}
79*a9ca1710Skamil 
80*a9ca1710Skamil 	return 0;
81*a9ca1710Skamil }
82*a9ca1710Skamil 
83*a9ca1710Skamil static void
cnd_notify(bool signal)84*a9ca1710Skamil cnd_notify(bool signal)
85*a9ca1710Skamil {
86*a9ca1710Skamil 	size_t i;
87*a9ca1710Skamil 	thrd_t t[B_THREADS];
88*a9ca1710Skamil 	void *n;
89*a9ca1710Skamil 
90*a9ca1710Skamil 	n = (void *)(intptr_t)signal;
91*a9ca1710Skamil 
92*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_init(&b_m, mtx_plain), thrd_success);
93*a9ca1710Skamil 	ATF_REQUIRE_EQ(cnd_init(&b_c), thrd_success);
94*a9ca1710Skamil 
95*a9ca1710Skamil 	for (i = 0; i < B_THREADS; i++) {
96*a9ca1710Skamil 		ATF_REQUIRE_EQ(thrd_create(&t[i], b_func, n), thrd_success);
97*a9ca1710Skamil 	}
98*a9ca1710Skamil 
99*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_lock(&b_m), thrd_success);
100*a9ca1710Skamil 	b_finished = true;
101*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_unlock(&b_m), thrd_success);
102*a9ca1710Skamil 
103*a9ca1710Skamil 	if (signal) {
104*a9ca1710Skamil 		ATF_REQUIRE_EQ(cnd_signal(&b_c), thrd_success);
105*a9ca1710Skamil 	} else {
106*a9ca1710Skamil 		ATF_REQUIRE_EQ(cnd_broadcast(&b_c), thrd_success);
107*a9ca1710Skamil 	}
108*a9ca1710Skamil 
109*a9ca1710Skamil 	for (i = 0; i < B_THREADS; i++) {
110*a9ca1710Skamil 		ATF_REQUIRE_EQ(thrd_join(t[i], NULL), thrd_success);
111*a9ca1710Skamil 	}
112*a9ca1710Skamil 
113*a9ca1710Skamil 	mtx_destroy(&b_m);
114*a9ca1710Skamil 	cnd_destroy(&b_c);
115*a9ca1710Skamil }
116*a9ca1710Skamil 
117*a9ca1710Skamil ATF_TC(cnd_broadcast);
ATF_TC_HEAD(cnd_broadcast,tc)118*a9ca1710Skamil ATF_TC_HEAD(cnd_broadcast, tc)
119*a9ca1710Skamil {
120*a9ca1710Skamil 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_broadcast(3)");
121*a9ca1710Skamil }
122*a9ca1710Skamil 
ATF_TC_BODY(cnd_broadcast,tc)123*a9ca1710Skamil ATF_TC_BODY(cnd_broadcast, tc)
124*a9ca1710Skamil {
125*a9ca1710Skamil 
126*a9ca1710Skamil 	cnd_notify(false);
127*a9ca1710Skamil }
128*a9ca1710Skamil 
129*a9ca1710Skamil ATF_TC(cnd_signal);
ATF_TC_HEAD(cnd_signal,tc)130*a9ca1710Skamil ATF_TC_HEAD(cnd_signal, tc)
131*a9ca1710Skamil {
132*a9ca1710Skamil 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_signal(3)");
133*a9ca1710Skamil }
134*a9ca1710Skamil 
ATF_TC_BODY(cnd_signal,tc)135*a9ca1710Skamil ATF_TC_BODY(cnd_signal, tc)
136*a9ca1710Skamil {
137*a9ca1710Skamil 
138*a9ca1710Skamil 	cnd_notify(true);
139*a9ca1710Skamil }
140*a9ca1710Skamil 
141*a9ca1710Skamil ATF_TC(cnd_timedwait);
ATF_TC_HEAD(cnd_timedwait,tc)142*a9ca1710Skamil ATF_TC_HEAD(cnd_timedwait, tc)
143*a9ca1710Skamil {
144*a9ca1710Skamil 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_timedwait(3)");
145*a9ca1710Skamil }
146*a9ca1710Skamil 
ATF_TC_BODY(cnd_timedwait,tc)147*a9ca1710Skamil ATF_TC_BODY(cnd_timedwait, tc)
148*a9ca1710Skamil {
149*a9ca1710Skamil 	mtx_t m;
150*a9ca1710Skamil 	cnd_t c;
151*a9ca1710Skamil 	struct timespec ts;
152*a9ca1710Skamil 
153*a9ca1710Skamil 	ts.tv_sec = 0;
154*a9ca1710Skamil 	ts.tv_nsec = 1;
155*a9ca1710Skamil 
156*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_init(&m, mtx_plain), thrd_success);
157*a9ca1710Skamil 	ATF_REQUIRE_EQ(cnd_init(&c), thrd_success);
158*a9ca1710Skamil 
159*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_lock(&m), thrd_success);
160*a9ca1710Skamil 	ATF_REQUIRE_EQ(cnd_timedwait(&c, &m, &ts), thrd_timedout);
161*a9ca1710Skamil 	ATF_REQUIRE_EQ(mtx_unlock(&m), thrd_success);
162*a9ca1710Skamil 
163*a9ca1710Skamil 	mtx_destroy(&m);
164*a9ca1710Skamil 	cnd_destroy(&c);
165*a9ca1710Skamil }
166*a9ca1710Skamil 
ATF_TP_ADD_TCS(tp)167*a9ca1710Skamil ATF_TP_ADD_TCS(tp)
168*a9ca1710Skamil {
169*a9ca1710Skamil 	ATF_TP_ADD_TC(tp, cnd_init);
170*a9ca1710Skamil 	ATF_TP_ADD_TC(tp, cnd_broadcast);
171*a9ca1710Skamil 	ATF_TP_ADD_TC(tp, cnd_signal);
172*a9ca1710Skamil 	ATF_TP_ADD_TC(tp, cnd_timedwait);
173*a9ca1710Skamil 
174*a9ca1710Skamil 	return atf_no_error();
175*a9ca1710Skamil }
176