Home | History | Annotate | Line # | Download | only in vfs
t_vnops.c revision 1.34
      1 /*	$NetBSD: t_vnops.c,v 1.34 2013/03/16 05:45:37 jmmv 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))				\
     50 	atf_tc_skip("directories not supported by file system")
     51 
     52 #define USES_SYMLINKS					\
     53     if (FSTYPE_SYSVBFS(tc) || FSTYPE_MSDOS(tc))		\
     54 	atf_tc_skip("symlinks not supported by file system")
     55 
     56 static char *
     57 md(char *buf, const char *base, const char *tail)
     58 {
     59 
     60 	sprintf(buf, "%s/%s", base, tail);
     61 	return buf;
     62 }
     63 
     64 static void
     65 lookup_simple(const atf_tc_t *tc, const char *mountpath)
     66 {
     67 	char pb[MAXPATHLEN], final[MAXPATHLEN];
     68 	struct stat sb1, sb2;
     69 
     70 	strcpy(final, mountpath);
     71 	sprintf(pb, "%s/../%s", mountpath, basename(final));
     72 	if (rump_sys_stat(pb, &sb1) == -1)
     73 		atf_tc_fail_errno("stat 1");
     74 
     75 	sprintf(pb, "%s/./../%s", mountpath, basename(final));
     76 	if (rump_sys_stat(pb, &sb2) == -1)
     77 		atf_tc_fail_errno("stat 2");
     78 
     79 	ATF_REQUIRE(memcmp(&sb1, &sb2, sizeof(sb1)) == 0);
     80 }
     81 
     82 static void
     83 lookup_complex(const atf_tc_t *tc, const char *mountpath)
     84 {
     85 	char pb[MAXPATHLEN];
     86 	struct stat sb1, sb2;
     87 
     88 	USES_DIRS;
     89 
     90 	sprintf(pb, "%s/dir", mountpath);
     91 	if (rump_sys_mkdir(pb, 0777) == -1)
     92 		atf_tc_fail_errno("mkdir");
     93 	if (rump_sys_stat(pb, &sb1) == -1)
     94 		atf_tc_fail_errno("stat 1");
     95 
     96 	sprintf(pb, "%s/./dir/../././dir/.", mountpath);
     97 	if (rump_sys_stat(pb, &sb2) == -1)
     98 		atf_tc_fail_errno("stat 2");
     99 
    100 	ATF_REQUIRE(memcmp(&sb1, &sb2, sizeof(sb1)) == 0);
    101 }
    102 
    103 static void
    104 dir_simple(const atf_tc_t *tc, const char *mountpath)
    105 {
    106 	char pb[MAXPATHLEN];
    107 	struct stat sb;
    108 
    109 	USES_DIRS;
    110 
    111 	/* check we can create directories */
    112 	sprintf(pb, "%s/dir", mountpath);
    113 	if (rump_sys_mkdir(pb, 0777) == -1)
    114 		atf_tc_fail_errno("mkdir");
    115 	if (rump_sys_stat(pb, &sb) == -1)
    116 		atf_tc_fail_errno("stat new directory");
    117 
    118 	/* check we can remove then and that it makes them unreachable */
    119 	if (rump_sys_rmdir(pb) == -1)
    120 		atf_tc_fail_errno("rmdir");
    121 	if (rump_sys_stat(pb, &sb) != -1 || errno != ENOENT)
    122 		atf_tc_fail("ENOENT expected from stat");
    123 }
    124 
    125 static void
    126 dir_notempty(const atf_tc_t *tc, const char *mountpath)
    127 {
    128 	char pb[MAXPATHLEN], pb2[MAXPATHLEN];
    129 	int fd, rv;
    130 
    131 	USES_DIRS;
    132 
    133 	/* check we can create directories */
    134 	sprintf(pb, "%s/dir", mountpath);
    135 	if (rump_sys_mkdir(pb, 0777) == -1)
    136 		atf_tc_fail_errno("mkdir");
    137 
    138 	sprintf(pb2, "%s/dir/file", mountpath);
    139 	fd = rump_sys_open(pb2, O_RDWR | O_CREAT, 0777);
    140 	if (fd == -1)
    141 		atf_tc_fail_errno("create file");
    142 	rump_sys_close(fd);
    143 
    144 	rv = rump_sys_rmdir(pb);
    145 	if (FSTYPE_ZFS(tc))
    146 		atf_tc_expect_fail("PR kern/47656: Test known to be broken");
    147 	if (rv != -1 || errno != ENOTEMPTY)
    148 		atf_tc_fail("non-empty directory removed succesfully");
    149 
    150 	if (rump_sys_unlink(pb2) == -1)
    151 		atf_tc_fail_errno("cannot remove dir/file");
    152 
    153 	if (rump_sys_rmdir(pb) == -1)
    154 		atf_tc_fail_errno("remove directory");
    155 }
    156 
    157 static void
    158 dir_rmdirdotdot(const atf_tc_t *tc, const char *mp)
    159 {
    160 	char pb[MAXPATHLEN];
    161 	int xerrno;
    162 
    163 	USES_DIRS;
    164 
    165 	FSTEST_ENTER();
    166 	RL(rump_sys_mkdir("test", 0777));
    167 	RL(rump_sys_chdir("test"));
    168 
    169 	RL(rump_sys_mkdir("subtest", 0777));
    170 	RL(rump_sys_chdir("subtest"));
    171 
    172 	md(pb, mp, "test/subtest");
    173 	RL(rump_sys_rmdir(pb));
    174 	md(pb, mp, "test");
    175 	RL(rump_sys_rmdir(pb));
    176 
    177 	if (FSTYPE_NFS(tc))
    178 		xerrno = ESTALE;
    179 	else
    180 		xerrno = ENOENT;
    181 	ATF_REQUIRE_ERRNO(xerrno, rump_sys_chdir("..") == -1);
    182 	FSTEST_EXIT();
    183 }
    184 
    185 static void
    186 checkfile(const char *path, struct stat *refp)
    187 {
    188 	char buf[MAXPATHLEN];
    189 	struct stat sb;
    190 	static int n = 1;
    191 
    192 	md(buf, path, "file");
    193 	if (rump_sys_stat(buf, &sb) == -1)
    194 		atf_tc_fail_errno("cannot stat file %d (%s)", n, buf);
    195 	if (memcmp(&sb, refp, sizeof(sb)) != 0)
    196 		atf_tc_fail("stat mismatch %d", n);
    197 	n++;
    198 }
    199 
    200 static void
    201 rename_dir(const atf_tc_t *tc, const char *mp)
    202 {
    203 	char pb1[MAXPATHLEN], pb2[MAXPATHLEN], pb3[MAXPATHLEN];
    204 	struct stat ref, sb;
    205 
    206 	if (FSTYPE_RUMPFS(tc))
    207 		atf_tc_skip("rename not supported by file system");
    208 
    209 	USES_DIRS;
    210 
    211 	md(pb1, mp, "dir1");
    212 	if (rump_sys_mkdir(pb1, 0777) == -1)
    213 		atf_tc_fail_errno("mkdir 1");
    214 
    215 	md(pb2, mp, "dir2");
    216 	if (rump_sys_mkdir(pb2, 0777) == -1)
    217 		atf_tc_fail_errno("mkdir 2");
    218 	md(pb2, mp, "dir2/subdir");
    219 	if (rump_sys_mkdir(pb2, 0777) == -1)
    220 		atf_tc_fail_errno("mkdir 3");
    221 
    222 	md(pb3, mp, "dir1/file");
    223 	if (rump_sys_mknod(pb3, S_IFREG | 0777, -1) == -1)
    224 		atf_tc_fail_errno("create file");
    225 	if (rump_sys_stat(pb3, &ref) == -1)
    226 		atf_tc_fail_errno("stat of file");
    227 
    228 	/*
    229 	 * First try ops which should succeed.
    230 	 */
    231 
    232 	/* rename within directory */
    233 	md(pb3, mp, "dir3");
    234 	if (rump_sys_rename(pb1, pb3) == -1)
    235 		atf_tc_fail_errno("rename 1");
    236 	checkfile(pb3, &ref);
    237 
    238 	/* rename directory onto itself (two ways, should fail) */
    239 	md(pb1, mp, "dir3/.");
    240 	if (rump_sys_rename(pb1, pb3) != -1 || errno != EINVAL)
    241 		atf_tc_fail_errno("rename 2");
    242 	if (FSTYPE_ZFS(tc))
    243 		atf_tc_expect_fail("PR kern/47656: Test known to be broken");
    244 	if (rump_sys_rename(pb3, pb1) != -1 || errno != EISDIR)
    245 		atf_tc_fail_errno("rename 3");
    246 
    247 	checkfile(pb3, &ref);
    248 
    249 	/* rename father of directory into directory */
    250 	md(pb1, mp, "dir2/dir");
    251 	md(pb2, mp, "dir2");
    252 	if (rump_sys_rename(pb2, pb1) != -1 || errno != EINVAL)
    253 		atf_tc_fail_errno("rename 4");
    254 
    255 	/* same for grandfather */
    256 	md(pb1, mp, "dir2/subdir/dir2");
    257 	if (rump_sys_rename(pb2, pb1) != -1 || errno != EINVAL)
    258 		atf_tc_fail("rename 5");
    259 
    260 	checkfile(pb3, &ref);
    261 
    262 	/* rename directory over a non-empty directory */
    263 	if (rump_sys_rename(pb2, pb3) != -1 || errno != ENOTEMPTY)
    264 		atf_tc_fail("rename 6");
    265 
    266 	/* cross-directory rename */
    267 	md(pb1, mp, "dir3");
    268 	md(pb2, mp, "dir2/somedir");
    269 	if (rump_sys_rename(pb1, pb2) == -1)
    270 		atf_tc_fail_errno("rename 7");
    271 	checkfile(pb2, &ref);
    272 
    273 	/* move to parent directory */
    274 	md(pb1, mp, "dir2/somedir/../../dir3");
    275 	if (rump_sys_rename(pb2, pb1) == -1)
    276 		atf_tc_fail_errno("rename 8");
    277 	md(pb1, mp, "dir2/../dir3");
    278 	checkfile(pb1, &ref);
    279 
    280 	/* atomic cross-directory rename */
    281 	md(pb3, mp, "dir2/subdir");
    282 	if (rump_sys_rename(pb1, pb3) == -1)
    283 		atf_tc_fail_errno("rename 9");
    284 	checkfile(pb3, &ref);
    285 
    286 	/* rename directory over an empty directory */
    287 	md(pb1, mp, "parent");
    288 	md(pb2, mp, "parent/dir1");
    289 	md(pb3, mp, "parent/dir2");
    290 	RL(rump_sys_mkdir(pb1, 0777));
    291 	RL(rump_sys_mkdir(pb2, 0777));
    292 	RL(rump_sys_mkdir(pb3, 0777));
    293 	RL(rump_sys_rename(pb2, pb3));
    294 
    295 	RL(rump_sys_stat(pb1, &sb));
    296 	if (! FSTYPE_MSDOS(tc))
    297 		ATF_CHECK_EQ(sb.st_nlink, 3);
    298 	RL(rump_sys_rmdir(pb3));
    299 	RL(rump_sys_rmdir(pb1));
    300 }
    301 
    302 static void
    303 rename_dotdot(const atf_tc_t *tc, const char *mp)
    304 {
    305 
    306 	if (FSTYPE_RUMPFS(tc))
    307 		atf_tc_skip("rename not supported by file system");
    308 
    309 	USES_DIRS;
    310 
    311 	if (rump_sys_chdir(mp) == -1)
    312 		atf_tc_fail_errno("chdir mountpoint");
    313 
    314 	if (rump_sys_mkdir("dir1", 0777) == -1)
    315 		atf_tc_fail_errno("mkdir 1");
    316 	if (rump_sys_mkdir("dir2", 0777) == -1)
    317 		atf_tc_fail_errno("mkdir 2");
    318 
    319 	if (rump_sys_rename("dir1", "dir1/..") != -1 || errno != EINVAL)
    320 		atf_tc_fail_errno("self-dotdot to");
    321 
    322 	if (rump_sys_rename("dir1/..", "sometarget") != -1 || errno != EINVAL)
    323 		atf_tc_fail_errno("self-dotdot from");
    324 
    325 	if (rump_sys_rename("dir1", "dir2/..") != -1 || errno != EINVAL)
    326 		atf_tc_fail("other-dotdot");
    327 
    328 	rump_sys_chdir("/");
    329 }
    330 
    331 static void
    332 rename_reg_nodir(const atf_tc_t *tc, const char *mp)
    333 {
    334 	bool haslinks;
    335 	struct stat sb;
    336 	ino_t f1ino, f2ino;
    337 
    338 	if (FSTYPE_RUMPFS(tc))
    339 		atf_tc_skip("rename not supported by file system");
    340 
    341 	if (rump_sys_chdir(mp) == -1)
    342 		atf_tc_fail_errno("chdir mountpoint");
    343 
    344 	if (FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))
    345 		haslinks = false;
    346 	else
    347 		haslinks = true;
    348 
    349 	if (rump_sys_mknod("file1", S_IFREG | 0777, -1) == -1)
    350 		atf_tc_fail_errno("create file");
    351 	if (rump_sys_mknod("file2", S_IFREG | 0777, -1) == -1)
    352 		atf_tc_fail_errno("create file");
    353 
    354 	if (rump_sys_stat("file1", &sb) == -1)
    355 		atf_tc_fail_errno("stat");
    356 	f1ino = sb.st_ino;
    357 
    358 	if (haslinks) {
    359 		if (rump_sys_link("file1", "file_link") == -1)
    360 			atf_tc_fail_errno("link");
    361 		if (rump_sys_stat("file_link", &sb) == -1)
    362 			atf_tc_fail_errno("stat");
    363 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    364 		ATF_REQUIRE_EQ(sb.st_nlink, 2);
    365 	}
    366 
    367 	if (rump_sys_stat("file2", &sb) == -1)
    368 		atf_tc_fail_errno("stat");
    369 	f2ino = sb.st_ino;
    370 
    371 	if (rump_sys_rename("file1", "file3") == -1)
    372 		atf_tc_fail_errno("rename 1");
    373 	if (rump_sys_stat("file3", &sb) == -1)
    374 		atf_tc_fail_errno("stat 1");
    375 	if (haslinks) {
    376 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    377 	}
    378 	if (rump_sys_stat("file1", &sb) != -1 || errno != ENOENT)
    379 		atf_tc_fail_errno("source 1");
    380 
    381 	if (rump_sys_rename("file3", "file2") == -1)
    382 		atf_tc_fail_errno("rename 2");
    383 	if (rump_sys_stat("file2", &sb) == -1)
    384 		atf_tc_fail_errno("stat 2");
    385 	if (haslinks) {
    386 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    387 	}
    388 
    389 	if (rump_sys_stat("file3", &sb) != -1 || errno != ENOENT)
    390 		atf_tc_fail_errno("source 2");
    391 
    392 	if (haslinks) {
    393 		if (rump_sys_rename("file2", "file_link") == -1)
    394 			atf_tc_fail_errno("rename hardlink");
    395 		if (rump_sys_stat("file2", &sb) != -1 || errno != ENOENT)
    396 			atf_tc_fail_errno("source 3");
    397 		if (rump_sys_stat("file_link", &sb) == -1)
    398 			atf_tc_fail_errno("stat 2");
    399 		ATF_REQUIRE_EQ(sb.st_ino, f1ino);
    400 		ATF_REQUIRE_EQ(sb.st_nlink, 1);
    401 	}
    402 
    403 	rump_sys_chdir("/");
    404 }
    405 
    406 static void
    407 create_nametoolong(const atf_tc_t *tc, const char *mp)
    408 {
    409 	char *name;
    410 	int fd;
    411 	long val;
    412 	size_t len;
    413 
    414 	if (rump_sys_chdir(mp) == -1)
    415 		atf_tc_fail_errno("chdir mountpoint");
    416 
    417 	val = rump_sys_pathconf(".", _PC_NAME_MAX);
    418 	if (val == -1)
    419 		atf_tc_fail_errno("pathconf");
    420 
    421 	len = val + 1;
    422 	name = malloc(len+1);
    423 	if (name == NULL)
    424 		atf_tc_fail_errno("malloc");
    425 
    426 	memset(name, 'a', len);
    427 	*(name+len) = '\0';
    428 
    429 	val = rump_sys_pathconf(".", _PC_NO_TRUNC);
    430 	if (val == -1)
    431 		atf_tc_fail_errno("pathconf");
    432 
    433 	fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666);
    434 	if (val != 0 && (fd != -1 || errno != ENAMETOOLONG))
    435 		atf_tc_fail_errno("open");
    436 
    437 	if (val == 0 && rump_sys_close(fd) == -1)
    438 		atf_tc_fail_errno("close");
    439 	if (val == 0 && rump_sys_unlink(name) == -1)
    440 		atf_tc_fail_errno("unlink");
    441 
    442 	free(name);
    443 
    444 	rump_sys_chdir("/");
    445 }
    446 
    447 static void
    448 create_exist(const atf_tc_t *tc, const char *mp)
    449 {
    450 	const char *name = "hoge";
    451 	int fd;
    452 
    453 	RL(rump_sys_chdir(mp));
    454 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT|O_EXCL, 0666));
    455 	RL(rump_sys_close(fd));
    456 	RL(rump_sys_unlink(name));
    457 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666));
    458 	RL(rump_sys_close(fd));
    459 	RL(fd = rump_sys_open(name, O_RDWR|O_CREAT, 0666));
    460 	RL(rump_sys_close(fd));
    461 	ATF_REQUIRE_ERRNO(EEXIST,
    462 	    (fd = rump_sys_open(name, O_RDWR|O_CREAT|O_EXCL, 0666)));
    463 	RL(rump_sys_unlink(name));
    464 	RL(rump_sys_chdir("/"));
    465 }
    466 
    467 static void
    468 rename_nametoolong(const atf_tc_t *tc, const char *mp)
    469 {
    470 	char *name;
    471 	int res, fd;
    472 	long val;
    473 	size_t len;
    474 
    475 	if (FSTYPE_RUMPFS(tc))
    476 		atf_tc_skip("rename not supported by file system");
    477 
    478 	if (rump_sys_chdir(mp) == -1)
    479 		atf_tc_fail_errno("chdir mountpoint");
    480 
    481 	val = rump_sys_pathconf(".", _PC_NAME_MAX);
    482 	if (val == -1)
    483 		atf_tc_fail_errno("pathconf");
    484 
    485 	len = val + 1;
    486 	name = malloc(len+1);
    487 	if (name == NULL)
    488 		atf_tc_fail_errno("malloc");
    489 
    490 	memset(name, 'a', len);
    491 	*(name+len) = '\0';
    492 
    493 	fd = rump_sys_open("dummy", O_RDWR|O_CREAT, 0666);
    494 	if (fd == -1)
    495 		atf_tc_fail_errno("open");
    496 	if (rump_sys_close(fd) == -1)
    497 		atf_tc_fail_errno("close");
    498 
    499 	val = rump_sys_pathconf(".", _PC_NO_TRUNC);
    500 	if (val == -1)
    501 		atf_tc_fail_errno("pathconf");
    502 
    503 	res = rump_sys_rename("dummy", name);
    504 	if (val != 0 && (res != -1 || errno != ENAMETOOLONG))
    505 		atf_tc_fail_errno("rename");
    506 
    507 	if (val == 0 && rump_sys_unlink(name) == -1)
    508 		atf_tc_fail_errno("unlink");
    509 
    510 	free(name);
    511 
    512 	rump_sys_chdir("/");
    513 }
    514 
    515 static void
    516 symlink_zerolen(const atf_tc_t *tc, const char *mp)
    517 {
    518 
    519 	USES_SYMLINKS;
    520 
    521 	RL(rump_sys_chdir(mp));
    522 
    523 	RL(rump_sys_symlink("", "afile"));
    524 	RL(rump_sys_chdir("/"));
    525 }
    526 
    527 static void
    528 symlink_root(const atf_tc_t *tc, const char *mp)
    529 {
    530 
    531 	USES_SYMLINKS;
    532 
    533 	RL(rump_sys_chdir(mp));
    534 	RL(rump_sys_symlink("/", "foo"));
    535 	RL(rump_sys_chdir("foo"));
    536 }
    537 
    538 static void
    539 attrs(const atf_tc_t *tc, const char *mp)
    540 {
    541 	struct stat sb, sb2;
    542 	struct timeval tv[2];
    543 	int fd;
    544 
    545 	FSTEST_ENTER();
    546 	RL(fd = rump_sys_open(TESTFILE, O_RDWR | O_CREAT, 0755));
    547 	RL(rump_sys_close(fd));
    548 	RL(rump_sys_stat(TESTFILE, &sb));
    549 	if (!(FSTYPE_MSDOS(tc) || FSTYPE_SYSVBFS(tc))) {
    550 		RL(rump_sys_chown(TESTFILE, 1, 2));
    551 		sb.st_uid = 1;
    552 		sb.st_gid = 2;
    553 		RL(rump_sys_chmod(TESTFILE, 0123));
    554 		sb.st_mode = (sb.st_mode & ~ACCESSPERMS) | 0123;
    555 	}
    556 
    557 	tv[0].tv_sec = 1000000000; /* need something >1980 for msdosfs */
    558 	tv[0].tv_usec = 1;
    559 	tv[1].tv_sec = 1000000002; /* need even seconds for msdosfs */
    560 	tv[1].tv_usec = 3;
    561 	RL(rump_sys_utimes(TESTFILE, tv));
    562 	RL(rump_sys_utimes(TESTFILE, tv)); /* XXX: utimes & birthtime */
    563 	sb.st_atimespec.tv_sec = 1000000000;
    564 	sb.st_atimespec.tv_nsec = 1000;
    565 	sb.st_mtimespec.tv_sec = 1000000002;
    566 	sb.st_mtimespec.tv_nsec = 3000;
    567 
    568 	RL(rump_sys_stat(TESTFILE, &sb2));
    569 #define CHECK(a) ATF_REQUIRE_EQ(sb.a, sb2.a)
    570 	if (FSTYPE_ZFS(tc))
    571 		atf_tc_expect_fail("PR kern/47656: Test known to be broken");
    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) ||
    583 	      FSTYPE_SYSVBFS(tc) || FSTYPE_V7FS(tc))) {
    584 		CHECK(st_atimespec.tv_nsec);
    585 		CHECK(st_mtimespec.tv_nsec);
    586 	}
    587 #undef  CHECK
    588 
    589 	FSTEST_EXIT();
    590 }
    591 
    592 static void
    593 fcntl_lock(const atf_tc_t *tc, const char *mp)
    594 {
    595 	int fd, fd2;
    596 	struct flock l;
    597 	struct lwp *lwp1, *lwp2;
    598 
    599 	FSTEST_ENTER();
    600 	l.l_pid = 0;
    601 	l.l_start = l.l_len = 1024;
    602 	l.l_type = F_RDLCK | F_WRLCK;
    603 	l.l_whence = SEEK_END;
    604 
    605 	lwp1 = rump_pub_lwproc_curlwp();
    606 	RL(fd = rump_sys_open(TESTFILE, O_RDWR | O_CREAT, 0755));
    607 	RL(rump_sys_ftruncate(fd, 8192));
    608 
    609 	/* PR kern/43321 */
    610 	if (FSTYPE_ZFS(tc))
    611 		atf_tc_expect_fail("PR kern/47656: Test known to be broken");
    612 	RL(rump_sys_fcntl(fd, F_SETLK, &l));
    613 
    614 	/* Next, we fork and try to lock the same area */
    615 	RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    616 	lwp2 = rump_pub_lwproc_curlwp();
    617 	RL(fd2 = rump_sys_open(TESTFILE, O_RDWR, 0));
    618 	ATF_REQUIRE_ERRNO(EAGAIN, rump_sys_fcntl(fd2, F_SETLK, &l));
    619 
    620 	/* Switch back and unlock... */
    621 	rump_pub_lwproc_switch(lwp1);
    622 	l.l_type = F_UNLCK;
    623 	RL(rump_sys_fcntl(fd, F_SETLK, &l));
    624 
    625 	/* ... and try to lock again */
    626 	rump_pub_lwproc_switch(lwp2);
    627 	l.l_type = F_RDLCK | F_WRLCK;
    628 	RL(rump_sys_fcntl(fd2, F_SETLK, &l));
    629 
    630 	RL(rump_sys_close(fd2));
    631 	rump_pub_lwproc_releaselwp();
    632 
    633 	RL(rump_sys_close(fd));
    634 
    635 	FSTEST_EXIT();
    636 }
    637 
    638 static int
    639 flock_compare(const void *p, const void *q)
    640 {
    641 	int a = ((const struct flock *)p)->l_start;
    642 	int b = ((const struct flock *)q)->l_start;
    643 	return a < b ? -1 : (a > b ? 1 : 0);
    644 }
    645 
    646 /*
    647  * Find all locks set by fcntl_getlock_pids test
    648  * using GETLK for a range [start, start+end], and,
    649  * if there is a blocking lock, recursively find
    650  * all locks to the left (toward the beginning of
    651  * a file) and to the right of the lock.
    652  * The function also understands "until end of file"
    653  * convention when len==0.
    654  */
    655 static unsigned int
    656 fcntl_getlocks(int fildes, off_t start, off_t len,
    657     struct flock *lock, struct flock *end)
    658 {
    659 	unsigned int rv = 0;
    660 	const struct flock l = { start, len, 0, F_RDLCK, SEEK_SET };
    661 
    662 	if (lock == end)
    663 		return rv;
    664 
    665 	RL(rump_sys_fcntl(fildes, F_GETLK, &l));
    666 
    667 	if (l.l_type == F_UNLCK)
    668 		return rv;
    669 
    670 	*lock++ = l;
    671 	rv += 1;
    672 
    673 	ATF_REQUIRE(l.l_whence == SEEK_SET);
    674 
    675 	if (l.l_start > start) {
    676 		unsigned int n =
    677 		    fcntl_getlocks(fildes, start, l.l_start - start, lock, end);
    678 		rv += n;
    679 		lock += n;
    680 		if (lock == end)
    681 			return rv;
    682 	}
    683 
    684 	if (l.l_len == 0) /* does l spans until the end? */
    685 		return rv;
    686 
    687 	if (len == 0) /* are we looking for locks until the end? */ {
    688 		rv += fcntl_getlocks(fildes, l.l_start + l.l_len, len, lock, end);
    689 	} else if (l.l_start + l.l_len < start + len) {
    690 		len -= l.l_start + l.l_len - start;
    691 		rv += fcntl_getlocks(fildes, l.l_start + l.l_len, len, lock, end);
    692 	}
    693 
    694 	return rv;
    695 }
    696 
    697 static void
    698 fcntl_getlock_pids(const atf_tc_t *tc, const char *mp)
    699 {
    700 	/* test non-overlaping ranges */
    701 	struct flock expect[4];
    702 	const struct flock lock[4] = {
    703 		{ 0, 2, 0, F_WRLCK, SEEK_SET },
    704 		{ 2, 1, 0, F_WRLCK, SEEK_SET },
    705 		{ 7, 5, 0, F_WRLCK, SEEK_SET },
    706 		{ 4, 3, 0, F_WRLCK, SEEK_SET },
    707 	};
    708 
    709     /* Add extra element to make sure recursion does't stop at array end */
    710 	struct flock result[5];
    711 
    712 	/* Add 5th process */
    713 	int fd[5];
    714 	pid_t pid[5];
    715 	struct lwp *lwp[5];
    716 
    717 	unsigned int i, j;
    718 	const off_t sz = 8192;
    719 	int omode  = 0755;
    720 	int oflags = O_RDWR | O_CREAT;
    721 
    722 	memcpy(expect, lock, sizeof(lock));
    723 
    724 	FSTEST_ENTER();
    725 
    726 	/*
    727 	 * First, we create 4 processes and let each lock a range of the
    728 	 * file.  Note that the third and fourth processes lock in
    729 	 * "reverse" order, i.e. the greater pid locks a range before
    730 	 * the lesser pid.
    731 	 * Then, we create 5th process which doesn't lock anything.
    732 	 */
    733 	for (i = 0; i < __arraycount(lwp); i++) {
    734 		RZ(rump_pub_lwproc_rfork(RUMP_RFCFDG));
    735 
    736 		lwp[i] = rump_pub_lwproc_curlwp();
    737 		pid[i] = rump_sys_getpid();
    738 
    739 		RL(fd[i] = rump_sys_open(TESTFILE, oflags, omode));
    740 		oflags = O_RDWR;
    741 		omode  = 0;
    742 
    743 		RL(rump_sys_ftruncate(fd[i], sz));
    744 
    745 		if (FSTYPE_ZFS(tc))
    746 			atf_tc_expect_fail("PR kern/47656: Test known to be "
    747 			    "broken");
    748 		if (i < __arraycount(lock)) {
    749 			RL(rump_sys_fcntl(fd[i], F_SETLK, &lock[i]));
    750 			expect[i].l_pid = pid[i];
    751 		}
    752 	}
    753 
    754 	qsort(expect, __arraycount(expect), sizeof(expect[0]), &flock_compare);
    755 
    756 	/*
    757 	 * In the context of each process, recursively find all locks
    758 	 * that would block the current process. Processes 1-4 don't
    759 	 * see their own lock, we insert it to simplify checks.
    760 	 * Process 5 sees all 4 locks.
    761 	 */
    762 	for (i = 0; i < __arraycount(lwp); i++) {
    763 		unsigned int nlocks;
    764 
    765 		rump_pub_lwproc_switch(lwp[i]);
    766 
    767 		memset(result, 0, sizeof(result));
    768 		nlocks = fcntl_getlocks(fd[i], 0, sz,
    769 		    result, result + __arraycount(result));
    770 
    771 		if (i < __arraycount(lock)) {
    772 			ATF_REQUIRE(nlocks < __arraycount(result));
    773 			result[nlocks] = lock[i];
    774 			result[nlocks].l_pid = pid[i];
    775 			nlocks++;
    776 		}
    777 
    778 		ATF_CHECK_EQ(nlocks, __arraycount(expect));
    779 
    780 		qsort(result, nlocks, sizeof(result[0]), &flock_compare);
    781 
    782 		for (j = 0; j < nlocks; j++) {
    783 			ATF_CHECK_EQ(result[j].l_start,  expect[j].l_start );
    784 			ATF_CHECK_EQ(result[j].l_len,    expect[j].l_len   );
    785 			ATF_CHECK_EQ(result[j].l_pid,    expect[j].l_pid   );
    786 			ATF_CHECK_EQ(result[j].l_type,   expect[j].l_type  );
    787 			ATF_CHECK_EQ(result[j].l_whence, expect[j].l_whence);
    788 		}
    789 	}
    790 
    791 	/*
    792 	 * Release processes.  This also releases the fds and locks
    793 	 * making fs unmount possible
    794 	 */
    795 	for (i = 0; i < __arraycount(lwp); i++) {
    796 		rump_pub_lwproc_switch(lwp[i]);
    797 		rump_pub_lwproc_releaselwp();
    798 	}
    799 
    800 	FSTEST_EXIT();
    801 }
    802 
    803 static void
    804 access_simple(const atf_tc_t *tc, const char *mp)
    805 {
    806 	int fd;
    807 	int tmode;
    808 
    809 	FSTEST_ENTER();
    810 	RL(fd = rump_sys_open("tfile", O_CREAT | O_RDWR, 0777));
    811 	RL(rump_sys_close(fd));
    812 
    813 #define ALLACC (F_OK | X_OK | W_OK | R_OK)
    814 	if (FSTYPE_SYSVBFS(tc) || FSTYPE_MSDOS(tc))
    815 		tmode = F_OK;
    816 	else
    817 		tmode = ALLACC;
    818 
    819 	RL(rump_sys_access("tfile", tmode));
    820 
    821 	/* PR kern/44648 */
    822 	ATF_REQUIRE_ERRNO(EINVAL, rump_sys_access("tfile", ALLACC+1) == -1);
    823 #undef ALLACC
    824 	FSTEST_EXIT();
    825 }
    826 
    827 static void
    828 read_directory(const atf_tc_t *tc, const char *mp)
    829 {
    830 	char buf[1024];
    831 	int fd, res;
    832 	ssize_t size;
    833 
    834 	FSTEST_ENTER();
    835 	fd = rump_sys_open(".", O_DIRECTORY | O_RDONLY, 0777);
    836 	ATF_REQUIRE(fd != -1);
    837 
    838 	size = rump_sys_pread(fd, buf, sizeof(buf), 0);
    839 	ATF_CHECK(size != -1 || errno == EISDIR);
    840 	size = rump_sys_read(fd, buf, sizeof(buf));
    841 	ATF_CHECK(size != -1 || errno == EISDIR);
    842 
    843 	res = rump_sys_close(fd);
    844 	ATF_REQUIRE(res != -1);
    845 	FSTEST_EXIT();
    846 }
    847 
    848 ATF_TC_FSAPPLY(lookup_simple, "simple lookup (./.. on root)");
    849 ATF_TC_FSAPPLY(lookup_complex, "lookup of non-dot entries");
    850 ATF_TC_FSAPPLY(dir_simple, "mkdir/rmdir");
    851 ATF_TC_FSAPPLY(dir_notempty, "non-empty directories cannot be removed");
    852 ATF_TC_FSAPPLY(dir_rmdirdotdot, "remove .. and try to cd out (PR kern/44657)");
    853 ATF_TC_FSAPPLY(rename_dir, "exercise various directory renaming ops "
    854 "(PR kern/44288)");
    855 ATF_TC_FSAPPLY(rename_dotdot, "rename dir .. (PR kern/43617)");
    856 ATF_TC_FSAPPLY(rename_reg_nodir, "rename regular files, no subdirectories");
    857 ATF_TC_FSAPPLY(create_nametoolong, "create file with name too long");
    858 ATF_TC_FSAPPLY(create_exist, "create with O_EXCL");
    859 ATF_TC_FSAPPLY(rename_nametoolong, "rename to file with name too long");
    860 ATF_TC_FSAPPLY(symlink_zerolen, "symlink with 0-len target");
    861 ATF_TC_FSAPPLY(symlink_root, "symlink to root directory");
    862 ATF_TC_FSAPPLY(attrs, "check setting attributes works");
    863 ATF_TC_FSAPPLY(fcntl_lock, "check fcntl F_SETLK");
    864 ATF_TC_FSAPPLY(fcntl_getlock_pids,"fcntl F_GETLK w/ many procs, PR kern/44494");
    865 ATF_TC_FSAPPLY(access_simple, "access(2)");
    866 ATF_TC_FSAPPLY(read_directory, "read(2) on directories");
    867 
    868 ATF_TP_ADD_TCS(tp)
    869 {
    870 
    871 	ATF_TP_FSAPPLY(lookup_simple);
    872 	ATF_TP_FSAPPLY(lookup_complex);
    873 	ATF_TP_FSAPPLY(dir_simple);
    874 	ATF_TP_FSAPPLY(dir_notempty);
    875 	ATF_TP_FSAPPLY(dir_rmdirdotdot);
    876 	ATF_TP_FSAPPLY(rename_dir);
    877 	ATF_TP_FSAPPLY(rename_dotdot);
    878 	ATF_TP_FSAPPLY(rename_reg_nodir);
    879 	ATF_TP_FSAPPLY(create_nametoolong);
    880 	ATF_TP_FSAPPLY(create_exist);
    881 	ATF_TP_FSAPPLY(rename_nametoolong);
    882 	ATF_TP_FSAPPLY(symlink_zerolen);
    883 	ATF_TP_FSAPPLY(symlink_root);
    884 	ATF_TP_FSAPPLY(attrs);
    885 	ATF_TP_FSAPPLY(fcntl_lock);
    886 	ATF_TP_FSAPPLY(fcntl_getlock_pids);
    887 	ATF_TP_FSAPPLY(access_simple);
    888 	ATF_TP_FSAPPLY(read_directory);
    889 
    890 	return atf_no_error();
    891 }
    892