t_sigstack.c revision 1.12.2.2 1 1.12.2.2 martin /* $NetBSD: t_sigstack.c,v 1.12.2.2 2024/08/23 16:56:29 martin Exp $ */
2 1.12.2.2 martin
3 1.12.2.2 martin /*-
4 1.12.2.2 martin * Copyright (c) 2024 The NetBSD Foundation, Inc.
5 1.12.2.2 martin * All rights reserved.
6 1.12.2.2 martin *
7 1.12.2.2 martin * Redistribution and use in source and binary forms, with or without
8 1.12.2.2 martin * modification, are permitted provided that the following conditions
9 1.12.2.2 martin * are met:
10 1.12.2.2 martin * 1. Redistributions of source code must retain the above copyright
11 1.12.2.2 martin * notice, this list of conditions and the following disclaimer.
12 1.12.2.2 martin * 2. Redistributions in binary form must reproduce the above copyright
13 1.12.2.2 martin * notice, this list of conditions and the following disclaimer in the
14 1.12.2.2 martin * documentation and/or other materials provided with the distribution.
15 1.12.2.2 martin *
16 1.12.2.2 martin * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 1.12.2.2 martin * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 1.12.2.2 martin * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 1.12.2.2 martin * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 1.12.2.2 martin * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 1.12.2.2 martin * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 1.12.2.2 martin * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 1.12.2.2 martin * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 1.12.2.2 martin * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 1.12.2.2 martin * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 1.12.2.2 martin * POSSIBILITY OF SUCH DAMAGE.
27 1.12.2.2 martin */
28 1.12.2.2 martin
29 1.12.2.2 martin #include <sys/cdefs.h>
30 1.12.2.2 martin __RCSID("$NetBSD: t_sigstack.c,v 1.12.2.2 2024/08/23 16:56:29 martin Exp $");
31 1.12.2.2 martin
32 1.12.2.2 martin #include <setjmp.h>
33 1.12.2.2 martin #include <signal.h>
34 1.12.2.2 martin #include <stddef.h>
35 1.12.2.2 martin #include <stdlib.h>
36 1.12.2.2 martin #include <ucontext.h>
37 1.12.2.2 martin
38 1.12.2.2 martin #include "h_macros.h"
39 1.12.2.2 martin
40 1.12.2.2 martin struct sigaltstack ss[3];
41 1.12.2.2 martin jmp_buf jmp;
42 1.12.2.2 martin sigjmp_buf sigjmp;
43 1.12.2.2 martin unsigned nentries;
44 1.12.2.2 martin const char *bailname;
45 1.12.2.2 martin void (*bailfn)(void) __dead;
46 1.12.2.2 martin
47 1.12.2.2 martin static void
48 1.12.2.2 martin on_sigusr1(int signo, siginfo_t *si, void *ctx)
49 1.12.2.2 martin {
50 1.12.2.2 martin ucontext_t *uc = ctx;
51 1.12.2.2 martin void *sp = (void *)(uintptr_t)_UC_MACHINE_SP(uc);
52 1.12.2.2 martin void *fp = __builtin_frame_address(0);
53 1.12.2.2 martin struct sigaltstack *ssp;
54 1.12.2.2 martin
55 1.12.2.2 martin /*
56 1.12.2.2 martin * Ensure we haven't re-entered the signal handler too many
57 1.12.2.2 martin * times. We should enter only twice.
58 1.12.2.2 martin */
59 1.12.2.2 martin ATF_REQUIRE_MSG(nentries < 2,
60 1.12.2.2 martin "%u recursive signal handler entries is too many in this test",
61 1.12.2.2 martin nentries + 1);
62 1.12.2.2 martin
63 1.12.2.2 martin /*
64 1.12.2.2 martin * Ensure that the signal handler was called in the alternate
65 1.12.2.2 martin * signal stack.
66 1.12.2.2 martin */
67 1.12.2.2 martin ssp = &ss[nentries];
68 1.12.2.2 martin ATF_REQUIRE_MSG((fp >= ssp->ss_sp &&
69 1.12.2.2 martin fp < (void *)((char *)ssp->ss_sp + ssp->ss_size)),
70 1.12.2.2 martin "sigaltstack failed to take effect on entry %u --"
71 1.12.2.2 martin " signal handler's frame pointer %p doesn't lie in sigaltstack"
72 1.12.2.2 martin " [%p, %p), size 0x%zx",
73 1.12.2.2 martin nentries,
74 1.12.2.2 martin fp, ssp->ss_sp, (char *)ssp->ss_sp + ssp->ss_size, ssp->ss_size);
75 1.12.2.2 martin
76 1.12.2.2 martin /*
77 1.12.2.2 martin * Ensure that if we enter the signal handler, we are entering
78 1.12.2.2 martin * it from the original stack, not from any of the alternate
79 1.12.2.2 martin * signal stacks.
80 1.12.2.2 martin *
81 1.12.2.2 martin * On some architectures, this is broken. Those that appear to
82 1.12.2.2 martin * get this right are:
83 1.12.2.2 martin *
84 1.12.2.2 martin * aarch64
85 1.12.2.2 martin * alpha
86 1.12.2.2 martin * arm
87 1.12.2.2 martin * i386
88 1.12.2.2 martin * m68k
89 1.12.2.2 martin * or1k
90 1.12.2.2 martin * powerpc
91 1.12.2.2 martin * powerpc64
92 1.12.2.2 martin * riscv
93 1.12.2.2 martin * vax
94 1.12.2.2 martin * x86_64
95 1.12.2.2 martin */
96 1.12.2.2 martin #if defined __hppa__ || \
97 1.12.2.2 martin defined __ia64__ || defined __mips__ || \
98 1.12.2.2 martin defined __sparc__ || defined __sparc64__
99 1.12.2.2 martin if (nentries > 0)
100 1.12.2.2 martin atf_tc_expect_fail("PR lib/57946");
101 1.12.2.2 martin #endif
102 1.12.2.2 martin for (ssp = &ss[0]; ssp < &ss[__arraycount(ss)]; ssp++) {
103 1.12.2.2 martin ATF_REQUIRE_MSG((sp < ssp->ss_sp ||
104 1.12.2.2 martin sp >= (void *)((char *)ssp->ss_sp + ssp->ss_size)),
105 1.12.2.2 martin "%s failed to restore stack"
106 1.12.2.2 martin " before allowing signal on entry %u --"
107 1.12.2.2 martin " interrupted stack pointer %p lies in sigaltstack %zd"
108 1.12.2.2 martin " [%p, %p), size 0x%zx",
109 1.12.2.2 martin bailname,
110 1.12.2.2 martin nentries,
111 1.12.2.2 martin sp, ssp - ss,
112 1.12.2.2 martin ssp->ss_sp, (char *)ssp->ss_sp + ssp->ss_size,
113 1.12.2.2 martin ssp->ss_size);
114 1.12.2.2 martin }
115 1.12.2.2 martin
116 1.12.2.2 martin /*
117 1.12.2.2 martin * First time through, we want to test whether longjmp restores
118 1.12.2.2 martin * the signal mask first, or restores the stack pointer first.
119 1.12.2.2 martin * The signal should be blocked at this point, so we re-raise
120 1.12.2.2 martin * the signal to queue it up for delivery as soon as it is
121 1.12.2.2 martin * unmasked -- which should wait until the stack pointer has
122 1.12.2.2 martin * been restored in longjmp.
123 1.12.2.2 martin */
124 1.12.2.2 martin if (nentries++ == 0)
125 1.12.2.2 martin RL(raise(SIGUSR1));
126 1.12.2.2 martin
127 1.12.2.2 martin /*
128 1.12.2.2 martin * Set up the next sigaltstack. We can't reuse the current one
129 1.12.2.2 martin * for the next signal handler re-entry until the system clears
130 1.12.2.2 martin * the SS_ONSTACK process state -- which normal return from
131 1.12.2.2 martin * signal handler does, but which longjmp does not. So to keep
132 1.12.2.2 martin * it simple (ha), we just use another sigaltstack.
133 1.12.2.2 martin */
134 1.12.2.2 martin RL(sigaltstack(&ss[nentries], NULL));
135 1.12.2.2 martin
136 1.12.2.2 martin /*
137 1.12.2.2 martin * Jump back to the original context.
138 1.12.2.2 martin */
139 1.12.2.2 martin (*bailfn)();
140 1.12.2.2 martin }
141 1.12.2.2 martin
142 1.12.2.2 martin static void
143 1.12.2.2 martin go(const char *name, void (*fn)(void) __dead)
144 1.12.2.2 martin {
145 1.12.2.2 martin struct sigaction sa;
146 1.12.2.2 martin unsigned i;
147 1.12.2.2 martin
148 1.12.2.2 martin bailname = name;
149 1.12.2.2 martin bailfn = fn;
150 1.12.2.2 martin
151 1.12.2.2 martin /*
152 1.12.2.2 martin * Allocate a stack for the signal handler to run in, and
153 1.12.2.2 martin * configure the system to use the first one.
154 1.12.2.2 martin *
155 1.12.2.2 martin * XXX Should maybe use a guard page but this is simpler.
156 1.12.2.2 martin */
157 1.12.2.2 martin for (i = 0; i < __arraycount(ss); i++) {
158 1.12.2.2 martin ss[i].ss_size = SIGSTKSZ;
159 1.12.2.2 martin REQUIRE_LIBC(ss[i].ss_sp = malloc(ss[i].ss_size), NULL);
160 1.12.2.2 martin }
161 1.12.2.2 martin RL(sigaltstack(&ss[0], NULL));
162 1.12.2.2 martin
163 1.12.2.2 martin /*
164 1.12.2.2 martin * Set up a test signal handler for SIGUSR1. Allow all
165 1.12.2.2 martin * signals, except SIGUSR1 (which is masked by default) -- that
166 1.12.2.2 martin * way we don't inadvertently obscure weird crashes in the
167 1.12.2.2 martin * signal handler.
168 1.12.2.2 martin *
169 1.12.2.2 martin * Set SA_SIGINFO so the system will pass siginfo -- and, more
170 1.12.2.2 martin * to the point, ucontext, so the signal handler can determine
171 1.12.2.2 martin * the stack pointer of the logic it interrupted.
172 1.12.2.2 martin *
173 1.12.2.2 martin * Set SA_ONSTACK so the system will use the alternate signal
174 1.12.2.2 martin * stack to call the signal handler -- that way, it can tell
175 1.12.2.2 martin * whether the stack was restored before the second time
176 1.12.2.2 martin * around.
177 1.12.2.2 martin */
178 1.12.2.2 martin memset(&sa, 0, sizeof(sa));
179 1.12.2.2 martin sa.sa_sigaction = &on_sigusr1;
180 1.12.2.2 martin RL(sigemptyset(&sa.sa_mask));
181 1.12.2.2 martin sa.sa_flags = SA_SIGINFO|SA_ONSTACK;
182 1.12.2.2 martin RL(sigaction(SIGUSR1, &sa, NULL));
183 1.12.2.2 martin
184 1.12.2.2 martin /*
185 1.12.2.2 martin * Raise the signal to enter the signal handler the first time.
186 1.12.2.2 martin */
187 1.12.2.2 martin RL(raise(SIGUSR1));
188 1.12.2.2 martin
189 1.12.2.2 martin /*
190 1.12.2.2 martin * If we ever reach this point, something went seriously wrong.
191 1.12.2.2 martin */
192 1.12.2.2 martin atf_tc_fail("unreachable");
193 1.12.2.2 martin }
194 1.12.2.2 martin
195 1.12.2.2 martin static void __dead
196 1.12.2.2 martin bail_longjmp(void)
197 1.12.2.2 martin {
198 1.12.2.2 martin
199 1.12.2.2 martin longjmp(jmp, 1);
200 1.12.2.2 martin }
201 1.12.2.2 martin
202 1.12.2.2 martin ATF_TC(setjmp);
203 1.12.2.2 martin ATF_TC_HEAD(setjmp, tc)
204 1.12.2.2 martin {
205 1.12.2.2 martin atf_tc_set_md_var(tc, "descr",
206 1.12.2.2 martin "Test longjmp restores stack first, then signal mask");
207 1.12.2.2 martin }
208 1.12.2.2 martin ATF_TC_BODY(setjmp, tc)
209 1.12.2.2 martin {
210 1.12.2.2 martin
211 1.12.2.2 martin /*
212 1.12.2.2 martin * Set up a return point for the signal handler: when the
213 1.12.2.2 martin * signal handler does longjmp(jmp, 1), it comes flying out of
214 1.12.2.2 martin * here.
215 1.12.2.2 martin */
216 1.12.2.2 martin if (setjmp(jmp) == 1)
217 1.12.2.2 martin return;
218 1.12.2.2 martin
219 1.12.2.2 martin /*
220 1.12.2.2 martin * Run the test with longjmp.
221 1.12.2.2 martin */
222 1.12.2.2 martin go("longjmp", &bail_longjmp);
223 1.12.2.2 martin }
224 1.12.2.2 martin
225 1.12.2.2 martin static void __dead
226 1.12.2.2 martin bail_siglongjmp(void)
227 1.12.2.2 martin {
228 1.12.2.2 martin
229 1.12.2.2 martin siglongjmp(sigjmp, 1);
230 1.12.2.2 martin }
231 1.12.2.2 martin
232 1.12.2.2 martin ATF_TC(sigsetjmp);
233 1.12.2.2 martin ATF_TC_HEAD(sigsetjmp, tc)
234 1.12.2.2 martin {
235 1.12.2.2 martin atf_tc_set_md_var(tc, "descr",
236 1.12.2.2 martin "Test siglongjmp restores stack first, then signal mask");
237 1.12.2.2 martin }
238 1.12.2.2 martin ATF_TC_BODY(sigsetjmp, tc)
239 1.12.2.2 martin {
240 1.12.2.2 martin
241 1.12.2.2 martin /*
242 1.12.2.2 martin * Set up a return point for the signal handler: when the
243 1.12.2.2 martin * signal handler does siglongjmp(sigjmp, 1), it comes flying
244 1.12.2.2 martin * out of here.
245 1.12.2.2 martin */
246 1.12.2.2 martin if (sigsetjmp(sigjmp, /*savesigmask*/1) == 1)
247 1.12.2.2 martin return;
248 1.12.2.2 martin
249 1.12.2.2 martin /*
250 1.12.2.2 martin * Run the test with siglongjmp.
251 1.12.2.2 martin */
252 1.12.2.2 martin go("siglongjmp", &bail_siglongjmp);
253 1.12.2.2 martin }
254 1.12.2.2 martin
255 1.12.2.2 martin ATF_TP_ADD_TCS(tp)
256 1.12.2.2 martin {
257 1.12.2.2 martin
258 1.12.2.2 martin ATF_TP_ADD_TC(tp, setjmp);
259 1.12.2.2 martin ATF_TP_ADD_TC(tp, sigsetjmp);
260 1.12.2.2 martin
261 1.12.2.2 martin return atf_no_error();
262 1.12.2.2 martin }
263