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; 55*1f6a3aa8SEnji Cooper #ifdef __FreeBSD__ 56*1f6a3aa8SEnji Cooper size_t len; 57*1f6a3aa8SEnji Cooper #else 5857718be8SEnji Cooper size_t i, len; 5957718be8SEnji Cooper ssize_t tot; 60*1f6a3aa8SEnji Cooper #endif 6157718be8SEnji Cooper int fd, rv; 6257718be8SEnji Cooper 6357718be8SEnji Cooper /* 6457718be8SEnji Cooper * Create a temporary file, write 6557718be8SEnji Cooper * one page to it, and map the file. 6657718be8SEnji Cooper */ 6757718be8SEnji Cooper buf = malloc(page); 6857718be8SEnji Cooper 6957718be8SEnji Cooper if (buf == NULL) 7057718be8SEnji Cooper return NULL; 7157718be8SEnji Cooper 722a1440c6SEnji Cooper #ifdef __FreeBSD__ 732a1440c6SEnji Cooper memset(buf, 'x', page); 742a1440c6SEnji Cooper #else 7557718be8SEnji Cooper for (i = 0; i < (size_t)page; i++) 7657718be8SEnji Cooper buf[i] = 'x'; 772a1440c6SEnji Cooper #endif 7857718be8SEnji Cooper 7957718be8SEnji Cooper fd = open(path, O_RDWR | O_CREAT, 0700); 8057718be8SEnji Cooper 8157718be8SEnji Cooper if (fd < 0) { 822a1440c6SEnji Cooper #ifdef __FreeBSD__ 832a1440c6SEnji Cooper free(buf); 842a1440c6SEnji Cooper return "failed to open"; 852a1440c6SEnji Cooper #else 8657718be8SEnji Cooper str = "failed to open"; 8757718be8SEnji Cooper goto out; 882a1440c6SEnji Cooper #endif 8957718be8SEnji Cooper } 9057718be8SEnji Cooper 912a1440c6SEnji Cooper #if __FreeBSD__ 922a1440c6SEnji Cooper (void)write(fd, buf, page); 932a1440c6SEnji Cooper #else 9457718be8SEnji Cooper tot = 0; 9557718be8SEnji Cooper 9657718be8SEnji Cooper while (tot < page) { 9757718be8SEnji Cooper 9857718be8SEnji Cooper rv = write(fd, buf, sizeof(buf)); 9957718be8SEnji Cooper if (rv < 0) { 10057718be8SEnji Cooper str = "failed to write"; 10157718be8SEnji Cooper goto out; 10257718be8SEnji Cooper } 10357718be8SEnji Cooper 10457718be8SEnji Cooper tot += rv; 10557718be8SEnji Cooper } 1062a1440c6SEnji Cooper #endif 10757718be8SEnji Cooper 10857718be8SEnji Cooper map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_FILE|MAP_PRIVATE, 10957718be8SEnji Cooper fd, 0); 11057718be8SEnji Cooper 11157718be8SEnji Cooper if (map == MAP_FAILED) { 11257718be8SEnji Cooper str = "failed to map"; 11357718be8SEnji Cooper goto out; 11457718be8SEnji Cooper } 11557718be8SEnji Cooper 11657718be8SEnji Cooper /* 11757718be8SEnji Cooper * Seek to an arbitrary offset and 11857718be8SEnji Cooper * write garbage to this position. 11957718be8SEnji Cooper */ 12057718be8SEnji Cooper if (lseek(fd, off, SEEK_SET) != off) { 12157718be8SEnji Cooper str = "failed to seek"; 12257718be8SEnji Cooper goto out; 12357718be8SEnji Cooper } 12457718be8SEnji Cooper 12557718be8SEnji Cooper len = strlen(garbage); 12657718be8SEnji Cooper rv = write(fd, garbage, len); 12757718be8SEnji Cooper 12857718be8SEnji Cooper if (rv != (ssize_t)len) { 12957718be8SEnji Cooper str = "failed to write garbage"; 13057718be8SEnji Cooper goto out; 13157718be8SEnji Cooper } 13257718be8SEnji Cooper 13357718be8SEnji Cooper /* 13457718be8SEnji Cooper * Synchronize the mapping and verify 13557718be8SEnji Cooper * that garbage is at the given offset. 13657718be8SEnji Cooper */ 13757718be8SEnji Cooper if (msync(map, page, flags) != 0) { 13857718be8SEnji Cooper str = "failed to msync"; 13957718be8SEnji Cooper goto out; 14057718be8SEnji Cooper } 14157718be8SEnji Cooper 14257718be8SEnji Cooper if (memcmp(map + off, garbage, len) != 0) { 14357718be8SEnji Cooper str = "msync did not synchronize"; 14457718be8SEnji Cooper goto out; 14557718be8SEnji Cooper } 14657718be8SEnji Cooper 14757718be8SEnji Cooper out: 14857718be8SEnji Cooper free(buf); 14957718be8SEnji Cooper 15057718be8SEnji Cooper (void)close(fd); 15157718be8SEnji Cooper (void)unlink(path); 15257718be8SEnji Cooper 15357718be8SEnji Cooper if (map != MAP_FAILED) 15457718be8SEnji Cooper (void)munmap(map, page); 15557718be8SEnji Cooper 15657718be8SEnji Cooper return str; 15757718be8SEnji Cooper } 15857718be8SEnji Cooper 15957718be8SEnji Cooper ATF_TC(msync_async); 16057718be8SEnji Cooper ATF_TC_HEAD(msync_async, tc) 16157718be8SEnji Cooper { 16257718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_ASYNC"); 16357718be8SEnji Cooper } 16457718be8SEnji Cooper 16557718be8SEnji Cooper ATF_TC_BODY(msync_async, tc) 16657718be8SEnji Cooper { 16757718be8SEnji Cooper const char *str; 16857718be8SEnji Cooper 16957718be8SEnji Cooper str = msync_sync("garbage", MS_ASYNC); 17057718be8SEnji Cooper 17157718be8SEnji Cooper if (str != NULL) 17257718be8SEnji Cooper atf_tc_fail("%s", str); 17357718be8SEnji Cooper } 17457718be8SEnji Cooper 17557718be8SEnji Cooper ATF_TC(msync_err); 17657718be8SEnji Cooper ATF_TC_HEAD(msync_err, tc) 17757718be8SEnji Cooper { 17857718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test error conditions in msync(2)"); 17957718be8SEnji Cooper } 18057718be8SEnji Cooper 18157718be8SEnji Cooper ATF_TC_BODY(msync_err, tc) 18257718be8SEnji Cooper { 18357718be8SEnji Cooper 18457718be8SEnji Cooper char *map = MAP_FAILED; 18557718be8SEnji Cooper 18657718be8SEnji Cooper /* 18757718be8SEnji Cooper * Test that invalid flags error out. 18857718be8SEnji Cooper */ 189dfbf472aSEnji Cooper #ifdef __FreeBSD__ 190dfbf472aSEnji Cooper errno = 0; 191dfbf472aSEnji Cooper ATF_REQUIRE_ERRNO(EINVAL, msync_sync("error", -1) != NULL); 192dfbf472aSEnji Cooper errno = 0; 193dfbf472aSEnji Cooper ATF_REQUIRE_ERRNO(EINVAL, msync_sync("error", INT_MAX) != NULL); 194dfbf472aSEnji Cooper #else 19557718be8SEnji Cooper ATF_REQUIRE(msync_sync("error", -1) != NULL); 19657718be8SEnji Cooper ATF_REQUIRE(msync_sync("error", INT_MAX) != NULL); 197dfbf472aSEnji Cooper #endif 19857718be8SEnji Cooper 19957718be8SEnji Cooper errno = 0; 20057718be8SEnji Cooper 20157718be8SEnji Cooper /* 20257718be8SEnji Cooper * Map a page and then unmap to get an unmapped address. 20357718be8SEnji Cooper */ 20457718be8SEnji Cooper map = mmap(NULL, page, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE, 20557718be8SEnji Cooper -1, 0); 20657718be8SEnji Cooper ATF_REQUIRE(map != MAP_FAILED); 20757718be8SEnji Cooper 20857718be8SEnji Cooper (void)munmap(map, page); 20957718be8SEnji Cooper 21057718be8SEnji Cooper ATF_REQUIRE(msync(map, page, MS_SYNC) != 0); 211dfbf472aSEnji Cooper #ifdef __FreeBSD__ 212dfbf472aSEnji Cooper ATF_REQUIRE(errno == ENOMEM); 213dfbf472aSEnji Cooper #else 21457718be8SEnji Cooper ATF_REQUIRE(errno == EFAULT); 215dfbf472aSEnji Cooper #endif 21657718be8SEnji Cooper } 21757718be8SEnji Cooper 21857718be8SEnji Cooper ATF_TC(msync_invalidate); 21957718be8SEnji Cooper ATF_TC_HEAD(msync_invalidate, tc) 22057718be8SEnji Cooper { 22157718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_INVALIDATE"); 22257718be8SEnji Cooper } 22357718be8SEnji Cooper 22457718be8SEnji Cooper ATF_TC_BODY(msync_invalidate, tc) 22557718be8SEnji Cooper { 22657718be8SEnji Cooper const char *str; 22757718be8SEnji Cooper 22857718be8SEnji Cooper str = msync_sync("garbage", MS_INVALIDATE); 22957718be8SEnji Cooper 23057718be8SEnji Cooper if (str != NULL) 23157718be8SEnji Cooper atf_tc_fail("%s", str); 23257718be8SEnji Cooper } 23357718be8SEnji Cooper 23457718be8SEnji Cooper ATF_TC(msync_sync); 23557718be8SEnji Cooper ATF_TC_HEAD(msync_sync, tc) 23657718be8SEnji Cooper { 23757718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test of msync(2), MS_SYNC"); 23857718be8SEnji Cooper } 23957718be8SEnji Cooper 24057718be8SEnji Cooper ATF_TC_BODY(msync_sync, tc) 24157718be8SEnji Cooper { 24257718be8SEnji Cooper const char *str; 24357718be8SEnji Cooper 24457718be8SEnji Cooper str = msync_sync("garbage", MS_SYNC); 24557718be8SEnji Cooper 24657718be8SEnji Cooper if (str != NULL) 24757718be8SEnji Cooper atf_tc_fail("%s", str); 24857718be8SEnji Cooper } 24957718be8SEnji Cooper 25057718be8SEnji Cooper ATF_TP_ADD_TCS(tp) 25157718be8SEnji Cooper { 25257718be8SEnji Cooper 25357718be8SEnji Cooper page = sysconf(_SC_PAGESIZE); 25457718be8SEnji Cooper 25557718be8SEnji Cooper ATF_REQUIRE(page >= 0); 25657718be8SEnji Cooper ATF_REQUIRE(page > off); 25757718be8SEnji Cooper 25857718be8SEnji Cooper ATF_TP_ADD_TC(tp, msync_async); 25957718be8SEnji Cooper ATF_TP_ADD_TC(tp, msync_err); 26057718be8SEnji Cooper ATF_TP_ADD_TC(tp, msync_invalidate); 26157718be8SEnji Cooper ATF_TP_ADD_TC(tp, msync_sync); 26257718be8SEnji Cooper 26357718be8SEnji Cooper return atf_no_error(); 26457718be8SEnji Cooper } 265