Home | History | Annotate | Line # | Download | only in rumpkern
t_lwproc.c revision 1.8
      1  1.8  christos /*	$NetBSD: t_lwproc.c,v 1.8 2017/01/10 22:36:29 christos Exp $	*/
      2  1.1     pooka 
      3  1.1     pooka /*
      4  1.1     pooka  * Copyright (c) 2010 The NetBSD Foundation, Inc.
      5  1.1     pooka  * All rights reserved.
      6  1.1     pooka  *
      7  1.1     pooka  * Redistribution and use in source and binary forms, with or without
      8  1.1     pooka  * modification, are permitted provided that the following conditions
      9  1.1     pooka  * are met:
     10  1.1     pooka  * 1. Redistributions of source code must retain the above copyright
     11  1.1     pooka  *    notice, this list of conditions and the following disclaimer.
     12  1.1     pooka  * 2. Redistributions in binary form must reproduce the above copyright
     13  1.1     pooka  *    notice, this list of conditions and the following disclaimer in the
     14  1.1     pooka  *    documentation and/or other materials provided with the distribution.
     15  1.1     pooka  *
     16  1.1     pooka  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
     17  1.1     pooka  * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
     18  1.1     pooka  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
     19  1.1     pooka  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     20  1.1     pooka  * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
     21  1.1     pooka  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     22  1.1     pooka  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
     23  1.1     pooka  * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     24  1.1     pooka  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
     25  1.1     pooka  * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
     26  1.1     pooka  * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
     27  1.1     pooka  * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     28  1.1     pooka  */
     29  1.1     pooka 
     30  1.1     pooka #include <sys/types.h>
     31  1.1     pooka #include <sys/wait.h>
     32  1.8  christos #include <sys/stat.h>
     33  1.1     pooka 
     34  1.1     pooka #include <rump/rump.h>
     35  1.1     pooka #include <rump/rump_syscalls.h>
     36  1.1     pooka 
     37  1.1     pooka #include <atf-c.h>
     38  1.1     pooka #include <err.h>
     39  1.1     pooka #include <errno.h>
     40  1.5     pooka #include <fcntl.h>
     41  1.1     pooka #include <stdio.h>
     42  1.1     pooka #include <stdlib.h>
     43  1.1     pooka #include <string.h>
     44  1.1     pooka #include <unistd.h>
     45  1.1     pooka #include <util.h>
     46  1.1     pooka 
     47  1.1     pooka #include "../../h_macros.h"
     48  1.1     pooka 
     49  1.1     pooka ATF_TC(makelwp);
     50  1.1     pooka ATF_TC_HEAD(makelwp, tc)
     51  1.1     pooka {
     52  1.1     pooka 
     53  1.1     pooka 	atf_tc_set_md_var(tc, "descr", "tests that lwps can be attached to "
     54  1.1     pooka 	    "processes");
     55  1.1     pooka }
     56  1.1     pooka 
     57  1.1     pooka ATF_TC_BODY(makelwp, tc)
     58  1.1     pooka {
     59  1.1     pooka 	struct lwp *l;
     60  1.1     pooka 	pid_t pid;
     61  1.1     pooka 
     62  1.1     pooka 	rump_init();
     63  1.1     pooka 	RZ(rump_pub_lwproc_newlwp(0));
     64  1.1     pooka 	ATF_REQUIRE_EQ(rump_pub_lwproc_newlwp(37), ESRCH);
     65  1.1     pooka 	l = rump_pub_lwproc_curlwp();
     66  1.1     pooka 
     67  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
     68  1.1     pooka 	ATF_REQUIRE(rump_pub_lwproc_curlwp() != l);
     69  1.1     pooka 	l = rump_pub_lwproc_curlwp();
     70  1.1     pooka 
     71  1.1     pooka 	RZ(rump_pub_lwproc_newlwp(rump_sys_getpid()));
     72  1.1     pooka 	ATF_REQUIRE(rump_pub_lwproc_curlwp() != l);
     73  1.1     pooka 
     74  1.1     pooka 	pid = rump_sys_getpid();
     75  1.1     pooka 	ATF_REQUIRE(pid != -1 && pid != 0);
     76  1.1     pooka }
     77  1.1     pooka 
     78  1.1     pooka ATF_TC(proccreds);
     79  1.1     pooka ATF_TC_HEAD(proccreds, tc)
     80  1.1     pooka {
     81  1.1     pooka 
     82  1.1     pooka 	atf_tc_set_md_var(tc, "descr", "check that procs have different creds");
     83  1.1     pooka }
     84  1.1     pooka 
     85  1.1     pooka ATF_TC_BODY(proccreds, tc)
     86  1.1     pooka {
     87  1.1     pooka 	struct lwp *l1, *l2;
     88  1.1     pooka 
     89  1.1     pooka 	rump_init();
     90  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
     91  1.1     pooka 	l1 = rump_pub_lwproc_curlwp();
     92  1.7     pooka 	RZ(rump_pub_lwproc_newlwp(rump_sys_getpid()));
     93  1.1     pooka 
     94  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
     95  1.1     pooka 	l2 = rump_pub_lwproc_curlwp();
     96  1.1     pooka 
     97  1.1     pooka 	RL(rump_sys_setuid(22));
     98  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 22);
     99  1.1     pooka 
    100  1.1     pooka 	rump_pub_lwproc_switch(l1);
    101  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 0); /* from parent, proc0 */
    102  1.1     pooka 	RL(rump_sys_setuid(11));
    103  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 11);
    104  1.1     pooka 
    105  1.1     pooka 	rump_pub_lwproc_switch(l2);
    106  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 22);
    107  1.1     pooka 	rump_pub_lwproc_newlwp(rump_sys_getpid());
    108  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 22);
    109  1.1     pooka }
    110  1.1     pooka 
    111  1.1     pooka 
    112  1.1     pooka ATF_TC(inherit);
    113  1.1     pooka ATF_TC_HEAD(inherit, tc)
    114  1.1     pooka {
    115  1.1     pooka 
    116  1.1     pooka 	atf_tc_set_md_var(tc, "descr", "new processes inherit creds from "
    117  1.1     pooka 	    "parents");
    118  1.1     pooka }
    119  1.1     pooka 
    120  1.1     pooka ATF_TC_BODY(inherit, tc)
    121  1.1     pooka {
    122  1.1     pooka 
    123  1.1     pooka 	rump_init();
    124  1.1     pooka 
    125  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    126  1.1     pooka 	RL(rump_sys_setuid(66));
    127  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 66);
    128  1.1     pooka 
    129  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    130  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 66);
    131  1.1     pooka 
    132  1.1     pooka 	/* release lwp and proc */
    133  1.1     pooka 	rump_pub_lwproc_releaselwp();
    134  1.1     pooka 	ATF_REQUIRE_EQ(rump_sys_getuid(), 0);
    135  1.1     pooka }
    136  1.1     pooka 
    137  1.1     pooka ATF_TC(lwps);
    138  1.1     pooka ATF_TC_HEAD(lwps, tc)
    139  1.1     pooka {
    140  1.1     pooka 
    141  1.1     pooka 	atf_tc_set_md_var(tc, "descr", "proc can hold many lwps and is "
    142  1.1     pooka 	    "automatically g/c'd when the last one exits");
    143  1.1     pooka }
    144  1.1     pooka 
    145  1.1     pooka #define LOOPS 128
    146  1.1     pooka ATF_TC_BODY(lwps, tc)
    147  1.1     pooka {
    148  1.1     pooka 	struct lwp *l[LOOPS];
    149  1.1     pooka 	pid_t mypid;
    150  1.1     pooka 	struct lwp *l_orig;
    151  1.1     pooka 	int i;
    152  1.1     pooka 
    153  1.1     pooka 	rump_init();
    154  1.1     pooka 
    155  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    156  1.1     pooka 	mypid = rump_sys_getpid();
    157  1.1     pooka 	RL(rump_sys_setuid(375));
    158  1.1     pooka 
    159  1.1     pooka 	l_orig = rump_pub_lwproc_curlwp();
    160  1.1     pooka 	for (i = 0; i < LOOPS; i++) {
    161  1.1     pooka 		mypid = rump_sys_getpid();
    162  1.1     pooka 		ATF_REQUIRE(mypid != -1 && mypid != 0);
    163  1.1     pooka 		RZ(rump_pub_lwproc_newlwp(mypid));
    164  1.1     pooka 		l[i] = rump_pub_lwproc_curlwp();
    165  1.1     pooka 		ATF_REQUIRE_EQ(rump_sys_getuid(), 375);
    166  1.1     pooka 	}
    167  1.1     pooka 
    168  1.1     pooka 	rump_pub_lwproc_switch(l_orig);
    169  1.1     pooka 	rump_pub_lwproc_releaselwp();
    170  1.1     pooka 	for (i = 0; i < LOOPS; i++) {
    171  1.1     pooka 		rump_pub_lwproc_switch(l[i]);
    172  1.1     pooka 		ATF_REQUIRE_EQ(rump_sys_getpid(), mypid);
    173  1.1     pooka 		ATF_REQUIRE_EQ(rump_sys_getuid(), 375);
    174  1.1     pooka 		rump_pub_lwproc_releaselwp();
    175  1.4     pooka 		ATF_REQUIRE_EQ(rump_sys_getpid(), 1);
    176  1.1     pooka 		ATF_REQUIRE_EQ(rump_sys_getuid(), 0);
    177  1.1     pooka 	}
    178  1.1     pooka 
    179  1.1     pooka 	ATF_REQUIRE_EQ(rump_pub_lwproc_newlwp(mypid), ESRCH);
    180  1.1     pooka }
    181  1.1     pooka 
    182  1.1     pooka ATF_TC(nolwprelease);
    183  1.1     pooka ATF_TC_HEAD(nolwprelease, tc)
    184  1.1     pooka {
    185  1.1     pooka 
    186  1.1     pooka 	atf_tc_set_md_var(tc, "descr", "check that lwp context is required "
    187  1.1     pooka 	    "for lwproc_releaselwp()");
    188  1.1     pooka }
    189  1.1     pooka 
    190  1.1     pooka ATF_TC_BODY(nolwprelease, tc)
    191  1.1     pooka {
    192  1.1     pooka 	int status;
    193  1.1     pooka 
    194  1.1     pooka 	switch (fork()) {
    195  1.1     pooka 	case 0:
    196  1.1     pooka 		rump_init();
    197  1.1     pooka 		rump_pub_lwproc_releaselwp();
    198  1.1     pooka 		atf_tc_fail("survived");
    199  1.1     pooka 		break;
    200  1.1     pooka 	case -1:
    201  1.1     pooka 		atf_tc_fail_errno("fork");
    202  1.1     pooka 		break;
    203  1.1     pooka 	default:
    204  1.1     pooka 		wait(&status);
    205  1.1     pooka 		ATF_REQUIRE(WIFSIGNALED(status));
    206  1.1     pooka 		ATF_REQUIRE_EQ(WTERMSIG(status), SIGABRT);
    207  1.1     pooka 
    208  1.1     pooka 	}
    209  1.1     pooka }
    210  1.1     pooka 
    211  1.2     pooka ATF_TC(nolwp);
    212  1.2     pooka ATF_TC_HEAD(nolwp, tc)
    213  1.2     pooka {
    214  1.2     pooka 
    215  1.2     pooka 	atf_tc_set_md_var(tc, "descr", "check that curlwp for an implicit "
    216  1.2     pooka 	    "context is NULL");
    217  1.2     pooka }
    218  1.2     pooka 
    219  1.2     pooka ATF_TC_BODY(nolwp, tc)
    220  1.2     pooka {
    221  1.2     pooka 
    222  1.2     pooka 	rump_init();
    223  1.2     pooka 	ATF_REQUIRE_EQ(rump_pub_lwproc_curlwp(), NULL);
    224  1.2     pooka }
    225  1.2     pooka 
    226  1.3     pooka ATF_TC(nullswitch);
    227  1.3     pooka ATF_TC_HEAD(nullswitch, tc)
    228  1.3     pooka {
    229  1.3     pooka 
    230  1.3     pooka 	atf_tc_set_md_var(tc, "descr", "check that switching to NULL marks "
    231  1.3     pooka 	    "current lwp as not running");
    232  1.3     pooka }
    233  1.3     pooka 
    234  1.3     pooka ATF_TC_BODY(nullswitch, tc)
    235  1.3     pooka {
    236  1.3     pooka 	struct lwp *l;
    237  1.3     pooka 
    238  1.3     pooka 	rump_init();
    239  1.3     pooka 	RZ(rump_pub_lwproc_newlwp(0));
    240  1.3     pooka 	l = rump_pub_lwproc_curlwp();
    241  1.3     pooka 	rump_pub_lwproc_switch(NULL);
    242  1.3     pooka 	/* if remains LP_RUNNING, next call will panic */
    243  1.3     pooka 	rump_pub_lwproc_switch(l);
    244  1.3     pooka }
    245  1.3     pooka 
    246  1.5     pooka ATF_TC(rfork);
    247  1.5     pooka ATF_TC_HEAD(rfork, tc)
    248  1.5     pooka {
    249  1.5     pooka 
    250  1.5     pooka 	atf_tc_set_md_var(tc, "descr", "check that fork shares fd's");
    251  1.5     pooka }
    252  1.5     pooka 
    253  1.5     pooka ATF_TC_BODY(rfork, tc)
    254  1.5     pooka {
    255  1.5     pooka 	struct stat sb;
    256  1.5     pooka 	struct lwp *l, *l2;
    257  1.5     pooka 	int fd;
    258  1.5     pooka 
    259  1.5     pooka 	RZ(rump_init());
    260  1.5     pooka 
    261  1.5     pooka 	ATF_REQUIRE_EQ(rump_pub_lwproc_rfork(RUMP_RFFDG|RUMP_RFCFDG), EINVAL);
    262  1.5     pooka 
    263  1.5     pooka 	RZ(rump_pub_lwproc_rfork(0));
    264  1.5     pooka 	l = rump_pub_lwproc_curlwp();
    265  1.5     pooka 
    266  1.5     pooka 	RL(fd = rump_sys_open("/file", O_RDWR | O_CREAT, 0777));
    267  1.5     pooka 
    268  1.5     pooka 	/* ok, first check rfork(RUMP_RFCFDG) does *not* preserve fd's */
    269  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    270  1.5     pooka 	ATF_REQUIRE_ERRNO(EBADF, rump_sys_write(fd, &fd, sizeof(fd)) == -1);
    271  1.5     pooka 
    272  1.5     pooka 	/* then check that rfork(0) does */
    273  1.5     pooka 	rump_pub_lwproc_switch(l);
    274  1.5     pooka 	RZ(rump_pub_lwproc_rfork(0));
    275  1.5     pooka 	ATF_REQUIRE_EQ(rump_sys_write(fd, &fd, sizeof(fd)), sizeof(fd));
    276  1.5     pooka 	RL(rump_sys_fstat(fd, &sb));
    277  1.5     pooka 	l2 = rump_pub_lwproc_curlwp();
    278  1.5     pooka 
    279  1.5     pooka 	/*
    280  1.5     pooka 	 * check that the shared fd table is really shared by
    281  1.5     pooka 	 * closing fd in parent
    282  1.5     pooka 	 */
    283  1.5     pooka 	rump_pub_lwproc_switch(l);
    284  1.5     pooka 	RL(rump_sys_close(fd));
    285  1.5     pooka 	rump_pub_lwproc_switch(l2);
    286  1.5     pooka 	ATF_REQUIRE_ERRNO(EBADF, rump_sys_fstat(fd, &sb) == -1);
    287  1.5     pooka 
    288  1.5     pooka 	/* redo, this time copying the fd table instead of sharing it */
    289  1.5     pooka 	rump_pub_lwproc_releaselwp();
    290  1.5     pooka 	rump_pub_lwproc_switch(l);
    291  1.5     pooka 	RL(fd = rump_sys_open("/file", O_RDWR, 0777));
    292  1.5     pooka 	RZ(rump_pub_lwproc_rfork(RUMP_RFFDG));
    293  1.5     pooka 	ATF_REQUIRE_EQ(rump_sys_write(fd, &fd, sizeof(fd)), sizeof(fd));
    294  1.5     pooka 	RL(rump_sys_fstat(fd, &sb));
    295  1.5     pooka 	l2 = rump_pub_lwproc_curlwp();
    296  1.5     pooka 
    297  1.5     pooka 	/* check that the fd table is copied */
    298  1.5     pooka 	rump_pub_lwproc_switch(l);
    299  1.5     pooka 	RL(rump_sys_close(fd));
    300  1.5     pooka 	rump_pub_lwproc_switch(l2);
    301  1.5     pooka 	RL(rump_sys_fstat(fd, &sb));
    302  1.5     pooka 	ATF_REQUIRE_EQ(sb.st_size, sizeof(fd));
    303  1.5     pooka }
    304  1.5     pooka 
    305  1.1     pooka ATF_TP_ADD_TCS(tp)
    306  1.1     pooka {
    307  1.1     pooka 
    308  1.1     pooka 	ATF_TP_ADD_TC(tp, makelwp);
    309  1.1     pooka 	ATF_TP_ADD_TC(tp, proccreds);
    310  1.1     pooka 	ATF_TP_ADD_TC(tp, inherit);
    311  1.1     pooka 	ATF_TP_ADD_TC(tp, lwps);
    312  1.1     pooka 	ATF_TP_ADD_TC(tp, nolwprelease);
    313  1.2     pooka 	ATF_TP_ADD_TC(tp, nolwp);
    314  1.3     pooka 	ATF_TP_ADD_TC(tp, nullswitch);
    315  1.5     pooka 	ATF_TP_ADD_TC(tp, rfork);
    316  1.1     pooka 
    317  1.1     pooka 	return atf_no_error();
    318  1.1     pooka }
    319