redtt
redtt copied to clipboard
POSIX mount semantics [WIP]
This is after #418. The analogy is to treat the current file system as partitions on a disk, and we are building a virtual file system on top of them.
Axioms:
- Each
redlib
file denotes the root of a virtual partition. Each actual file in a virtual partition is defined to be an actual relative path without..
from the root. Symbolic links and others will not identify two files within a virtual partition. - There is no overlapping in actual files between two virtual partitions.
- Each
redlib
file also denotes the root of a virtual file system, with the current virtual partition mounted at root and other virtual file systems mounted at different virtual path according to theredlib
file. - Content in the same actual file will be identified, even if accessed through different virtual paths.
Can you elaborate on (3)? How does that situation arise?
@cangiuli Library A is mounting libraries B and C, and library B itself is also mounting library C.
Implemented by https://github.com/RedPRL/bantorra.