Home | History | Annotate | Line # | Download | only in setjmp
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