1*57718be8SEnji Cooper /* $NetBSD: t_lwp_create.c,v 1.2 2012/05/22 09:23:39 martin Exp $ */ 2*57718be8SEnji Cooper 3*57718be8SEnji Cooper /*- 4*57718be8SEnji Cooper * Copyright (c) 2012 The NetBSD Foundation, Inc. 5*57718be8SEnji Cooper * All rights reserved. 6*57718be8SEnji Cooper * 7*57718be8SEnji Cooper * Redistribution and use in source and binary forms, with or without 8*57718be8SEnji Cooper * modification, are permitted provided that the following conditions 9*57718be8SEnji Cooper * are met: 10*57718be8SEnji Cooper * 1. Redistributions of source code must retain the above copyright 11*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer. 12*57718be8SEnji Cooper * 2. Redistributions in binary form must reproduce the above copyright 13*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer in the 14*57718be8SEnji Cooper * documentation and/or other materials provided with the distribution. 15*57718be8SEnji Cooper * 16*57718be8SEnji Cooper * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 17*57718be8SEnji Cooper * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 18*57718be8SEnji Cooper * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 19*57718be8SEnji Cooper * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 20*57718be8SEnji Cooper * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 21*57718be8SEnji Cooper * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 22*57718be8SEnji Cooper * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 23*57718be8SEnji Cooper * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 24*57718be8SEnji Cooper * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 25*57718be8SEnji Cooper * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 26*57718be8SEnji Cooper * POSSIBILITY OF SUCH DAMAGE. 27*57718be8SEnji Cooper */ 28*57718be8SEnji Cooper 29*57718be8SEnji Cooper /* 30*57718be8SEnji Cooper * This code is partly based on code by Joel Sing <joel at sing.id.au> 31*57718be8SEnji Cooper */ 32*57718be8SEnji Cooper 33*57718be8SEnji Cooper #include <atf-c.h> 34*57718be8SEnji Cooper #include <lwp.h> 35*57718be8SEnji Cooper #include <stdio.h> 36*57718be8SEnji Cooper #include <stdlib.h> 37*57718be8SEnji Cooper #include <ucontext.h> 38*57718be8SEnji Cooper #include <inttypes.h> 39*57718be8SEnji Cooper #include <errno.h> 40*57718be8SEnji Cooper 41*57718be8SEnji Cooper #ifdef __alpha__ 42*57718be8SEnji Cooper #include <machine/alpha_cpu.h> 43*57718be8SEnji Cooper #endif 44*57718be8SEnji Cooper #ifdef __amd64__ 45*57718be8SEnji Cooper #include <machine/vmparam.h> 46*57718be8SEnji Cooper #include <machine/psl.h> 47*57718be8SEnji Cooper #endif 48*57718be8SEnji Cooper #ifdef __hppa__ 49*57718be8SEnji Cooper #include <machine/psl.h> 50*57718be8SEnji Cooper #endif 51*57718be8SEnji Cooper #ifdef __i386__ 52*57718be8SEnji Cooper #include <machine/segments.h> 53*57718be8SEnji Cooper #include <machine/psl.h> 54*57718be8SEnji Cooper #endif 55*57718be8SEnji Cooper #if defined(__m68k__) || defined(__sh3__) || defined __vax__ 56*57718be8SEnji Cooper #include <machine/psl.h> 57*57718be8SEnji Cooper #endif 58*57718be8SEnji Cooper 59*57718be8SEnji Cooper volatile lwpid_t the_lwp_id = 0; 60*57718be8SEnji Cooper 61*57718be8SEnji Cooper static void lwp_main_func(void* arg) 62*57718be8SEnji Cooper { 63*57718be8SEnji Cooper the_lwp_id = _lwp_self(); 64*57718be8SEnji Cooper _lwp_exit(); 65*57718be8SEnji Cooper } 66*57718be8SEnji Cooper 67*57718be8SEnji Cooper /* 68*57718be8SEnji Cooper * Hard to document - see usage examples below. 69*57718be8SEnji Cooper */ 70*57718be8SEnji Cooper #define INVALID_UCONTEXT(ARCH,NAME,DESC) \ 71*57718be8SEnji Cooper static void ARCH##_##NAME(ucontext_t *); \ 72*57718be8SEnji Cooper ATF_TC(lwp_create_##ARCH##_fail_##NAME); \ 73*57718be8SEnji Cooper ATF_TC_HEAD(lwp_create_##ARCH##_fail_##NAME, tc) \ 74*57718be8SEnji Cooper { \ 75*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "verify rejection of invalid ucontext " \ 76*57718be8SEnji Cooper "on " #ARCH " due to " DESC); \ 77*57718be8SEnji Cooper } \ 78*57718be8SEnji Cooper \ 79*57718be8SEnji Cooper ATF_TC_BODY(lwp_create_##ARCH##_fail_##NAME, tc) \ 80*57718be8SEnji Cooper { \ 81*57718be8SEnji Cooper ucontext_t uc; \ 82*57718be8SEnji Cooper lwpid_t lid; \ 83*57718be8SEnji Cooper int error; \ 84*57718be8SEnji Cooper \ 85*57718be8SEnji Cooper getcontext(&uc); \ 86*57718be8SEnji Cooper uc.uc_flags = _UC_CPU; \ 87*57718be8SEnji Cooper ARCH##_##NAME(&uc); \ 88*57718be8SEnji Cooper \ 89*57718be8SEnji Cooper error = _lwp_create(&uc, 0, &lid); \ 90*57718be8SEnji Cooper ATF_REQUIRE(error != 0 && errno == EINVAL); \ 91*57718be8SEnji Cooper } \ 92*57718be8SEnji Cooper static void ARCH##_##NAME(ucontext_t *uc) \ 93*57718be8SEnji Cooper { 94*57718be8SEnji Cooper 95*57718be8SEnji Cooper 96*57718be8SEnji Cooper ATF_TC(lwp_create_works); 97*57718be8SEnji Cooper ATF_TC_HEAD(lwp_create_works, tc) 98*57718be8SEnji Cooper { 99*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Verify creation of a lwp and waiting" 100*57718be8SEnji Cooper " for it to finish"); 101*57718be8SEnji Cooper } 102*57718be8SEnji Cooper 103*57718be8SEnji Cooper ATF_TC_BODY(lwp_create_works, tc) 104*57718be8SEnji Cooper { 105*57718be8SEnji Cooper ucontext_t uc; 106*57718be8SEnji Cooper lwpid_t lid; 107*57718be8SEnji Cooper int error; 108*57718be8SEnji Cooper void *stack; 109*57718be8SEnji Cooper static const size_t ssize = 16*1024; 110*57718be8SEnji Cooper 111*57718be8SEnji Cooper stack = malloc(ssize); 112*57718be8SEnji Cooper _lwp_makecontext(&uc, lwp_main_func, NULL, NULL, stack, ssize); 113*57718be8SEnji Cooper 114*57718be8SEnji Cooper error = _lwp_create(&uc, 0, &lid); 115*57718be8SEnji Cooper ATF_REQUIRE(error == 0); 116*57718be8SEnji Cooper 117*57718be8SEnji Cooper error = _lwp_wait(lid, NULL); 118*57718be8SEnji Cooper ATF_REQUIRE(error == 0); 119*57718be8SEnji Cooper ATF_REQUIRE(lid == the_lwp_id); 120*57718be8SEnji Cooper } 121*57718be8SEnji Cooper 122*57718be8SEnji Cooper INVALID_UCONTEXT(generic, no_uc_cpu, "not setting cpu registers") 123*57718be8SEnji Cooper uc->uc_flags &= ~_UC_CPU; 124*57718be8SEnji Cooper } 125*57718be8SEnji Cooper 126*57718be8SEnji Cooper #ifdef __alpha__ 127*57718be8SEnji Cooper INVALID_UCONTEXT(alpha, pslset, "trying to clear the USERMODE flag") 128*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PS] &= ~ALPHA_PSL_USERMODE; 129*57718be8SEnji Cooper } 130*57718be8SEnji Cooper INVALID_UCONTEXT(alpha, pslclr, "trying to set a 'must be zero' flag") 131*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PS] |= ALPHA_PSL_IPL_HIGH; 132*57718be8SEnji Cooper } 133*57718be8SEnji Cooper #endif 134*57718be8SEnji Cooper #ifdef __amd64__ 135*57718be8SEnji Cooper INVALID_UCONTEXT(amd64, untouchable_rflags, "forbidden rflags changed") 136*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_RFLAGS] |= PSL_MBZ; 137*57718be8SEnji Cooper } 138*57718be8SEnji Cooper /* 139*57718be8SEnji Cooper * XXX: add invalid GS/DS selector tests 140*57718be8SEnji Cooper */ 141*57718be8SEnji Cooper INVALID_UCONTEXT(amd64, pc_too_high, 142*57718be8SEnji Cooper "instruction pointer outside userland address space") 143*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_RIP] = VM_MAXUSER_ADDRESS; 144*57718be8SEnji Cooper } 145*57718be8SEnji Cooper #endif 146*57718be8SEnji Cooper #ifdef __arm__ 147*57718be8SEnji Cooper INVALID_UCONTEXT(arm, invalid_mode, "psr or r15 set to non-user-mode") 148*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PC] |= 0x1f /*PSR_SYS32_MODE*/; 149*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_CPSR] |= 0x03 /*R15_MODE_SVC*/; 150*57718be8SEnji Cooper } 151*57718be8SEnji Cooper #endif 152*57718be8SEnji Cooper #ifdef __hppa__ 153*57718be8SEnji Cooper INVALID_UCONTEXT(hppa, invalid_1, "set illegal bits in psw") 154*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PSW] |= PSW_MBZ; 155*57718be8SEnji Cooper } 156*57718be8SEnji Cooper INVALID_UCONTEXT(hppa, invalid_0, "clear illegal bits in psw") 157*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PSW] &= ~PSW_MBS; 158*57718be8SEnji Cooper } 159*57718be8SEnji Cooper #endif 160*57718be8SEnji Cooper #ifdef __i386__ 161*57718be8SEnji Cooper INVALID_UCONTEXT(i386, untouchable_eflags, "changing forbidden eflags") 162*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_EFL] |= PSL_IOPL; 163*57718be8SEnji Cooper } 164*57718be8SEnji Cooper INVALID_UCONTEXT(i386, priv_escalation, "modifying priviledge level") 165*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_CS] &= ~SEL_RPL; 166*57718be8SEnji Cooper } 167*57718be8SEnji Cooper #endif 168*57718be8SEnji Cooper #ifdef __m68k__ 169*57718be8SEnji Cooper INVALID_UCONTEXT(m68k, invalid_ps_bits, 170*57718be8SEnji Cooper "setting forbidden bits in the ps register") 171*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PS] |= (PSL_MBZ|PSL_IPL|PSL_S); 172*57718be8SEnji Cooper } 173*57718be8SEnji Cooper #endif 174*57718be8SEnji Cooper #ifdef __sh3__ 175*57718be8SEnji Cooper INVALID_UCONTEXT(sh3, modify_userstatic, 176*57718be8SEnji Cooper "modifying illegal bits in the status register") 177*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_SR] |= PSL_MD; 178*57718be8SEnji Cooper } 179*57718be8SEnji Cooper #endif 180*57718be8SEnji Cooper #ifdef __sparc__ 181*57718be8SEnji Cooper INVALID_UCONTEXT(sparc, pc_odd, "mis-aligned instruction pointer") 182*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PC] = 0x100002; 183*57718be8SEnji Cooper } 184*57718be8SEnji Cooper INVALID_UCONTEXT(sparc, npc_odd, "mis-aligned next instruction pointer") 185*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_nPC] = 0x100002; 186*57718be8SEnji Cooper } 187*57718be8SEnji Cooper INVALID_UCONTEXT(sparc, pc_null, "NULL instruction pointer") 188*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PC] = 0; 189*57718be8SEnji Cooper } 190*57718be8SEnji Cooper INVALID_UCONTEXT(sparc, npc_null, "NULL next instruction pointer") 191*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_nPC] = 0; 192*57718be8SEnji Cooper } 193*57718be8SEnji Cooper #endif 194*57718be8SEnji Cooper #ifdef __vax__ 195*57718be8SEnji Cooper INVALID_UCONTEXT(vax, psl_0, "clearing forbidden bits in psl") 196*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PSL] &= ~(PSL_U | PSL_PREVU); 197*57718be8SEnji Cooper } 198*57718be8SEnji Cooper INVALID_UCONTEXT(vax, psl_1, "setting forbidden bits in psl") 199*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PSL] |= PSL_IPL | PSL_IS; 200*57718be8SEnji Cooper } 201*57718be8SEnji Cooper INVALID_UCONTEXT(vax, psl_cm, "setting CM bit in psl") 202*57718be8SEnji Cooper uc->uc_mcontext.__gregs[_REG_PSL] |= PSL_CM; 203*57718be8SEnji Cooper } 204*57718be8SEnji Cooper #endif 205*57718be8SEnji Cooper 206*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp) 207*57718be8SEnji Cooper { 208*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_works); 209*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_generic_fail_no_uc_cpu); 210*57718be8SEnji Cooper #ifdef __alpha__ 211*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_alpha_fail_pslset); 212*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_alpha_fail_pslclr); 213*57718be8SEnji Cooper #endif 214*57718be8SEnji Cooper #ifdef __amd64__ 215*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_amd64_fail_untouchable_rflags); 216*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_amd64_fail_pc_too_high); 217*57718be8SEnji Cooper #endif 218*57718be8SEnji Cooper #ifdef __arm__ 219*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_arm_fail_invalid_mode); 220*57718be8SEnji Cooper #endif 221*57718be8SEnji Cooper #ifdef __hppa__ 222*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_hppa_fail_invalid_1); 223*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_hppa_fail_invalid_0); 224*57718be8SEnji Cooper #endif 225*57718be8SEnji Cooper #ifdef __i386__ 226*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_i386_fail_untouchable_eflags); 227*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_i386_fail_priv_escalation); 228*57718be8SEnji Cooper #endif 229*57718be8SEnji Cooper #ifdef __m68k__ 230*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_m68k_fail_invalid_ps_bits); 231*57718be8SEnji Cooper #endif 232*57718be8SEnji Cooper #ifdef __sh3__ 233*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_sh3_fail_modify_userstatic); 234*57718be8SEnji Cooper #endif 235*57718be8SEnji Cooper #ifdef __sparc__ 236*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_sparc_fail_pc_odd); 237*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_sparc_fail_npc_odd); 238*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_sparc_fail_pc_null); 239*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_sparc_fail_npc_null); 240*57718be8SEnji Cooper #endif 241*57718be8SEnji Cooper #ifdef __vax__ 242*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_vax_fail_psl_0); 243*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_vax_fail_psl_1); 244*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lwp_create_vax_fail_psl_cm); 245*57718be8SEnji Cooper #endif 246*57718be8SEnji Cooper return atf_no_error(); 247*57718be8SEnji Cooper } 248