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