xref: /freebsd-src/contrib/netbsd-tests/lib/libc/sys/t_sigqueue.c (revision 1a36faad54665288ed4eb839d2a4699ae2ead45e)
1*63d1fd59SEnji Cooper /* $NetBSD: t_sigqueue.c,v 1.7 2017/01/13 20:44:10 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>
33*63d1fd59SEnji Cooper __RCSID("$NetBSD: t_sigqueue.c,v 1.7 2017/01/13 20:44:10 christos Exp $");
3457718be8SEnji Cooper 
3557718be8SEnji Cooper #include <atf-c.h>
36*63d1fd59SEnji Cooper #include <err.h>
3757718be8SEnji Cooper #include <errno.h>
3857718be8SEnji Cooper #include <signal.h>
39*63d1fd59SEnji Cooper #include <stdio.h>
4057718be8SEnji Cooper #include <stdlib.h>
4157718be8SEnji Cooper #include <sched.h>
4257718be8SEnji Cooper #include <unistd.h>
4357718be8SEnji Cooper 
4457718be8SEnji Cooper static void	handler(int, siginfo_t *, void *);
4557718be8SEnji Cooper 
4657718be8SEnji Cooper #define VALUE (int)0xc001dad1
4757718be8SEnji Cooper static int value;
4857718be8SEnji Cooper 
4957718be8SEnji Cooper static void
handler(int signo __unused,siginfo_t * info,void * data __unused)50*63d1fd59SEnji Cooper handler(int signo __unused, siginfo_t *info, void *data __unused)
5157718be8SEnji Cooper {
5257718be8SEnji Cooper 	value = info->si_value.sival_int;
5357718be8SEnji Cooper 	kill(0, SIGINFO);
5457718be8SEnji Cooper }
5557718be8SEnji Cooper 
5657718be8SEnji Cooper ATF_TC(sigqueue_basic);
ATF_TC_HEAD(sigqueue_basic,tc)5757718be8SEnji Cooper ATF_TC_HEAD(sigqueue_basic, tc)
5857718be8SEnji Cooper {
5957718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Checks sigqueue(3) sigval delivery");
6057718be8SEnji Cooper }
6157718be8SEnji Cooper 
ATF_TC_BODY(sigqueue_basic,tc)6257718be8SEnji Cooper ATF_TC_BODY(sigqueue_basic, tc)
6357718be8SEnji Cooper {
6457718be8SEnji Cooper 	struct sigaction sa;
6557718be8SEnji Cooper 	union sigval sv;
6657718be8SEnji Cooper 
6757718be8SEnji Cooper 	sa.sa_sigaction = handler;
6857718be8SEnji Cooper 	sigemptyset(&sa.sa_mask);
6957718be8SEnji Cooper 	sa.sa_flags = SA_SIGINFO;
7057718be8SEnji Cooper 
7157718be8SEnji Cooper 	if (sigaction(SIGUSR1, &sa, NULL) != 0)
7257718be8SEnji Cooper 		atf_tc_fail("sigaction failed");
7357718be8SEnji Cooper 
7457718be8SEnji Cooper 	sv.sival_int = VALUE;
7557718be8SEnji Cooper 
76ff0ba872SEnji Cooper #ifdef __FreeBSD__
77deafa707SEnji Cooper 	/*
78deafa707SEnji Cooper 	 * From kern_sig.c:
79deafa707SEnji Cooper 	 * Specification says sigqueue can only send signal to single process.
80deafa707SEnji Cooper 	 */
81deafa707SEnji Cooper 	if (sigqueue(getpid(), SIGUSR1, sv) != 0)
82deafa707SEnji Cooper #else
8357718be8SEnji Cooper 	if (sigqueue(0, SIGUSR1, sv) != 0)
84deafa707SEnji Cooper #endif
8557718be8SEnji Cooper 		atf_tc_fail("sigqueue failed");
8657718be8SEnji Cooper 
8757718be8SEnji Cooper 	sched_yield();
8857718be8SEnji Cooper 	ATF_REQUIRE_EQ(sv.sival_int, value);
8957718be8SEnji Cooper }
9057718be8SEnji Cooper 
9157718be8SEnji Cooper ATF_TC(sigqueue_err);
ATF_TC_HEAD(sigqueue_err,tc)9257718be8SEnji Cooper ATF_TC_HEAD(sigqueue_err, tc)
9357718be8SEnji Cooper {
9457718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test errors from sigqueue(3)");
9557718be8SEnji Cooper }
9657718be8SEnji Cooper 
ATF_TC_BODY(sigqueue_err,tc)9757718be8SEnji Cooper ATF_TC_BODY(sigqueue_err, tc)
9857718be8SEnji Cooper {
99640235e2SEnji Cooper 	static union sigval sv;
10057718be8SEnji Cooper 
10157718be8SEnji Cooper 	errno = 0;
10257718be8SEnji Cooper 	ATF_REQUIRE_ERRNO(EINVAL, sigqueue(getpid(), -1, sv) == -1);
10357718be8SEnji Cooper }
10457718be8SEnji Cooper 
105640235e2SEnji Cooper static int signals[] = {
106640235e2SEnji Cooper 	SIGINT, SIGRTMIN + 1, SIGINT, SIGRTMIN + 0, SIGRTMIN + 2,
107640235e2SEnji Cooper 	SIGQUIT, SIGRTMIN + 1
108640235e2SEnji Cooper };
109640235e2SEnji Cooper #ifdef __arraycount
110640235e2SEnji Cooper #define CNT	__arraycount(signals)
111640235e2SEnji Cooper #else
112640235e2SEnji Cooper #define CNT	(sizeof(signals) / sizeof(signals[0]))
113640235e2SEnji Cooper #endif
114640235e2SEnji Cooper 
115640235e2SEnji Cooper static sig_atomic_t count = 0;
116640235e2SEnji Cooper static int delivered[CNT];
117640235e2SEnji Cooper 
118640235e2SEnji Cooper static void
myhandler(int signo,siginfo_t * info,void * context __unused)119*63d1fd59SEnji Cooper myhandler(int signo, siginfo_t *info, void *context __unused)
120640235e2SEnji Cooper {
121640235e2SEnji Cooper 	delivered[count++] = signo;
1226e122b96SEnji Cooper 	printf("Signal #%zu: signo: %d\n", (size_t)count, signo);
123640235e2SEnji Cooper }
124640235e2SEnji Cooper 
125640235e2SEnji Cooper static int
asc(const void * a,const void * b)126640235e2SEnji Cooper asc(const void *a, const void *b)
127640235e2SEnji Cooper {
128640235e2SEnji Cooper 	const int *ia = a, *ib = b;
129640235e2SEnji Cooper 	return *ib - *ia;
130640235e2SEnji Cooper }
131640235e2SEnji Cooper 
132640235e2SEnji Cooper /*
133640235e2SEnji Cooper  * given a array of signals to be delivered in tosend of size len
134640235e2SEnji Cooper  * place in ordered the signals to be delivered in delivery order
135640235e2SEnji Cooper  * and return the number of signals that should be delivered
136640235e2SEnji Cooper  */
137640235e2SEnji Cooper static size_t
sigorder(int * ordered,const int * tosend,size_t len)138640235e2SEnji Cooper sigorder(int *ordered, const int *tosend, size_t len)
139640235e2SEnji Cooper {
140640235e2SEnji Cooper 	memcpy(ordered, tosend, len * sizeof(*tosend));
141640235e2SEnji Cooper 	qsort(ordered, len, sizeof(*ordered), asc);
142640235e2SEnji Cooper 	if (len == 1)
143640235e2SEnji Cooper 		return len;
144640235e2SEnji Cooper 
1453560641aSEnji Cooper #ifdef __FreeBSD__
1463560641aSEnji Cooper 	/*
1473560641aSEnji Cooper 	 * Don't dedupe signal numbers (bug 212173)
1483560641aSEnji Cooper 	 *
1493560641aSEnji Cooper 	 * Per kib's comment..
1503560641aSEnji Cooper 	 *
1513560641aSEnji Cooper 	 * "
1523560641aSEnji Cooper 	 * OTOH, FreeBSD behaviour is to treat all signals as realtime while
1533560641aSEnji Cooper 	 * there is no mem shortage and siginfo can be allocated.  In
1543560641aSEnji Cooper 	 * particular, signals < SIGRTMIN are not collapsed when queued more
1553560641aSEnji Cooper 	 * than once.
1563560641aSEnji Cooper 	 * "
1573560641aSEnji Cooper 	 */
1583560641aSEnji Cooper 
1593560641aSEnji Cooper 	return len;
1603560641aSEnji Cooper #else
1613560641aSEnji Cooper 
162640235e2SEnji Cooper 	size_t i, j;
163640235e2SEnji Cooper 	for (i = 0, j = 0; i < len - 1; i++) {
164640235e2SEnji Cooper 		if (ordered[i] >= SIGRTMIN)
165640235e2SEnji Cooper 			continue;
166640235e2SEnji Cooper 		if (j == 0)
167640235e2SEnji Cooper 			j = i + 1;
168640235e2SEnji Cooper 		while (ordered[i] == ordered[j] && j < len)
169640235e2SEnji Cooper 			j++;
170640235e2SEnji Cooper 		if (j == len)
171640235e2SEnji Cooper 			break;
172640235e2SEnji Cooper 		ordered[i + 1] = ordered[j];
173640235e2SEnji Cooper 	}
174640235e2SEnji Cooper 	return i + 1;
1753560641aSEnji Cooper #endif
176640235e2SEnji Cooper }
177640235e2SEnji Cooper 
178640235e2SEnji Cooper ATF_TC(sigqueue_rt);
ATF_TC_HEAD(sigqueue_rt,tc)179640235e2SEnji Cooper ATF_TC_HEAD(sigqueue_rt, tc)
180640235e2SEnji Cooper {
181640235e2SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test queuing of real-time signals");
182640235e2SEnji Cooper }
183640235e2SEnji Cooper 
ATF_TC_BODY(sigqueue_rt,tc)184640235e2SEnji Cooper ATF_TC_BODY(sigqueue_rt, tc)
185640235e2SEnji Cooper {
186640235e2SEnji Cooper 	pid_t pid;
187640235e2SEnji Cooper 	union sigval val;
188640235e2SEnji Cooper 	struct sigaction act;
189640235e2SEnji Cooper 	int ordered[CNT];
190640235e2SEnji Cooper 	struct sigaction oact[CNT];
191640235e2SEnji Cooper 	size_t ndelivered;
192640235e2SEnji Cooper 
193640235e2SEnji Cooper 	ndelivered = sigorder(ordered, signals, CNT);
194640235e2SEnji Cooper 
195640235e2SEnji Cooper 	act.sa_flags = SA_SIGINFO;
196640235e2SEnji Cooper 	act.sa_sigaction = myhandler;
197640235e2SEnji Cooper 	sigemptyset(&act.sa_mask);
198640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
199640235e2SEnji Cooper 		ATF_REQUIRE(sigaction(ordered[i], &act, &oact[i]) != -1);
200640235e2SEnji Cooper 
201640235e2SEnji Cooper 	val.sival_int = 0;
202640235e2SEnji Cooper 	pid = getpid();
203640235e2SEnji Cooper 
204640235e2SEnji Cooper 	sigset_t mask, orig;
205640235e2SEnji Cooper 	sigemptyset(&mask);
206640235e2SEnji Cooper 	for (size_t i = 0; i < CNT; i++)
2076e122b96SEnji Cooper 		if (sigaddset(&mask, signals[i]) == -1)
2086e122b96SEnji Cooper 			warn("sigaddset");
209*63d1fd59SEnji Cooper 
210640235e2SEnji Cooper 	ATF_REQUIRE(sigprocmask(SIG_BLOCK, &mask, &orig) != -1);
211640235e2SEnji Cooper 
212640235e2SEnji Cooper 	for (size_t i = 0; i < CNT; i++)
213640235e2SEnji Cooper 		ATF_REQUIRE(sigqueue(pid, signals[i], val) != -1);
214640235e2SEnji Cooper 
215640235e2SEnji Cooper 	ATF_REQUIRE(sigprocmask(SIG_UNBLOCK, &mask, &orig) != -1);
216640235e2SEnji Cooper 	sleep(1);
2176e122b96SEnji Cooper 	ATF_CHECK_MSG((size_t)count == ndelivered,
2186e122b96SEnji Cooper 	    "count %zu != ndelivered %zu", (size_t)count, ndelivered);
219640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
220640235e2SEnji Cooper 		ATF_REQUIRE_MSG(ordered[i] == delivered[i],
221640235e2SEnji Cooper 		    "%zu: ordered %d != delivered %d",
222640235e2SEnji Cooper 		    i, ordered[i], delivered[i]);
223640235e2SEnji Cooper 
224*63d1fd59SEnji Cooper 	if ((size_t)count > ndelivered)
225*63d1fd59SEnji Cooper 		for (size_t i = ndelivered; i < (size_t)count; i++)
2266e122b96SEnji Cooper 			printf("Undelivered signal #%zu: %d\n", i, ordered[i]);
2276e122b96SEnji Cooper 
228640235e2SEnji Cooper 	for (size_t i = 0; i < ndelivered; i++)
229640235e2SEnji Cooper 		ATF_REQUIRE(sigaction(signals[i], &oact[i], NULL) != -1);
230640235e2SEnji Cooper }
231640235e2SEnji Cooper 
ATF_TP_ADD_TCS(tp)23257718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
23357718be8SEnji Cooper {
23457718be8SEnji Cooper 
23557718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_basic);
23657718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_err);
237640235e2SEnji Cooper 	ATF_TP_ADD_TC(tp, sigqueue_rt);
23857718be8SEnji Cooper 
23957718be8SEnji Cooper 	return atf_no_error();
24057718be8SEnji Cooper }
241