xref: /freebsd-src/contrib/netbsd-tests/lib/librt/t_sem.c (revision 57718be8fa0bd5edc11ab9a72e68cc71982939a6)
1*57718be8SEnji Cooper /* $NetBSD: t_sem.c,v 1.2 2010/11/08 13:05:49 njoly Exp $ */
2*57718be8SEnji Cooper 
3*57718be8SEnji Cooper /*
4*57718be8SEnji Cooper  * Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper  * All rights reserved.
6*57718be8SEnji Cooper  *
7*57718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
8*57718be8SEnji Cooper  * modification, are permitted provided that the following conditions
9*57718be8SEnji Cooper  * are met:
10*57718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
11*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
12*57718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
13*57718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
14*57718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
15*57718be8SEnji Cooper  *
16*57718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17*57718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18*57718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19*57718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20*57718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21*57718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22*57718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23*57718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24*57718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25*57718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*57718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
27*57718be8SEnji Cooper  */
28*57718be8SEnji Cooper 
29*57718be8SEnji Cooper /*
30*57718be8SEnji Cooper  * Copyright (C) 2000 Jason Evans <jasone@freebsd.org>.
31*57718be8SEnji Cooper  * All rights reserved.
32*57718be8SEnji Cooper  *
33*57718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
34*57718be8SEnji Cooper  * modification, are permitted provided that the following conditions
35*57718be8SEnji Cooper  * are met:
36*57718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
37*57718be8SEnji Cooper  *    notice(s), this list of conditions and the following disclaimer as
38*57718be8SEnji Cooper  *    the first lines of this file unmodified other than the possible
39*57718be8SEnji Cooper  *    addition of one or more copyright notices.
40*57718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
41*57718be8SEnji Cooper  *    notice(s), this list of conditions and the following disclaimer in
42*57718be8SEnji Cooper  *    the documentation and/or other materials provided with the
43*57718be8SEnji Cooper  *    distribution.
44*57718be8SEnji Cooper  *
45*57718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
46*57718be8SEnji Cooper  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
47*57718be8SEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
48*57718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE
49*57718be8SEnji Cooper  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
50*57718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
51*57718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
52*57718be8SEnji Cooper  * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
53*57718be8SEnji Cooper  * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
54*57718be8SEnji Cooper  * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
55*57718be8SEnji Cooper  * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
56*57718be8SEnji Cooper  */
57*57718be8SEnji Cooper 
58*57718be8SEnji Cooper #include <sys/cdefs.h>
59*57718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2008, 2010\
60*57718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
61*57718be8SEnji Cooper __RCSID("$NetBSD: t_sem.c,v 1.2 2010/11/08 13:05:49 njoly Exp $");
62*57718be8SEnji Cooper 
63*57718be8SEnji Cooper #include <sys/wait.h>
64*57718be8SEnji Cooper 
65*57718be8SEnji Cooper #include <errno.h>
66*57718be8SEnji Cooper #include <fcntl.h>
67*57718be8SEnji Cooper #include <semaphore.h>
68*57718be8SEnji Cooper #include <stdio.h>
69*57718be8SEnji Cooper #include <unistd.h>
70*57718be8SEnji Cooper 
71*57718be8SEnji Cooper #include <atf-c.h>
72*57718be8SEnji Cooper 
73*57718be8SEnji Cooper #define NCHILDREN 10
74*57718be8SEnji Cooper 
75*57718be8SEnji Cooper ATF_TC(basic);
76*57718be8SEnji Cooper ATF_TC_HEAD(basic, tc)
77*57718be8SEnji Cooper {
78*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks basic functionality of POSIX "
79*57718be8SEnji Cooper 	    "semaphores");
80*57718be8SEnji Cooper }
81*57718be8SEnji Cooper ATF_TC_BODY(basic, tc)
82*57718be8SEnji Cooper {
83*57718be8SEnji Cooper 	int val;
84*57718be8SEnji Cooper 	sem_t *sem_b;
85*57718be8SEnji Cooper 
86*57718be8SEnji Cooper 	if (sysconf(_SC_SEMAPHORES) == -1)
87*57718be8SEnji Cooper 		atf_tc_skip("POSIX semaphores not supported");
88*57718be8SEnji Cooper 
89*57718be8SEnji Cooper 	sem_b = sem_open("/sem_b", O_CREAT | O_EXCL, 0644, 0);
90*57718be8SEnji Cooper 	ATF_REQUIRE(sem_b != SEM_FAILED);
91*57718be8SEnji Cooper 
92*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_getvalue(sem_b, &val), 0);
93*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(val, 0);
94*57718be8SEnji Cooper 
95*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
96*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_getvalue(sem_b, &val), 0);
97*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(val, 1);
98*57718be8SEnji Cooper 
99*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_wait(sem_b), 0);
100*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_trywait(sem_b), -1);
101*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(errno, EAGAIN);
102*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
103*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_trywait(sem_b), 0);
104*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
105*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_wait(sem_b), 0);
106*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
107*57718be8SEnji Cooper 
108*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_close(sem_b), 0);
109*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_unlink("/sem_b"), 0);
110*57718be8SEnji Cooper }
111*57718be8SEnji Cooper 
112*57718be8SEnji Cooper ATF_TC(child);
113*57718be8SEnji Cooper ATF_TC_HEAD(child, tc)
114*57718be8SEnji Cooper {
115*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks using semaphores to synchronize "
116*57718be8SEnji Cooper 	    "parent with multiple child processes");
117*57718be8SEnji Cooper }
118*57718be8SEnji Cooper ATF_TC_BODY(child, tc)
119*57718be8SEnji Cooper {
120*57718be8SEnji Cooper 	pid_t children[NCHILDREN];
121*57718be8SEnji Cooper 	unsigned i, j;
122*57718be8SEnji Cooper 	sem_t *sem_a;
123*57718be8SEnji Cooper 	int status;
124*57718be8SEnji Cooper 
125*57718be8SEnji Cooper 	pid_t pid;
126*57718be8SEnji Cooper 
127*57718be8SEnji Cooper 	if (sysconf(_SC_SEMAPHORES) == -1)
128*57718be8SEnji Cooper 		atf_tc_skip("POSIX semaphores not supported");
129*57718be8SEnji Cooper 
130*57718be8SEnji Cooper 	sem_a = sem_open("/sem_a", O_CREAT | O_EXCL, 0644, 0);
131*57718be8SEnji Cooper 	ATF_REQUIRE(sem_a != SEM_FAILED);
132*57718be8SEnji Cooper 
133*57718be8SEnji Cooper 	for (j = 1; j <= 2; j++) {
134*57718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
135*57718be8SEnji Cooper 			switch ((pid = fork())) {
136*57718be8SEnji Cooper 			case -1:
137*57718be8SEnji Cooper 				atf_tc_fail("fork() returned -1");
138*57718be8SEnji Cooper 			case 0:
139*57718be8SEnji Cooper 				printf("PID %d waiting for semaphore...\n",
140*57718be8SEnji Cooper 				    getpid());
141*57718be8SEnji Cooper 				ATF_REQUIRE_MSG(sem_wait(sem_a) == 0,
142*57718be8SEnji Cooper 				    "sem_wait failed; iteration %d", j);
143*57718be8SEnji Cooper 				printf("PID %d got semaphore\n", getpid());
144*57718be8SEnji Cooper 				_exit(0);
145*57718be8SEnji Cooper 			default:
146*57718be8SEnji Cooper 				children[i] = pid;
147*57718be8SEnji Cooper 				break;
148*57718be8SEnji Cooper 			}
149*57718be8SEnji Cooper 		}
150*57718be8SEnji Cooper 
151*57718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
152*57718be8SEnji Cooper 			sleep(1);
153*57718be8SEnji Cooper 			printf("main loop %d: posting...\n", j);
154*57718be8SEnji Cooper 			ATF_REQUIRE_EQ(sem_post(sem_a), 0);
155*57718be8SEnji Cooper 		}
156*57718be8SEnji Cooper 
157*57718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
158*57718be8SEnji Cooper 			ATF_REQUIRE_EQ(waitpid(children[i], &status, 0), children[i]);
159*57718be8SEnji Cooper 			ATF_REQUIRE(WIFEXITED(status));
160*57718be8SEnji Cooper 			ATF_REQUIRE_EQ(WEXITSTATUS(status), 0);
161*57718be8SEnji Cooper 		}
162*57718be8SEnji Cooper 	}
163*57718be8SEnji Cooper 
164*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_close(sem_a), 0);
165*57718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_unlink("/sem_a"), 0);
166*57718be8SEnji Cooper }
167*57718be8SEnji Cooper 
168*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
169*57718be8SEnji Cooper {
170*57718be8SEnji Cooper 
171*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, basic);
172*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, child);
173*57718be8SEnji Cooper 
174*57718be8SEnji Cooper 	return atf_no_error();
175*57718be8SEnji Cooper }
176