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