Nix: A Safe and Policy-Free System for Software Deployment

@inproceedings{Dolstra2004NixAS,
  title={Nix: A Safe and Policy-Free System for Software Deployment},
  author={Eelco Dolstra and Merijn de Jonge and Eelco Visser},
  booktitle={LISA},
  year={2004}
}
Existing systems for software deployment are neither safe nor sufficiently flexible. Primary safety issues are the inability to enforce reliable specification of component dependencies, and the lack of support for multiple versions or variants of a component. This renders deployment operations such as upgrading or deleting components dangerous and unpredictable. A deployment system must also be flexible (i.e., policy-free) enough to support both centralised and local package management, and to… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 45 CITATIONS

Reproducible and User-Controlled Software Environments in HPC with Guix

  • Euro-Par Workshops
  • 2015
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Functional Package Management with Guix

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Binary Change Set Composition

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Dependable software deployment

VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

An Algebra for Robust Workflow Transformations

  • 2018 IEEE 14th International Conference on e-Science (e-Science)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Cfengine: a site configuration engine

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Make-A Program for Maintaining Computer Programs

  • Softw., Pract. Exper.
  • 1979
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Imposing a memory management discipline on software deployment

  • Proceedings. 26th International Conference on Software Engineering
  • 2004
VIEW 1 EXCERPT

D’Amelia. An analysis of RPM validation drift

John Hart, Jeffrey
  • In Proceedings of the 16th Systems Administration Conference (LISA
  • 2002
VIEW 2 EXCERPTS