• Corpus ID: 8511820

The purely functional software deployment model

@inproceedings{Dolstra2006ThePF,
  title={The purely functional software deployment model},
  author={Eelco Dolstra},
  year={2006}
}
  • E. Dolstra
  • Published 18 January 2006
  • Computer Science
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… 
A generic approach for deploying and upgrading mutable software components
  • S. V. D. Burg
  • Computer Science
    2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)
  • 2012
TLDR
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
TLDR
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.
Disnix: A toolset for distributed deployment
NixOS: A purely functional Linux distribution
TLDR
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
TLDR
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
TLDR
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
  • S. V. D. Burg, E. Dolstra
  • Computer Science
    2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
  • 2010
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
...
1
2
3
4
5
...

References

SHOWING 1-6 OF 6 REFERENCES
The C Library
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
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
Femtosecond electron crystallography reveals the atomic structural changes that underpin a light-induced insulator-metal transition.
Man in the Middle
Put to Sleep
  • M. Magill
  • Medicine
    The Journal of the American Board of Family Medicine
  • 1998
Stop the World