xref: /netbsd-src/tests/lib/libc/sys/t_msync.c (revision 5f5a00ced09191c886541b3285e13ff6fbdd96b9)
1*5f5a00ceSchristos /* $NetBSD: t_msync.c,v 1.3 2017/01/14 20:52:42 christos Exp $ */
2068fb4f1Sjruoho 
3068fb4f1Sjruoho /*-
4068fb4f1Sjruoho  * Copyright (c) 2011 The NetBSD Foundation, Inc.
5068fb4f1Sjruoho  * All rights reserved.
6068fb4f1Sjruoho  *
7068fb4f1Sjruoho  * This code is derived from software contributed to The NetBSD Foundation
8068fb4f1Sjruoho  * by Jukka Ruohonen.
9068fb4f1Sjruoho  *
10068fb4f1Sjruoho  * Redistribution and use in source and binary forms, with or without
11068fb4f1Sjruoho  * modification, are permitted provided that the following conditions
12068fb4f1Sjruoho  * are met:
13068fb4f1Sjruoho  * 1. Redistributions of source code must retain the above copyright
14068fb4f1Sjruoho  *    notice, this list of conditions and the following disclaimer.
15068fb4f1Sjruoho  * 2. Redistributions in binary form must reproduce the above copyright
16068fb4f1Sjruoho  *    notice, this list of conditions and the following disclaimer in the
17068fb4f1Sjruoho  *    documentation and/or other materials provided with the distribution.
18068fb4f1Sjruoho  *
19068fb4f1Sjruoho  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20068fb4f1Sjruoho  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21068fb4f1Sjruoho  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22068fb4f1Sjruoho  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23068fb4f1Sjruoho  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24068fb4f1Sjruoho  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25068fb4f1Sjruoho  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26068fb4f1Sjruoho  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27068fb4f1Sjruoho  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28068fb4f1Sjruoho  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29068fb4f1Sjruoho  * POSSIBILITY OF SUCH DAMAGE.
30068fb4f1Sjruoho  */
31068fb4f1Sjruoho #include <sys/cdefs.h>
32*5f5a00ceSchristos __RCSID("$NetBSD: t_msync.c,v 1.3 2017/01/14 20:52:42 christos Exp $");
33068fb4f1Sjruoho 
34068fb4f1Sjruoho #include <sys/mman.h>
35068fb4f1Sjruoho 
36068fb4f1Sjruoho #include <atf-c.h>
37068fb4f1Sjruoho #include <errno.h>
38068fb4f1Sjruoho #include <fcntl.h>
39068fb4f1Sjruoho #include <limits.h>
40068fb4f1Sjruoho #include <stdlib.h>
41068fb4f1Sjruoho #include <string.h>
42068fb4f1Sjruoho #include <unistd.h>
43068fb4f1Sjruoho 
44068fb4f1Sjruoho static long		page = 0;
45068fb4f1Sjruoho static const off_t	off = 512;
46068fb4f1Sjruoho static const char	path[] = "msync";
47068fb4f1Sjruoho 
48068fb4f1Sjruoho static const char	*msync_sync(const char *, int);
49068fb4f1Sjruoho 
50068fb4f1Sjruoho static const char *
msync_sync(const char * garbage,int flags)51068fb4f1Sjruoho msync_sync(const char *garbage, int flags)
52068fb4f1Sjruoho {
53068fb4f1Sjruoho 	char *buf, *map = MAP_FAILED;
54068fb4f1Sjruoho 	const char *str = NULL;
55*5f5a00ceSchristos 	size_t len;
56068fb4f1Sjruoho 	int fd, rv;
57068fb4f1Sjruoho 
58068fb4f1Sjruoho 	/*
59068fb4f1Sjruoho 	 * Create a temporary file, write
60068fb4f1Sjruoho 	 * one page to it, and map the file.
61068fb4f1Sjruoho 	 */
62068fb4f1Sjruoho 	buf = malloc(page);
63068fb4f1Sjruoho 
64068fb4f1Sjruoho 	if (buf == NULL)
65068fb4f1Sjruoho 		return NULL;
66068fb4f1Sjruoho 
67*5f5a00ceSchristos 	memset(buf, 'x', page);
68068fb4f1Sjruoho 
69068fb4f1Sjruoho 	fd = open(path, O_RDWR | O_CREAT, 0700);
70068fb4f1Sjruoho 
71068fb4f1Sjruoho 	if (fd < 0) {
72*5f5a00ceSchristos 		free(buf);
73*5f5a00ceSchristos 		return "failed to open";
74068fb4f1Sjruoho 	}
75068fb4f1Sjruoho 
76*5f5a00ceSchristos 	ATF_REQUIRE_MSG(write(fd, buf, page) != -1, "write(2) failed: %s",
77*5f5a00ceSchristos 	    strerror(errno));
78068fb4f1Sjruoho 
79068fb4f1Sjruoho 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_FILE|MAP_PRIVATE,
80068fb4f1Sjruoho 	     fd, 0);
81068fb4f1Sjruoho 
82068fb4f1Sjruoho 	if (map == MAP_FAILED) {
83068fb4f1Sjruoho 		str = "failed to map";
84068fb4f1Sjruoho 		goto out;
85068fb4f1Sjruoho 	}
86068fb4f1Sjruoho 
87068fb4f1Sjruoho 	/*
88068fb4f1Sjruoho 	 * Seek to an arbitrary offset and
89068fb4f1Sjruoho 	 * write garbage to this position.
90068fb4f1Sjruoho 	 */
91068fb4f1Sjruoho 	if (lseek(fd, off, SEEK_SET) != off) {
92068fb4f1Sjruoho 		str = "failed to seek";
93068fb4f1Sjruoho 		goto out;
94068fb4f1Sjruoho 	}
95068fb4f1Sjruoho 
96068fb4f1Sjruoho 	len = strlen(garbage);
97068fb4f1Sjruoho 	rv = write(fd, garbage, len);
98068fb4f1Sjruoho 
99068fb4f1Sjruoho 	if (rv != (ssize_t)len) {
100068fb4f1Sjruoho 		str = "failed to write garbage";
101068fb4f1Sjruoho 		goto out;
102068fb4f1Sjruoho 	}
103068fb4f1Sjruoho 
104068fb4f1Sjruoho 	/*
105068fb4f1Sjruoho 	 * Synchronize the mapping and verify
106068fb4f1Sjruoho 	 * that garbage is at the given offset.
107068fb4f1Sjruoho 	 */
108068fb4f1Sjruoho 	if (msync(map, page, flags) != 0) {
109068fb4f1Sjruoho 		str = "failed to msync";
110068fb4f1Sjruoho 		goto out;
111068fb4f1Sjruoho 	}
112068fb4f1Sjruoho 
113068fb4f1Sjruoho 	if (memcmp(map + off, garbage, len) != 0) {
114068fb4f1Sjruoho 		str = "msync did not synchronize";
115068fb4f1Sjruoho 		goto out;
116068fb4f1Sjruoho 	}
117068fb4f1Sjruoho 
118068fb4f1Sjruoho out:
119068fb4f1Sjruoho 	free(buf);
120068fb4f1Sjruoho 
121068fb4f1Sjruoho 	(void)close(fd);
122068fb4f1Sjruoho 	(void)unlink(path);
123068fb4f1Sjruoho 
124068fb4f1Sjruoho 	if (map != MAP_FAILED)
125068fb4f1Sjruoho 		(void)munmap(map, page);
126068fb4f1Sjruoho 
127068fb4f1Sjruoho 	return str;
128068fb4f1Sjruoho }
129068fb4f1Sjruoho 
130068fb4f1Sjruoho ATF_TC(msync_async);
ATF_TC_HEAD(msync_async,tc)131068fb4f1Sjruoho ATF_TC_HEAD(msync_async, tc)
132068fb4f1Sjruoho {
133068fb4f1Sjruoho 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_ASYNC");
134068fb4f1Sjruoho }
135068fb4f1Sjruoho 
ATF_TC_BODY(msync_async,tc)136068fb4f1Sjruoho ATF_TC_BODY(msync_async, tc)
137068fb4f1Sjruoho {
138068fb4f1Sjruoho 	const char *str;
139068fb4f1Sjruoho 
140068fb4f1Sjruoho 	str = msync_sync("garbage", MS_ASYNC);
141068fb4f1Sjruoho 
142068fb4f1Sjruoho 	if (str != NULL)
143068fb4f1Sjruoho 		atf_tc_fail("%s", str);
144068fb4f1Sjruoho }
145068fb4f1Sjruoho 
146068fb4f1Sjruoho ATF_TC(msync_err);
ATF_TC_HEAD(msync_err,tc)147068fb4f1Sjruoho ATF_TC_HEAD(msync_err, tc)
148068fb4f1Sjruoho {
149068fb4f1Sjruoho 	atf_tc_set_md_var(tc, "descr", "Test error conditions in msync(2)");
150068fb4f1Sjruoho }
151068fb4f1Sjruoho 
ATF_TC_BODY(msync_err,tc)152068fb4f1Sjruoho ATF_TC_BODY(msync_err, tc)
153068fb4f1Sjruoho {
154068fb4f1Sjruoho 
155ae11ed12Smatt 	char *map = MAP_FAILED;
156ae11ed12Smatt 
157068fb4f1Sjruoho 	/*
158068fb4f1Sjruoho 	 * Test that invalid flags error out.
159068fb4f1Sjruoho 	 */
160068fb4f1Sjruoho 	ATF_REQUIRE(msync_sync("error", -1) != NULL);
161068fb4f1Sjruoho 	ATF_REQUIRE(msync_sync("error", INT_MAX) != NULL);
162068fb4f1Sjruoho 
163068fb4f1Sjruoho 	errno = 0;
164068fb4f1Sjruoho 
165ae11ed12Smatt 	/*
166ae11ed12Smatt 	 * Map a page and then unmap to get an unmapped address.
167ae11ed12Smatt 	 */
168ae11ed12Smatt 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE,
169ae11ed12Smatt 	    -1, 0);
170ae11ed12Smatt 	ATF_REQUIRE(map != MAP_FAILED);
171ae11ed12Smatt 
172ae11ed12Smatt 	(void)munmap(map, page);
173ae11ed12Smatt 
174ae11ed12Smatt 	ATF_REQUIRE(msync(map, page, MS_SYNC) != 0);
175068fb4f1Sjruoho 	ATF_REQUIRE(errno == EFAULT);
176068fb4f1Sjruoho }
177068fb4f1Sjruoho 
178068fb4f1Sjruoho ATF_TC(msync_invalidate);
ATF_TC_HEAD(msync_invalidate,tc)179068fb4f1Sjruoho ATF_TC_HEAD(msync_invalidate, tc)
180068fb4f1Sjruoho {
181068fb4f1Sjruoho 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_INVALIDATE");
182068fb4f1Sjruoho }
183068fb4f1Sjruoho 
ATF_TC_BODY(msync_invalidate,tc)184068fb4f1Sjruoho ATF_TC_BODY(msync_invalidate, tc)
185068fb4f1Sjruoho {
186068fb4f1Sjruoho 	const char *str;
187068fb4f1Sjruoho 
188068fb4f1Sjruoho 	str = msync_sync("garbage", MS_INVALIDATE);
189068fb4f1Sjruoho 
190068fb4f1Sjruoho 	if (str != NULL)
191068fb4f1Sjruoho 		atf_tc_fail("%s", str);
192068fb4f1Sjruoho }
193068fb4f1Sjruoho 
194068fb4f1Sjruoho ATF_TC(msync_sync);
ATF_TC_HEAD(msync_sync,tc)195068fb4f1Sjruoho ATF_TC_HEAD(msync_sync, tc)
196068fb4f1Sjruoho {
197068fb4f1Sjruoho 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_SYNC");
198068fb4f1Sjruoho }
199068fb4f1Sjruoho 
ATF_TC_BODY(msync_sync,tc)200068fb4f1Sjruoho ATF_TC_BODY(msync_sync, tc)
201068fb4f1Sjruoho {
202068fb4f1Sjruoho 	const char *str;
203068fb4f1Sjruoho 
204068fb4f1Sjruoho 	str = msync_sync("garbage", MS_SYNC);
205068fb4f1Sjruoho 
206068fb4f1Sjruoho 	if (str != NULL)
207068fb4f1Sjruoho 		atf_tc_fail("%s", str);
208068fb4f1Sjruoho }
209068fb4f1Sjruoho 
ATF_TP_ADD_TCS(tp)210068fb4f1Sjruoho ATF_TP_ADD_TCS(tp)
211068fb4f1Sjruoho {
212068fb4f1Sjruoho 
213068fb4f1Sjruoho 	page = sysconf(_SC_PAGESIZE);
214068fb4f1Sjruoho 
215068fb4f1Sjruoho 	ATF_REQUIRE(page >= 0);
216068fb4f1Sjruoho 	ATF_REQUIRE(page > off);
217068fb4f1Sjruoho 
218068fb4f1Sjruoho 	ATF_TP_ADD_TC(tp, msync_async);
219068fb4f1Sjruoho 	ATF_TP_ADD_TC(tp, msync_err);
220068fb4f1Sjruoho 	ATF_TP_ADD_TC(tp, msync_invalidate);
221068fb4f1Sjruoho 	ATF_TP_ADD_TC(tp, msync_sync);
222068fb4f1Sjruoho 
223068fb4f1Sjruoho 	return atf_no_error();
224068fb4f1Sjruoho }
225