xref: /freebsd-src/contrib/netbsd-tests/lib/librt/t_sem.c (revision f40f3adc4201af4c70bb8ff79417722b6f7ef91f)
1*f40f3adcSEnji Cooper /* $NetBSD: t_sem.c,v 1.3 2017/01/14 20:58:20 christos Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*
457718be8SEnji Cooper  * Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
857718be8SEnji Cooper  * modification, are permitted provided that the following conditions
957718be8SEnji Cooper  * are met:
1057718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1157718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1257718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1357718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1457718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1557718be8SEnji Cooper  *
1657718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
1757718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
1857718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
1957718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2057718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2157718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2257718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2357718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2457718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2557718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2657718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
2757718be8SEnji Cooper  */
2857718be8SEnji Cooper 
2957718be8SEnji Cooper /*
3057718be8SEnji Cooper  * Copyright (C) 2000 Jason Evans <jasone@freebsd.org>.
3157718be8SEnji Cooper  * All rights reserved.
3257718be8SEnji Cooper  *
3357718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
3457718be8SEnji Cooper  * modification, are permitted provided that the following conditions
3557718be8SEnji Cooper  * are met:
3657718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
3757718be8SEnji Cooper  *    notice(s), this list of conditions and the following disclaimer as
3857718be8SEnji Cooper  *    the first lines of this file unmodified other than the possible
3957718be8SEnji Cooper  *    addition of one or more copyright notices.
4057718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
4157718be8SEnji Cooper  *    notice(s), this list of conditions and the following disclaimer in
4257718be8SEnji Cooper  *    the documentation and/or other materials provided with the
4357718be8SEnji Cooper  *    distribution.
4457718be8SEnji Cooper  *
4557718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
4657718be8SEnji Cooper  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
4757718be8SEnji Cooper  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
4857718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE
4957718be8SEnji Cooper  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
5057718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
5157718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
5257718be8SEnji Cooper  * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
5357718be8SEnji Cooper  * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
5457718be8SEnji Cooper  * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
5557718be8SEnji Cooper  * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
5657718be8SEnji Cooper  */
5757718be8SEnji Cooper 
5857718be8SEnji Cooper #include <sys/cdefs.h>
5957718be8SEnji Cooper __COPYRIGHT("@(#) Copyright (c) 2008, 2010\
6057718be8SEnji Cooper  The NetBSD Foundation, inc. All rights reserved.");
61*f40f3adcSEnji Cooper __RCSID("$NetBSD: t_sem.c,v 1.3 2017/01/14 20:58:20 christos Exp $");
6257718be8SEnji Cooper 
6357718be8SEnji Cooper #include <sys/wait.h>
6457718be8SEnji Cooper 
6557718be8SEnji Cooper #include <errno.h>
6657718be8SEnji Cooper #include <fcntl.h>
6757718be8SEnji Cooper #include <semaphore.h>
6857718be8SEnji Cooper #include <stdio.h>
6957718be8SEnji Cooper #include <unistd.h>
7057718be8SEnji Cooper 
7157718be8SEnji Cooper #include <atf-c.h>
7257718be8SEnji Cooper 
7357718be8SEnji Cooper #define NCHILDREN 10
7457718be8SEnji Cooper 
75c8300756SEnji Cooper ATF_TC_WITH_CLEANUP(basic);
7657718be8SEnji Cooper ATF_TC_HEAD(basic, tc)
7757718be8SEnji Cooper {
7857718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks basic functionality of POSIX "
7957718be8SEnji Cooper 	    "semaphores");
8057718be8SEnji Cooper }
8157718be8SEnji Cooper ATF_TC_BODY(basic, tc)
8257718be8SEnji Cooper {
8357718be8SEnji Cooper 	int val;
8457718be8SEnji Cooper 	sem_t *sem_b;
8557718be8SEnji Cooper 
8657718be8SEnji Cooper 	if (sysconf(_SC_SEMAPHORES) == -1)
8757718be8SEnji Cooper 		atf_tc_skip("POSIX semaphores not supported");
8857718be8SEnji Cooper 
8957718be8SEnji Cooper 	sem_b = sem_open("/sem_b", O_CREAT | O_EXCL, 0644, 0);
9057718be8SEnji Cooper 	ATF_REQUIRE(sem_b != SEM_FAILED);
9157718be8SEnji Cooper 
9257718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_getvalue(sem_b, &val), 0);
9357718be8SEnji Cooper 	ATF_REQUIRE_EQ(val, 0);
9457718be8SEnji Cooper 
9557718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
9657718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_getvalue(sem_b, &val), 0);
9757718be8SEnji Cooper 	ATF_REQUIRE_EQ(val, 1);
9857718be8SEnji Cooper 
9957718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_wait(sem_b), 0);
10057718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_trywait(sem_b), -1);
10157718be8SEnji Cooper 	ATF_REQUIRE_EQ(errno, EAGAIN);
10257718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
10357718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_trywait(sem_b), 0);
10457718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
10557718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_wait(sem_b), 0);
10657718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_post(sem_b), 0);
10757718be8SEnji Cooper 
10857718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_close(sem_b), 0);
10957718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_unlink("/sem_b"), 0);
11057718be8SEnji Cooper }
111c8300756SEnji Cooper ATF_TC_CLEANUP(basic, tc)
112c8300756SEnji Cooper {
113c8300756SEnji Cooper 	(void)sem_unlink("/sem_b");
114c8300756SEnji Cooper }
11557718be8SEnji Cooper 
116c8300756SEnji Cooper ATF_TC_WITH_CLEANUP(child);
11757718be8SEnji Cooper ATF_TC_HEAD(child, tc)
11857718be8SEnji Cooper {
11957718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks using semaphores to synchronize "
12057718be8SEnji Cooper 	    "parent with multiple child processes");
12157718be8SEnji Cooper }
12257718be8SEnji Cooper ATF_TC_BODY(child, tc)
12357718be8SEnji Cooper {
12457718be8SEnji Cooper 	pid_t children[NCHILDREN];
12557718be8SEnji Cooper 	unsigned i, j;
12657718be8SEnji Cooper 	sem_t *sem_a;
12757718be8SEnji Cooper 	int status;
12857718be8SEnji Cooper 
12957718be8SEnji Cooper 	pid_t pid;
13057718be8SEnji Cooper 
13157718be8SEnji Cooper 	if (sysconf(_SC_SEMAPHORES) == -1)
13257718be8SEnji Cooper 		atf_tc_skip("POSIX semaphores not supported");
13357718be8SEnji Cooper 
13457718be8SEnji Cooper 	sem_a = sem_open("/sem_a", O_CREAT | O_EXCL, 0644, 0);
13557718be8SEnji Cooper 	ATF_REQUIRE(sem_a != SEM_FAILED);
13657718be8SEnji Cooper 
13757718be8SEnji Cooper 	for (j = 1; j <= 2; j++) {
13857718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
13957718be8SEnji Cooper 			switch ((pid = fork())) {
14057718be8SEnji Cooper 			case -1:
14157718be8SEnji Cooper 				atf_tc_fail("fork() returned -1");
14257718be8SEnji Cooper 			case 0:
14357718be8SEnji Cooper 				printf("PID %d waiting for semaphore...\n",
14457718be8SEnji Cooper 				    getpid());
14557718be8SEnji Cooper 				ATF_REQUIRE_MSG(sem_wait(sem_a) == 0,
14657718be8SEnji Cooper 				    "sem_wait failed; iteration %d", j);
14757718be8SEnji Cooper 				printf("PID %d got semaphore\n", getpid());
14857718be8SEnji Cooper 				_exit(0);
14957718be8SEnji Cooper 			default:
15057718be8SEnji Cooper 				children[i] = pid;
15157718be8SEnji Cooper 				break;
15257718be8SEnji Cooper 			}
15357718be8SEnji Cooper 		}
15457718be8SEnji Cooper 
15557718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
15657718be8SEnji Cooper 			sleep(1);
15757718be8SEnji Cooper 			printf("main loop %d: posting...\n", j);
15857718be8SEnji Cooper 			ATF_REQUIRE_EQ(sem_post(sem_a), 0);
15957718be8SEnji Cooper 		}
16057718be8SEnji Cooper 
16157718be8SEnji Cooper 		for (i = 0; i < NCHILDREN; i++) {
16257718be8SEnji Cooper 			ATF_REQUIRE_EQ(waitpid(children[i], &status, 0), children[i]);
16357718be8SEnji Cooper 			ATF_REQUIRE(WIFEXITED(status));
16457718be8SEnji Cooper 			ATF_REQUIRE_EQ(WEXITSTATUS(status), 0);
16557718be8SEnji Cooper 		}
16657718be8SEnji Cooper 	}
16757718be8SEnji Cooper 
16857718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_close(sem_a), 0);
16957718be8SEnji Cooper 	ATF_REQUIRE_EQ(sem_unlink("/sem_a"), 0);
17057718be8SEnji Cooper }
171c8300756SEnji Cooper ATF_TC_CLEANUP(child, tc)
172c8300756SEnji Cooper {
173c8300756SEnji Cooper 	(void)sem_unlink("/sem_a");
174c8300756SEnji Cooper }
17557718be8SEnji Cooper 
17657718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
17757718be8SEnji Cooper {
17857718be8SEnji Cooper 
17957718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, basic);
18057718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, child);
18157718be8SEnji Cooper 
18257718be8SEnji Cooper 	return atf_no_error();
18357718be8SEnji Cooper }
184