t_sig.c revision 1.5 1 1.5 rillig /* $NetBSD: t_sig.c,v 1.5 2024/07/10 22:03:59 rillig Exp $ */
2 1.1 jmmv
3 1.1 jmmv /*-
4 1.4 thorpej * Copyright (c) 2002, 2008, 2021 The NetBSD Foundation, Inc.
5 1.1 jmmv * All rights reserved.
6 1.1 jmmv *
7 1.1 jmmv * This code is derived from software contributed to The NetBSD Foundation
8 1.1 jmmv * by Luke Mewburn and Jaromir Dolecek.
9 1.1 jmmv *
10 1.1 jmmv * Redistribution and use in source and binary forms, with or without
11 1.1 jmmv * modification, are permitted provided that the following conditions
12 1.1 jmmv * are met:
13 1.1 jmmv * 1. Redistributions of source code must retain the above copyright
14 1.1 jmmv * notice, this list of conditions and the following disclaimer.
15 1.1 jmmv * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 jmmv * notice, this list of conditions and the following disclaimer in the
17 1.1 jmmv * documentation and/or other materials provided with the distribution.
18 1.1 jmmv *
19 1.1 jmmv * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 jmmv * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 jmmv * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 jmmv * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 jmmv * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 jmmv * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 jmmv * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 jmmv * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 jmmv * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 jmmv * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 jmmv * POSSIBILITY OF SUCH DAMAGE.
30 1.1 jmmv */
31 1.1 jmmv
32 1.1 jmmv #include <sys/cdefs.h>
33 1.1 jmmv __COPYRIGHT("@(#) Copyright (c) 2008\
34 1.1 jmmv The NetBSD Foundation, inc. All rights reserved.");
35 1.5 rillig __RCSID("$NetBSD: t_sig.c,v 1.5 2024/07/10 22:03:59 rillig Exp $");
36 1.1 jmmv
37 1.1 jmmv #include <sys/event.h>
38 1.1 jmmv #include <sys/ioctl.h>
39 1.1 jmmv #include <sys/param.h>
40 1.1 jmmv #include <sys/time.h>
41 1.1 jmmv #include <sys/wait.h>
42 1.1 jmmv
43 1.1 jmmv #include <inttypes.h>
44 1.1 jmmv #include <signal.h>
45 1.1 jmmv #include <stdio.h>
46 1.1 jmmv #include <stdlib.h>
47 1.1 jmmv #include <unistd.h>
48 1.1 jmmv
49 1.1 jmmv #include <atf-c.h>
50 1.1 jmmv
51 1.3 christos #include "h_macros.h"
52 1.1 jmmv
53 1.1 jmmv #define NSIGNALS 5
54 1.1 jmmv
55 1.1 jmmv ATF_TC(sig);
56 1.1 jmmv ATF_TC_HEAD(sig, tc)
57 1.1 jmmv {
58 1.1 jmmv atf_tc_set_md_var(tc, "descr", "Checks EVFILT_SIGNAL");
59 1.1 jmmv }
60 1.1 jmmv ATF_TC_BODY(sig, tc)
61 1.1 jmmv {
62 1.1 jmmv struct timespec timeout;
63 1.1 jmmv struct kfilter_mapping km;
64 1.1 jmmv struct kevent event[1];
65 1.1 jmmv char namebuf[32];
66 1.1 jmmv pid_t pid, child;
67 1.1 jmmv int kq, n, num, status;
68 1.1 jmmv
69 1.1 jmmv pid = getpid();
70 1.1 jmmv (void)printf("my pid: %d\n", pid);
71 1.1 jmmv
72 1.1 jmmv /* fork a child to send signals */
73 1.1 jmmv RL(child = fork());
74 1.1 jmmv if (child == 0) {
75 1.1 jmmv int i;
76 1.1 jmmv (void)sleep(2);
77 1.1 jmmv for(i = 0; i < NSIGNALS; ++i) {
78 1.1 jmmv (void)kill(pid, SIGUSR1);
79 1.1 jmmv (void)sleep(2);
80 1.1 jmmv }
81 1.1 jmmv _exit(0);
82 1.1 jmmv /* NOTREACHED */
83 1.1 jmmv }
84 1.1 jmmv
85 1.1 jmmv RL(kq = kqueue());
86 1.1 jmmv
87 1.1 jmmv (void)strlcpy(namebuf, "EVFILT_SIGNAL", sizeof(namebuf));
88 1.1 jmmv km.name = namebuf;
89 1.1 jmmv RL(ioctl(kq, KFILTER_BYNAME, &km));
90 1.1 jmmv (void)printf("got %d as filter number for `%s'.\n", km.filter, km.name);
91 1.1 jmmv
92 1.1 jmmv /* ignore the signal to avoid taking it for real */
93 1.1 jmmv REQUIRE_LIBC(signal(SIGUSR1, SIG_IGN), SIG_ERR);
94 1.1 jmmv
95 1.1 jmmv event[0].ident = SIGUSR1;
96 1.1 jmmv event[0].filter = km.filter;
97 1.1 jmmv event[0].flags = EV_ADD | EV_ENABLE;
98 1.1 jmmv
99 1.1 jmmv RL(kevent(kq, event, 1, NULL, 0, NULL));
100 1.1 jmmv
101 1.1 jmmv (void)sleep(1);
102 1.1 jmmv
103 1.1 jmmv timeout.tv_sec = 1;
104 1.1 jmmv timeout.tv_nsec = 0;
105 1.1 jmmv
106 1.1 jmmv for (num = 0; num < NSIGNALS; num += n) {
107 1.1 jmmv struct timeval then, now, diff;
108 1.1 jmmv
109 1.1 jmmv RL(gettimeofday(&then, NULL));
110 1.1 jmmv RL(n = kevent(kq, NULL, 0, event, 1, &timeout));
111 1.1 jmmv RL(gettimeofday(&now, NULL));
112 1.1 jmmv timersub(&now, &then, &diff);
113 1.1 jmmv
114 1.2 christos (void)printf("sig: kevent returned %d in %lld.%06ld\n",
115 1.2 christos n, (long long)diff.tv_sec, (long)diff.tv_usec);
116 1.1 jmmv
117 1.1 jmmv if (n == 0)
118 1.1 jmmv continue;
119 1.1 jmmv
120 1.1 jmmv (void)printf("sig: kevent flags: 0x%x, data: %" PRId64 " (# "
121 1.1 jmmv "times signal posted)\n", event[0].flags, event[0].data);
122 1.1 jmmv }
123 1.1 jmmv
124 1.1 jmmv (void)waitpid(child, &status, 0);
125 1.1 jmmv (void)printf("sig: finished successfully\n");
126 1.1 jmmv }
127 1.1 jmmv
128 1.4 thorpej /*
129 1.4 thorpej * This test case exercises code paths in the kernel that KASSERT()
130 1.4 thorpej * some assumptions about EVFILT_SIGNAL and EVFILT_PROC implementation
131 1.4 thorpej * details.
132 1.4 thorpej */
133 1.4 thorpej ATF_TC(sig_and_proc);
134 1.4 thorpej ATF_TC_HEAD(sig_and_proc, tc)
135 1.4 thorpej {
136 1.4 thorpej atf_tc_set_md_var(tc, "descr",
137 1.4 thorpej "Validates implementation detail assumptions about "
138 1.4 thorpej "EVFILT_SIGNAL and EVFILT_PROC");
139 1.4 thorpej }
140 1.4 thorpej ATF_TC_BODY(sig_and_proc, tc)
141 1.4 thorpej {
142 1.4 thorpej struct kevent events[3];
143 1.4 thorpej pid_t pid;
144 1.4 thorpej int kq;
145 1.4 thorpej
146 1.4 thorpej pid = fork();
147 1.4 thorpej ATF_REQUIRE(pid != -1);
148 1.4 thorpej
149 1.4 thorpej if (pid == 0) {
150 1.4 thorpej /*
151 1.4 thorpej * Child: create a kqueue and attach signal knotes
152 1.4 thorpej * to curproc->p_klist.
153 1.4 thorpej */
154 1.4 thorpej kq = kqueue();
155 1.4 thorpej ATF_REQUIRE(kq >= 0);
156 1.4 thorpej
157 1.4 thorpej ATF_REQUIRE(signal(SIGUSR1, SIG_IGN) != SIG_ERR);
158 1.4 thorpej ATF_REQUIRE(signal(SIGUSR2, SIG_IGN) != SIG_ERR);
159 1.4 thorpej
160 1.4 thorpej EV_SET(&events[0], SIGUSR1, EVFILT_SIGNAL, EV_ADD, 0, 0, NULL);
161 1.4 thorpej EV_SET(&events[1], SIGUSR2, EVFILT_SIGNAL, EV_ADD, 0, 0, NULL);
162 1.4 thorpej
163 1.4 thorpej ATF_REQUIRE(kevent(kq, events, 2, &events[2], 1, NULL) == 1);
164 1.4 thorpej ATF_REQUIRE(events[2].filter == EVFILT_SIGNAL);
165 1.4 thorpej ATF_REQUIRE(events[2].ident == SIGUSR1);
166 1.4 thorpej
167 1.4 thorpej /*
168 1.4 thorpej * When we exit here, the kernel will close all of
169 1.4 thorpej * its file descriptors (including our kq), which
170 1.4 thorpej * will in turn remove the signal notes from
171 1.4 thorpej * curproc->p_klist.
172 1.4 thorpej *
173 1.4 thorpej * Then, later on, the kernel will post a NOTE_EXIT
174 1.4 thorpej * on our parent's kqueue using the proc note that
175 1.4 thorpej * our parent attached to (our) curproc->p_klist.
176 1.4 thorpej * That code path KASSERT()s that the signal knotes
177 1.4 thorpej * have already been removed.
178 1.4 thorpej */
179 1.4 thorpej _exit(0);
180 1.4 thorpej }
181 1.4 thorpej
182 1.4 thorpej /*
183 1.4 thorpej * Parent: create a kqueue and attach a proc note to
184 1.4 thorpej * child->p_klist.
185 1.4 thorpej */
186 1.4 thorpej kq = kqueue();
187 1.4 thorpej ATF_REQUIRE(kq >= 0);
188 1.4 thorpej
189 1.4 thorpej EV_SET(&events[0], pid, EVFILT_PROC, EV_ADD, NOTE_EXIT, 0, NULL);
190 1.4 thorpej
191 1.4 thorpej ATF_REQUIRE(kevent(kq, events, 1, NULL, 0, NULL) == 0);
192 1.4 thorpej
193 1.4 thorpej /* Ensure we never see stale data. */
194 1.4 thorpej memset(events, 0, sizeof(events));
195 1.4 thorpej
196 1.4 thorpej /* Signal child to exit. */
197 1.4 thorpej ATF_REQUIRE(kill(pid, SIGUSR1) == 0);
198 1.4 thorpej
199 1.4 thorpej ATF_REQUIRE(kevent(kq, NULL, 0, events, 1, NULL) == 1);
200 1.4 thorpej ATF_REQUIRE(events[0].filter == EVFILT_PROC);
201 1.4 thorpej ATF_REQUIRE(events[0].ident == (uintptr_t)pid);
202 1.5 rillig ATF_REQUIRE(events[0].fflags == NOTE_EXIT);
203 1.4 thorpej }
204 1.4 thorpej
205 1.1 jmmv ATF_TP_ADD_TCS(tp)
206 1.1 jmmv {
207 1.1 jmmv ATF_TP_ADD_TC(tp, sig);
208 1.4 thorpej ATF_TP_ADD_TC(tp, sig_and_proc);
209 1.1 jmmv
210 1.1 jmmv return atf_no_error();
211 1.1 jmmv }
212