xref: /freebsd/contrib/netbsd-tests/lib/libc/sys/t_msync.c (revision 57718be8fa0bd5edc11ab9a72e68cc71982939a6)
1*57718be8SEnji Cooper /* $NetBSD: t_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $ */
2*57718be8SEnji Cooper 
3*57718be8SEnji Cooper /*-
4*57718be8SEnji Cooper  * Copyright (c) 2011 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 Jukka Ruohonen.
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_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $");
33*57718be8SEnji Cooper 
34*57718be8SEnji Cooper #include <sys/mman.h>
35*57718be8SEnji Cooper 
36*57718be8SEnji Cooper #include <atf-c.h>
37*57718be8SEnji Cooper #include <errno.h>
38*57718be8SEnji Cooper #include <fcntl.h>
39*57718be8SEnji Cooper #include <limits.h>
40*57718be8SEnji Cooper #include <stdlib.h>
41*57718be8SEnji Cooper #include <string.h>
42*57718be8SEnji Cooper #include <unistd.h>
43*57718be8SEnji Cooper 
44*57718be8SEnji Cooper static long		page = 0;
45*57718be8SEnji Cooper static const off_t	off = 512;
46*57718be8SEnji Cooper static const char	path[] = "msync";
47*57718be8SEnji Cooper 
48*57718be8SEnji Cooper static const char	*msync_sync(const char *, int);
49*57718be8SEnji Cooper 
50*57718be8SEnji Cooper static const char *
51*57718be8SEnji Cooper msync_sync(const char *garbage, int flags)
52*57718be8SEnji Cooper {
53*57718be8SEnji Cooper 	char *buf, *map = MAP_FAILED;
54*57718be8SEnji Cooper 	const char *str = NULL;
55*57718be8SEnji Cooper 	size_t i, len;
56*57718be8SEnji Cooper 	ssize_t tot;
57*57718be8SEnji Cooper 	int fd, rv;
58*57718be8SEnji Cooper 
59*57718be8SEnji Cooper 	/*
60*57718be8SEnji Cooper 	 * Create a temporary file, write
61*57718be8SEnji Cooper 	 * one page to it, and map the file.
62*57718be8SEnji Cooper 	 */
63*57718be8SEnji Cooper 	buf = malloc(page);
64*57718be8SEnji Cooper 
65*57718be8SEnji Cooper 	if (buf == NULL)
66*57718be8SEnji Cooper 		return NULL;
67*57718be8SEnji Cooper 
68*57718be8SEnji Cooper 	for (i = 0; i < (size_t)page; i++)
69*57718be8SEnji Cooper 		buf[i] = 'x';
70*57718be8SEnji Cooper 
71*57718be8SEnji Cooper 	fd = open(path, O_RDWR | O_CREAT, 0700);
72*57718be8SEnji Cooper 
73*57718be8SEnji Cooper 	if (fd < 0) {
74*57718be8SEnji Cooper 		str = "failed to open";
75*57718be8SEnji Cooper 		goto out;
76*57718be8SEnji Cooper 	}
77*57718be8SEnji Cooper 
78*57718be8SEnji Cooper 	tot = 0;
79*57718be8SEnji Cooper 
80*57718be8SEnji Cooper 	while (tot < page) {
81*57718be8SEnji Cooper 
82*57718be8SEnji Cooper 		rv = write(fd, buf, sizeof(buf));
83*57718be8SEnji Cooper 
84*57718be8SEnji Cooper 		if (rv < 0) {
85*57718be8SEnji Cooper 			str = "failed to write";
86*57718be8SEnji Cooper 			goto out;
87*57718be8SEnji Cooper 		}
88*57718be8SEnji Cooper 
89*57718be8SEnji Cooper 		tot += rv;
90*57718be8SEnji Cooper 	}
91*57718be8SEnji Cooper 
92*57718be8SEnji Cooper 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_FILE|MAP_PRIVATE,
93*57718be8SEnji Cooper 	     fd, 0);
94*57718be8SEnji Cooper 
95*57718be8SEnji Cooper 	if (map == MAP_FAILED) {
96*57718be8SEnji Cooper 		str = "failed to map";
97*57718be8SEnji Cooper 		goto out;
98*57718be8SEnji Cooper 	}
99*57718be8SEnji Cooper 
100*57718be8SEnji Cooper 	/*
101*57718be8SEnji Cooper 	 * Seek to an arbitrary offset and
102*57718be8SEnji Cooper 	 * write garbage to this position.
103*57718be8SEnji Cooper 	 */
104*57718be8SEnji Cooper 	if (lseek(fd, off, SEEK_SET) != off) {
105*57718be8SEnji Cooper 		str = "failed to seek";
106*57718be8SEnji Cooper 		goto out;
107*57718be8SEnji Cooper 	}
108*57718be8SEnji Cooper 
109*57718be8SEnji Cooper 	len = strlen(garbage);
110*57718be8SEnji Cooper 	rv = write(fd, garbage, len);
111*57718be8SEnji Cooper 
112*57718be8SEnji Cooper 	if (rv != (ssize_t)len) {
113*57718be8SEnji Cooper 		str = "failed to write garbage";
114*57718be8SEnji Cooper 		goto out;
115*57718be8SEnji Cooper 	}
116*57718be8SEnji Cooper 
117*57718be8SEnji Cooper 	/*
118*57718be8SEnji Cooper 	 * Synchronize the mapping and verify
119*57718be8SEnji Cooper 	 * that garbage is at the given offset.
120*57718be8SEnji Cooper 	 */
121*57718be8SEnji Cooper 	if (msync(map, page, flags) != 0) {
122*57718be8SEnji Cooper 		str = "failed to msync";
123*57718be8SEnji Cooper 		goto out;
124*57718be8SEnji Cooper 	}
125*57718be8SEnji Cooper 
126*57718be8SEnji Cooper 	if (memcmp(map + off, garbage, len) != 0) {
127*57718be8SEnji Cooper 		str = "msync did not synchronize";
128*57718be8SEnji Cooper 		goto out;
129*57718be8SEnji Cooper 	}
130*57718be8SEnji Cooper 
131*57718be8SEnji Cooper out:
132*57718be8SEnji Cooper 	free(buf);
133*57718be8SEnji Cooper 
134*57718be8SEnji Cooper 	(void)close(fd);
135*57718be8SEnji Cooper 	(void)unlink(path);
136*57718be8SEnji Cooper 
137*57718be8SEnji Cooper 	if (map != MAP_FAILED)
138*57718be8SEnji Cooper 		(void)munmap(map, page);
139*57718be8SEnji Cooper 
140*57718be8SEnji Cooper 	return str;
141*57718be8SEnji Cooper }
142*57718be8SEnji Cooper 
143*57718be8SEnji Cooper ATF_TC(msync_async);
144*57718be8SEnji Cooper ATF_TC_HEAD(msync_async, tc)
145*57718be8SEnji Cooper {
146*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_ASYNC");
147*57718be8SEnji Cooper }
148*57718be8SEnji Cooper 
149*57718be8SEnji Cooper ATF_TC_BODY(msync_async, tc)
150*57718be8SEnji Cooper {
151*57718be8SEnji Cooper 	const char *str;
152*57718be8SEnji Cooper 
153*57718be8SEnji Cooper 	str = msync_sync("garbage", MS_ASYNC);
154*57718be8SEnji Cooper 
155*57718be8SEnji Cooper 	if (str != NULL)
156*57718be8SEnji Cooper 		atf_tc_fail("%s", str);
157*57718be8SEnji Cooper }
158*57718be8SEnji Cooper 
159*57718be8SEnji Cooper ATF_TC(msync_err);
160*57718be8SEnji Cooper ATF_TC_HEAD(msync_err, tc)
161*57718be8SEnji Cooper {
162*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test error conditions in msync(2)");
163*57718be8SEnji Cooper }
164*57718be8SEnji Cooper 
165*57718be8SEnji Cooper ATF_TC_BODY(msync_err, tc)
166*57718be8SEnji Cooper {
167*57718be8SEnji Cooper 
168*57718be8SEnji Cooper 	char *map = MAP_FAILED;
169*57718be8SEnji Cooper 
170*57718be8SEnji Cooper 	/*
171*57718be8SEnji Cooper 	 * Test that invalid flags error out.
172*57718be8SEnji Cooper 	 */
173*57718be8SEnji Cooper 	ATF_REQUIRE(msync_sync("error", -1) != NULL);
174*57718be8SEnji Cooper 	ATF_REQUIRE(msync_sync("error", INT_MAX) != NULL);
175*57718be8SEnji Cooper 
176*57718be8SEnji Cooper 	errno = 0;
177*57718be8SEnji Cooper 
178*57718be8SEnji Cooper 	/*
179*57718be8SEnji Cooper 	 * Map a page and then unmap to get an unmapped address.
180*57718be8SEnji Cooper 	 */
181*57718be8SEnji Cooper 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE,
182*57718be8SEnji Cooper 	    -1, 0);
183*57718be8SEnji Cooper 	ATF_REQUIRE(map != MAP_FAILED);
184*57718be8SEnji Cooper 
185*57718be8SEnji Cooper 	(void)munmap(map, page);
186*57718be8SEnji Cooper 
187*57718be8SEnji Cooper 	ATF_REQUIRE(msync(map, page, MS_SYNC) != 0);
188*57718be8SEnji Cooper 	ATF_REQUIRE(errno == EFAULT);
189*57718be8SEnji Cooper }
190*57718be8SEnji Cooper 
191*57718be8SEnji Cooper ATF_TC(msync_invalidate);
192*57718be8SEnji Cooper ATF_TC_HEAD(msync_invalidate, tc)
193*57718be8SEnji Cooper {
194*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_INVALIDATE");
195*57718be8SEnji Cooper }
196*57718be8SEnji Cooper 
197*57718be8SEnji Cooper ATF_TC_BODY(msync_invalidate, tc)
198*57718be8SEnji Cooper {
199*57718be8SEnji Cooper 	const char *str;
200*57718be8SEnji Cooper 
201*57718be8SEnji Cooper 	str = msync_sync("garbage", MS_INVALIDATE);
202*57718be8SEnji Cooper 
203*57718be8SEnji Cooper 	if (str != NULL)
204*57718be8SEnji Cooper 		atf_tc_fail("%s", str);
205*57718be8SEnji Cooper }
206*57718be8SEnji Cooper 
207*57718be8SEnji Cooper ATF_TC(msync_sync);
208*57718be8SEnji Cooper ATF_TC_HEAD(msync_sync, tc)
209*57718be8SEnji Cooper {
210*57718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_SYNC");
211*57718be8SEnji Cooper }
212*57718be8SEnji Cooper 
213*57718be8SEnji Cooper ATF_TC_BODY(msync_sync, tc)
214*57718be8SEnji Cooper {
215*57718be8SEnji Cooper 	const char *str;
216*57718be8SEnji Cooper 
217*57718be8SEnji Cooper 	str = msync_sync("garbage", MS_SYNC);
218*57718be8SEnji Cooper 
219*57718be8SEnji Cooper 	if (str != NULL)
220*57718be8SEnji Cooper 		atf_tc_fail("%s", str);
221*57718be8SEnji Cooper }
222*57718be8SEnji Cooper 
223*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
224*57718be8SEnji Cooper {
225*57718be8SEnji Cooper 
226*57718be8SEnji Cooper 	page = sysconf(_SC_PAGESIZE);
227*57718be8SEnji Cooper 
228*57718be8SEnji Cooper 	ATF_REQUIRE(page >= 0);
229*57718be8SEnji Cooper 	ATF_REQUIRE(page > off);
230*57718be8SEnji Cooper 
231*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_async);
232*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_err);
233*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_invalidate);
234*57718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_sync);
235*57718be8SEnji Cooper 
236*57718be8SEnji Cooper 	return atf_no_error();
237*57718be8SEnji Cooper }
238