xref: /freebsd/contrib/netbsd-tests/lib/libc/sys/t_msync.c (revision 2a1440c618f933b7f32a27f03fcfe184300c7110)
157718be8SEnji Cooper /* $NetBSD: t_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $ */
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 2011 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * This code is derived from software contributed to The NetBSD Foundation
857718be8SEnji Cooper  * by Jukka Ruohonen.
957718be8SEnji Cooper  *
1057718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
1157718be8SEnji Cooper  * modification, are permitted provided that the following conditions
1257718be8SEnji Cooper  * are met:
1357718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1457718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1557718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1657718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1757718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1857718be8SEnji Cooper  *
1957718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
2057718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
2157718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
2257718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2357718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2457718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2557718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2657718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2757718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2857718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2957718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
3057718be8SEnji Cooper  */
3157718be8SEnji Cooper #include <sys/cdefs.h>
3257718be8SEnji Cooper __RCSID("$NetBSD: t_msync.c,v 1.2 2012/03/16 06:15:17 matt Exp $");
3357718be8SEnji Cooper 
3457718be8SEnji Cooper #include <sys/mman.h>
3557718be8SEnji Cooper 
3657718be8SEnji Cooper #include <atf-c.h>
3757718be8SEnji Cooper #include <errno.h>
3857718be8SEnji Cooper #include <fcntl.h>
3957718be8SEnji Cooper #include <limits.h>
4057718be8SEnji Cooper #include <stdlib.h>
4157718be8SEnji Cooper #include <string.h>
4257718be8SEnji Cooper #include <unistd.h>
4357718be8SEnji Cooper 
4457718be8SEnji Cooper static long		page = 0;
4557718be8SEnji Cooper static const off_t	off = 512;
4657718be8SEnji Cooper static const char	path[] = "msync";
4757718be8SEnji Cooper 
4857718be8SEnji Cooper static const char	*msync_sync(const char *, int);
4957718be8SEnji Cooper 
5057718be8SEnji Cooper static const char *
5157718be8SEnji Cooper msync_sync(const char *garbage, int flags)
5257718be8SEnji Cooper {
5357718be8SEnji Cooper 	char *buf, *map = MAP_FAILED;
5457718be8SEnji Cooper 	const char *str = NULL;
5557718be8SEnji Cooper 	size_t i, len;
5657718be8SEnji Cooper 	ssize_t tot;
5757718be8SEnji Cooper 	int fd, rv;
5857718be8SEnji Cooper 
5957718be8SEnji Cooper 	/*
6057718be8SEnji Cooper 	 * Create a temporary file, write
6157718be8SEnji Cooper 	 * one page to it, and map the file.
6257718be8SEnji Cooper 	 */
6357718be8SEnji Cooper 	buf = malloc(page);
6457718be8SEnji Cooper 
6557718be8SEnji Cooper 	if (buf == NULL)
6657718be8SEnji Cooper 		return NULL;
6757718be8SEnji Cooper 
68*2a1440c6SEnji Cooper #ifdef __FreeBSD__
69*2a1440c6SEnji Cooper 	memset(buf, 'x', page);
70*2a1440c6SEnji Cooper #else
7157718be8SEnji Cooper 	for (i = 0; i < (size_t)page; i++)
7257718be8SEnji Cooper 		buf[i] = 'x';
73*2a1440c6SEnji Cooper #endif
7457718be8SEnji Cooper 
7557718be8SEnji Cooper 	fd = open(path, O_RDWR | O_CREAT, 0700);
7657718be8SEnji Cooper 
7757718be8SEnji Cooper 	if (fd < 0) {
78*2a1440c6SEnji Cooper #ifdef	__FreeBSD__
79*2a1440c6SEnji Cooper 		free(buf);
80*2a1440c6SEnji Cooper 		return "failed to open";
81*2a1440c6SEnji Cooper #else
8257718be8SEnji Cooper 		str = "failed to open";
8357718be8SEnji Cooper 		goto out;
84*2a1440c6SEnji Cooper #endif
8557718be8SEnji Cooper 	}
8657718be8SEnji Cooper 
87*2a1440c6SEnji Cooper #if __FreeBSD__
88*2a1440c6SEnji Cooper 	(void)write(fd, buf, page);
89*2a1440c6SEnji Cooper #else
9057718be8SEnji Cooper 	tot = 0;
9157718be8SEnji Cooper 
9257718be8SEnji Cooper 	while (tot < page) {
9357718be8SEnji Cooper 
9457718be8SEnji Cooper 		rv = write(fd, buf, sizeof(buf));
9557718be8SEnji Cooper 		if (rv < 0) {
9657718be8SEnji Cooper 			str = "failed to write";
9757718be8SEnji Cooper 			goto out;
9857718be8SEnji Cooper 		}
9957718be8SEnji Cooper 
10057718be8SEnji Cooper 		tot += rv;
10157718be8SEnji Cooper 	}
102*2a1440c6SEnji Cooper #endif
10357718be8SEnji Cooper 
10457718be8SEnji Cooper 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_FILE|MAP_PRIVATE,
10557718be8SEnji Cooper 	     fd, 0);
10657718be8SEnji Cooper 
10757718be8SEnji Cooper 	if (map == MAP_FAILED) {
10857718be8SEnji Cooper 		str = "failed to map";
10957718be8SEnji Cooper 		goto out;
11057718be8SEnji Cooper 	}
11157718be8SEnji Cooper 
11257718be8SEnji Cooper 	/*
11357718be8SEnji Cooper 	 * Seek to an arbitrary offset and
11457718be8SEnji Cooper 	 * write garbage to this position.
11557718be8SEnji Cooper 	 */
11657718be8SEnji Cooper 	if (lseek(fd, off, SEEK_SET) != off) {
11757718be8SEnji Cooper 		str = "failed to seek";
11857718be8SEnji Cooper 		goto out;
11957718be8SEnji Cooper 	}
12057718be8SEnji Cooper 
12157718be8SEnji Cooper 	len = strlen(garbage);
12257718be8SEnji Cooper 	rv = write(fd, garbage, len);
12357718be8SEnji Cooper 
12457718be8SEnji Cooper 	if (rv != (ssize_t)len) {
12557718be8SEnji Cooper 		str = "failed to write garbage";
12657718be8SEnji Cooper 		goto out;
12757718be8SEnji Cooper 	}
12857718be8SEnji Cooper 
12957718be8SEnji Cooper 	/*
13057718be8SEnji Cooper 	 * Synchronize the mapping and verify
13157718be8SEnji Cooper 	 * that garbage is at the given offset.
13257718be8SEnji Cooper 	 */
13357718be8SEnji Cooper 	if (msync(map, page, flags) != 0) {
13457718be8SEnji Cooper 		str = "failed to msync";
13557718be8SEnji Cooper 		goto out;
13657718be8SEnji Cooper 	}
13757718be8SEnji Cooper 
13857718be8SEnji Cooper 	if (memcmp(map + off, garbage, len) != 0) {
13957718be8SEnji Cooper 		str = "msync did not synchronize";
14057718be8SEnji Cooper 		goto out;
14157718be8SEnji Cooper 	}
14257718be8SEnji Cooper 
14357718be8SEnji Cooper out:
14457718be8SEnji Cooper 	free(buf);
14557718be8SEnji Cooper 
14657718be8SEnji Cooper 	(void)close(fd);
14757718be8SEnji Cooper 	(void)unlink(path);
14857718be8SEnji Cooper 
14957718be8SEnji Cooper 	if (map != MAP_FAILED)
15057718be8SEnji Cooper 		(void)munmap(map, page);
15157718be8SEnji Cooper 
15257718be8SEnji Cooper 	return str;
15357718be8SEnji Cooper }
15457718be8SEnji Cooper 
15557718be8SEnji Cooper ATF_TC(msync_async);
15657718be8SEnji Cooper ATF_TC_HEAD(msync_async, tc)
15757718be8SEnji Cooper {
15857718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_ASYNC");
15957718be8SEnji Cooper }
16057718be8SEnji Cooper 
16157718be8SEnji Cooper ATF_TC_BODY(msync_async, tc)
16257718be8SEnji Cooper {
16357718be8SEnji Cooper 	const char *str;
16457718be8SEnji Cooper 
16557718be8SEnji Cooper 	str = msync_sync("garbage", MS_ASYNC);
16657718be8SEnji Cooper 
16757718be8SEnji Cooper 	if (str != NULL)
16857718be8SEnji Cooper 		atf_tc_fail("%s", str);
16957718be8SEnji Cooper }
17057718be8SEnji Cooper 
17157718be8SEnji Cooper ATF_TC(msync_err);
17257718be8SEnji Cooper ATF_TC_HEAD(msync_err, tc)
17357718be8SEnji Cooper {
17457718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test error conditions in msync(2)");
17557718be8SEnji Cooper }
17657718be8SEnji Cooper 
17757718be8SEnji Cooper ATF_TC_BODY(msync_err, tc)
17857718be8SEnji Cooper {
17957718be8SEnji Cooper 
18057718be8SEnji Cooper 	char *map = MAP_FAILED;
18157718be8SEnji Cooper 
18257718be8SEnji Cooper 	/*
18357718be8SEnji Cooper 	 * Test that invalid flags error out.
18457718be8SEnji Cooper 	 */
185dfbf472aSEnji Cooper #ifdef __FreeBSD__
186dfbf472aSEnji Cooper 	errno = 0;
187dfbf472aSEnji Cooper 	ATF_REQUIRE_ERRNO(EINVAL, msync_sync("error", -1) != NULL);
188dfbf472aSEnji Cooper 	errno = 0;
189dfbf472aSEnji Cooper 	ATF_REQUIRE_ERRNO(EINVAL, msync_sync("error", INT_MAX) != NULL);
190dfbf472aSEnji Cooper #else
19157718be8SEnji Cooper 	ATF_REQUIRE(msync_sync("error", -1) != NULL);
19257718be8SEnji Cooper 	ATF_REQUIRE(msync_sync("error", INT_MAX) != NULL);
193dfbf472aSEnji Cooper #endif
19457718be8SEnji Cooper 
19557718be8SEnji Cooper 	errno = 0;
19657718be8SEnji Cooper 
19757718be8SEnji Cooper 	/*
19857718be8SEnji Cooper 	 * Map a page and then unmap to get an unmapped address.
19957718be8SEnji Cooper 	 */
20057718be8SEnji Cooper 	map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE,
20157718be8SEnji Cooper 	    -1, 0);
20257718be8SEnji Cooper 	ATF_REQUIRE(map != MAP_FAILED);
20357718be8SEnji Cooper 
20457718be8SEnji Cooper 	(void)munmap(map, page);
20557718be8SEnji Cooper 
20657718be8SEnji Cooper 	ATF_REQUIRE(msync(map, page, MS_SYNC) != 0);
207dfbf472aSEnji Cooper #ifdef __FreeBSD__
208dfbf472aSEnji Cooper 	ATF_REQUIRE(errno == ENOMEM);
209dfbf472aSEnji Cooper #else
21057718be8SEnji Cooper 	ATF_REQUIRE(errno == EFAULT);
211dfbf472aSEnji Cooper #endif
21257718be8SEnji Cooper }
21357718be8SEnji Cooper 
21457718be8SEnji Cooper ATF_TC(msync_invalidate);
21557718be8SEnji Cooper ATF_TC_HEAD(msync_invalidate, tc)
21657718be8SEnji Cooper {
21757718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_INVALIDATE");
21857718be8SEnji Cooper }
21957718be8SEnji Cooper 
22057718be8SEnji Cooper ATF_TC_BODY(msync_invalidate, tc)
22157718be8SEnji Cooper {
22257718be8SEnji Cooper 	const char *str;
22357718be8SEnji Cooper 
22457718be8SEnji Cooper 	str = msync_sync("garbage", MS_INVALIDATE);
22557718be8SEnji Cooper 
22657718be8SEnji Cooper 	if (str != NULL)
22757718be8SEnji Cooper 		atf_tc_fail("%s", str);
22857718be8SEnji Cooper }
22957718be8SEnji Cooper 
23057718be8SEnji Cooper ATF_TC(msync_sync);
23157718be8SEnji Cooper ATF_TC_HEAD(msync_sync, tc)
23257718be8SEnji Cooper {
23357718be8SEnji Cooper 	atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_SYNC");
23457718be8SEnji Cooper }
23557718be8SEnji Cooper 
23657718be8SEnji Cooper ATF_TC_BODY(msync_sync, tc)
23757718be8SEnji Cooper {
23857718be8SEnji Cooper 	const char *str;
23957718be8SEnji Cooper 
24057718be8SEnji Cooper 	str = msync_sync("garbage", MS_SYNC);
24157718be8SEnji Cooper 
24257718be8SEnji Cooper 	if (str != NULL)
24357718be8SEnji Cooper 		atf_tc_fail("%s", str);
24457718be8SEnji Cooper }
24557718be8SEnji Cooper 
24657718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
24757718be8SEnji Cooper {
24857718be8SEnji Cooper 
24957718be8SEnji Cooper 	page = sysconf(_SC_PAGESIZE);
25057718be8SEnji Cooper 
25157718be8SEnji Cooper 	ATF_REQUIRE(page >= 0);
25257718be8SEnji Cooper 	ATF_REQUIRE(page > off);
25357718be8SEnji Cooper 
25457718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_async);
25557718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_err);
25657718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_invalidate);
25757718be8SEnji Cooper 	ATF_TP_ADD_TC(tp, msync_sync);
25857718be8SEnji Cooper 
25957718be8SEnji Cooper 	return atf_no_error();
26057718be8SEnji Cooper }
261