1*57718be8SEnji Cooper /* $NetBSD: t_minherit.c,v 1.1 2014/07/18 12:34:52 christos Exp $ */
2*57718be8SEnji Cooper
3*57718be8SEnji Cooper /*-
4*57718be8SEnji Cooper * Copyright (c) 2014 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper * All rights reserved.
6*57718be8SEnji Cooper *
7*57718be8SEnji Cooper * This code is derived from software contributed to The NetBSD Foundation
8*57718be8SEnji Cooper * by Christos Zoulas
9*57718be8SEnji Cooper *
10*57718be8SEnji Cooper * Redistribution and use in source and binary forms, with or without
11*57718be8SEnji Cooper * modification, are permitted provided that the following conditions
12*57718be8SEnji Cooper * are met:
13*57718be8SEnji Cooper * 1. Redistributions of source code must retain the above copyright
14*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer.
15*57718be8SEnji Cooper * 2. Redistributions in binary form must reproduce the above copyright
16*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer in the
17*57718be8SEnji Cooper * documentation and/or other materials provided with the distribution.
18*57718be8SEnji Cooper *
19*57718be8SEnji Cooper * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20*57718be8SEnji Cooper * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21*57718be8SEnji Cooper * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22*57718be8SEnji Cooper * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23*57718be8SEnji Cooper * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24*57718be8SEnji Cooper * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25*57718be8SEnji Cooper * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26*57718be8SEnji Cooper * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27*57718be8SEnji Cooper * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28*57718be8SEnji Cooper * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29*57718be8SEnji Cooper * POSSIBILITY OF SUCH DAMAGE.
30*57718be8SEnji Cooper */
31*57718be8SEnji Cooper #include <sys/cdefs.h>
32*57718be8SEnji Cooper __RCSID("$NetBSD: t_minherit.c,v 1.1 2014/07/18 12:34:52 christos Exp $");
33*57718be8SEnji Cooper
34*57718be8SEnji Cooper #include <sys/param.h>
35*57718be8SEnji Cooper #include <sys/mman.h>
36*57718be8SEnji Cooper #include <sys/sysctl.h>
37*57718be8SEnji Cooper #include <sys/wait.h>
38*57718be8SEnji Cooper
39*57718be8SEnji Cooper #include <errno.h>
40*57718be8SEnji Cooper #include <fcntl.h>
41*57718be8SEnji Cooper #include <stdlib.h>
42*57718be8SEnji Cooper #include <string.h>
43*57718be8SEnji Cooper #include <unistd.h>
44*57718be8SEnji Cooper
45*57718be8SEnji Cooper #include <atf-c.h>
46*57718be8SEnji Cooper
47*57718be8SEnji Cooper static long page;
48*57718be8SEnji Cooper
49*57718be8SEnji Cooper static void *
makemap(int v,int f)50*57718be8SEnji Cooper makemap(int v, int f) {
51*57718be8SEnji Cooper void *map = mmap(NULL, page, PROT_READ|PROT_WRITE,
52*57718be8SEnji Cooper MAP_SHARED|MAP_ANON, -1, 0);
53*57718be8SEnji Cooper ATF_REQUIRE(map != MAP_FAILED);
54*57718be8SEnji Cooper memset(map, v, page);
55*57718be8SEnji Cooper if (f != 666)
56*57718be8SEnji Cooper ATF_REQUIRE(minherit(map, page, f) == 0);
57*57718be8SEnji Cooper else
58*57718be8SEnji Cooper ATF_REQUIRE(minherit(map, page, f) == -1);
59*57718be8SEnji Cooper return map;
60*57718be8SEnji Cooper }
61*57718be8SEnji Cooper
62*57718be8SEnji Cooper ATF_TC(minherit_copy);
ATF_TC_HEAD(minherit_copy,tc)63*57718be8SEnji Cooper ATF_TC_HEAD(minherit_copy, tc)
64*57718be8SEnji Cooper {
65*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr",
66*57718be8SEnji Cooper "Test for MAP_INHERIT_COPY from minherit(2)");
67*57718be8SEnji Cooper }
68*57718be8SEnji Cooper
ATF_TC_BODY(minherit_copy,tc)69*57718be8SEnji Cooper ATF_TC_BODY(minherit_copy, tc)
70*57718be8SEnji Cooper {
71*57718be8SEnji Cooper void *map1 = makemap(1, MAP_INHERIT_COPY);
72*57718be8SEnji Cooper void *map2 = makemap(1, MAP_INHERIT_COPY);
73*57718be8SEnji Cooper switch (fork()) {
74*57718be8SEnji Cooper default:
75*57718be8SEnji Cooper ATF_REQUIRE(wait(NULL) != -1);
76*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
77*57718be8SEnji Cooper break;
78*57718be8SEnji Cooper case -1:
79*57718be8SEnji Cooper ATF_REQUIRE(0);
80*57718be8SEnji Cooper break;
81*57718be8SEnji Cooper case 0:
82*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
83*57718be8SEnji Cooper memset(map1, 0, page);
84*57718be8SEnji Cooper exit(0);
85*57718be8SEnji Cooper }
86*57718be8SEnji Cooper }
87*57718be8SEnji Cooper
88*57718be8SEnji Cooper ATF_TC(minherit_share);
ATF_TC_HEAD(minherit_share,tc)89*57718be8SEnji Cooper ATF_TC_HEAD(minherit_share, tc)
90*57718be8SEnji Cooper {
91*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr",
92*57718be8SEnji Cooper "Test for MAP_INHERIT_SHARE from minherit(2)");
93*57718be8SEnji Cooper }
94*57718be8SEnji Cooper
ATF_TC_BODY(minherit_share,tc)95*57718be8SEnji Cooper ATF_TC_BODY(minherit_share, tc)
96*57718be8SEnji Cooper {
97*57718be8SEnji Cooper void *map1 = makemap(1, MAP_INHERIT_SHARE);
98*57718be8SEnji Cooper void *map2 = makemap(1, MAP_INHERIT_SHARE);
99*57718be8SEnji Cooper
100*57718be8SEnji Cooper switch (fork()) {
101*57718be8SEnji Cooper default:
102*57718be8SEnji Cooper ATF_REQUIRE(wait(NULL) != -1);
103*57718be8SEnji Cooper memset(map2, 0, page);
104*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
105*57718be8SEnji Cooper break;
106*57718be8SEnji Cooper case -1:
107*57718be8SEnji Cooper ATF_REQUIRE(0);
108*57718be8SEnji Cooper break;
109*57718be8SEnji Cooper case 0:
110*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
111*57718be8SEnji Cooper memset(map1, 0, page);
112*57718be8SEnji Cooper exit(0);
113*57718be8SEnji Cooper }
114*57718be8SEnji Cooper }
115*57718be8SEnji Cooper
116*57718be8SEnji Cooper static void
segv(int n)117*57718be8SEnji Cooper segv(int n) {
118*57718be8SEnji Cooper _exit(n);
119*57718be8SEnji Cooper }
120*57718be8SEnji Cooper
121*57718be8SEnji Cooper ATF_TC(minherit_none);
ATF_TC_HEAD(minherit_none,tc)122*57718be8SEnji Cooper ATF_TC_HEAD(minherit_none, tc)
123*57718be8SEnji Cooper {
124*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr",
125*57718be8SEnji Cooper "Test for MAP_INHERIT_NONE from minherit(2)");
126*57718be8SEnji Cooper }
127*57718be8SEnji Cooper
ATF_TC_BODY(minherit_none,tc)128*57718be8SEnji Cooper ATF_TC_BODY(minherit_none, tc)
129*57718be8SEnji Cooper {
130*57718be8SEnji Cooper void *map1 = makemap(0, MAP_INHERIT_NONE);
131*57718be8SEnji Cooper int status;
132*57718be8SEnji Cooper
133*57718be8SEnji Cooper switch (fork()) {
134*57718be8SEnji Cooper default:
135*57718be8SEnji Cooper ATF_REQUIRE(wait(&status) != -1);
136*57718be8SEnji Cooper ATF_REQUIRE(WEXITSTATUS(status) == SIGSEGV);
137*57718be8SEnji Cooper break;
138*57718be8SEnji Cooper case -1:
139*57718be8SEnji Cooper ATF_REQUIRE(0);
140*57718be8SEnji Cooper break;
141*57718be8SEnji Cooper case 0:
142*57718be8SEnji Cooper ATF_REQUIRE(signal(SIGSEGV, segv) != SIG_ERR);
143*57718be8SEnji Cooper memset(map1, 0, page);
144*57718be8SEnji Cooper exit(0);
145*57718be8SEnji Cooper }
146*57718be8SEnji Cooper }
147*57718be8SEnji Cooper
148*57718be8SEnji Cooper ATF_TC(minherit_zero);
ATF_TC_HEAD(minherit_zero,tc)149*57718be8SEnji Cooper ATF_TC_HEAD(minherit_zero, tc)
150*57718be8SEnji Cooper {
151*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr",
152*57718be8SEnji Cooper "Test for MAP_INHERIT_ZERO from minherit(2)");
153*57718be8SEnji Cooper }
154*57718be8SEnji Cooper
ATF_TC_BODY(minherit_zero,tc)155*57718be8SEnji Cooper ATF_TC_BODY(minherit_zero, tc)
156*57718be8SEnji Cooper {
157*57718be8SEnji Cooper void *map1 = makemap(1, MAP_INHERIT_ZERO);
158*57718be8SEnji Cooper void *map2 = makemap(0, MAP_INHERIT_SHARE);
159*57718be8SEnji Cooper
160*57718be8SEnji Cooper switch (fork()) {
161*57718be8SEnji Cooper default:
162*57718be8SEnji Cooper ATF_REQUIRE(wait(NULL) != -1);
163*57718be8SEnji Cooper memset(map2, 1, page);
164*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
165*57718be8SEnji Cooper break;
166*57718be8SEnji Cooper case -1:
167*57718be8SEnji Cooper ATF_REQUIRE(0);
168*57718be8SEnji Cooper break;
169*57718be8SEnji Cooper case 0:
170*57718be8SEnji Cooper ATF_REQUIRE(memcmp(map1, map2, page) == 0);
171*57718be8SEnji Cooper memset(map1, 2, page);
172*57718be8SEnji Cooper exit(0);
173*57718be8SEnji Cooper }
174*57718be8SEnji Cooper }
175*57718be8SEnji Cooper
176*57718be8SEnji Cooper ATF_TC(minherit_bad);
ATF_TC_HEAD(minherit_bad,tc)177*57718be8SEnji Cooper ATF_TC_HEAD(minherit_bad, tc)
178*57718be8SEnji Cooper {
179*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr",
180*57718be8SEnji Cooper "Test for bad minherit(2)");
181*57718be8SEnji Cooper }
182*57718be8SEnji Cooper
ATF_TC_BODY(minherit_bad,tc)183*57718be8SEnji Cooper ATF_TC_BODY(minherit_bad, tc)
184*57718be8SEnji Cooper {
185*57718be8SEnji Cooper (void)makemap(0, 666);
186*57718be8SEnji Cooper }
187*57718be8SEnji Cooper
ATF_TP_ADD_TCS(tp)188*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
189*57718be8SEnji Cooper {
190*57718be8SEnji Cooper page = sysconf(_SC_PAGESIZE);
191*57718be8SEnji Cooper ATF_REQUIRE(page >= 0);
192*57718be8SEnji Cooper
193*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, minherit_copy);
194*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, minherit_share);
195*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, minherit_none);
196*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, minherit_zero);
197*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, minherit_bad);
198*57718be8SEnji Cooper
199*57718be8SEnji Cooper return atf_no_error();
200*57718be8SEnji Cooper }
201