xref: /minix3/tests/lib/libc/sys/t_msync.c (revision 11be35a165022172ed3cea20f2b5df0307540b0e)
1*11be35a1SLionel Sambuc /* $NetBSD: t_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $ */
2*11be35a1SLionel Sambuc 
3*11be35a1SLionel Sambuc /*-
4*11be35a1SLionel Sambuc  * Copyright (c) 2011 The NetBSD Foundation, Inc.
5*11be35a1SLionel Sambuc  * All rights reserved.
6*11be35a1SLionel Sambuc  *
7*11be35a1SLionel Sambuc  * This code is derived from software contributed to The NetBSD Foundation
8*11be35a1SLionel Sambuc  * by Jukka Ruohonen.
9*11be35a1SLionel Sambuc  *
10*11be35a1SLionel Sambuc  * Redistribution and use in source and binary forms, with or without
11*11be35a1SLionel Sambuc  * modification, are permitted provided that the following conditions
12*11be35a1SLionel Sambuc  * are met:
13*11be35a1SLionel Sambuc  * 1. Redistributions of source code must retain the above copyright
14*11be35a1SLionel Sambuc  *    notice, this list of conditions and the following disclaimer.
15*11be35a1SLionel Sambuc  * 2. Redistributions in binary form must reproduce the above copyright
16*11be35a1SLionel Sambuc  *    notice, this list of conditions and the following disclaimer in the
17*11be35a1SLionel Sambuc  *    documentation and/or other materials provided with the distribution.
18*11be35a1SLionel Sambuc  *
19*11be35a1SLionel Sambuc  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20*11be35a1SLionel Sambuc  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21*11be35a1SLionel Sambuc  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22*11be35a1SLionel Sambuc  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23*11be35a1SLionel Sambuc  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24*11be35a1SLionel Sambuc  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25*11be35a1SLionel Sambuc  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26*11be35a1SLionel Sambuc  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27*11be35a1SLionel Sambuc  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28*11be35a1SLionel Sambuc  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29*11be35a1SLionel Sambuc  * POSSIBILITY OF SUCH DAMAGE.
30*11be35a1SLionel Sambuc  */
31*11be35a1SLionel Sambuc #include <sys/cdefs.h>
32*11be35a1SLionel Sambuc __RCSID("$NetBSD: t_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $");
33*11be35a1SLionel Sambuc 
34*11be35a1SLionel Sambuc #include <sys/mman.h>
35*11be35a1SLionel Sambuc 
36*11be35a1SLionel Sambuc #include <atf-c.h>
37*11be35a1SLionel Sambuc #include <errno.h>
38*11be35a1SLionel Sambuc #include <fcntl.h>
39*11be35a1SLionel Sambuc #include <limits.h>
40*11be35a1SLionel Sambuc #include <stdlib.h>
41*11be35a1SLionel Sambuc #include <string.h>
42*11be35a1SLionel Sambuc #include <unistd.h>
43*11be35a1SLionel Sambuc 
44*11be35a1SLionel Sambuc static long		page = 0;
45*11be35a1SLionel Sambuc static const off_t	off = 512;
46*11be35a1SLionel Sambuc static const char	path[] = "msync";
47*11be35a1SLionel Sambuc 
48*11be35a1SLionel Sambuc static const char	*msync_sync(const char *, int);
49*11be35a1SLionel Sambuc 
50*11be35a1SLionel Sambuc static const char *
msync_sync(const char * garbage,int flags)51*11be35a1SLionel Sambuc msync_sync(const char *garbage, int flags)
52*11be35a1SLionel Sambuc {
53*11be35a1SLionel Sambuc 	char *buf, *map = MAP_FAILED;
54*11be35a1SLionel Sambuc 	const char *str = NULL;
55*11be35a1SLionel Sambuc 	size_t i, len;
56*11be35a1SLionel Sambuc 	ssize_t tot;
57*11be35a1SLionel Sambuc 	int fd, rv;
58*11be35a1SLionel Sambuc 
59*11be35a1SLionel Sambuc 	/*
60*11be35a1SLionel Sambuc 	 * Create a temporary file, write
61*11be35a1SLionel Sambuc 	 * one page to it, and map the file.
62*11be35a1SLionel Sambuc 	 */
63*11be35a1SLionel Sambuc 	buf = malloc(page);
64*11be35a1SLionel Sambuc 
65*11be35a1SLionel Sambuc 	if (buf == NULL)
66*11be35a1SLionel Sambuc 		return NULL;
67*11be35a1SLionel Sambuc 
68*11be35a1SLionel Sambuc 	for (i = 0; i < (size_t)page; i++)
69*11be35a1SLionel Sambuc 		buf[i] = 'x';
70*11be35a1SLionel Sambuc 
71*11be35a1SLionel Sambuc 	fd = open(path, O_RDWR | O_CREAT, 0700);
72*11be35a1SLionel Sambuc 
73*11be35a1SLionel Sambuc 	if (fd < 0) {
74*11be35a1SLionel Sambuc 		str = "failed to open";
75*11be35a1SLionel Sambuc 		goto out;
76*11be35a1SLionel Sambuc 	}
77*11be35a1SLionel Sambuc 
78*11be35a1SLionel Sambuc 	tot = 0;
79*11be35a1SLionel Sambuc 
80*11be35a1SLionel Sambuc 	while (tot < page) {
81*11be35a1SLionel Sambuc 
82*11be35a1SLionel Sambuc 		rv = write(fd, buf, sizeof(buf));
83*11be35a1SLionel Sambuc 
84*11be35a1SLionel Sambuc 		if (rv < 0) {
85*11be35a1SLionel Sambuc 			str = "failed to write";
86*11be35a1SLionel Sambuc 			goto out;
87*11be35a1SLionel Sambuc 		}
88*11be35a1SLionel Sambuc 
89*11be35a1SLionel Sambuc 		tot += rv;
90*11be35a1SLionel Sambuc 	}
91*11be35a1SLionel Sambuc 
92*11be35a1SLionel Sambuc 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_FILE|MAP_PRIVATE,
93*11be35a1SLionel Sambuc 	     fd, 0);
94*11be35a1SLionel Sambuc 
95*11be35a1SLionel Sambuc 	if (map == MAP_FAILED) {
96*11be35a1SLionel Sambuc 		str = "failed to map";
97*11be35a1SLionel Sambuc 		goto out;
98*11be35a1SLionel Sambuc 	}
99*11be35a1SLionel Sambuc 
100*11be35a1SLionel Sambuc 	/*
101*11be35a1SLionel Sambuc 	 * Seek to an arbitrary offset and
102*11be35a1SLionel Sambuc 	 * write garbage to this position.
103*11be35a1SLionel Sambuc 	 */
104*11be35a1SLionel Sambuc 	if (lseek(fd, off, SEEK_SET) != off) {
105*11be35a1SLionel Sambuc 		str = "failed to seek";
106*11be35a1SLionel Sambuc 		goto out;
107*11be35a1SLionel Sambuc 	}
108*11be35a1SLionel Sambuc 
109*11be35a1SLionel Sambuc 	len = strlen(garbage);
110*11be35a1SLionel Sambuc 	rv = write(fd, garbage, len);
111*11be35a1SLionel Sambuc 
112*11be35a1SLionel Sambuc 	if (rv != (ssize_t)len) {
113*11be35a1SLionel Sambuc 		str = "failed to write garbage";
114*11be35a1SLionel Sambuc 		goto out;
115*11be35a1SLionel Sambuc 	}
116*11be35a1SLionel Sambuc 
117*11be35a1SLionel Sambuc 	/*
118*11be35a1SLionel Sambuc 	 * Synchronize the mapping and verify
119*11be35a1SLionel Sambuc 	 * that garbage is at the given offset.
120*11be35a1SLionel Sambuc 	 */
121*11be35a1SLionel Sambuc 	if (msync(map, page, flags) != 0) {
122*11be35a1SLionel Sambuc 		str = "failed to msync";
123*11be35a1SLionel Sambuc 		goto out;
124*11be35a1SLionel Sambuc 	}
125*11be35a1SLionel Sambuc 
126*11be35a1SLionel Sambuc 	if (memcmp(map + off, garbage, len) != 0) {
127*11be35a1SLionel Sambuc 		str = "msync did not synchronize";
128*11be35a1SLionel Sambuc 		goto out;
129*11be35a1SLionel Sambuc 	}
130*11be35a1SLionel Sambuc 
131*11be35a1SLionel Sambuc out:
132*11be35a1SLionel Sambuc 	free(buf);
133*11be35a1SLionel Sambuc 
134*11be35a1SLionel Sambuc 	(void)close(fd);
135*11be35a1SLionel Sambuc 	(void)unlink(path);
136*11be35a1SLionel Sambuc 
137*11be35a1SLionel Sambuc 	if (map != MAP_FAILED)
138*11be35a1SLionel Sambuc 		(void)munmap(map, page);
139*11be35a1SLionel Sambuc 
140*11be35a1SLionel Sambuc 	return str;
141*11be35a1SLionel Sambuc }
142*11be35a1SLionel Sambuc 
143*11be35a1SLionel Sambuc ATF_TC(msync_async);
ATF_TC_HEAD(msync_async,tc)144*11be35a1SLionel Sambuc ATF_TC_HEAD(msync_async, tc)
145*11be35a1SLionel Sambuc {
146*11be35a1SLionel Sambuc 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_ASYNC");
147*11be35a1SLionel Sambuc }
148*11be35a1SLionel Sambuc 
ATF_TC_BODY(msync_async,tc)149*11be35a1SLionel Sambuc ATF_TC_BODY(msync_async, tc)
150*11be35a1SLionel Sambuc {
151*11be35a1SLionel Sambuc 	const char *str;
152*11be35a1SLionel Sambuc 
153*11be35a1SLionel Sambuc 	str = msync_sync("garbage", MS_ASYNC);
154*11be35a1SLionel Sambuc 
155*11be35a1SLionel Sambuc 	if (str != NULL)
156*11be35a1SLionel Sambuc 		atf_tc_fail("%s", str);
157*11be35a1SLionel Sambuc }
158*11be35a1SLionel Sambuc 
159*11be35a1SLionel Sambuc ATF_TC(msync_err);
ATF_TC_HEAD(msync_err,tc)160*11be35a1SLionel Sambuc ATF_TC_HEAD(msync_err, tc)
161*11be35a1SLionel Sambuc {
162*11be35a1SLionel Sambuc 	atf_tc_set_md_var(tc, "descr", "Test error conditions in msync(2)");
163*11be35a1SLionel Sambuc }
164*11be35a1SLionel Sambuc 
ATF_TC_BODY(msync_err,tc)165*11be35a1SLionel Sambuc ATF_TC_BODY(msync_err, tc)
166*11be35a1SLionel Sambuc {
167*11be35a1SLionel Sambuc 
168*11be35a1SLionel Sambuc 	char *map = MAP_FAILED;
169*11be35a1SLionel Sambuc 
170*11be35a1SLionel Sambuc 	/*
171*11be35a1SLionel Sambuc 	 * Test that invalid flags error out.
172*11be35a1SLionel Sambuc 	 */
173*11be35a1SLionel Sambuc 	ATF_REQUIRE(msync_sync("error", -1) != NULL);
174*11be35a1SLionel Sambuc 	ATF_REQUIRE(msync_sync("error", INT_MAX) != NULL);
175*11be35a1SLionel Sambuc 
176*11be35a1SLionel Sambuc 	errno = 0;
177*11be35a1SLionel Sambuc 
178*11be35a1SLionel Sambuc 	/*
179*11be35a1SLionel Sambuc 	 * Map a page and then unmap to get an unmapped address.
180*11be35a1SLionel Sambuc 	 */
181*11be35a1SLionel Sambuc 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE,
182*11be35a1SLionel Sambuc 	    -1, 0);
183*11be35a1SLionel Sambuc 	ATF_REQUIRE(map != MAP_FAILED);
184*11be35a1SLionel Sambuc 
185*11be35a1SLionel Sambuc 	(void)munmap(map, page);
186*11be35a1SLionel Sambuc 
187*11be35a1SLionel Sambuc 	ATF_REQUIRE(msync(map, page, MS_SYNC) != 0);
188*11be35a1SLionel Sambuc 	ATF_REQUIRE(errno == EFAULT);
189*11be35a1SLionel Sambuc }
190*11be35a1SLionel Sambuc 
191*11be35a1SLionel Sambuc ATF_TC(msync_invalidate);
ATF_TC_HEAD(msync_invalidate,tc)192*11be35a1SLionel Sambuc ATF_TC_HEAD(msync_invalidate, tc)
193*11be35a1SLionel Sambuc {
194*11be35a1SLionel Sambuc 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_INVALIDATE");
195*11be35a1SLionel Sambuc }
196*11be35a1SLionel Sambuc 
ATF_TC_BODY(msync_invalidate,tc)197*11be35a1SLionel Sambuc ATF_TC_BODY(msync_invalidate, tc)
198*11be35a1SLionel Sambuc {
199*11be35a1SLionel Sambuc 	const char *str;
200*11be35a1SLionel Sambuc 
201*11be35a1SLionel Sambuc 	str = msync_sync("garbage", MS_INVALIDATE);
202*11be35a1SLionel Sambuc 
203*11be35a1SLionel Sambuc 	if (str != NULL)
204*11be35a1SLionel Sambuc 		atf_tc_fail("%s", str);
205*11be35a1SLionel Sambuc }
206*11be35a1SLionel Sambuc 
207*11be35a1SLionel Sambuc ATF_TC(msync_sync);
ATF_TC_HEAD(msync_sync,tc)208*11be35a1SLionel Sambuc ATF_TC_HEAD(msync_sync, tc)
209*11be35a1SLionel Sambuc {
210*11be35a1SLionel Sambuc 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_SYNC");
211*11be35a1SLionel Sambuc }
212*11be35a1SLionel Sambuc 
ATF_TC_BODY(msync_sync,tc)213*11be35a1SLionel Sambuc ATF_TC_BODY(msync_sync, tc)
214*11be35a1SLionel Sambuc {
215*11be35a1SLionel Sambuc 	const char *str;
216*11be35a1SLionel Sambuc 
217*11be35a1SLionel Sambuc 	str = msync_sync("garbage", MS_SYNC);
218*11be35a1SLionel Sambuc 
219*11be35a1SLionel Sambuc 	if (str != NULL)
220*11be35a1SLionel Sambuc 		atf_tc_fail("%s", str);
221*11be35a1SLionel Sambuc }
222*11be35a1SLionel Sambuc 
ATF_TP_ADD_TCS(tp)223*11be35a1SLionel Sambuc ATF_TP_ADD_TCS(tp)
224*11be35a1SLionel Sambuc {
225*11be35a1SLionel Sambuc 
226*11be35a1SLionel Sambuc 	page = sysconf(_SC_PAGESIZE);
227*11be35a1SLionel Sambuc 
228*11be35a1SLionel Sambuc 	ATF_REQUIRE(page >= 0);
229*11be35a1SLionel Sambuc 	ATF_REQUIRE(page > off);
230*11be35a1SLionel Sambuc 
231*11be35a1SLionel Sambuc 	ATF_TP_ADD_TC(tp, msync_async);
232*11be35a1SLionel Sambuc 	ATF_TP_ADD_TC(tp, msync_err);
233*11be35a1SLionel Sambuc 	ATF_TP_ADD_TC(tp, msync_invalidate);
234*11be35a1SLionel Sambuc 	ATF_TP_ADD_TC(tp, msync_sync);
235*11be35a1SLionel Sambuc 
236*11be35a1SLionel Sambuc 	return atf_no_error();
237*11be35a1SLionel Sambuc }
238