GCFS: a Garbage-Collected Filesystem for Linux

Table of contents IntroductionSemantics' descriptionInformal discussion and examples Simple examplesLoops and tangled hierarchiesNames and nodes The problem with “..”Stateless semantics for “..” “Universal cover” semantics for “..”Formal specification Basic notionsMutating the filesystemGarbage collection semantics Other considerationsRecursive traversalSecurity considerations Weak