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