aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2022-04-28 10:54:51 +0200
committerValentin Gagarin <valentin.gagarin@tweag.io>2022-08-04 12:37:47 +0200
commitfb2ec7e4ec758e17f247218625d23ceba685e8a5 (patch)
treed78d1080fd82b17871ab4d29d9592c5210d1eda5 /doc/manual/src
parent90fc5b41a83575c0bd008868f989b6e1497ce3a5 (diff)
reword section on references
use file Contents instead of Data, as that flows more naturally in the prose. simplify explanation of the idea behind scanning for store paths remove references to unfinished sections.
Diffstat (limited to 'doc/manual/src')
-rw-r--r--doc/manual/src/architecture/store/objects.md23
1 files changed, 11 insertions, 12 deletions
diff --git a/doc/manual/src/architecture/store/objects.md b/doc/manual/src/architecture/store/objects.md
index 872a209c3..d7a27b528 100644
--- a/doc/manual/src/architecture/store/objects.md
+++ b/doc/manual/src/architecture/store/objects.md
@@ -11,12 +11,12 @@ A store object is the pair of
The Nix store uses a simple file system model.
data FileSystemObject
- = File Executable Data
+ = File Executable Contents
| Directory (Map FileName FileSystemObject)
| SymLink Path
Every file system object is one of the following:
- - File: an executable flag, and arbitrary data
+ - File: an executable flag, and arbitrary data for contents
- Directory: mapping of names to child file system objects
- [Symbolic link](https://en.m.wikipedia.org/wiki/Symbolic_link): may point anywhere.
@@ -26,17 +26,16 @@ A bare file or symlink can be a root file system object.
## Reference {#reference}
-A store object can refer to both other store objects and itself.
+A store object can refer to other store objects or itself.
-Self-reference may seem pointless, but tracking them is in fact useful.
-We can best explain why later after more concepts have been established.
+Nix collects these references by scanning file contents for [store paths](./paths.md) when a new store object is created.
-References are normally calculated so as to to record the presence of textual references in store object's file systems obejcts.
-This process will be described precisely in the section on [building](./building.md), once more concepts are explained, as building is the primary path new store objects with non-trivial references are created.
+While references could be arbitrary paths, Nix requires them to be store paths to ensure correctness:
+Anything outside a given store is not under control of Nix, and therefore cannot be guaranteed to be present when needed.
-However, scanning for references is not mandatory.
-Store objects are allowed to have official references that *don't* correspond to store paths contained in their contents,
-and they are also allowed to *not* have references that *do* correspond to store paths contained in their store.
-Taken together, this means there is no actual rule relating the store paths contained in the contents to the store paths deemed references.
+However, having references match store paths in files is not enforced by the data model:
+Store objects could have excess or incomplete references with respect to store paths found in their file contents.
+
+Scanning files therefore allows reliably capturing run time dependencies without declaring them explicitly.
+Doing it at build time and persisting references in the store object avoids repeating this time-consuming operation.
-This is why it's its necessary for correctness, and not just performance, that Nix remember the references of each store object, rather than try to recompute them on the fly by scanning their contents.