about summary refs log tree commit diff
path: root/src/libstore
AgeCommit message (Collapse)AuthorFilesLines
2005-02-01 * nix-store, nix-instantiate: added an option `--add-root' toEelco Dolstra4-3/+54
immediately add the result as a permanent GC root. This is the only way to prevent a race with the garbage collector. For instance, the old style ln -s $(nix-store -r $(nix-instantiate foo.nix)) \ /nix/var/nix/gcroots/result has two time windows in which the garbage collector can interfere (by GC'ing the derivation and the output, respectively). On the other hand, nix-store --add-root /nix/var/nix/gcroots/result -r \ $(nix-instantiate --add-root /nix/var/nix/gcroots/drv \ foo.nix) is safe. * nix-build: use `--add-root' to prevent GC races.
2005-02-01 * Add missing files to dist.Eelco Dolstra2-3/+8
* Fix GC and substitute bugs related to self-references. Add a regression test.
2005-01-31 * Acquire a global GC lock to prevent new temporary root files fromEelco Dolstra1-15/+29
being created after the garbage collector has read the temproots directory. This blocks the creation of new processes, but the garbage collector could periodically release the GC lock to allow them to run.
2005-01-31 * Add a test for a more subtle race: a process starting after theEelco Dolstra1-2/+20
temporary root files have been read but creating outputs before the store directory has been read.
2005-01-31 * Automatically remove temporary root files.Eelco Dolstra2-1/+16
2005-01-31 * Topologically sort paths under the references relation to ensureEelco Dolstra2-38/+84
that they are deleted in an order that maintains the closure invariant. * Presence of a path in a temporary roots file does not imply that all paths in its closure are also present, so add the closure.
2005-01-31 * Don't delete active lock files.Eelco Dolstra3-4/+31
2005-01-31 * Start of concurrent garbage collection. Processes write temporaryEelco Dolstra4-98/+166
roots to a per-process temporary file in /nix/var/nix/temproots while holding a write lock on that file. The garbage collector acquires read locks on all those files, thus blocking further progress in other Nix processes, and reads the sets of temporary roots.
2005-01-28 * Only invalidate paths when they are in fact valid.Eelco Dolstra1-1/+2
2005-01-27 * Fix deadlock.Eelco Dolstra1-1/+1
2005-01-27 * Update referers mappings when updating/clearing the referencesEelco Dolstra1-7/+27
mapping. * Do things in the right order in invalidatePath().
2005-01-27 * Fix and simplify the garbage collector (it's still not concurrent,Eelco Dolstra5-24/+78
though). In particular it's now much easier to register a GC root. Just place a symlink to whatever store path it is that you want to keep in /nix/var/nix/gcroots.
2005-01-27 * Make lock removal safe by signalling to blocked processes that theEelco Dolstra2-24/+45
lock they are waiting on has become stale (we do this by writing a meaningless token to the unlinked file).
2005-01-25 * Maintain the references/referers relation also for derivations.Eelco Dolstra6-80/+46
This simplifies garbage collection and `nix-store --query --requisites' since we no longer need to treat derivations specially. * Better maintaining of the invariants, e.g., setReferences() can only be called on a valid/substitutable path.
2005-01-25 * Simplification: registerSubstitutes -> registerSubstitute. We noEelco Dolstra3-20/+11
longer need the former since there we no longer have the substitutes-rev table (which triggered a O(n^2) cost in updating them).
2005-01-25 * Really fix the substitute mechanism, i.e., ensure the closureEelco Dolstra2-11/+36
invariant by registering references through the manifest. * Added a test for nix-pull.
2005-01-25 * Fix the `--fallback' switch.Eelco Dolstra1-0/+6
* Fix the substitutes tests.
2005-01-25 * Fix the build hook mechanism; pass the pointer graph to the hook.Eelco Dolstra1-2/+24
2005-01-25 * In nix-store: added query `--referers-closure' that returns theEelco Dolstra2-5/+11
closure of the referers relation rather than the references relation, i.e., the set of all paths that directly or indirectly refer to the given path. Note that contrary to the references closure this set is not fixed; it can change as paths are added to or removed from the store.
2005-01-25 * In nix-store: change `--build' back to `--realise'. Also broughtEelco Dolstra1-37/+57
back the query flag `--force-realise'. * Fixed some of the tests.
2005-01-20 * Terminology fixes.Eelco Dolstra5-22/+22
2005-01-20 * Another change to low-level derivations. The last one this year, IEelco Dolstra5-25/+59
promise :-) This allows derivations to specify on *what* output paths of input derivations they are dependent. This helps to prevent unnecessary downloads. For instance, a build might be dependent on the `devel' and `lib' outputs of some library component, but not the `docs' output.
2005-01-19 * Nix-store queries `--references' and `referers' to query the pointerEelco Dolstra2-0/+14
graph. That is, `nix-store --query --references PATH' shows the set of paths referenced by PATH, and `nix-store --query --referers PATH' shows the set of paths referencing PATH.
2005-01-19 * Renamed `normalise.cc' -> `build.cc', `storeexprs.cc' ->Eelco Dolstra11-88/+118
`derivations.cc', etc. * Store the SHA-256 content hash of store paths in the database after they have been built/added. This is so that we can check whether the store has been messed with (a la `rpm --verify'). * When registering path validity, verify that the closure property holds.
2005-01-19 * `nix-store --build' now builds its arguments in parallel instead ofEelco Dolstra2-22/+32
sequentially (within the limits set by `--jobs'). This should greatly improve the utilisation of the build farm when doing Nixpkgs builds.
2005-01-19 * Change extension `.store' to `.drv'.Eelco Dolstra6-94/+71
* Re-enable `nix-store --query --requisites'.
2005-01-19 * Started removing closure store expressions, i.e., the explicitEelco Dolstra9-750/+327
representation of closures as ATerms in the Nix store. Instead, the file system pointer graph is now stored in the Nix database. This has many advantages: - It greatly simplifies the implementation (we can drop the notion of `successors', and so on). - It makes registering roots for the garbage collector much easier. Instead of specifying the closure expression as a root, you can simply specify the store path that must be retained as a root. This could not be done previously, since there was no way to find the closure store expression containing a given store path. - Better traceability: it is now possible to query what paths are referenced by a path, and what paths refer to a path.
2005-01-17 * Actually check that the result of fixed-output derivations matchesEelco Dolstra1-0/+25
the specified hash.
2005-01-17 * Removed the `id' attribute hack.Eelco Dolstra7-33/+103
* Formalise the notion of fixed-output derivations, i.e., derivations for which a cryptographic hash of the output is known in advance. Changes to such derivations should not propagate upwards through the dependency graph. Previously this was done by specifying the hash component of the output path through the `id' attribute, but this is insecure since you can lie about it (i.e., you can specify any hash and then produce a completely different output). Now the responsibility for checking the output is moved from the builder to Nix itself. A fixed-output derivation can be created by specifying the `outputHash' and `outputHashAlgo' attributes, the latter taking values `md5', `sha1', and `sha256', and the former specifying the actual hash in hexadecimal or in base-32 (auto-detected by looking at the length of the attribute value). MD5 is included for compatibility but should be considered deprecated. * Removed the `drvPath' pseudo-attribute in derivation results. It's no longer necessary. * Cleaned up the support for multiple output paths in derivation store expressions. Each output now has a unique identifier (e.g., `out', `devel', `docs'). Previously there was no way to tell output paths apart at the store expression level. * `nix-hash' now has a flag `--base32' to specify that the hash should be printed in base-32 notation. * `fetchurl' accepts parameters `sha256' and `sha1' in addition to `md5'. * `nix-prefetch-url' now prints out a SHA-1 hash in base-32. (TODO: a flag to specify the hash.)
2005-01-14 * Shorten SHA-256 hashes used in store path name generation to 160Eelco Dolstra2-9/+11
bits, then encode them in a radix-32 representation (using digits and letters except e, o, u, and t). This produces store paths like /nix/store/4i0zb0z7f88mwghjirkz702a71dcfivn-aterm-2.3.1. The nice thing about this is that the hash part of the file name is still 32 characters, as before with MD5. (Of course, shortening SHA-256 to 160 bits makes it no better than SHA-160 in theory, but hopefully it's a bit more resistant to attacks; it's certainly a lot slower.)
2005-01-14 * Start move towards SHA-256 hashes instead of MD5.Eelco Dolstra4-24/+41
* Start cleaning up unique store path generation (they weren't always unique; in particular the suffix ("-aterm-2.2", "-builder.sh") was not part of the hash, therefore changes to the suffix would cause multiple store objects with the same hash).
2005-01-13 * Added SHA-1 support. `nix-hash' now has an option `--type sha1' toEelco Dolstra2-2/+2
select SHA-1 hashing.
2005-01-13 * Refactoring to support SHA-1.Eelco Dolstra1-1/+1
2005-01-04 * Cygwin compatibility.Eelco Dolstra1-0/+1
2004-12-20 * An operation `nix-store --clear-substitutes' to remove allEelco Dolstra1-8/+35
registered substitute mappings.
2004-12-20 * Simplify the substitute mechanism:Eelco Dolstra3-121/+28
- Drop the store expression. So now a substitute is just a command-line invocation (a program name + arguments). If you register a substitute you are responsible for registering the expression that built it (if any) as a root of the garbage collector. - Drop the substitutes-rev DB table.
2004-11-29 * utime() follows symlinks, so don't change the mtime if the file is aEelco Dolstra1-7/+8
symlink.
2004-11-29 * Remove debug statement.Eelco Dolstra1-2/+0
2004-11-29 * Canonicalise metadata of all files in store paths (set the mtime toEelco Dolstra1-2/+58
0, set the mode to either 444 or 555, set the group to the default).
2004-11-03 * string2ATerm -> overloaded toATerm.Eelco Dolstra1-7/+7
2004-10-29 * Drop ATmake / ATMatcher also in handling store expressions.Eelco Dolstra3-31/+46
2004-10-25 * Allow certain operations to succeed even if we don't have writeEelco Dolstra6-10/+42
permission to the Nix store or database. E.g., `nix-env -qa' will work, but `nix-env -qas' won't (the latter needs DB access). The option `--readonly-mode' forces this mode; otherwise, it's only activated when the database cannot be opened.
2004-09-22 * Make store objects created by substitutes read-only.Eelco Dolstra1-0/+2
2004-09-12 * Fallback didn't work for subderivations of an unnormalised the mainEelco Dolstra1-44/+7
derivation, since NormalisationGoal would first run a NormalisationGoal on the subderivation (a no-op, since in a situation where we need fallback the successor is known), and then runs a RealisationGoal on the normal form, which then cannot do a fallback because it doesn't know the derivation expression for which it is a normal form. Tossed out the 2-phase normalisation/realisation in NormalisationGoal and SubstitutionGoal since it's no longer needed - a RealisationGoal will run a NormalisationGoal if necessary.
2004-09-09 * Remove write permission from store objects after they have beenEelco Dolstra1-0/+4
added to the store. Bug reported by Martin.
2004-09-09 * A very dirty hack to make setuid installations a bit nicer to use.Eelco Dolstra1-2/+9
Previously there was the problem that all files read by nix-env etc. should be reachable and readable by the Nix user. So for instance building a Nix expression in your home directory meant that the home directory should have at least g+x or o+x permission so that the Nix user could reach the Nix expression. Now we just switch back to the original user just prior to reading sources and the like. The places where this happens are somewhat arbitrary, however. Any scope that has a live SwitchToOriginalUser object in it is executed as the original user. * Back out r1385. setreuid() sets the saved uid to the new real/effective uid, which prevents us from switching back to the original uid. setresuid() doesn't have this problem (although the manpage has a bug: specifying -1 for the saved uid doesn't leave it unchanged; an explicit value must be specified).
2004-08-31 * Main the `substitutes-rev' table again, but now in a way thatEelco Dolstra2-20/+36
doesn't take \Theta(n^2) space/time complexity.
2004-08-31 * Quadruple the Berkeley DB locking limits to get rid of out of memoryEelco Dolstra1-2/+21
errors while running `nix-store --verify'.
2004-08-30 * Removed nrWaitees field. It was redundant with waitees.size() andEelco Dolstra1-24/+5
could get out of sync if multiple input derivations mapped to the same closure expression (since waitees is a set).
2004-08-25 * `--min-age' flag in nix-store and nix-collect-garbage to only deleteEelco Dolstra2-3/+20
unreachable paths that haven't been used for N hours. For instance, `nix-collect-garbage --min-age 168' only deletes paths that haven't been accessed in the last week. This is useful for instance in the build farm where many derivations can be shared between consecutive builds, and we wouldn't want a garbage collect to throw them all away. We could of course register them as roots, but then we'd to unregister them at some point, which would be a pain to manage. The `--min-age' flag gives us a sort of MRU caching scheme. BUG: this really shouldn't be in gc.cc since that violates mechanism/policy separation.