From 5396304c73190c6898981caf653fc1b28be71f70 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Thu, 9 Sep 2004 15:55:31 +0000 Subject: * Use setre[ug]id() instead of setres[ug]id(), since the former is more common than the latter (which exists only on Linux and FreeBSD). We don't really care about dropping the saved IDs since there apparently is no way to quiry them in any case, so it can't influence the build (unlike the effective IDs which are checked by Perl for instance). --- doc/manual/bugs.xml | 28 ++++++++--------- doc/manual/introduction.xml | 77 ++++++++++++++++++++++++++++++++++++++------- 2 files changed, 79 insertions(+), 26 deletions(-) (limited to 'doc') diff --git a/doc/manual/bugs.xml b/doc/manual/bugs.xml index eb479945ab..4d5017e440 100644 --- a/doc/manual/bugs.xml +++ b/doc/manual/bugs.xml @@ -1,7 +1,6 @@ - - Bugs / To-Do +Bugs / To-Do - + @@ -99,17 +98,18 @@ $ nix-store -r $(cat /nix/var/nix/roots/bla) - - - For security, nix-push manifests should be - digitally signed, and nix-pull should - verify the signatures. The actual NAR archives in the cache - do not need to be signed, since the manifest contains - cryptographic hashes of these files (and - fetchurl.nix checks them). - - +For security, nix-push manifests +should be digitally signed, and nix-pull should +verify the signatures. The actual NAR archives in the cache do not +need to be signed, since the manifest contains cryptographic hashes of +these files (and fetchurl.nix checks +them). + +We should switch away from MD5, since it has been +cracked. We don't currently depend very much on the +collision-resistance of MD5, but we will once we start sharing build +results between users. - + diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml index 02a4383361..51804eb9b6 100644 --- a/doc/manual/introduction.xml +++ b/doc/manual/introduction.xml @@ -1,17 +1,70 @@ - - Introduction +Introduction - - The number of Nix installations in the world has grown to 5, - with more expected. - +The number of Nix installations in the world +has grown to 5, with more expected. - - Nix is a system for software deployment. It supports the - creation and distribution of software packages, as well as the installation - and subsequent management of these on target machines (i.e., it is also a - package manager). - +Nix is a system for the deployment of software. Software +deployment is concerned with the creation, distribution, and +management of software components (packages). There +are many tools for this, but they tend to ignore some important +requirements for deployment: + + + +Correctness. The basic goal of +software deployment is to transfer software from one machine (e.g., +the developer's, where it presumably works) to another machine (e.g., +the end user's). The software should work exactly the same on the +target machine as on the source machine. But this in practice turns +out to be rather difficult due to dependencies between +components and interference between +components. If we deploy a component that depends on other +components, then we should deploy those dependencies as well. If they +are missing on the target system, the component probably won't work. +If they are present but are not the right +version, the component might not work. And if even if they are the +right version, they may have been built with different flags or +options, which can cause incompatibilities. Interference occurs when +components collide with each other in the file system. +For instance, different versions of the same package tend to overwrite +each other, so they cannot be installed at the same time. But always +picking the latest version might break components that only work with +some older version. + +Variability. Many package +management tools have difficulty supporting the installation of +multiple versions or variants of the same component. This is bad +because as ... + + + + + +Here are some of Nix's main features: + + + +Nix can quite reliably figure out the dependencies +between components. + + + + + +This manual is a work in progress. It's quite likely +to be incomplete, inconsistent with the current implementation, or +simply wrong. + +Some background information on Nix can be found in two +papers. The ICSE 2004 paper Imposing +a Memory Management Discipline on Software +Deployment discusses the hashing mechanism used to +ensure reliable dependency identification and non-interference between +different versions and variants of packages. The LISA 2004 paper +Nix: A Safe and Policy-Free System for Software +Deployment gives a more general discussion of Nix from a +system-administration perspective. Nix solves some large problems that exist in most current deployment and -- cgit 1.4.1