xref: /freebsd-src/contrib/netbsd-tests/lib/libc/sys/t_sigqueue.c (revision 3560641a4870c391b4528febd6e15817dcfc2892)
1640235e2SEnji Cooper /* $NetBSD: t_sigqueue.c,v 1.6 2016/08/04 06:43:43 christos Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2011 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Christos Zoulas.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper 
3257718be8SEnji Cooper #include <sys/cdefs.h>
33640235e2SEnji Cooper __RCSID("$NetBSD: t_sigqueue.c,v 1.6 2016/08/04 06:43:43 christos Exp $");
3457718be8SEnji Cooper 
3557718be8SEnji Cooper #include <atf-c.h>
3657718be8SEnji Cooper #include <errno.h>
3757718be8SEnji Cooper #include <signal.h>
3857718be8SEnji Cooper #include <stdlib.h>
3957718be8SEnji Cooper #include <sched.h>
4057718be8SEnji Cooper #include <unistd.h>
4157718be8SEnji Cooper 
426e122b96SEnji Cooper #ifdef __FreeBSD__
436e122b96SEnji Cooper #include <err.h>
446e122b96SEnji Cooper #include <stdio.h>
456e122b96SEnji Cooper #endif
466e122b96SEnji Cooper 
4757718be8SEnji Cooper static void	handler(int, siginfo_t *, void *);
4857718be8SEnji Cooper 
4957718be8SEnji Cooper #define VALUE (int)0xc001dad1
5057718be8SEnji Cooper static int value;
5157718be8SEnji Cooper 
5257718be8SEnji Cooper static void
53ff0ba872SEnji Cooper #ifdef __FreeBSD__
54deafa707SEnji Cooper handler(int signo __unused, siginfo_t *info __unused, void *data __unused)
55deafa707SEnji Cooper #else
5657718be8SEnji Cooper handler(int signo, siginfo_t *info, void *data)
57deafa707SEnji Cooper #endif
5857718be8SEnji Cooper {
5957718be8SEnji Cooper 	value = info->si_value.sival_int;
6057718be8SEnji Cooper 	kill(0, SIGINFO);
6157718be8SEnji Cooper }
6257718be8SEnji Cooper 
6357718be8SEnji Cooper ATF_TC(sigqueue_basic);
6457718be8SEnji Cooper ATF_TC_HEAD(sigqueue_basic, tc)
6557718be8SEnji Cooper {
6657718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks sigqueue(3) sigval delivery");
6757718be8SEnji Cooper }
6857718be8SEnji Cooper 
6957718be8SEnji Cooper ATF_TC_BODY(sigqueue_basic, tc)
7057718be8SEnji Cooper {
7157718be8SEnji Cooper 	struct sigaction sa;
7257718be8SEnji Cooper 	union sigval sv;
7357718be8SEnji Cooper 
7457718be8SEnji Cooper 	sa.sa_sigaction = handler;
7557718be8SEnji Cooper 	sigemptyset(&sa.sa_mask);
7657718be8SEnji Cooper 	sa.sa_flags = SA_SIGINFO;
7757718be8SEnji Cooper 
7857718be8SEnji Cooper 	if (sigaction(SIGUSR1, &sa, NULL) != 0)
7957718be8SEnji Cooper 		atf_tc_fail("sigaction failed");
8057718be8SEnji Cooper 
8157718be8SEnji Cooper 	sv.sival_int = VALUE;
8257718be8SEnji Cooper 
83ff0ba872SEnji Cooper #ifdef __FreeBSD__
84deafa707SEnji Cooper 	/*
85deafa707SEnji Cooper 	 * From kern_sig.c:
86deafa707SEnji Cooper 	 * Specification says sigqueue can only send signal to single process.
87deafa707SEnji Cooper 	 */
88deafa707SEnji Cooper 	if (sigqueue(getpid(), SIGUSR1, sv) != 0)
89deafa707SEnji Cooper #else
9057718be8SEnji Cooper 	if (sigqueue(0, SIGUSR1, sv) != 0)
91deafa707SEnji Cooper #endif
9257718be8SEnji Cooper 		atf_tc_fail("sigqueue failed");
9357718be8SEnji Cooper 
9457718be8SEnji Cooper 	sched_yield();
9557718be8SEnji Cooper 	ATF_REQUIRE_EQ(sv.sival_int, value);
9657718be8SEnji Cooper }
9757718be8SEnji Cooper 
9857718be8SEnji Cooper ATF_TC(sigqueue_err);
9957718be8SEnji Cooper ATF_TC_HEAD(sigqueue_err, tc)
10057718be8SEnji Cooper {
10157718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test errors from sigqueue(3)");
10257718be8SEnji Cooper }
10357718be8SEnji Cooper 
10457718be8SEnji Cooper ATF_TC_BODY(sigqueue_err, tc)
10557718be8SEnji Cooper {
106640235e2SEnji Cooper 	static union sigval sv;
10757718be8SEnji Cooper 
10857718be8SEnji Cooper 	errno = 0;
10957718be8SEnji Cooper 	ATF_REQUIRE_ERRNO(EINVAL, sigqueue(getpid(), -1, sv) == -1);
11057718be8SEnji Cooper }
11157718be8SEnji Cooper 
112640235e2SEnji Cooper static int signals[] = {
113640235e2SEnji Cooper 	SIGINT, SIGRTMIN + 1, SIGINT, SIGRTMIN + 0, SIGRTMIN + 2,
114640235e2SEnji Cooper 	SIGQUIT, SIGRTMIN + 1
115640235e2SEnji Cooper };
116640235e2SEnji Cooper #ifdef __arraycount
117640235e2SEnji Cooper #define CNT	__arraycount(signals)
118640235e2SEnji Cooper #else
119640235e2SEnji Cooper #define CNT	(sizeof(signals) / sizeof(signals[0]))
120640235e2SEnji Cooper #endif
121640235e2SEnji Cooper 
122640235e2SEnji Cooper static sig_atomic_t count = 0;
123640235e2SEnji Cooper static int delivered[CNT];
124640235e2SEnji Cooper 
125640235e2SEnji Cooper static void
126640235e2SEnji Cooper myhandler(int signo, siginfo_t *info, void *context)
127640235e2SEnji Cooper {
128640235e2SEnji Cooper 	delivered[count++] = signo;
1296e122b96SEnji Cooper #ifdef __FreeBSD__
1306e122b96SEnji Cooper 	printf("Signal #%zu: signo: %d\n", (size_t)count, signo);
1316e122b96SEnji Cooper #endif
132640235e2SEnji Cooper }
133640235e2SEnji Cooper 
134640235e2SEnji Cooper static int
135640235e2SEnji Cooper asc(const void *a, const void *b)
136640235e2SEnji Cooper {
137640235e2SEnji Cooper 	const int *ia = a, *ib = b;
138640235e2SEnji Cooper 	return *ib - *ia;
139640235e2SEnji Cooper }
140640235e2SEnji Cooper 
141640235e2SEnji Cooper /*
142640235e2SEnji Cooper  * given a array of signals to be delivered in tosend of size len
143640235e2SEnji Cooper  * place in ordered the signals to be delivered in delivery order
144640235e2SEnji Cooper  * and return the number of signals that should be delivered
145640235e2SEnji Cooper  */
146640235e2SEnji Cooper static size_t
147640235e2SEnji Cooper sigorder(int *ordered, const int *tosend, size_t len)
148640235e2SEnji Cooper {
149640235e2SEnji Cooper 	memcpy(ordered, tosend, len * sizeof(*tosend));
150640235e2SEnji Cooper 	qsort(ordered, len, sizeof(*ordered), asc);
151640235e2SEnji Cooper 	if (len == 1)
152640235e2SEnji Cooper 		return len;
153640235e2SEnji Cooper 
154*3560641aSEnji Cooper #ifdef __FreeBSD__
155*3560641aSEnji Cooper 	/*
156*3560641aSEnji Cooper 	 * Don't dedupe signal numbers (bug 212173)
157*3560641aSEnji Cooper 	 *
158*3560641aSEnji Cooper 	 * Per kib's comment..
159*3560641aSEnji Cooper 	 *
160*3560641aSEnji Cooper 	 * "
161*3560641aSEnji Cooper 	 * OTOH, FreeBSD behaviour is to treat all signals as realtime while
162*3560641aSEnji Cooper 	 * there is no mem shortage and siginfo can be allocated.  In
163*3560641aSEnji Cooper 	 * particular, signals < SIGRTMIN are not collapsed when queued more
164*3560641aSEnji Cooper 	 * than once.
165*3560641aSEnji Cooper 	 * "
166*3560641aSEnji Cooper 	 */
167*3560641aSEnji Cooper 
168*3560641aSEnji Cooper 	return len;
169*3560641aSEnji Cooper #else
170*3560641aSEnji Cooper 
171640235e2SEnji Cooper 	size_t i, j;
172640235e2SEnji Cooper 	for (i = 0, j = 0; i < len - 1; i++) {
173640235e2SEnji Cooper 		if (ordered[i] >= SIGRTMIN)
174640235e2SEnji Cooper 			continue;
175640235e2SEnji Cooper 		if (j == 0)
176640235e2SEnji Cooper 			j = i + 1;
177640235e2SEnji Cooper 		while (ordered[i] == ordered[j] && j < len)
178640235e2SEnji Cooper 			j++;
179640235e2SEnji Cooper 		if (j == len)
180640235e2SEnji Cooper 			break;
181640235e2SEnji Cooper 		ordered[i + 1] = ordered[j];
182640235e2SEnji Cooper 	}
183640235e2SEnji Cooper 	return i + 1;
184*3560641aSEnji Cooper #endif
185640235e2SEnji Cooper }
186640235e2SEnji Cooper 
187640235e2SEnji Cooper ATF_TC(sigqueue_rt);
188640235e2SEnji Cooper ATF_TC_HEAD(sigqueue_rt, tc)
189640235e2SEnji Cooper {
190640235e2SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test queuing of real-time signals");
191640235e2SEnji Cooper }
192640235e2SEnji Cooper 
193640235e2SEnji Cooper ATF_TC_BODY(sigqueue_rt, tc)
194640235e2SEnji Cooper {
195640235e2SEnji Cooper 	pid_t pid;
196640235e2SEnji Cooper 	union sigval val;
197640235e2SEnji Cooper 	struct sigaction act;
198640235e2SEnji Cooper 	int ordered[CNT];
199640235e2SEnji Cooper 	struct sigaction oact[CNT];
200640235e2SEnji Cooper 	size_t ndelivered;
201640235e2SEnji Cooper 
202640235e2SEnji Cooper 	ndelivered = sigorder(ordered, signals, CNT);
203640235e2SEnji Cooper 
204640235e2SEnji Cooper 	act.sa_flags = SA_SIGINFO;
205640235e2SEnji Cooper 	act.sa_sigaction = myhandler;
206640235e2SEnji Cooper 	sigemptyset(&act.sa_mask);
207640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
208640235e2SEnji Cooper 		ATF_REQUIRE(sigaction(ordered[i], &act, &oact[i]) != -1);
209640235e2SEnji Cooper 
210640235e2SEnji Cooper 	val.sival_int = 0;
211640235e2SEnji Cooper 	pid = getpid();
212640235e2SEnji Cooper 
213640235e2SEnji Cooper 	sigset_t mask, orig;
214640235e2SEnji Cooper 	sigemptyset(&mask);
215640235e2SEnji Cooper 	for (size_t i = 0; i < CNT; i++)
2166e122b96SEnji Cooper #ifdef __FreeBSD__
2176e122b96SEnji Cooper 		if (sigaddset(&mask, signals[i]) == -1)
2186e122b96SEnji Cooper 			warn("sigaddset");
2196e122b96SEnji Cooper #else
220640235e2SEnji Cooper 		sigaddset(&mask, signals[i]);
2216e122b96SEnji Cooper #endif
222640235e2SEnji Cooper 
223640235e2SEnji Cooper 	ATF_REQUIRE(sigprocmask(SIG_BLOCK, &mask, &orig) != -1);
224640235e2SEnji Cooper 
225640235e2SEnji Cooper 	for (size_t i = 0; i < CNT; i++)
226640235e2SEnji Cooper 		ATF_REQUIRE(sigqueue(pid, signals[i], val) != -1);
227640235e2SEnji Cooper 
228640235e2SEnji Cooper 	ATF_REQUIRE(sigprocmask(SIG_UNBLOCK, &mask, &orig) != -1);
229640235e2SEnji Cooper 	sleep(1);
2306e122b96SEnji Cooper #ifdef __FreeBSD__
2316e122b96SEnji Cooper 	ATF_CHECK_MSG((size_t)count == ndelivered,
2326e122b96SEnji Cooper 	    "count %zu != ndelivered %zu", (size_t)count, ndelivered);
2336e122b96SEnji Cooper #else
234640235e2SEnji Cooper 	ATF_REQUIRE_MSG((size_t)count == ndelivered,
235640235e2SEnji Cooper 	    "count %zu != ndelivered %zu", (size_t)count, ndelivered);
2366e122b96SEnji Cooper #endif
237640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
238640235e2SEnji Cooper 		ATF_REQUIRE_MSG(ordered[i] == delivered[i],
239640235e2SEnji Cooper 		    "%zu: ordered %d != delivered %d",
240640235e2SEnji Cooper 		    i, ordered[i], delivered[i]);
241640235e2SEnji Cooper 
2426e122b96SEnji Cooper #ifdef __FreeBSD__
2436e122b96SEnji Cooper 	if (count > ndelivered)
2446e122b96SEnji Cooper 		for (size_t i = ndelivered; i < count; i++)
2456e122b96SEnji Cooper 			printf("Undelivered signal #%zu: %d\n", i, ordered[i]);
2466e122b96SEnji Cooper #endif
2476e122b96SEnji Cooper 
248640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
249640235e2SEnji Cooper 		ATF_REQUIRE(sigaction(signals[i], &oact[i], NULL) != -1);
250640235e2SEnji Cooper }
251640235e2SEnji Cooper 
25257718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
25357718be8SEnji Cooper {
25457718be8SEnji Cooper 
25557718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_basic);
25657718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_err);
257640235e2SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_rt);
25857718be8SEnji Cooper 
25957718be8SEnji Cooper 	return atf_no_error();
26057718be8SEnji Cooper }
261