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_link_count_dir-int.trace' ...
2 @type trace
3
4 # ################################################
5 # Test link count of directories after link
6 # ################################################
7
8 # a new created directory should have link count 2
9
10 mkdir "dir" 0o700
11 Tau
12 RV_none
13 stat "dir"
14 Tau
15
RV_stat {
st_dev=1792;
st_ino= 32641;
st_kind= S_IFDIR;
st_perm= 0o700;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
16
17 # after linking the directory, both nodes should have link count 3
18
19 link "dir" "dir_hl"
20 Tau
21 EPERM
22 stat "dir"
23 Tau
24
RV_stat {
st_dev=1792;
st_ino= 32641;
st_kind= S_IFDIR;
st_perm= 0o700;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
25 stat "dir_hl"
26 Tau
27 ENOENT
28
29 # keep linking the directory should keep increasing the link count
30
31 link "dir_hl" "dir_hl1"
32 Tau
33 ENOENT
34 stat "dir"
35 Tau
36
RV_stat {
st_dev=1792;
st_ino= 32641;
st_kind= S_IFDIR;
st_perm= 0o700;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
37 stat "dir_hl"
38 Tau
39 ENOENT
40 stat "dir_hl1"
41 Tau
42 ENOENT
43
44 link "dir_hl1" "dir_hl2"
45 Tau
46 ENOENT
47 stat "dir"
48 Tau
49
RV_stat {
st_dev=1792;
st_ino= 32641;
st_kind= S_IFDIR;
st_perm= 0o700;
st_nlink=2;
st_uid= 0;
st_gid= 0;
st_rdev=0;
st_size= 4096;
}
50 stat "dir_hl"
51 Tau
52 ENOENT
53 stat "dir_hl1"
54 Tau
55 ENOENT
56 stat "dir_hl2"
57 Tau
58 ENOENT
59
60