1*977e2ef5Srillig /* $NetBSD: t_sig.c,v 1.5 2024/07/10 22:03:59 rillig Exp $ */
299635d94Sjmmv
399635d94Sjmmv /*-
4f9ceaedaSthorpej * Copyright (c) 2002, 2008, 2021 The NetBSD Foundation, Inc.
599635d94Sjmmv * All rights reserved.
699635d94Sjmmv *
799635d94Sjmmv * This code is derived from software contributed to The NetBSD Foundation
899635d94Sjmmv * by Luke Mewburn and Jaromir Dolecek.
999635d94Sjmmv *
1099635d94Sjmmv * Redistribution and use in source and binary forms, with or without
1199635d94Sjmmv * modification, are permitted provided that the following conditions
1299635d94Sjmmv * are met:
1399635d94Sjmmv * 1. Redistributions of source code must retain the above copyright
1499635d94Sjmmv * notice, this list of conditions and the following disclaimer.
1599635d94Sjmmv * 2. Redistributions in binary form must reproduce the above copyright
1699635d94Sjmmv * notice, this list of conditions and the following disclaimer in the
1799635d94Sjmmv * documentation and/or other materials provided with the distribution.
1899635d94Sjmmv *
1999635d94Sjmmv * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2099635d94Sjmmv * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2199635d94Sjmmv * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2299635d94Sjmmv * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2399635d94Sjmmv * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2499635d94Sjmmv * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2599635d94Sjmmv * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2699635d94Sjmmv * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2799635d94Sjmmv * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2899635d94Sjmmv * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2999635d94Sjmmv * POSSIBILITY OF SUCH DAMAGE.
3099635d94Sjmmv */
3199635d94Sjmmv
3299635d94Sjmmv #include <sys/cdefs.h>
3399635d94Sjmmv __COPYRIGHT("@(#) Copyright (c) 2008\
3499635d94Sjmmv The NetBSD Foundation, inc. All rights reserved.");
35*977e2ef5Srillig __RCSID("$NetBSD: t_sig.c,v 1.5 2024/07/10 22:03:59 rillig Exp $");
3699635d94Sjmmv
3799635d94Sjmmv #include <sys/event.h>
3899635d94Sjmmv #include <sys/ioctl.h>
3999635d94Sjmmv #include <sys/param.h>
4099635d94Sjmmv #include <sys/time.h>
4199635d94Sjmmv #include <sys/wait.h>
4299635d94Sjmmv
4399635d94Sjmmv #include <inttypes.h>
4499635d94Sjmmv #include <signal.h>
4599635d94Sjmmv #include <stdio.h>
4699635d94Sjmmv #include <stdlib.h>
4799635d94Sjmmv #include <unistd.h>
4899635d94Sjmmv
4999635d94Sjmmv #include <atf-c.h>
5099635d94Sjmmv
51c54cb811Schristos #include "h_macros.h"
5299635d94Sjmmv
5399635d94Sjmmv #define NSIGNALS 5
5499635d94Sjmmv
5599635d94Sjmmv ATF_TC(sig);
ATF_TC_HEAD(sig,tc)5699635d94Sjmmv ATF_TC_HEAD(sig, tc)
5799635d94Sjmmv {
5899635d94Sjmmv atf_tc_set_md_var(tc, "descr", "Checks EVFILT_SIGNAL");
5999635d94Sjmmv }
ATF_TC_BODY(sig,tc)6099635d94Sjmmv ATF_TC_BODY(sig, tc)
6199635d94Sjmmv {
6299635d94Sjmmv struct timespec timeout;
6399635d94Sjmmv struct kfilter_mapping km;
6499635d94Sjmmv struct kevent event[1];
6599635d94Sjmmv char namebuf[32];
6699635d94Sjmmv pid_t pid, child;
6799635d94Sjmmv int kq, n, num, status;
6899635d94Sjmmv
6999635d94Sjmmv pid = getpid();
7099635d94Sjmmv (void)printf("my pid: %d\n", pid);
7199635d94Sjmmv
7299635d94Sjmmv /* fork a child to send signals */
7399635d94Sjmmv RL(child = fork());
7499635d94Sjmmv if (child == 0) {
7599635d94Sjmmv int i;
7699635d94Sjmmv (void)sleep(2);
7799635d94Sjmmv for(i = 0; i < NSIGNALS; ++i) {
7899635d94Sjmmv (void)kill(pid, SIGUSR1);
7999635d94Sjmmv (void)sleep(2);
8099635d94Sjmmv }
8199635d94Sjmmv _exit(0);
8299635d94Sjmmv /* NOTREACHED */
8399635d94Sjmmv }
8499635d94Sjmmv
8599635d94Sjmmv RL(kq = kqueue());
8699635d94Sjmmv
8799635d94Sjmmv (void)strlcpy(namebuf, "EVFILT_SIGNAL", sizeof(namebuf));
8899635d94Sjmmv km.name = namebuf;
8999635d94Sjmmv RL(ioctl(kq, KFILTER_BYNAME, &km));
9099635d94Sjmmv (void)printf("got %d as filter number for `%s'.\n", km.filter, km.name);
9199635d94Sjmmv
9299635d94Sjmmv /* ignore the signal to avoid taking it for real */
9399635d94Sjmmv REQUIRE_LIBC(signal(SIGUSR1, SIG_IGN), SIG_ERR);
9499635d94Sjmmv
9599635d94Sjmmv event[0].ident = SIGUSR1;
9699635d94Sjmmv event[0].filter = km.filter;
9799635d94Sjmmv event[0].flags = EV_ADD | EV_ENABLE;
9899635d94Sjmmv
9999635d94Sjmmv RL(kevent(kq, event, 1, NULL, 0, NULL));
10099635d94Sjmmv
10199635d94Sjmmv (void)sleep(1);
10299635d94Sjmmv
10399635d94Sjmmv timeout.tv_sec = 1;
10499635d94Sjmmv timeout.tv_nsec = 0;
10599635d94Sjmmv
10699635d94Sjmmv for (num = 0; num < NSIGNALS; num += n) {
10799635d94Sjmmv struct timeval then, now, diff;
10899635d94Sjmmv
10999635d94Sjmmv RL(gettimeofday(&then, NULL));
11099635d94Sjmmv RL(n = kevent(kq, NULL, 0, event, 1, &timeout));
11199635d94Sjmmv RL(gettimeofday(&now, NULL));
11299635d94Sjmmv timersub(&now, &then, &diff);
11399635d94Sjmmv
1140f10aa9dSchristos (void)printf("sig: kevent returned %d in %lld.%06ld\n",
1150f10aa9dSchristos n, (long long)diff.tv_sec, (long)diff.tv_usec);
11699635d94Sjmmv
11799635d94Sjmmv if (n == 0)
11899635d94Sjmmv continue;
11999635d94Sjmmv
12099635d94Sjmmv (void)printf("sig: kevent flags: 0x%x, data: %" PRId64 " (# "
12199635d94Sjmmv "times signal posted)\n", event[0].flags, event[0].data);
12299635d94Sjmmv }
12399635d94Sjmmv
12499635d94Sjmmv (void)waitpid(child, &status, 0);
12599635d94Sjmmv (void)printf("sig: finished successfully\n");
12699635d94Sjmmv }
12799635d94Sjmmv
128f9ceaedaSthorpej /*
129f9ceaedaSthorpej * This test case exercises code paths in the kernel that KASSERT()
130f9ceaedaSthorpej * some assumptions about EVFILT_SIGNAL and EVFILT_PROC implementation
131f9ceaedaSthorpej * details.
132f9ceaedaSthorpej */
133f9ceaedaSthorpej ATF_TC(sig_and_proc);
ATF_TC_HEAD(sig_and_proc,tc)134f9ceaedaSthorpej ATF_TC_HEAD(sig_and_proc, tc)
135f9ceaedaSthorpej {
136f9ceaedaSthorpej atf_tc_set_md_var(tc, "descr",
137f9ceaedaSthorpej "Validates implementation detail assumptions about "
138f9ceaedaSthorpej "EVFILT_SIGNAL and EVFILT_PROC");
139f9ceaedaSthorpej }
ATF_TC_BODY(sig_and_proc,tc)140f9ceaedaSthorpej ATF_TC_BODY(sig_and_proc, tc)
141f9ceaedaSthorpej {
142f9ceaedaSthorpej struct kevent events[3];
143f9ceaedaSthorpej pid_t pid;
144f9ceaedaSthorpej int kq;
145f9ceaedaSthorpej
146f9ceaedaSthorpej pid = fork();
147f9ceaedaSthorpej ATF_REQUIRE(pid != -1);
148f9ceaedaSthorpej
149f9ceaedaSthorpej if (pid == 0) {
150f9ceaedaSthorpej /*
151f9ceaedaSthorpej * Child: create a kqueue and attach signal knotes
152f9ceaedaSthorpej * to curproc->p_klist.
153f9ceaedaSthorpej */
154f9ceaedaSthorpej kq = kqueue();
155f9ceaedaSthorpej ATF_REQUIRE(kq >= 0);
156f9ceaedaSthorpej
157f9ceaedaSthorpej ATF_REQUIRE(signal(SIGUSR1, SIG_IGN) != SIG_ERR);
158f9ceaedaSthorpej ATF_REQUIRE(signal(SIGUSR2, SIG_IGN) != SIG_ERR);
159f9ceaedaSthorpej
160f9ceaedaSthorpej EV_SET(&events[0], SIGUSR1, EVFILT_SIGNAL, EV_ADD, 0, 0, NULL);
161f9ceaedaSthorpej EV_SET(&events[1], SIGUSR2, EVFILT_SIGNAL, EV_ADD, 0, 0, NULL);
162f9ceaedaSthorpej
163f9ceaedaSthorpej ATF_REQUIRE(kevent(kq, events, 2, &events[2], 1, NULL) == 1);
164f9ceaedaSthorpej ATF_REQUIRE(events[2].filter == EVFILT_SIGNAL);
165f9ceaedaSthorpej ATF_REQUIRE(events[2].ident == SIGUSR1);
166f9ceaedaSthorpej
167f9ceaedaSthorpej /*
168f9ceaedaSthorpej * When we exit here, the kernel will close all of
169f9ceaedaSthorpej * its file descriptors (including our kq), which
170f9ceaedaSthorpej * will in turn remove the signal notes from
171f9ceaedaSthorpej * curproc->p_klist.
172f9ceaedaSthorpej *
173f9ceaedaSthorpej * Then, later on, the kernel will post a NOTE_EXIT
174f9ceaedaSthorpej * on our parent's kqueue using the proc note that
175f9ceaedaSthorpej * our parent attached to (our) curproc->p_klist.
176f9ceaedaSthorpej * That code path KASSERT()s that the signal knotes
177f9ceaedaSthorpej * have already been removed.
178f9ceaedaSthorpej */
179f9ceaedaSthorpej _exit(0);
180f9ceaedaSthorpej }
181f9ceaedaSthorpej
182f9ceaedaSthorpej /*
183f9ceaedaSthorpej * Parent: create a kqueue and attach a proc note to
184f9ceaedaSthorpej * child->p_klist.
185f9ceaedaSthorpej */
186f9ceaedaSthorpej kq = kqueue();
187f9ceaedaSthorpej ATF_REQUIRE(kq >= 0);
188f9ceaedaSthorpej
189f9ceaedaSthorpej EV_SET(&events[0], pid, EVFILT_PROC, EV_ADD, NOTE_EXIT, 0, NULL);
190f9ceaedaSthorpej
191f9ceaedaSthorpej ATF_REQUIRE(kevent(kq, events, 1, NULL, 0, NULL) == 0);
192f9ceaedaSthorpej
193f9ceaedaSthorpej /* Ensure we never see stale data. */
194f9ceaedaSthorpej memset(events, 0, sizeof(events));
195f9ceaedaSthorpej
196f9ceaedaSthorpej /* Signal child to exit. */
197f9ceaedaSthorpej ATF_REQUIRE(kill(pid, SIGUSR1) == 0);
198f9ceaedaSthorpej
199f9ceaedaSthorpej ATF_REQUIRE(kevent(kq, NULL, 0, events, 1, NULL) == 1);
200f9ceaedaSthorpej ATF_REQUIRE(events[0].filter == EVFILT_PROC);
201f9ceaedaSthorpej ATF_REQUIRE(events[0].ident == (uintptr_t)pid);
202*977e2ef5Srillig ATF_REQUIRE(events[0].fflags == NOTE_EXIT);
203f9ceaedaSthorpej }
204f9ceaedaSthorpej
ATF_TP_ADD_TCS(tp)20599635d94Sjmmv ATF_TP_ADD_TCS(tp)
20699635d94Sjmmv {
20799635d94Sjmmv ATF_TP_ADD_TC(tp, sig);
208f9ceaedaSthorpej ATF_TP_ADD_TC(tp, sig_and_proc);
20999635d94Sjmmv
21099635d94Sjmmv return atf_no_error();
21199635d94Sjmmv }
212