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