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