The purely functional software deployment model
@inproceedings{Dolstra2006ThePF,
title={The purely functional software deployment model},
author={Eelco Dolstra},
year={2006}
}Software deployment is the set of activities related to getting
software components to work on the machines of end users. It includes
activities such as installation, upgrading, uninstallation, and so on.
Many tools have been developed to support deployment, but they all
have serious limitations with respect to correctness. For instance,
the installation of a component can lead to the failure of previously
installed components; a component might require other components that
are not…Â
Figures and Tables from this paper
figure 1.1 
figure 1.4 
figure 1.5 
figure 1.6 
figure 2.1 
figure 2.10 
figure 2.11 
figure 2.12 
figure 2.13 
figure 2.14 
figure 2.3 
figure 2.4 
figure 2.5 
figure 2.6 
figure 2.7 
figure 2.8 
figure 2.9 
figure 3.1 
figure 4.1 
figure 4.2 
figure 4.3 
figure 4.4 
figure 4.5 
figure 4.7 
figure 5.1 
figure 5.10 
figure 5.11 
figure 5.12 
figure 5.13 
figure 5.14 
figure 5.15 
figure 5.16 
figure 5.17 
figure 5.18 
figure 5.19 
figure 5.2 
figure 5.20 
figure 5.21 
figure 5.22 
figure 5.23 
figure 5.3 
figure 5.4 
figure 5.5 
figure 5.6 
figure 5.7 
figure 5.8 
figure 5.9 
figure 6.1 
figure 6.3 
figure 6.4 
figure 6.5 
figure 6.6 
figure 6.7 
table 7.1 
figure 7.3 
figure 7.4 
figure 7.5 
figure 7.6 
figure 7.7 
figure 7.8 
figure 7.9 
figure 8.1 
figure 8.2 
figure 8.3 
figure 8.4 
figure 8.5 
figure 8.6 
figure 9.1 
figure 9.2 
figure 9.3 
figure 9.4 
figure 9.5 
figure 9.6 
figure 9.7 
figure 9.8 
figure 10.1 
figure 10.2 
figure 10.3 
figure 11.1
131 Citations
A generic approach for deploying and upgrading mutable software components
- Computer Science2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)
- 2012
This paper analyses the properties of mutable components and proposes Dysnomia, a deployment extension for mutable component deployment in Nix, a purely functional package manager.
A Reference Architecture for Distributed Software Deployment
- Computer Science
- 2013
A reference architecture is described that contains various components to automate software deployment processes of modern generation systems that strive to perform deployment steps in a way that is reliable, reproducible, generic, extensible and efficient.
NixOS: A purely functional Linux distribution
- Computer ScienceJournal of Functional Programming
- 2010
This paper has implemented the purely functional system configuration model in NixOS, a non-trivial Linux distribution that uses the Nix package manager to build the entire system configuration from a modular, purely functional specification.
NixOS: a purely functional Linux distribution
- Computer Science
- 2008
This paper has implemented the NixOS system configuration model, which means that all static parts of a system are built by pure functions and are immutable, stored in a way analogously to a heap in a purely function language.
NixOS: a purely functional Linux distribution
- Computer ScienceICFP
- 2008
This paper has implemented the NixOS system configuration model, which means that all static parts of a system are built by pure functions and are immutable, stored in a way analogously to a heap in a purely function language.
Automated Deployment of a Heterogeneous Service-Oriented System
- Computer Science2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
- 2010
Disnix is shown, a deployment tool which allows developers and administrators to reliably deploy, upgrade and roll back a service-oriented system consisting of various types of components in a heterogeneous environment from declarative specifications.
Dependable software deployment
- Computer Science
- 2006
This work presents a novel and precise model for reasoning about software configurations, and the processes by which they are constructed, and can compare this framework to existing software deployment tools, and formalize desirable properties of software configurations.
Declarative testing and depolyment of distributed systems
- Computer Science
- 2010
This paper describes how networks of computer systems can be reproducibly and automatically deployed from declarative specifications, and instantiate machines from the specifications using NixOS, a Linux distribution built from a purely functional specification.
Atomic upgrading of distributed systems
- Computer ScienceHotSWUp '08
- 2008
This paper shows an extension to Nix that enables the deployment of distributed systems on the basis of a declarative deployment model, and supports atomic upgrades of such systems.
References
SHOWING 1-6 OF 6 REFERENCES
The C Library
- Computer Science
- 1985
Readers can design and implement more effective programs with the wealth of programming tools offered in The C Library. They can build their skills by taking routines introduced in early chapters and…
Acrobat Reader 7
- 2004
ACrobat Reader 7 est disponible, en version francaise, sur le site de l'editeur. Ce qu'il y a de nouveau ? Deja une nouvelle icone et sans doutes beaucoup de fonctions supplementaires ;-)))
All at Once
- Physics, ChemistryScience
- 2007
Femtosecond electron crystallography reveals the atomic structural changes that underpin a light-induced insulator-metal transition.