Up

Traces

linux[3.13.0-29-generic][system[GNU C Library (GNU libc) stable release version 2.21, by Roland McGrath et al.]][ext4_loop[mke2fs 1.42.9 (4-Feb-2014)]]@[2015-07-24T13:23:26Z./nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test]

Checked Trace
linux_spec@[/nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test] sexp stdout stderr
Traced Execution stdout stderr
Script script

Combined Trace

1 # processing file 'adhoc_rename_link_count-int.trace' ...
2 @type trace
3
4 # ##########################################
5 # Test link count of files after rename
6 # ##########################################
7
8 # test that renaming a file with a link does not effect the link count
9
10 open_close "/f1.txt" [O_RDONLY;O_CREAT] 0o666
11 Tau
12 RV_none
13
14 link "/f1.txt" "/f1_hl.txt"
15 Tau
16 RV_none
17
18 stat "f1.txt"
19 Tau
20
RV_stat {
st_dev=1792;
st_ino= 14;
st_kind= S_IFREG;
st_perm= 0o644;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
21
22 stat "f1_hl.txt"
23 Tau
24
RV_stat {
st_dev=1792;
st_ino= 14;
st_kind= S_IFREG;
st_perm= 0o644;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
25
26 rename "f1.txt" "f2.txt"
27 Tau
28 RV_none
29
30 stat "f2.txt"
31 Tau
32
RV_stat {
st_dev=1792;
st_ino= 14;
st_kind= S_IFREG;
st_perm= 0o644;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
33
34 stat "f1_hl.txt"
35 Tau
36
RV_stat {
st_dev=1792;
st_ino= 14;
st_kind= S_IFREG;
st_perm= 0o644;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 0;
}
37
38 # test that renaming a directory changes the count of the parents
39
40 mkdir "/nonempty_dir1" 0o777
41 Tau
42 RV_none
43
44 stat "/nonempty_dir1"
45 Tau
46
RV_stat {
st_dev=1792;
st_ino= 15;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
47
48 mkdir "/nonempty_dir2" 0o777
49 Tau
50 RV_none
51
52 stat "/nonempty_dir2"
53 Tau
54
RV_stat {
st_dev=1792;
st_ino= 16;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
55
56 mkdir "/nonempty_dir1/mydir" 0o777
57 Tau
58 RV_none
59
60 stat "/nonempty_dir1/mydir"
61 Tau
62
RV_stat {
st_dev=1792;
st_ino= 17;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
63
64 rename "/nonempty_dir1/mydir" "/nonempty_dir2/mydir"
65 Tau
66 RV_none
67
68 stat "/nonempty_dir1"
69 Tau
70
RV_stat {
st_dev=1792;
st_ino= 15;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
71
72 stat "/nonempty_dir2"
73 Tau
74
RV_stat {
st_dev=1792;
st_ino= 16;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=3;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
75
76 stat "/nonempty_dir2/mydir"
77 Tau
78
RV_stat {
st_dev=1792;
st_ino= 17;
st_kind= S_IFDIR;
st_perm= 0o755;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
79
80