Anton Setzer wrote the following: "What is highlighted by this is the fact that Agda seems to make a lot of file access […]".
$ cat Test.agda
$ strace agda Test.agda |& egrep '^l?stat' | wc -l
1191
If I remove the files ~/.agda/libraries
and ~/.agda/defaults
I instead get the following numbers:
$ strace agda Test.agda |& egrep '^l?stat' | wc -l
917
$ cat test.c
int main(int argc, char **argv) {
return 0;
}
$ strace gcc test.c -o test |& egrep '^l?stat' | wc -l
69
$ cat Test.hs
main = return ()
$ strace ghc --make Test.hs |& egrep '^l?stat' | wc -l
268
Those numbers are quite a bit lower.
I found things like the following in the output of strace agda Test.agda
(I changed some directory names and omitted some lines):
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E/share/i386-linux-ghc-9.0.1", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/..", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E/share", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/share/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
stat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D/E", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/E/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C/D", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/D/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A/B/C", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/C/..", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
openat(AT_FDCWD, "/A/B", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/B/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
stat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/A", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/A/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
openat(AT_FDCWD, "/", O_RDONLY|O_NONBLOCK|O_LARGEFILE|O_CLOEXEC|O_DIRECTORY) = 11
stat64("/..", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
stat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
stat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B", {st_mode=S_IFDIR|0700, st_size=45056, ...}) = 0
lstat64("/A/B/C", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share", {st_mode=S_IFDIR|0755, st_size=12288, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
lstat64("/A/B/C/D/E/share/i386-linux-ghc-9.0.1/Agda-2.6.3/lib/prim", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
I think it makes sense to address the quadratic behaviour exemplified above.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4