1 /* Basic tests for SYSV semaphore functions.
2 Copyright (C) 2016-2022 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
9
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <https://www.gnu.org/licenses/>. */
18
19 #include <intprops.h>
20 #include <stdio.h>
21 #include <stdlib.h>
22 #include <errno.h>
23 #include <string.h>
24 #include <stdbool.h>
25 #include <sys/types.h>
26 #include <sys/ipc.h>
27 #include <sys/sem.h>
28
29 #include <test-sysvipc.h>
30
31 #include <support/support.h>
32 #include <support/check.h>
33 #include <support/temp_file.h>
34 #include <support/xtime.h>
35 #include <support/xsignal.h>
36
37 /* These are for the temporary file we generate. */
38 static char *name;
39 static int semid;
40
41 static void
remove_sem(void)42 remove_sem (void)
43 {
44 /* Enforce message queue removal in case of early test failure.
45 Ignore error since the sem may already have being removed. */
46 semctl (semid, 0, IPC_RMID, 0);
47 }
48
49 static void
do_prepare(int argc,char * argv[])50 do_prepare (int argc, char *argv[])
51 {
52 int fd = create_temp_file ("tst-sysvsem.", &name);
53 if (fd == -1)
54 FAIL_EXIT1 ("cannot create temporary file (errno=%d)", errno);
55 }
56
57 #define PREPARE do_prepare
58
59 /* It is not an extensive test, but rather a functional one aimed to check
60 correct parameter passing on kernel. */
61
62 #define SEM_MODE 0644
63
64 union semun
65 {
66 int val;
67 struct semid_ds *buf;
68 unsigned short *array;
69 };
70
71 static int
do_test(void)72 do_test (void)
73 {
74 atexit (remove_sem);
75
76 key_t key = ftok (name, 'G');
77 if (key == -1)
78 FAIL_EXIT1 ("ftok failed");
79
80 semid = semget(key, 1, IPC_CREAT | IPC_EXCL | SEM_MODE);
81 if (semid == -1)
82 {
83 if (errno == ENOSYS)
84 FAIL_UNSUPPORTED ("msgget not supported");
85 FAIL_EXIT1 ("semget failed (errno=%d)", errno);
86 }
87
88 TEST_COMPARE (semctl (semid, 0, first_sem_invalid_cmd (), NULL), -1);
89 TEST_COMPARE (errno, EINVAL);
90
91 /* Get semaphore kernel information and do some sanity checks. */
92 struct semid_ds seminfo;
93 if (semctl (semid, 0, IPC_STAT, (union semun) { .buf = &seminfo }) == -1)
94 FAIL_EXIT1 ("semctl with IPC_STAT failed (errno=%d)", errno);
95
96 if (seminfo.sem_perm.__key != key)
97 FAIL_EXIT1 ("semid_ds::sem_perm::key (%d) != %d",
98 (int) seminfo.sem_perm.__key, (int) key);
99 if (seminfo.sem_perm.mode != SEM_MODE)
100 FAIL_EXIT1 ("semid_ds::sem_perm::mode (%o) != %o",
101 seminfo.sem_perm.mode, SEM_MODE);
102 if (seminfo.sem_nsems != 1)
103 FAIL_EXIT1 ("semid_ds::sem_nsems (%lu) != 1",
104 (long unsigned) seminfo.sem_nsems);
105
106 /* Some lock/unlock basic tests. */
107 struct sembuf sb1 = { 0, 1, 0 };
108 if (semop (semid, &sb1, 1) == -1)
109 FAIL_EXIT1 ("semop failed (errno=%i)", errno);
110
111 struct sembuf sb2 = { 0, -1, 0 };
112 if (semop (semid, &sb2, 1) == -1)
113 FAIL_EXIT1 ("semop failed (errno=%i)", errno);
114
115 #ifdef _GNU_SOURCE
116 /* Set a time for half a second. The semaphore operation should timeout
117 with EAGAIN. */
118 {
119 struct timespec ts = { 0 /* sec */, 500000000 /* nsec */ };
120 if (semtimedop (semid, &sb2, 1, &ts) != -1
121 || (errno != EAGAIN && errno != ENOSYS))
122 FAIL_EXIT1 ("semtimedop succeed or returned errno != {EAGAIN,ENOSYS} "
123 "(errno=%i)", errno);
124 }
125
126 {
127 support_create_timer (0, 100000000, false, NULL);
128 struct timespec ts = { TYPE_MAXIMUM (time_t), 0 };
129 TEST_COMPARE (semtimedop (semid, &sb2, 1, &ts), -1);
130 TEST_VERIFY (errno == EINTR || errno == EOVERFLOW);
131 }
132 #endif
133
134 /* Finally free up the semnaphore resource. */
135 if (semctl (semid, 0, IPC_RMID, 0) == -1)
136 FAIL_EXIT1 ("semctl failed (errno=%d)", errno);
137
138 return 0;
139 }
140
141 #include <support/test-driver.c>
142