Home | History | Annotate | Line # | Download | only in sys
t_ptrace_sigchld.c revision 1.3
      1  1.3  kamil /*	$NetBSD: t_ptrace_sigchld.c,v 1.3 2020/05/05 18:12:20 kamil Exp $	*/
      2  1.1  kamil 
      3  1.1  kamil /*-
      4  1.1  kamil  * Copyright (c) 2020 The NetBSD Foundation, Inc.
      5  1.1  kamil  * All rights reserved.
      6  1.1  kamil  *
      7  1.1  kamil  * Redistribution and use in source and binary forms, with or without
      8  1.1  kamil  * modification, are permitted provided that the following conditions
      9  1.1  kamil  * are met:
     10  1.1  kamil  * 1. Redistributions of source code must retain the above copyright
     11  1.1  kamil  *    notice, this list of conditions and the following disclaimer.
     12  1.1  kamil  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.1  kamil  *    notice, this list of conditions and the following disclaimer in the
     14  1.1  kamil  *    documentation and/or other materials provided with the distribution.
     15  1.1  kamil  *
     16  1.1  kamil  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  1.1  kamil  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  1.1  kamil  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  1.1  kamil  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  1.1  kamil  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  1.1  kamil  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  1.1  kamil  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  1.1  kamil  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  1.1  kamil  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  1.1  kamil  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  1.1  kamil  * POSSIBILITY OF SUCH DAMAGE.
     27  1.1  kamil  */
     28  1.1  kamil 
     29  1.1  kamil #include <sys/cdefs.h>
     30  1.3  kamil __RCSID("$NetBSD: t_ptrace_sigchld.c,v 1.3 2020/05/05 18:12:20 kamil Exp $");
     31  1.1  kamil 
     32  1.1  kamil #include <sys/param.h>
     33  1.1  kamil #include <sys/types.h>
     34  1.1  kamil #include <sys/exec_elf.h>
     35  1.1  kamil #include <sys/mman.h>
     36  1.1  kamil #include <sys/ptrace.h>
     37  1.1  kamil #include <sys/resource.h>
     38  1.1  kamil #include <sys/stat.h>
     39  1.1  kamil #include <sys/syscall.h>
     40  1.1  kamil #include <sys/sysctl.h>
     41  1.1  kamil #include <sys/uio.h>
     42  1.1  kamil #include <sys/wait.h>
     43  1.1  kamil #include <machine/reg.h>
     44  1.1  kamil #include <assert.h>
     45  1.1  kamil #include <elf.h>
     46  1.1  kamil #include <err.h>
     47  1.1  kamil #include <errno.h>
     48  1.1  kamil #include <fcntl.h>
     49  1.1  kamil #include <lwp.h>
     50  1.1  kamil #include <pthread.h>
     51  1.1  kamil #include <sched.h>
     52  1.1  kamil #include <signal.h>
     53  1.1  kamil #include <spawn.h>
     54  1.1  kamil #include <stdint.h>
     55  1.1  kamil #include <stdio.h>
     56  1.1  kamil #include <stdlib.h>
     57  1.1  kamil #include <strings.h>
     58  1.1  kamil #include <time.h>
     59  1.1  kamil #include <unistd.h>
     60  1.1  kamil 
     61  1.1  kamil #include <atf-c.h>
     62  1.1  kamil 
     63  1.1  kamil #include "h_macros.h"
     64  1.1  kamil #include "msg.h"
     65  1.1  kamil 
     66  1.1  kamil #include "t_ptrace_wait.h"
     67  1.1  kamil 
     68  1.1  kamil #define SYSCALL_REQUIRE(expr) ATF_REQUIRE_MSG(expr, "%s: %s", # expr, \
     69  1.1  kamil     strerror(errno))
     70  1.1  kamil #define SYSCALL_REQUIRE_ERRNO(res, exp) ATF_REQUIRE_MSG(res == exp, \
     71  1.1  kamil     "%d(%s) != %d", res, strerror(res), exp)
     72  1.1  kamil 
     73  1.1  kamil static int debug = 0;
     74  1.1  kamil 
     75  1.1  kamil #define DPRINTF(a, ...)	do  \
     76  1.1  kamil 	if (debug) \
     77  1.1  kamil 	printf("%s() %d.%d %s:%d " a, \
     78  1.1  kamil 	__func__, getpid(), _lwp_self(), __FILE__, __LINE__,  ##__VA_ARGS__); \
     79  1.1  kamil     while (/*CONSTCOND*/0)
     80  1.1  kamil 
     81  1.1  kamil /// ----------------------------------------------------------------------------
     82  1.1  kamil 
     83  1.1  kamil static int expected_signo;
     84  1.1  kamil static int expected_code;
     85  1.1  kamil static int expected_status;
     86  1.1  kamil static pid_t expected_pid;
     87  1.1  kamil 
     88  1.1  kamil static void
     89  1.1  kamil sigchld_action(int sig, siginfo_t *info, void *ctx)
     90  1.1  kamil {
     91  1.1  kamil 
     92  1.1  kamil 	FORKEE_ASSERT_EQ(info->si_signo, expected_signo);
     93  1.1  kamil 	FORKEE_ASSERT_EQ(info->si_code, expected_code);
     94  1.1  kamil 	FORKEE_ASSERT_EQ(info->si_uid, getuid());
     95  1.1  kamil 	FORKEE_ASSERT_EQ(info->si_pid, expected_pid);
     96  1.1  kamil 
     97  1.1  kamil 	if (WIFEXITED(info->si_status))
     98  1.1  kamil 		ATF_REQUIRE_EQ(WEXITSTATUS(info->si_status), expected_status);
     99  1.1  kamil 	else if (WIFSTOPPED(info->si_status))
    100  1.1  kamil 		ATF_REQUIRE_EQ(WSTOPSIG(info->si_status), expected_status);
    101  1.1  kamil 	else if (WIFSIGNALED(info->si_status))
    102  1.1  kamil 		ATF_REQUIRE_EQ(WTERMSIG(info->si_status), expected_status);
    103  1.1  kamil /*
    104  1.1  kamil 	else if (WIFCONTINUED(info->si_status))
    105  1.1  kamil 		;
    106  1.1  kamil */
    107  1.1  kamil }
    108  1.1  kamil 
    109  1.1  kamil static void
    110  1.1  kamil traceme_raise(int sigval)
    111  1.1  kamil {
    112  1.1  kamil 	const int exitval = 5;
    113  1.1  kamil 	struct sigaction sa;
    114  1.1  kamil 	pid_t child;
    115  1.1  kamil 	struct msg_fds parent_child;
    116  1.1  kamil 	uint8_t msg = 0xde; /* dummy message for IPC based on pipe(2) */
    117  1.1  kamil 
    118  1.1  kamil 	struct ptrace_siginfo info;
    119  1.1  kamil 	memset(&info, 0, sizeof(info));
    120  1.1  kamil 
    121  1.1  kamil 	memset(&sa, 0, sizeof(sa));
    122  1.1  kamil 	sa.sa_sigaction = sigchld_action;
    123  1.1  kamil 	sa.sa_flags = SA_SIGINFO | SA_NOCLDWAIT;
    124  1.1  kamil 	sigemptyset(&sa.sa_mask);
    125  1.1  kamil 
    126  1.3  kamil 	atf_tc_skip("XXX: zombie is not collected before tracer's death");
    127  1.1  kamil 
    128  1.1  kamil 	SYSCALL_REQUIRE(sigaction(SIGCHLD, &sa, NULL) == 0);
    129  1.1  kamil 
    130  1.1  kamil 	SYSCALL_REQUIRE(msg_open(&parent_child) == 0);
    131  1.1  kamil 
    132  1.1  kamil 	DPRINTF("Before forking process PID=%d\n", getpid());
    133  1.1  kamil 	SYSCALL_REQUIRE((child = fork()) != -1);
    134  1.1  kamil 	if (child == 0) {
    135  1.1  kamil 		DPRINTF("Before calling PT_TRACE_ME from child %d\n", getpid());
    136  1.1  kamil 		FORKEE_ASSERT(ptrace(PT_TRACE_ME, 0, NULL, 0) != -1);
    137  1.1  kamil 
    138  1.1  kamil 		CHILD_FROM_PARENT("raise1 child", parent_child, msg);
    139  1.1  kamil 
    140  1.1  kamil 		raise(sigval);
    141  1.1  kamil 
    142  1.1  kamil 		CHILD_TO_PARENT("raise2 child", parent_child, msg);
    143  1.1  kamil 
    144  1.1  kamil 		switch (sigval) {
    145  1.1  kamil 		case SIGKILL:
    146  1.1  kamil 			/* NOTREACHED */
    147  1.1  kamil 			FORKEE_ASSERTX(0 && "This shall not be reached");
    148  1.1  kamil 			__unreachable();
    149  1.1  kamil 		default:
    150  1.1  kamil 			DPRINTF("Before exiting of the child process\n");
    151  1.1  kamil 			_exit(exitval);
    152  1.1  kamil 		}
    153  1.1  kamil 	}
    154  1.1  kamil 	DPRINTF("Parent process PID=%d, child's PID=%d\n", getpid(), child);
    155  1.1  kamil 
    156  1.1  kamil 	expected_signo = SIGCHLD;
    157  1.1  kamil 	expected_pid = child;
    158  1.1  kamil 	switch (sigval) {
    159  1.1  kamil 	case SIGKILL:
    160  1.1  kamil 		expected_code = CLD_KILLED;
    161  1.1  kamil 		expected_status = SIGKILL;
    162  1.1  kamil 		break;
    163  1.1  kamil 	case SIGSTOP:
    164  1.1  kamil 		expected_code = CLD_STOPPED;
    165  1.1  kamil 		expected_status = SIGSTOP;
    166  1.1  kamil 		break;
    167  1.1  kamil 	default:
    168  1.1  kamil 		break;
    169  1.1  kamil 	}
    170  1.1  kamil 
    171  1.1  kamil 	PARENT_TO_CHILD("raise1 child", parent_child, msg);
    172  1.1  kamil 
    173  1.1  kamil 	switch (sigval) {
    174  1.1  kamil 	case SIGKILL:
    175  1.1  kamil 		break;
    176  1.1  kamil 	default:
    177  1.1  kamil 		PARENT_FROM_CHILD("raise2 child", parent_child, msg);
    178  1.1  kamil 
    179  1.1  kamil 		DPRINTF("Before calling ptrace(2) with PT_GET_SIGINFO for "
    180  1.1  kamil 			"child\n");
    181  1.1  kamil 		SYSCALL_REQUIRE(ptrace(PT_GET_SIGINFO, child, &info,
    182  1.1  kamil 			sizeof(info)) != -1);
    183  1.1  kamil 
    184  1.1  kamil 		DPRINTF("Signal traced to lwpid=%d\n", info.psi_lwpid);
    185  1.1  kamil 		DPRINTF("Signal properties: si_signo=%#x si_code=%#x "
    186  1.1  kamil 			"si_errno=%#x\n",
    187  1.1  kamil 			info.psi_siginfo.si_signo, info.psi_siginfo.si_code,
    188  1.1  kamil 			info.psi_siginfo.si_errno);
    189  1.1  kamil 
    190  1.1  kamil 		ATF_REQUIRE_EQ(info.psi_siginfo.si_signo, sigval);
    191  1.1  kamil 		ATF_REQUIRE_EQ(info.psi_siginfo.si_code, SI_LWP);
    192  1.1  kamil 
    193  1.1  kamil 		expected_code = CLD_EXITED;
    194  1.1  kamil 		expected_status = exitval;
    195  1.1  kamil 
    196  1.1  kamil 		SYSCALL_REQUIRE(ptrace(PT_CONTINUE, child, (void *)1, 0));
    197  1.1  kamil 
    198  1.1  kamil 		break;
    199  1.1  kamil 	}
    200  1.1  kamil 
    201  1.1  kamil 	await_collected(child); /* XXX: Process is never collected */
    202  1.1  kamil }
    203  1.1  kamil 
    204  1.1  kamil #define TRACEME_RAISE(test, sig)					\
    205  1.1  kamil ATF_TC(test);								\
    206  1.1  kamil ATF_TC_HEAD(test, tc)							\
    207  1.1  kamil {									\
    208  1.1  kamil 	atf_tc_set_md_var(tc, "descr",					\
    209  1.1  kamil 	    "Verify " #sig " followed by _exit(2) in a child");		\
    210  1.1  kamil 	atf_tc_set_md_var(tc, "timeout", "10");				\
    211  1.1  kamil }									\
    212  1.1  kamil 									\
    213  1.1  kamil ATF_TC_BODY(test, tc)							\
    214  1.1  kamil {									\
    215  1.1  kamil 									\
    216  1.1  kamil 	traceme_raise(sig);						\
    217  1.1  kamil }
    218  1.1  kamil 
    219  1.1  kamil TRACEME_RAISE(traceme_raise1, SIGKILL) /* non-maskable */
    220  1.1  kamil #if notyet
    221  1.1  kamil TRACEME_RAISE(traceme_raise2, SIGSTOP) /* non-maskable */
    222  1.1  kamil TRACEME_RAISE(traceme_raise3, SIGABRT) /* regular abort trap */
    223  1.1  kamil TRACEME_RAISE(traceme_raise4, SIGHUP)  /* hangup */
    224  1.1  kamil TRACEME_RAISE(traceme_raise5, SIGCONT) /* continued? */
    225  1.1  kamil TRACEME_RAISE(traceme_raise6, SIGTRAP) /* crash signal */
    226  1.1  kamil TRACEME_RAISE(traceme_raise7, SIGBUS) /* crash signal */
    227  1.1  kamil TRACEME_RAISE(traceme_raise8, SIGILL) /* crash signal */
    228  1.1  kamil TRACEME_RAISE(traceme_raise9, SIGFPE) /* crash signal */
    229  1.1  kamil TRACEME_RAISE(traceme_raise10, SIGSEGV) /* crash signal */
    230  1.1  kamil #endif
    231  1.1  kamil 
    232  1.1  kamil ATF_TP_ADD_TCS(tp)
    233  1.1  kamil {
    234  1.1  kamil 	setvbuf(stdout, NULL, _IONBF, 0);
    235  1.1  kamil 	setvbuf(stderr, NULL, _IONBF, 0);
    236  1.1  kamil 
    237  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise1);
    238  1.1  kamil #if notyet
    239  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise2);
    240  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise3);
    241  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise4);
    242  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise5);
    243  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise6);
    244  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise7);
    245  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise8);
    246  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise9);
    247  1.1  kamil 	ATF_TP_ADD_TC(tp, traceme_raise10);
    248  1.1  kamil #endif
    249  1.1  kamil 
    250  1.1  kamil 	return atf_no_error();
    251  1.1  kamil }
    252