xref: /openbsd-src/regress/lib/libc/sys/t_msync.c (revision 49a6e16f2c2c8e509184b1f777366d1a6f337e1c)
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