sem.c revision 1.1 1 1.1 pooka /* $NetBSD: sem.c,v 1.1 2010/06/10 22:03:43 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.1 pooka }
119 1.1 pooka
120 1.1 pooka ATF_TC_BODY(busydestroy, tc)
121 1.1 pooka {
122 1.1 pooka sem_t semmarit[3];
123 1.1 pooka pthread_t pt;
124 1.1 pooka int i;
125 1.1 pooka
126 1.1 pooka /* use a unicpu rump kernel. this means less chance for race */
127 1.1 pooka setenv("RUMP_NCPU", "1", 1);
128 1.1 pooka
129 1.1 pooka rump_init();
130 1.1 pooka sem_init(&semmarit[0], 1, 0);
131 1.1 pooka sem_init(&semmarit[1], 1, 0);
132 1.1 pooka sem_init(&semmarit[2], 1, 0);
133 1.1 pooka
134 1.1 pooka pthread_create(&pt, NULL, hthread, semmarit);
135 1.1 pooka
136 1.1 pooka /*
137 1.1 pooka * Make a best-effort to catch the other thread with its pants down.
138 1.1 pooka * We can't do this for sure, can we? Although, we could reach
139 1.1 pooka * inside the rump kernel and inquire about the thread's sleep
140 1.1 pooka * status.
141 1.1 pooka */
142 1.1 pooka for (i = 0; i < 1000; i++) {
143 1.1 pooka sem_wait(&semmarit[2]);
144 1.1 pooka usleep(1);
145 1.1 pooka if (sem_destroy(&semmarit[1]) == -1)
146 1.1 pooka if (errno == EBUSY)
147 1.1 pooka break;
148 1.1 pooka
149 1.1 pooka /*
150 1.1 pooka * Didn't catch it? ok, recreate and post to make the
151 1.1 pooka * other thread run
152 1.1 pooka */
153 1.1 pooka sem_init(&semmarit[1], 1, 0);
154 1.1 pooka sem_post(&semmarit[0]);
155 1.1 pooka sem_post(&semmarit[1]);
156 1.1 pooka
157 1.1 pooka }
158 1.1 pooka if (i == 1000)
159 1.1 pooka atf_tc_fail("sem destroy not reporting EBUSY");
160 1.1 pooka }
161 1.1 pooka
162 1.1 pooka ATF_TC(blockwait);
163 1.1 pooka ATF_TC_HEAD(blockwait, tc)
164 1.1 pooka {
165 1.1 pooka
166 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests sem_wait can handle blocking "
167 1.1 pooka "(%s)", LIBNAME);
168 1.1 pooka }
169 1.1 pooka
170 1.1 pooka ATF_TC_BODY(blockwait, tc)
171 1.1 pooka {
172 1.1 pooka sem_t semmarit[3];
173 1.1 pooka pthread_t pt;
174 1.1 pooka int i;
175 1.1 pooka
176 1.1 pooka rump_init();
177 1.1 pooka sem_init(&semmarit[0], 1, 0);
178 1.1 pooka sem_init(&semmarit[1], 1, 0);
179 1.1 pooka sem_init(&semmarit[2], 1, 0);
180 1.1 pooka
181 1.1 pooka pthread_create(&pt, NULL, hthread, semmarit);
182 1.1 pooka
183 1.1 pooka /*
184 1.1 pooka * Make a best-effort. Unless we're extremely unlucky, we should
185 1.1 pooka * at least one blocking wait.
186 1.1 pooka */
187 1.1 pooka for (i = 0; i < 10; i++) {
188 1.1 pooka sem_wait(&semmarit[2]);
189 1.1 pooka usleep(1);
190 1.1 pooka sem_post(&semmarit[0]);
191 1.1 pooka sem_post(&semmarit[1]);
192 1.1 pooka
193 1.1 pooka }
194 1.1 pooka if (i == 1000)
195 1.1 pooka atf_tc_fail("sem destroy not reporting EBUSY");
196 1.1 pooka }
197 1.1 pooka
198 1.1 pooka ATF_TC(named);
199 1.1 pooka ATF_TC_HEAD(named, tc)
200 1.1 pooka {
201 1.1 pooka
202 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests named semaphores (%s)", LIBNAME);
203 1.1 pooka }
204 1.1 pooka
205 1.1 pooka /*
206 1.1 pooka * Wow, easy naming rules. it's these times i'm really happy i can
207 1.1 pooka * single-step into the kernel.
208 1.1 pooka */
209 1.1 pooka #define SEM1 "/my_precious_sem"
210 1.1 pooka #define SEM2 "/justsem"
211 1.1 pooka ATF_TC_BODY(named, tc)
212 1.1 pooka {
213 1.1 pooka sem_t *sem1, *sem2;
214 1.1 pooka void *rv;
215 1.1 pooka
216 1.1 pooka rump_init();
217 1.1 pooka sem1 = sem_open(SEM1, 0);
218 1.1 pooka ATF_REQUIRE_EQ(errno, ENOENT);
219 1.1 pooka ATF_REQUIRE_EQ(sem1, NULL);
220 1.1 pooka
221 1.1 pooka sem1 = sem_open(SEM1, O_CREAT, 0444, 1);
222 1.1 pooka if (sem1 == NULL)
223 1.1 pooka atf_tc_fail_errno("sem_open O_CREAT");
224 1.1 pooka
225 1.1 pooka rv = sem_open(SEM1, O_CREAT | O_EXCL);
226 1.1 pooka ATF_REQUIRE_EQ(errno, EEXIST);
227 1.1 pooka ATF_REQUIRE_EQ(rv, NULL);
228 1.1 pooka
229 1.1 pooka sem2 = sem_open(SEM2, O_CREAT, 0444, 0);
230 1.1 pooka if (sem2 == NULL)
231 1.1 pooka atf_tc_fail_errno("sem_open O_CREAT");
232 1.1 pooka
233 1.1 pooka /* check that semaphores are independent */
234 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
235 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
236 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
237 1.1 pooka
238 1.1 pooka /* check that unlinked remains valid */
239 1.1 pooka sem_unlink(SEM2);
240 1.1 pooka ATF_REQUIRE_EQ(sem_post(sem2), 0);
241 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), 0);
242 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
243 1.1 pooka ATF_REQUIRE_EQ(errno, EAGAIN);
244 1.1 pooka
245 1.1 pooka #if 0 /* see unlink */
246 1.1 pooka /* close it and check that it's gone */
247 1.1 pooka if (sem_close(sem2) != 0)
248 1.1 pooka atf_tc_fail_errno("sem close");
249 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem2), -1);
250 1.1 pooka ATF_REQUIRE_EQ(errno, EINVAL);
251 1.1 pooka #endif
252 1.1 pooka
253 1.1 pooka /* check that we still have sem1 */
254 1.1 pooka sem_post(sem1);
255 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), 0);
256 1.1 pooka ATF_REQUIRE_EQ(sem_trywait(sem1), -1);
257 1.1 pooka ATF_REQUIRE_EQ(errno, EAGAIN);
258 1.1 pooka }
259 1.1 pooka
260 1.1 pooka ATF_TC(unlink);
261 1.1 pooka ATF_TC_HEAD(unlink, tc)
262 1.1 pooka {
263 1.1 pooka
264 1.1 pooka /* this is currently broken. i'll append the PR number soon */
265 1.1 pooka atf_tc_set_md_var(tc, "descr", "tests unlinked semaphores are valid "
266 1.1 pooka "and can be closed (%s)", LIBNAME);
267 1.1 pooka }
268 1.1 pooka
269 1.1 pooka #define SEM "/thesem"
270 1.1 pooka ATF_TC_BODY(unlink, tc)
271 1.1 pooka {
272 1.1 pooka sem_t *sem;
273 1.1 pooka
274 1.1 pooka rump_init();
275 1.1 pooka sem = sem_open(SEM, O_CREAT, 0444, 0);
276 1.1 pooka ATF_REQUIRE(sem);
277 1.1 pooka
278 1.1 pooka if (sem_unlink(SEM) == -1)
279 1.1 pooka atf_tc_fail_errno("unlink");
280 1.1 pooka if (sem_close(sem) == -1)
281 1.1 pooka atf_tc_fail_errno("close unlinked semaphore");
282 1.1 pooka }
283 1.1 pooka
284 1.1 pooka /* use rump calls for libpthread _ksem_foo() calls */
285 1.1 pooka #define F1(name, a) int _ksem_##name(a); \
286 1.1 pooka int _ksem_##name(a v1) {return rump_sys__ksem_##name(v1);}
287 1.1 pooka #define F2(name, a, b) int _ksem_##name(a, b); \
288 1.1 pooka int _ksem_##name(a v1, b v2) {return rump_sys__ksem_##name(v1, v2);}
289 1.1 pooka F2(init, unsigned int, intptr_t *);
290 1.1 pooka F1(close, intptr_t);
291 1.1 pooka F1(destroy, intptr_t);
292 1.1 pooka F1(post, intptr_t);
293 1.1 pooka F1(unlink, const char *);
294 1.1 pooka F1(trywait, intptr_t);
295 1.1 pooka F1(wait, intptr_t);
296 1.1 pooka F2(getvalue, intptr_t, unsigned int *);
297 1.1 pooka int _ksem_open(const char *, int, mode_t, unsigned int, intptr_t *);
298 1.1 pooka int _ksem_open(const char *a, int b, mode_t c, unsigned int d, intptr_t *e)
299 1.1 pooka {return rump_sys__ksem_open(a,b,c,d,e);}
300