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