sem.c revision 1.5 1 1.5 pooka /* $NetBSD: sem.c,v 1.5 2010/06/17 09:37:50 pooka Exp $ */
2 1.1 pooka
3 1.1 pooka /*
4 1.1 pooka * Common code for semaphore tests. This can be included both into
5 1.1 pooka * programs using librt and libpthread.
6 1.1 pooka */
7 1.1 pooka
8 1.1 pooka #include <sys/types.h>
9 1.1 pooka
10 1.1 pooka #include <rump/rump.h>
11 1.1 pooka #include <rump/rump_syscalls.h>
12 1.1 pooka
13 1.1 pooka #include <atf-c.h>
14 1.1 pooka #include <errno.h>
15 1.1 pooka #include <fcntl.h>
16 1.1 pooka #include <pthread.h>
17 1.1 pooka #include <semaphore.h>
18 1.1 pooka #include <sched.h>
19 1.1 pooka #include <stdint.h>
20 1.1 pooka #include <stdio.h>
21 1.1 pooka #include <stdlib.h>
22 1.1 pooka #include <unistd.h>
23 1.1 pooka
24 1.1 pooka #include "../../h_macros.h"
25 1.1 pooka
26 1.1 pooka ATF_TC(postwait);
27 1.1 pooka ATF_TC_HEAD(postwait, tc)
28 1.1 pooka {
29 1.1 pooka
30 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests post and wait from a "
31 1.1 pooka "single thread (%s)", LIBNAME);
32 1.1 pooka }
33 1.1 pooka
34 1.1 pooka ATF_TC_BODY(postwait, tc)
35 1.1 pooka {
36 1.1 pooka sem_t sem;
37 1.1 pooka int rv;
38 1.1 pooka
39 1.1 pooka rump_init();
40 1.1 pooka
41 1.1 pooka ATF_REQUIRE_EQ(sem_init(&sem, 1, 0), 0);
42 1.1 pooka
43 1.1 pooka sem_post(&sem);
44 1.1 pooka sem_post(&sem);
45 1.1 pooka
46 1.1 pooka sem_wait(&sem);
47 1.1 pooka sem_wait(&sem);
48 1.1 pooka rv = sem_trywait(&sem);
49 1.1 pooka ATF_REQUIRE(errno == EAGAIN);
50 1.1 pooka ATF_REQUIRE(rv == -1);
51 1.1 pooka }
52 1.1 pooka
53 1.1 pooka ATF_TC(initvalue);
54 1.1 pooka ATF_TC_HEAD(initvalue, tc)
55 1.1 pooka {
56 1.1 pooka
57 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests initialization with a non-zero "
58 1.1 pooka "value (%s)", LIBNAME);
59 1.1 pooka }
60 1.1 pooka
61 1.1 pooka ATF_TC_BODY(initvalue, tc)
62 1.1 pooka {
63 1.1 pooka sem_t sem;
64 1.1 pooka
65 1.1 pooka rump_init();
66 1.1 pooka sem_init(&sem, 1, 4);
67 1.1 pooka
68 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
69 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
70 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
71 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
72 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), -1);
73 1.1 pooka }
74 1.1 pooka
75 1.1 pooka ATF_TC(destroy);
76 1.1 pooka ATF_TC_HEAD(destroy, tc)
77 1.1 pooka {
78 1.1 pooka
79 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests sem_destroy works (%s)", LIBNAME);
80 1.1 pooka }
81 1.1 pooka
82 1.1 pooka ATF_TC_BODY(destroy, tc)
83 1.1 pooka {
84 1.1 pooka sem_t sem;
85 1.1 pooka int rv, i;
86 1.1 pooka
87 1.1 pooka rump_init();
88 1.1 pooka for (i = 0; i < 2; i++) {
89 1.1 pooka sem_init(&sem, 1, 1);
90 1.1 pooka
91 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), 0);
92 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(&sem), -1);
93 1.1 pooka ATF_REQUIRE_EQ(sem_destroy(&sem), 0);
94 1.1 pooka rv = sem_trywait(&sem);
95 1.1 pooka ATF_REQUIRE_EQ(errno, EINVAL);
96 1.1 pooka ATF_REQUIRE_EQ(rv, -1);
97 1.1 pooka }
98 1.1 pooka }
99 1.1 pooka
100 1.1 pooka ATF_TC(busydestroy);
101 1.1 pooka ATF_TC_HEAD(busydestroy, tc)
102 1.1 pooka {
103 1.1 pooka
104 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests sem_destroy report EBUSY for "
105 1.1 pooka "a busy semaphore (%s)", LIBNAME);
106 1.1 pooka }
107 1.1 pooka
108 1.1 pooka static void *
109 1.1 pooka hthread(void *arg)
110 1.1 pooka {
111 1.1 pooka sem_t *semmarit = arg;
112 1.1 pooka
113 1.1 pooka for (;;) {
114 1.1 pooka sem_post(&semmarit[2]);
115 1.1 pooka sem_wait(&semmarit[1]);
116 1.1 pooka sem_wait(&semmarit[0]);
117 1.1 pooka }
118 1.3 pooka
119 1.3 pooka return NULL;
120 1.1 pooka }
121 1.1 pooka
122 1.1 pooka ATF_TC_BODY(busydestroy, tc)
123 1.1 pooka {
124 1.1 pooka sem_t semmarit[3];
125 1.1 pooka pthread_t pt;
126 1.1 pooka int i;
127 1.1 pooka
128 1.1 pooka /* use a unicpu rump kernel. this means less chance for race */
129 1.1 pooka setenv("RUMP_NCPU", "1", 1);
130 1.1 pooka
131 1.1 pooka rump_init();
132 1.1 pooka sem_init(&semmarit[0], 1, 0);
133 1.1 pooka sem_init(&semmarit[1], 1, 0);
134 1.1 pooka sem_init(&semmarit[2], 1, 0);
135 1.1 pooka
136 1.1 pooka pthread_create(&pt, NULL, hthread, semmarit);
137 1.1 pooka
138 1.1 pooka /*
139 1.1 pooka * Make a best-effort to catch the other thread with its pants down.
140 1.1 pooka * We can't do this for sure, can we? Although, we could reach
141 1.1 pooka * inside the rump kernel and inquire about the thread's sleep
142 1.1 pooka * status.
143 1.1 pooka */
144 1.1 pooka for (i = 0; i < 1000; i++) {
145 1.1 pooka sem_wait(&semmarit[2]);
146 1.1 pooka usleep(1);
147 1.1 pooka if (sem_destroy(&semmarit[1]) == -1)
148 1.1 pooka if (errno == EBUSY)
149 1.1 pooka break;
150 1.1 pooka
151 1.1 pooka /*
152 1.1 pooka * Didn't catch it? ok, recreate and post to make the
153 1.1 pooka * other thread run
154 1.1 pooka */
155 1.1 pooka sem_init(&semmarit[1], 1, 0);
156 1.1 pooka sem_post(&semmarit[0]);
157 1.1 pooka sem_post(&semmarit[1]);
158 1.1 pooka
159 1.1 pooka }
160 1.1 pooka if (i == 1000)
161 1.1 pooka atf_tc_fail("sem destroy not reporting EBUSY");
162 1.1 pooka }
163 1.1 pooka
164 1.1 pooka ATF_TC(blockwait);
165 1.1 pooka ATF_TC_HEAD(blockwait, tc)
166 1.1 pooka {
167 1.1 pooka
168 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests sem_wait can handle blocking "
169 1.1 pooka "(%s)", LIBNAME);
170 1.5 pooka atf_tc_set_md_var(tc, "timeout", "2");
171 1.1 pooka }
172 1.1 pooka
173 1.1 pooka ATF_TC_BODY(blockwait, tc)
174 1.1 pooka {
175 1.1 pooka sem_t semmarit[3];
176 1.1 pooka pthread_t pt;
177 1.1 pooka int i;
178 1.1 pooka
179 1.1 pooka rump_init();
180 1.1 pooka sem_init(&semmarit[0], 1, 0);
181 1.1 pooka sem_init(&semmarit[1], 1, 0);
182 1.1 pooka sem_init(&semmarit[2], 1, 0);
183 1.1 pooka
184 1.1 pooka pthread_create(&pt, NULL, hthread, semmarit);
185 1.1 pooka
186 1.1 pooka /*
187 1.1 pooka * Make a best-effort. Unless we're extremely unlucky, we should
188 1.1 pooka * at least one blocking wait.
189 1.1 pooka */
190 1.1 pooka for (i = 0; i < 10; i++) {
191 1.1 pooka sem_wait(&semmarit[2]);
192 1.1 pooka usleep(1);
193 1.1 pooka sem_post(&semmarit[0]);
194 1.1 pooka sem_post(&semmarit[1]);
195 1.1 pooka
196 1.1 pooka }
197 1.1 pooka }
198 1.1 pooka
199 1.1 pooka ATF_TC(named);
200 1.1 pooka ATF_TC_HEAD(named, tc)
201 1.1 pooka {
202 1.1 pooka
203 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests named semaphores (%s)", LIBNAME);
204 1.1 pooka }
205 1.1 pooka
206 1.1 pooka /*
207 1.1 pooka * Wow, easy naming rules. it's these times i'm really happy i can
208 1.1 pooka * single-step into the kernel.
209 1.1 pooka */
210 1.1 pooka #define SEM1 "/my_precious_sem"
211 1.1 pooka #define SEM2 "/justsem"
212 1.1 pooka ATF_TC_BODY(named, tc)
213 1.1 pooka {
214 1.1 pooka sem_t *sem1, *sem2;
215 1.1 pooka void *rv;
216 1.1 pooka
217 1.1 pooka rump_init();
218 1.1 pooka sem1 = sem_open(SEM1, 0);
219 1.1 pooka ATF_REQUIRE_EQ(errno, ENOENT);
220 1.1 pooka ATF_REQUIRE_EQ(sem1, NULL);
221 1.1 pooka
222 1.1 pooka sem1 = sem_open(SEM1, O_CREAT, 0444, 1);
223 1.1 pooka if (sem1 == NULL)
224 1.1 pooka atf_tc_fail_errno("sem_open O_CREAT");
225 1.1 pooka
226 1.1 pooka rv = sem_open(SEM1, O_CREAT | O_EXCL);
227 1.1 pooka ATF_REQUIRE_EQ(errno, EEXIST);
228 1.1 pooka ATF_REQUIRE_EQ(rv, NULL);
229 1.1 pooka
230 1.1 pooka sem2 = sem_open(SEM2, O_CREAT, 0444, 0);
231 1.1 pooka if (sem2 == NULL)
232 1.1 pooka atf_tc_fail_errno("sem_open O_CREAT");
233 1.1 pooka
234 1.1 pooka /* check that semaphores are independent */
235 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
236 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
237 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
238 1.1 pooka
239 1.1 pooka /* check that unlinked remains valid */
240 1.1 pooka sem_unlink(SEM2);
241 1.1 pooka ATF_REQUIRE_EQ(sem_post(sem2), 0);
242 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), 0);
243 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
244 1.1 pooka ATF_REQUIRE_EQ(errno, EAGAIN);
245 1.1 pooka
246 1.1 pooka #if 0 /* see unlink */
247 1.1 pooka /* close it and check that it's gone */
248 1.1 pooka if (sem_close(sem2) != 0)
249 1.1 pooka atf_tc_fail_errno("sem close");
250 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
251 1.1 pooka ATF_REQUIRE_EQ(errno, EINVAL);
252 1.1 pooka #endif
253 1.1 pooka
254 1.1 pooka /* check that we still have sem1 */
255 1.1 pooka sem_post(sem1);
256 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
257 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
258 1.1 pooka ATF_REQUIRE_EQ(errno, EAGAIN);
259 1.1 pooka }
260 1.1 pooka
261 1.1 pooka ATF_TC(unlink);
262 1.1 pooka ATF_TC_HEAD(unlink, tc)
263 1.1 pooka {
264 1.1 pooka
265 1.1 pooka /* this is currently broken. i'll append the PR number soon */
266 1.2 pooka atf_tc_set_md_var(tc, "descr", "tests unlinked semaphores can be "
267 1.4 pooka "closed (%s)", LIBNAME);
268 1.4 pooka atf_tc_set_md_var(tc, "xfail", "PR kern/43452");
269 1.1 pooka }
270 1.1 pooka
271 1.1 pooka #define SEM "/thesem"
272 1.1 pooka ATF_TC_BODY(unlink, tc)
273 1.1 pooka {
274 1.1 pooka sem_t *sem;
275 1.1 pooka
276 1.1 pooka rump_init();
277 1.1 pooka sem = sem_open(SEM, O_CREAT, 0444, 0);
278 1.1 pooka ATF_REQUIRE(sem);
279 1.1 pooka
280 1.1 pooka if (sem_unlink(SEM) == -1)
281 1.1 pooka atf_tc_fail_errno("unlink");
282 1.1 pooka if (sem_close(sem) == -1)
283 1.1 pooka atf_tc_fail_errno("close unlinked semaphore");
284 1.1 pooka }
285 1.1 pooka
286 1.1 pooka /* use rump calls for libpthread _ksem_foo() calls */
287 1.1 pooka #define F1(name, a) int _ksem_##name(a); \
288 1.1 pooka int _ksem_##name(a v1) {return rump_sys__ksem_##name(v1);}
289 1.1 pooka #define F2(name, a, b) int _ksem_##name(a, b); \
290 1.1 pooka int _ksem_##name(a v1, b v2) {return rump_sys__ksem_##name(v1, v2);}
291 1.1 pooka F2(init, unsigned int, intptr_t *);
292 1.1 pooka F1(close, intptr_t);
293 1.1 pooka F1(destroy, intptr_t);
294 1.1 pooka F1(post, intptr_t);
295 1.1 pooka F1(unlink, const char *);
296 1.1 pooka F1(trywait, intptr_t);
297 1.1 pooka F1(wait, intptr_t);
298 1.1 pooka F2(getvalue, intptr_t, unsigned int *);
299 1.1 pooka int _ksem_open(const char *, int, mode_t, unsigned int, intptr_t *);
300 1.1 pooka int _ksem_open(const char *a, int b, mode_t c, unsigned int d, intptr_t *e)
301 1.1 pooka {return rump_sys__ksem_open(a,b,c,d,e);}
302