xref: /freebsd/contrib/netbsd-tests/lib/libc/sys/t_msgrcv.c (revision ff0ba87247820afbdfdc1b307c803f7923d0e4d3)
1 /* $NetBSD: t_msgrcv.c,v 1.3 2013/07/24 11:44:10 skrll Exp $ */
2 
3 /*-
4  * Copyright (c) 2011 The NetBSD Foundation, Inc.
5  * All rights reserved.
6  *
7  * This code is derived from software contributed to The NetBSD Foundation
8  * by Jukka Ruohonen.
9  *
10  * Redistribution and use in source and binary forms, with or without
11  * modification, are permitted provided that the following conditions
12  * are met:
13  * 1. Redistributions of source code must retain the above copyright
14  *    notice, this list of conditions and the following disclaimer.
15  * 2. Redistributions in binary form must reproduce the above copyright
16  *    notice, this list of conditions and the following disclaimer in the
17  *    documentation and/or other materials provided with the distribution.
18  *
19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29  * POSSIBILITY OF SUCH DAMAGE.
30  */
31 #include <sys/cdefs.h>
32 __RCSID("$NetBSD: t_msgrcv.c,v 1.3 2013/07/24 11:44:10 skrll Exp $");
33 
34 #include <sys/msg.h>
35 #include <sys/stat.h>
36 #include <sys/sysctl.h>
37 #include <sys/wait.h>
38 
39 #include <atf-c.h>
40 #include <errno.h>
41 #include <pwd.h>
42 #include <signal.h>
43 #include <stdio.h>
44 #include <stdlib.h>
45 #include <string.h>
46 #include <sysexits.h>
47 #include <time.h>
48 #include <unistd.h>
49 
50 #ifdef __FreeBSD__
51 #include <limits.h>
52 #endif
53 
54 #define MSG_KEY		1234
55 #define MSG_MTYPE_1	0x41
56 #define	MSG_MTYPE_2	0x42
57 #define MSG_MTYPE_3	0x43
58 #define MSG_LEN		3
59 
60 struct msg {
61 	long		 mtype;
62 	char		 buf[MSG_LEN];
63 };
64 
65 static void		clean(void);
66 
67 static void
68 clean(void)
69 {
70 	int id;
71 
72 	if ((id = msgget(MSG_KEY, 0)) != -1)
73 		(void)msgctl(id, IPC_RMID, 0);
74 }
75 
76 ATF_TC_WITH_CLEANUP(msgrcv_basic);
77 ATF_TC_HEAD(msgrcv_basic, tc)
78 {
79 	atf_tc_set_md_var(tc, "descr", "A basic test of msgrcv(2)");
80 }
81 
82 ATF_TC_BODY(msgrcv_basic, tc)
83 {
84 	struct msg msg1 = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
85 	struct msg msg2 = { MSG_MTYPE_1, { 'x', 'y', 'z' } };
86 	int id;
87 
88 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
89 	ATF_REQUIRE(id != -1);
90 
91 	(void)msgsnd(id, &msg1, MSG_LEN, IPC_NOWAIT);
92 	(void)msgrcv(id, &msg2, MSG_LEN, MSG_MTYPE_1, IPC_NOWAIT);
93 
94 	ATF_CHECK(msg1.buf[0] == msg2.buf[0]);
95 	ATF_CHECK(msg1.buf[1] == msg2.buf[1]);
96 	ATF_CHECK(msg1.buf[2] == msg2.buf[2]);
97 
98 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
99 }
100 
101 ATF_TC_CLEANUP(msgrcv_basic, tc)
102 {
103 	clean();
104 }
105 
106 ATF_TC_WITH_CLEANUP(msgrcv_block);
107 ATF_TC_HEAD(msgrcv_block, tc)
108 {
109 	atf_tc_set_md_var(tc, "descr", "Test that msgrcv(2) blocks");
110 }
111 
112 ATF_TC_BODY(msgrcv_block, tc)
113 {
114 	struct msg msg = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
115 	int id, sta;
116 	pid_t pid;
117 
118 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
119 	ATF_REQUIRE(id != -1);
120 
121 	pid = fork();
122 	ATF_REQUIRE(pid >= 0);
123 
124 	if (pid == 0) {
125 
126 		if (msgrcv(id, &msg, MSG_LEN, MSG_MTYPE_1, 0) < 0)
127 			_exit(EXIT_FAILURE);
128 
129 		_exit(EXIT_SUCCESS);
130 	}
131 
132 	/*
133 	 * Below msgsnd(2) should unblock the child,
134 	 * and hence kill(2) should fail with ESRCH.
135 	 */
136 	(void)sleep(1);
137 	(void)msgsnd(id, &msg, MSG_LEN, IPC_NOWAIT);
138 	(void)sleep(1);
139 	(void)kill(pid, SIGKILL);
140 	(void)wait(&sta);
141 
142 	if (WIFEXITED(sta) == 0 || WIFSIGNALED(sta) != 0)
143 		atf_tc_fail("msgrcv(2) did not block");
144 
145 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
146 }
147 
148 ATF_TC_CLEANUP(msgrcv_block, tc)
149 {
150 	clean();
151 }
152 
153 ATF_TC_WITH_CLEANUP(msgrcv_err);
154 ATF_TC_HEAD(msgrcv_err, tc)
155 {
156 	atf_tc_set_md_var(tc, "descr", "Test errors from msgrcv(2)");
157 }
158 
159 ATF_TC_BODY(msgrcv_err, tc)
160 {
161 	struct msg msg = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
162 	int id, r = 0;
163 
164 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
165 	ATF_REQUIRE(id != -1);
166 
167 	errno = 0;
168 
169 	ATF_REQUIRE_ERRNO(ENOMSG, msgrcv(id, &msg,
170 		MSG_LEN, MSG_MTYPE_1, IPC_NOWAIT) == -1);
171 
172 	ATF_REQUIRE(msgsnd(id, &msg, MSG_LEN, IPC_NOWAIT) == 0);
173 
174 	errno = 0;
175 
176 	ATF_REQUIRE_ERRNO(EFAULT, msgrcv(id, (void *)-1,
177 		MSG_LEN, MSG_MTYPE_1, IPC_NOWAIT) == -1);
178 
179 	errno = 0;
180 
181 	ATF_REQUIRE_ERRNO(EINVAL, msgrcv(-1, &msg,
182 		MSG_LEN, MSG_MTYPE_1, IPC_NOWAIT) == -1);
183 
184 	errno = 0;
185 
186 	ATF_REQUIRE_ERRNO(EINVAL, msgrcv(-1, &msg,
187 		SSIZE_MAX, MSG_MTYPE_1, IPC_NOWAIT) == -1);
188 
189 	ATF_REQUIRE(msgsnd(id, &msg, MSG_LEN, IPC_NOWAIT) == 0);
190 
191 	errno = 0;
192 
193 	ATF_REQUIRE_ERRNO(E2BIG, msgrcv(id, &r,
194 		MSG_LEN - 1, MSG_MTYPE_1, IPC_NOWAIT) == -1);
195 
196 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
197 }
198 
199 ATF_TC_CLEANUP(msgrcv_err, tc)
200 {
201 	clean();
202 }
203 
204 
205 ATF_TC_WITH_CLEANUP(msgrcv_mtype);
206 ATF_TC_HEAD(msgrcv_mtype, tc)
207 {
208 	atf_tc_set_md_var(tc, "descr", "Test message types with msgrcv(2)");
209 }
210 
211 ATF_TC_BODY(msgrcv_mtype, tc)
212 {
213 	struct msg msg1 = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
214 	struct msg msg2 = { MSG_MTYPE_3, { 'x', 'y', 'z' } };
215 	int id;
216 
217 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
218 	ATF_REQUIRE(id != -1);
219 
220 	(void)msgsnd(id, &msg1, MSG_LEN, IPC_NOWAIT);
221 	(void)msgrcv(id, &msg2, MSG_LEN, MSG_MTYPE_2, IPC_NOWAIT);
222 
223 	ATF_CHECK(msg1.buf[0] != msg2.buf[0]);	/* Different mtype. */
224 	ATF_CHECK(msg1.buf[1] != msg2.buf[1]);
225 	ATF_CHECK(msg1.buf[2] != msg2.buf[2]);
226 
227 	(void)msgrcv(id, &msg2, MSG_LEN, MSG_MTYPE_1, IPC_NOWAIT);
228 
229 	ATF_CHECK(msg1.buf[0] == msg2.buf[0]);	/* Same mtype. */
230 	ATF_CHECK(msg1.buf[1] == msg2.buf[1]);
231 	ATF_CHECK(msg1.buf[2] == msg2.buf[2]);
232 
233 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
234 }
235 
236 ATF_TC_CLEANUP(msgrcv_mtype, tc)
237 {
238 	clean();
239 }
240 
241 ATF_TC_WITH_CLEANUP(msgrcv_nonblock);
242 ATF_TC_HEAD(msgrcv_nonblock, tc)
243 {
244 	atf_tc_set_md_var(tc, "descr", "Test msgrcv(2) with IPC_NOWAIT");
245 	atf_tc_set_md_var(tc, "timeout", "10");
246 }
247 
248 ATF_TC_BODY(msgrcv_nonblock, tc)
249 {
250 	struct msg msg = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
251 	const ssize_t n = 10;
252 	int id, sta;
253 	ssize_t i;
254 	pid_t pid;
255 
256 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
257 	ATF_REQUIRE(id != -1);
258 
259 	for (i = 0; i < n; i++) {
260 
261 		ATF_REQUIRE(msgsnd(id, &msg, MSG_LEN, IPC_NOWAIT) == 0);
262 	}
263 
264 	pid = fork();
265 	ATF_REQUIRE(pid >= 0);
266 
267 	if (pid == 0) {
268 
269 		while (i != 0) {
270 
271 			if (msgrcv(id, &msg, MSG_LEN, MSG_MTYPE_1,
272 			    IPC_NOWAIT) == -1)
273 				_exit(EXIT_FAILURE);
274 
275 			i--;
276 		}
277 
278 		_exit(EXIT_SUCCESS);
279 	}
280 
281 	(void)sleep(2);
282 	(void)kill(pid, SIGKILL);
283 	(void)wait(&sta);
284 
285 	if (WIFSIGNALED(sta) != 0 || WTERMSIG(sta) == SIGKILL)
286 		atf_tc_fail("msgrcv(2) blocked with IPC_NOWAIT");
287 
288 	if (WIFEXITED(sta) == 0 && WEXITSTATUS(sta) != EXIT_SUCCESS)
289 		atf_tc_fail("msgrcv(2) failed");
290 
291 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
292 }
293 
294 ATF_TC_CLEANUP(msgrcv_nonblock, tc)
295 {
296 	clean();
297 }
298 
299 ATF_TC_WITH_CLEANUP(msgrcv_truncate);
300 ATF_TC_HEAD(msgrcv_truncate, tc)
301 {
302 	atf_tc_set_md_var(tc, "descr", "Test msgrcv(2) with MSG_NOERROR");
303 }
304 
305 ATF_TC_BODY(msgrcv_truncate, tc)
306 {
307 #define	MSG_SMALLLEN	2
308 	struct msgsmall {
309 		long		 mtype;
310 		char		 buf[MSG_SMALLLEN];
311 	};
312 
313 	struct msg msg1 = { MSG_MTYPE_1, { 'a', 'b', 'c' } };
314 	struct msgsmall msg2 = { MSG_MTYPE_1, { 'x', 'y' } };
315 	int id;
316 
317 	id = msgget(MSG_KEY, IPC_CREAT | 0600);
318 	ATF_REQUIRE(id != -1);
319 
320 	(void)msgsnd(id, &msg1, MSG_LEN, IPC_NOWAIT);
321 	(void)msgrcv(id, &msg2, MSG_SMALLLEN,
322 	    MSG_MTYPE_1, IPC_NOWAIT | MSG_NOERROR);
323 
324 	ATF_CHECK(msg1.buf[0] == msg2.buf[0]);
325 	ATF_CHECK(msg1.buf[1] == msg2.buf[1]);
326 
327 	ATF_REQUIRE(msgctl(id, IPC_RMID, 0) == 0);
328 }
329 
330 ATF_TC_CLEANUP(msgrcv_truncate, tc)
331 {
332 	clean();
333 }
334 
335 ATF_TP_ADD_TCS(tp)
336 {
337 
338 	ATF_TP_ADD_TC(tp, msgrcv_basic);
339 	ATF_TP_ADD_TC(tp, msgrcv_block);
340 	ATF_TP_ADD_TC(tp, msgrcv_err);
341 	ATF_TP_ADD_TC(tp, msgrcv_mtype);
342 	ATF_TP_ADD_TC(tp, msgrcv_nonblock);
343 	ATF_TP_ADD_TC(tp, msgrcv_truncate);
344 
345 	return atf_no_error();
346 }
347