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