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
lwp_main_func(void * arg)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);
ATF_TC_HEAD(lwp_create_works,tc)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
ATF_TC_BODY(lwp_create_works,tc)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