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