Home | History | Annotate | Line # | Download | only in vfs
t_vnops.c revision 1.12.2.2
      1 /*	$NetBSD: t_vnops.c,v 1.12.2.2 2011/03/05 15:10:55 bouyer Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 2010 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  *
     16  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     17  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     18  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     19  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     20  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     21  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     22  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     23  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     24  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     25  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     26  * POSSIBILITY OF SUCH DAMAGE.
     27  */
     28 
     29 #include <sys/stat.h>
     30 #include <sys/statvfs.h>
     31 
     32 #include <assert.h>
     33 #include <atf-c.h>
     34 #include <fcntl.h>
     35 #include <libgen.h>
     36 #include <stdlib.h>
     37 #include <string.h>
     38 #include <unistd.h>
     39 
     40 #include <rump/rump_syscalls.h>
     41 #include <rump/rump.h>
     42 
     43 #include "../common/h_fsmacros.h"
     44 #include "../../h_macros.h"
     45 
     46 #define TESTFILE "afile"
     47 
     48 #define USES_DIRS \
     49     if (FSTYPE_SYSVBFS(tc)) atf_tc_skip("dirs not supported by file system")
     50 
     51 #define USES_SYMLINKS					\
     52     if (FSTYPE_SYSVBFS(tc) || FSTYPE_MSDOS(tc))		\
     53 	atf_tc_skip("symlinks not supported by file system")
     54 
     55 static char *
     56 md(char *buf, const char *base, const char *tail)
     57 {
     58 
     59 	sprintf(buf, "%s/%s", base, tail);
     60 	return buf;
     61 }
     62 
     63 static void
     64 lookup_simple(const atf_tc_t *tc, const char *mountpath)
     65 {
     66 	char pb[MAXPATHLEN], final[MAXPATHLEN];
     67 	struct stat sb1, sb2;
     68 
     69 	strcpy(final, mountpath);
     70 	sprintf(pb, "%s/../%s", mountpath, basename(final));
     71 	if (rump_sys_stat(pb, &sb1) == -1)
     72 		atf_tc_fail_errno("stat 1");
     73 
     74 	sprintf(pb, "%s/./../%s", mountpath, basename(final));
     75 	if (rump_sys_stat(pb, &sb2) == -1)
     76 		atf_tc_fail_errno("stat 2");
     77 
     78 	ATF_REQUIRE(memcmp(&sb1, &sb2, sizeof(sb1)) == 0);
     79 }
     80 
     81 static void
     82 lookup_complex(const atf_tc_t *tc, const char *mountpath)
     83 {
     84 	char pb[MAXPATHLEN];
     85 	struct stat sb1, sb2;
     86 
     87 	USES_DIRS;
     88 
     89 	sprintf(pb, "%s/dir", mountpath);
     90 	if (rump_sys_mkdir(pb, 0777) == -1)
     91 		atf_tc_fail_errno("mkdir");
     92 	if (rump_sys_stat(pb, &sb1) == -1)
     93 		atf_tc_fail_errno("stat 1");
     94 
     95 	sprintf(pb, "%s/./dir/../././dir/.", mountpath);
     96 	if (rump_sys_stat(pb, &sb2) == -1)
     97 		atf_tc_fail_errno("stat 2");
     98 
     99 	ATF_REQUIRE(memcmp(&sb1, &sb2, sizeof(sb1)) == 0);
    100 }
    101 
    102 static void
    103 dir_simple(const atf_tc_t *tc, const char *mountpath)
    104 {
    105 	char pb[MAXPATHLEN];
    106 	struct stat sb;
    107 
    108 	USES_DIRS;
    109 
    110 	/* check we can create directories */
    111 	sprintf(pb, "%s/dir", mountpath);
    112 	if (rump_sys_mkdir(pb, 0777) == -1)
    113 		atf_tc_fail_errno("mkdir");
    114 	if (rump_sys_stat(pb, &sb) == -1)
    115 		atf_tc_fail_errno("stat new directory");
    116 
    117 	/* check we can remove then and that it makes them unreachable */
    118 	if (rump_sys_rmdir(pb) == -1)
    119 		atf_tc_fail_errno("rmdir");
    120 	if (rump_sys_stat(pb, &sb) != -1 || errno != ENOENT)
    121 		atf_tc_fail("ENOENT expected from stat");
    122 }
    123 
    124 static void
    125 dir_notempty(const atf_tc_t *tc, const char *mountpath)
    126 {
    127 	char pb[MAXPATHLEN], pb2[MAXPATHLEN];
    128 	int fd, rv;
    129 
    130 	USES_DIRS;
    131 
    132 	/* check we can create directories */
    133 	sprintf(pb, "%s/dir", mountpath);
    134 	if (rump_sys_mkdir(pb, 0777) == -1)
    135 		atf_tc_fail_errno("mkdir");
    136 
    137 	sprintf(pb2, "%s/dir/file", mountpath);
    138 	fd = rump_sys_open(pb2, O_RDWR | O_CREAT, 0777);
    139 	if (fd == -1)
    140 		atf_tc_fail_errno("create file");
    141 	rump_sys_close(fd);
    142 
    143 	rv = rump_sys_rmdir(pb);
    144 	if (rv != -1 || errno != ENOTEMPTY)
    145 		atf_tc_fail("non-empty directory removed succesfully");
    146 
    147 	if (rump_sys_unlink(pb2) == -1)
    148 		atf_tc_fail_errno("cannot remove dir/file");
    149 
    150 	if (rump_sys_rmdir(pb) == -1)
    151 		atf_tc_fail_errno("remove directory");
    152 }
    153 
    154 static void
    155 dir_rmdirdotdot(const atf_tc_t *tc, const char *mp)
    156 {
    157 	char pb[MAXPATHLEN];
    158 	int xerrno;
    159 
    160 	USES_DIRS;
    161 
    162 	FSTEST_ENTER();
    163 	RL(rump_sys_mkdir("test", 0777));
    164 	RL(rump_sys_chdir("test"));
    165 
    166 	RL(rump_sys_mkdir("subtest", 0777));
    167 	RL(rump_sys_chdir("subtest"));
    168 
    169 	md(pb, mp, "test/subtest");
    170 	RL(rump_sys_rmdir(pb));
    171 	md(pb, mp, "test");
    172 	RL(rump_sys_rmdir(pb));
    173 
    174 	if (FSTYPE_NFS(tc))
    175 		xerrno = ESTALE;
    176 	else
    177 		xerrno = ENOENT;
    178 	if (FSTYPE_TMPFS(tc))
    179 		atf_tc_expect_signal(-1, "PR kern/44657");
    180 	ATF_REQUIRE_ERRNO(xerrno, rump_sys_chdir("..") == -1);
    181 	FSTEST_EXIT();
    182 }
    183 
    184 static void
    185 checkfile(const char *path, struct stat *refp)
    186 {
    187 	char buf[MAXPATHLEN];
    188 	struct stat sb;
    189 	static int n = 1;
    190 
    191 	md(buf, path, "file");
    192 	if (rump_sys_stat(buf, &sb) == -1)
    193 		atf_tc_fail_errno("cannot stat file %d (%s)", n, buf);
    194 	if (memcmp(&sb, refp, sizeof(sb)) != 0)
    195 		atf_tc_fail("stat mismatch %d", n);
    196 	n++;
    197 }
    198 
    199 static void
    200 rename_dir(const atf_tc_t *tc, const char *mp)
    201 {
    202 	char pb1[MAXPATHLEN], pb2[MAXPATHLEN], pb3[MAXPATHLEN];
    203 	struct stat ref, sb;
    204 
    205 	if (FSTYPE_RUMPFS(tc))
    206 		atf_tc_skip("rename not supported by fs");
    207 
    208 	USES_DIRS;
    209 
    210 	md(pb1, mp, "dir1");
    211 	if (rump_sys_mkdir(pb1, 0777) == -1)
    212 		atf_tc_fail_errno("mkdir 1");
    213 
    214 	md(pb2, mp, "dir2");
    215 	if (rump_sys_mkdir(pb2, 0777) == -1)
    216 		atf_tc_fail_errno("mkdir 2");
    217 	md(pb2, mp, "dir2/subdir");
    218 	if (rump_sys_mkdir(pb2, 0777) == -1)
    219 		atf_tc_fail_errno("mkdir 3");
    220 
    221 	md(pb3, mp, "dir1/file");
    222 	if (rump_sys_mknod(pb3, S_IFREG | 0777, -1) == -1)
    223 		atf_tc_fail_errno("create file");
    224 	if (rump_sys_stat(pb3, &ref) == -1)
    225 		atf_tc_fail_errno("stat of file");
    226 
    227 	/*
    228 	 * First try ops which should succeed.
    229 	 */
    230 
    231 	/* rename within directory */
    232 	md(pb3, mp, "dir3");
    233 	if (rump_sys_rename(pb1, pb3) == -1)
    234 		atf_tc_fail_errno("rename 1");
    235 	checkfile(pb3, &ref);
    236 
    237 	/* rename directory onto itself (two ways, should fail) */
    238 	md(pb1, mp, "dir3/.");
    239 	if (rump_sys_rename(pb1, pb3) != -1 || errno != EINVAL)
    240 		atf_tc_fail_errno("rename 2");
    241 	if (rump_sys_rename(pb3, pb1) != -1 || errno != EISDIR)
    242 		atf_tc_fail_errno("rename 3");
    243 
    244 	checkfile(pb3, &ref);
    245 
    246 	/* rename father of directory into directory */
    247 	md(pb1, mp, "dir2/dir");
    248 	md(pb2, mp, "dir2");
    249 	if (rump_sys_rename(pb2, pb1) != -1 || errno != EINVAL)
    250 		atf_tc_fail_errno("rename 4");
    251 
    252 	/* same for grandfather */
    253 	md(pb1, mp, "dir2/subdir/dir2");
    254 	if (rump_sys_rename(pb2, pb1) != -1 || errno != EINVAL)
    255 		atf_tc_fail("rename 5");
    256 
    257 	checkfile(pb3, &ref);
    258 
    259 	/* rename directory over a non-empty directory */
    260 	if (rump_sys_rename(pb2, pb3) != -1 || errno != ENOTEMPTY)
    261 		atf_tc_fail("rename 6");
    262 
    263 	/* cross-directory rename */
    264 	md(pb1, mp, "dir3");
    265 	md(pb2, mp, "dir2/somedir");
    266 	if (rump_sys_rename(pb1, pb2) == -1)
    267 		atf_tc_fail_errno("rename 7");
    268 	checkfile(pb2, &ref);
    269 
    270 	/* move to parent directory */
    271 	md(pb1, mp, "dir2/somedir/../../dir3");
    272 	if (rump_sys_rename(pb2, pb1) == -1)
    273 		atf_tc_fail_errno("rename 8");
    274 	md(pb1, mp, "dir2/../dir3");
    275 	checkfile(pb1, &ref);
    276 
    277 	/* atomic cross-directory rename */
    278 	md(pb3, mp, "dir2/subdir");
    279 	if (rump_sys_rename(pb1, pb3) == -1)
    280 		atf_tc_fail_errno("rename 9");
    281 	checkfile(pb3, &ref);
    282 
    283 	/* rename directory over an empty directory */
    284 	md(pb1, mp, "parent");
    285 	md(pb2, mp, "parent/dir1");
    286 	md(pb3, mp, "parent/dir2");
    287 	RL(rump_sys_mkdir(pb1, 0777));
    288 	RL(rump_sys_mkdir(pb2, 0777));
    289 	RL(rump_sys_mkdir(pb3, 0777));
    290 	RL(rump_sys_rename(pb2, pb3));
    291 
    292 	RL(rump_sys_stat(pb1, &sb));
    293 	ATF_CHECK_EQ(sb.st_nlink, 3);
    294 	RL(rump_sys_rmdir(pb3));
    295 	if (FSTYPE_TMPFS(tc))
    296 		atf_tc_expect_signal(-1, "PR kern/44288");
    297 	RL(rump_sys_rmdir(pb1));
    298 
    299 	if (FSTYPE_MSDOS(tc))
    300 		atf_tc_expect_fail("PR kern/44661");
    301 }
    302 
    303 static void
    304 rename_dotdot(const atf_tc_t *tc, const char *mp)
    305 {
    306 
    307 	if (FSTYPE_RUMPFS(tc))
    308 		atf_tc_skip("rename not supported by fs");
    309 
    310 	USES_DIRS;
    311 
    312 	if (rump_sys_chdir(mp) == -1)
    313 		atf_tc_fail_errno("chdir mountpoint");
    314 
    315 	if (rump_sys_mkdir("dir1", 0777) == -1)
    316 		atf_tc_fail_errno("mkdir 1");
    317 	if (rump_sys_mkdir("dir2", 0777) == -1)
    318 		atf_tc_fail_errno("mkdir 2");
    319 
    320 	if (rump_sys_rename("dir1", "dir1/..") != -1 || errno != EINVAL)
    321 		atf_tc_fail_errno("self-dotdot to");
    322 
    323 	if (rump_sys_rename("dir1/..", "sometarget") != -1 || errno != EINVAL)
    324 		atf_tc_fail_errno("self-dotdot from");
    325 	atf_tc_expect_pass();
    326 
    327 	if (FSTYPE_TMPFS(tc)) {
    328 		atf_tc_expect_fail("PR kern/43617");
    329 	}
    330 	if (rump_sys_rename("dir1", "dir2/..") != -1 || errno != EINVAL)
    331 		atf_tc_fail("other-dotdot");
    332 
    333 	rump_sys_chdir("/");
    334 }
    335 
    336 static void
    337 rename_reg_nodir(const atf_tc_t *tc, const char *mp)
    338 {
    339 	bool haslinks;
    340 	struct stat sb;
    341 	ino_t f1ino, f2ino;
    342 
    343 	if (FSTYPE_RUMPFS(tc))
    344 		atf_tc_skip("rename not supported by fs");
    345 
    346 	if (rump_sys_chdir(mp) == -1)
    347 		atf_tc_fail_errno("chdir mountpoint");
    348 
    349 	if (FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))
    350 		haslinks = false;
    351 	else
    352 		haslinks = true;
    353 
    354 	if (rump_sys_mknod("file1", S_IFREG | 0777, -1) == -1)
    355 		atf_tc_fail_errno("create file");
    356 	if (rump_sys_mknod("file2", S_IFREG | 0777, -1) == -1)
    357 		atf_tc_fail_errno("create file");
    358 
    359 	if (rump_sys_stat("file1", &sb) == -1)
    360 		atf_tc_fail_errno("stat");
    361 	f1ino = sb.st_ino;
    362 
    363 	if (haslinks) {
    364 		if (rump_sys_link("file1", "file_link") == -1)
    365 			atf_tc_fail_errno("link");
    366 		if (rump_sys_stat("file_link", &sb) == -1)
    367 			atf_tc_fail_errno("stat");
    368 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    369 		ATF_REQUIRE_EQ(sb.st_nlink, 2);
    370 	}
    371 
    372 	if (rump_sys_stat("file2", &sb) == -1)
    373 		atf_tc_fail_errno("stat");
    374 	f2ino = sb.st_ino;
    375 
    376 	if (rump_sys_rename("file1", "file3") == -1)
    377 		atf_tc_fail_errno("rename 1");
    378 	if (rump_sys_stat("file3", &sb) == -1)
    379 		atf_tc_fail_errno("stat 1");
    380 	if (haslinks) {
    381 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    382 	}
    383 	if (rump_sys_stat("file1", &sb) != -1 || errno != ENOENT)
    384 		atf_tc_fail_errno("source 1");
    385 
    386 	if (rump_sys_rename("file3", "file2") == -1)
    387 		atf_tc_fail_errno("rename 2");
    388 	if (rump_sys_stat("file2", &sb) == -1)
    389 		atf_tc_fail_errno("stat 2");
    390 	if (haslinks) {
    391 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    392 	}
    393 
    394 	if (rump_sys_stat("file3", &sb) != -1 || errno != ENOENT)
    395 		atf_tc_fail_errno("source 2");
    396 
    397 	if (haslinks) {
    398 		if (rump_sys_rename("file2", "file_link") == -1)
    399 			atf_tc_fail_errno("rename hardlink");
    400 		if (rump_sys_stat("file2", &sb) != -1 || errno != ENOENT)
    401 			atf_tc_fail_errno("source 3");
    402 		if (rump_sys_stat("file_link", &sb) == -1)
    403 			atf_tc_fail_errno("stat 2");
    404 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    405 		ATF_REQUIRE_EQ(sb.st_nlink, 1);
    406 	}
    407 
    408 	rump_sys_chdir("/");
    409 }
    410 
    411 static void
    412 create_nametoolong(const atf_tc_t *tc, const char *mp)
    413 {
    414 	char *name;
    415 	int fd;
    416 	long val;
    417 	size_t len;
    418 
    419 	if (rump_sys_chdir(mp) == -1)
    420 		atf_tc_fail_errno("chdir mountpoint");
    421 
    422 	val = rump_sys_pathconf(".", _PC_NAME_MAX);
    423 	if (val == -1)
    424 		atf_tc_fail_errno("pathconf");
    425 
    426 	len = val + 1;
    427 	name = malloc(len+1);
    428 	if (name == NULL)
    429 		atf_tc_fail_errno("malloc");
    430 
    431 	memset(name, 'a', len);
    432 	*(name+len) = '\0';
    433 
    434 	val = rump_sys_pathconf(".", _PC_NO_TRUNC);
    435 	if (val == -1)
    436 		atf_tc_fail_errno("pathconf");
    437 
    438 	if (FSTYPE_MSDOS(tc))
    439 		atf_tc_expect_fail("PR kern/43670");
    440 	fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666);
    441 	if (val != 0 && (fd != -1 || errno != ENAMETOOLONG))
    442 		atf_tc_fail_errno("open");
    443 
    444 	if (val == 0 && rump_sys_close(fd) == -1)
    445 		atf_tc_fail_errno("close");
    446 	if (val == 0 && rump_sys_unlink(name) == -1)
    447 		atf_tc_fail_errno("unlink");
    448 
    449 	free(name);
    450 
    451 	rump_sys_chdir("/");
    452 }
    453 
    454 static void
    455 create_exist(const atf_tc_t *tc, const char *mp)
    456 {
    457 	const char *name = "hoge";
    458 	int fd;
    459 
    460 	RL(rump_sys_chdir(mp));
    461 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT|O_EXCL, 0666));
    462 	RL(rump_sys_close(fd));
    463 	RL(rump_sys_unlink(name));
    464 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666));
    465 	RL(rump_sys_close(fd));
    466 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666));
    467 	RL(rump_sys_close(fd));
    468 	ATF_REQUIRE_ERRNO(EEXIST,
    469 	    (fd = rump_sys_open(name, O_RDWR|O_CREAT|O_EXCL, 0666)));
    470 	RL(rump_sys_unlink(name));
    471 	RL(rump_sys_chdir("/"));
    472 }
    473 
    474 static void
    475 rename_nametoolong(const atf_tc_t *tc, const char *mp)
    476 {
    477 	char *name;
    478 	int res, fd;
    479 	long val;
    480 	size_t len;
    481 
    482 	if (FSTYPE_RUMPFS(tc))
    483 		atf_tc_skip("rename not supported by fs");
    484 
    485 	if (rump_sys_chdir(mp) == -1)
    486 		atf_tc_fail_errno("chdir mountpoint");
    487 
    488 	val = rump_sys_pathconf(".", _PC_NAME_MAX);
    489 	if (val == -1)
    490 		atf_tc_fail_errno("pathconf");
    491 
    492 	len = val + 1;
    493 	name = malloc(len+1);
    494 	if (name == NULL)
    495 		atf_tc_fail_errno("malloc");
    496 
    497 	memset(name, 'a', len);
    498 	*(name+len) = '\0';
    499 
    500 	fd = rump_sys_open("dummy", O_RDWR|O_CREAT, 0666);
    501 	if (fd == -1)
    502 		atf_tc_fail_errno("open");
    503 	if (rump_sys_close(fd) == -1)
    504 		atf_tc_fail_errno("close");
    505 
    506 	val = rump_sys_pathconf(".", _PC_NO_TRUNC);
    507 	if (val == -1)
    508 		atf_tc_fail_errno("pathconf");
    509 
    510 	if (FSTYPE_MSDOS(tc))
    511 		atf_tc_expect_fail("PR kern/43670");
    512 	res = rump_sys_rename("dummy", name);
    513 	if (val != 0 && (res != -1 || errno != ENAMETOOLONG))
    514 		atf_tc_fail_errno("rename");
    515 
    516 	if (val == 0 && rump_sys_unlink(name) == -1)
    517 		atf_tc_fail_errno("unlink");
    518 
    519 	free(name);
    520 
    521 	rump_sys_chdir("/");
    522 }
    523 
    524 static void
    525 symlink_zerolen(const atf_tc_t *tc, const char *mp)
    526 {
    527 
    528 	USES_SYMLINKS;
    529 
    530 	RL(rump_sys_chdir(mp));
    531 
    532 	if (FSTYPE_TMPFS(tc)) {
    533 		atf_tc_expect_signal(SIGABRT, "PR kern/43843");
    534 	}
    535 
    536 	RL(rump_sys_symlink("", "afile"));
    537 	RL(rump_sys_chdir("/"));
    538 }
    539 
    540 static void
    541 attrs(const atf_tc_t *tc, const char *mp)
    542 {
    543 	struct stat sb, sb2;
    544 	struct timeval tv[2];
    545 	int fd;
    546 
    547 	FSTEST_ENTER();
    548 	RL(fd = rump_sys_open(TESTFILE, O_RDWR | O_CREAT, 0755));
    549 	RL(rump_sys_close(fd));
    550 	RL(rump_sys_stat(TESTFILE, &sb));
    551 	if (!(FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))) {
    552 		RL(rump_sys_chown(TESTFILE, 1, 2));
    553 		sb.st_uid = 1;
    554 		sb.st_gid = 2;
    555 		RL(rump_sys_chmod(TESTFILE, 0123));
    556 		sb.st_mode = (sb.st_mode & ~ACCESSPERMS) | 0123;
    557 	}
    558 
    559 	tv[0].tv_sec = 1000000000; /* need something >1980 for msdosfs */
    560 	tv[0].tv_usec = 1;
    561 	tv[1].tv_sec = 1000000002; /* need even seconds for msdosfs */
    562 	tv[1].tv_usec = 3;
    563 	RL(rump_sys_utimes(TESTFILE, tv));
    564 	RL(rump_sys_utimes(TESTFILE, tv)); /* XXX: utimes & birthtime */
    565 	sb.st_atimespec.tv_sec = 1000000000;
    566 	sb.st_atimespec.tv_nsec = 1000;
    567 	sb.st_mtimespec.tv_sec = 1000000002;
    568 	sb.st_mtimespec.tv_nsec = 3000;
    569 
    570 	RL(rump_sys_stat(TESTFILE, &sb2));
    571 #define CHECK(a) ATF_REQUIRE_EQ(sb.a, sb2.a)
    572 	if (!(FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))) {
    573 		CHECK(st_uid);
    574 		CHECK(st_gid);
    575 		CHECK(st_mode);
    576 	}
    577 	if (!FSTYPE_MSDOS(tc)) {
    578 		/* msdosfs has only access date, not time */
    579 		CHECK(st_atimespec.tv_sec);
    580 	}
    581 	CHECK(st_mtimespec.tv_sec);
    582 	if (!(FSTYPE_EXT2FS(tc) || FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))) {
    583 		CHECK(st_atimespec.tv_nsec);
    584 		CHECK(st_mtimespec.tv_nsec);
    585 	}
    586 #undef  CHECK
    587 
    588 	FSTEST_EXIT();
    589 }
    590 
    591 static void
    592 fcntl_lock(const atf_tc_t *tc, const char *mp)
    593 {
    594 	int fd, fd2;
    595 	struct flock l;
    596 	struct lwp *lwp1, *lwp2;
    597 
    598 	FSTEST_ENTER();
    599 	l.l_pid = 0;
    600 	l.l_start = l.l_len = 1024;
    601 	l.l_type = F_RDLCK | F_WRLCK;
    602 	l.l_whence = SEEK_END;
    603 
    604 	lwp1 = rump_pub_lwproc_curlwp();
    605 	RL(fd = rump_sys_open(TESTFILE, O_RDWR | O_CREAT, 0755));
    606 	RL(rump_sys_ftruncate(fd, 8192));
    607 
    608 	/* PR kern/43321 */
    609 	RL(rump_sys_fcntl(fd, F_SETLK, &l));
    610 
    611 	/* Next, we fork and try to lock the same area */
    612 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    613 	lwp2 = rump_pub_lwproc_curlwp();
    614 	RL(fd2 = rump_sys_open(TESTFILE, O_RDWR, 0));
    615 	ATF_REQUIRE_ERRNO(EAGAIN, rump_sys_fcntl(fd2, F_SETLK, &l));
    616 
    617 	/* Switch back and unlock... */
    618 	rump_pub_lwproc_switch(lwp1);
    619 	l.l_type = F_UNLCK;
    620 	RL(rump_sys_fcntl(fd, F_SETLK, &l));
    621 
    622 	/* ... and try to lock again */
    623 	rump_pub_lwproc_switch(lwp2);
    624 	l.l_type = F_RDLCK | F_WRLCK;
    625 	RL(rump_sys_fcntl(fd2, F_SETLK, &l));
    626 
    627 	RL(rump_sys_close(fd2));
    628 	rump_pub_lwproc_releaselwp();
    629 
    630 	RL(rump_sys_close(fd));
    631 
    632 	FSTEST_EXIT();
    633 }
    634 
    635 static int
    636 flock_compare(const void *p, const void *q)
    637 {
    638 	int a = ((const struct flock *)p)->l_start;
    639 	int b = ((const struct flock *)q)->l_start;
    640 	return a < b ? -1 : (a > b ? 1 : 0);
    641 }
    642 
    643 static void
    644 fcntl_getlock_pids(const atf_tc_t *tc, const char *mp)
    645 {
    646 	/* test non-overlaping ranges */
    647 	struct flock expect[4];
    648 	const struct flock lock[4] = {
    649 		{ 0, 2, 0, F_WRLCK, SEEK_SET },
    650 		{ 2, 1, 0, F_WRLCK, SEEK_SET },
    651 		{ 7, 5, 0, F_WRLCK, SEEK_SET },
    652 		{ 4, 3, 0, F_WRLCK, SEEK_SET },
    653 	};
    654 
    655 	int fd[4];
    656 	struct lwp *lwp[4];
    657 	pid_t prevpid = 0;
    658 
    659 	unsigned int i, j;
    660 	const off_t sz = 8192;
    661 	int omode  = 0755;
    662 	int oflags = O_RDWR | O_CREAT;
    663 
    664 	memcpy(expect, lock, sizeof(lock));
    665 	qsort(expect, __arraycount(expect), sizeof(expect[0]), &flock_compare);
    666 
    667 	FSTEST_ENTER();
    668 
    669 	/*
    670 	 * First, we create 4 processes and let each lock a range of the
    671 	 * file.  Note that the third and fourth processes lock in
    672 	 * "reverse" order, i.e. the greater pid locks a range before
    673 	 * the lesser pid.
    674 	 */
    675 	for(i = 0; i < __arraycount(lwp); i++) {
    676 		RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    677 
    678 		lwp[i] = rump_pub_lwproc_curlwp();
    679 		assert(rump_sys_getpid() > prevpid);
    680 		prevpid = rump_sys_getpid();
    681 
    682 		RL(fd[i] = rump_sys_open(TESTFILE, oflags, omode));
    683 		oflags = O_RDWR;
    684 		omode  = 0;
    685 
    686 		RL(rump_sys_ftruncate(fd[i], sz));
    687 		RL(rump_sys_fcntl(fd[i], F_SETLK, &lock[i]));
    688 	}
    689 
    690 	atf_tc_expect_fail("PR kern/44494");
    691 	/*
    692 	 * In the context of each pid , do GETLK for a readlock from
    693 	 * i = [0,__arraycount(locks)].  If we try to lock from the same
    694 	 * start offset as the lock our current process holds, check
    695 	 * that we fail on the offset of the next lock ("else if" branch).
    696 	 * Otherwise, expect to get a lock for the current offset
    697 	 * ("if" branch).  The "else" branch is purely for the last
    698 	 * process where we expect no blocking locks.
    699 	 */
    700 	for(i = 0; i < __arraycount(lwp); i++) {
    701 		rump_pub_lwproc_switch(lwp[i]);
    702 
    703 		for(j = 0; j < __arraycount(lwp); j++) {
    704 			struct flock l;
    705 			l = expect[j];
    706 			l.l_len = sz;
    707 			l.l_type = F_RDLCK;
    708 
    709 			RL(rump_sys_fcntl(fd[i], F_GETLK, &l));
    710 
    711 			if(expect[j].l_start != lock[i].l_start) {
    712 				/*
    713 				 * lock set by another process
    714 				 */
    715 				ATF_CHECK(l.l_type != F_UNLCK);
    716 				ATF_CHECK_EQ(l.l_start, expect[j].l_start);
    717 				ATF_CHECK_EQ(l.l_len,   expect[j].l_len);
    718 			} else if (j != __arraycount(lwp) - 1) {
    719 				/*
    720 				 * lock set by the current process
    721 				 */
    722 				ATF_CHECK(l.l_type != F_UNLCK);
    723 				ATF_CHECK_EQ(l.l_start, expect[j+1].l_start);
    724 				ATF_CHECK_EQ(l.l_len,   expect[j+1].l_len);
    725 			} else {
    726 				/*
    727 				 * there are no other locks after the
    728 				 * current process lock
    729 				 */
    730 				ATF_CHECK_EQ(l.l_type,   F_UNLCK);
    731 				ATF_CHECK_EQ(l.l_start,  expect[j].l_start);
    732 				ATF_CHECK_EQ(l.l_len,    sz);
    733 				ATF_CHECK_EQ(l.l_pid,    expect[j].l_pid);
    734 				ATF_CHECK_EQ(l.l_whence, expect[j].l_whence);
    735 			}
    736 		}
    737 	}
    738 
    739 	/*
    740 	 * Release processes.  This also releases the fds and locks
    741 	 * making fs unmount possible
    742 	 */
    743 	for(i = 0; i < __arraycount(lwp); i++) {
    744 		rump_pub_lwproc_switch(lwp[i]);
    745 		rump_pub_lwproc_releaselwp();
    746 	}
    747 
    748 	FSTEST_EXIT();
    749 }
    750 
    751 static void
    752 access_simple(const atf_tc_t *tc, const char *mp)
    753 {
    754 	int fd;
    755 	int tmode;
    756 
    757 	FSTEST_ENTER();
    758 	RL(fd = rump_sys_open("tfile", O_CREAT | O_RDWR, 0777));
    759 	RL(rump_sys_close(fd));
    760 
    761 #define ALLACC (F_OK | X_OK | W_OK | R_OK)
    762 	if (FSTYPE_SYSVBFS(tc) || FSTYPE_MSDOS(tc))
    763 		tmode = F_OK;
    764 	else
    765 		tmode = ALLACC;
    766 
    767 	RL(rump_sys_access("tfile", tmode));
    768 
    769 	/* PR kern/44648 */
    770 	ATF_REQUIRE_ERRNO(EINVAL, rump_sys_access("tfile", ALLACC+1) == -1);
    771 #undef ALLACC
    772 	FSTEST_EXIT();
    773 }
    774 
    775 ATF_TC_FSAPPLY(lookup_simple, "simple lookup (./.. on root)");
    776 ATF_TC_FSAPPLY(lookup_complex, "lookup of non-dot entries");
    777 ATF_TC_FSAPPLY(dir_simple, "mkdir/rmdir");
    778 ATF_TC_FSAPPLY(dir_notempty, "non-empty directories cannot be removed");
    779 ATF_TC_FSAPPLY(dir_rmdirdotdot, "remove .. and try to cd out");
    780 ATF_TC_FSAPPLY(rename_dir, "exercise various directory renaming ops");
    781 ATF_TC_FSAPPLY(rename_dotdot, "rename dir ..");
    782 ATF_TC_FSAPPLY(rename_reg_nodir, "rename regular files, no subdirectories");
    783 ATF_TC_FSAPPLY(create_nametoolong, "create file with name too long");
    784 ATF_TC_FSAPPLY(create_exist, "create with O_EXCL");
    785 ATF_TC_FSAPPLY(rename_nametoolong, "rename to file with name too long");
    786 ATF_TC_FSAPPLY(symlink_zerolen, "symlink with 0-len target");
    787 ATF_TC_FSAPPLY(attrs, "check setting attributes works");
    788 ATF_TC_FSAPPLY(fcntl_lock, "check fcntl F_SETLK");
    789 ATF_TC_FSAPPLY(fcntl_getlock_pids,"fcntl F_GETLK w/ many procs, PR kern/44494");
    790 ATF_TC_FSAPPLY(access_simple, "access(2)");
    791 
    792 ATF_TP_ADD_TCS(tp)
    793 {
    794 
    795 	ATF_TP_FSAPPLY(lookup_simple);
    796 	ATF_TP_FSAPPLY(lookup_complex);
    797 	ATF_TP_FSAPPLY(dir_simple);
    798 	ATF_TP_FSAPPLY(dir_notempty);
    799 	ATF_TP_FSAPPLY(dir_rmdirdotdot);
    800 	ATF_TP_FSAPPLY(rename_dir);
    801 	ATF_TP_FSAPPLY(rename_dotdot);
    802 	ATF_TP_FSAPPLY(rename_reg_nodir);
    803 	ATF_TP_FSAPPLY(create_nametoolong);
    804 	ATF_TP_FSAPPLY(create_exist);
    805 	ATF_TP_FSAPPLY(rename_nametoolong);
    806 	ATF_TP_FSAPPLY(symlink_zerolen);
    807 	ATF_TP_FSAPPLY(attrs);
    808 	ATF_TP_FSAPPLY(fcntl_lock);
    809 	ATF_TP_FSAPPLY(fcntl_getlock_pids);
    810 	ATF_TP_FSAPPLY(access_simple);
    811 
    812 	return atf_no_error();
    813 }
    814