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