News

The paper “Atomic Upgrading of Distributed Systems” (by Sander van der Burg, Eelco Dolstra and Merijn de Jonge) has been accepted for presentation at the First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp). A draft of the paper is available. It describes Sander’s master’s thesis research on DisNix, an extension to Nix that allows deployment and upgrading of distributed systems from a single declarative description. We will continue this research in the Jacquard PDS project, which has now started. (We still have an opening for a PhD student or a postdoc; please contact us if you’re interested.)

The paper “NixOS: A Purely Functional Linux Distribution” (by Eelco Dolstra and Andres Löh) has been accepted for presentation at the 2008 International Conference on Functional Programming (ICFP). It describes NixOS in much greater detail than last year’s HotOS paper, and argues why the purely functional style and features such as laziness are important for system configuration management. It also provides some measurements on the actual purity of Nix build actions. A draft of the paper is available.

The Nix website was down for a few days due to cooling problems in the server room causing the machine to overheat. These should be resolved now. Apologies for the inconvenience.

The Nix website has moved to nixos.org (hosted at TU Delft). The Subversion repositories have moved to svn.nixos.org. See this mailing list posting for information about moving existing SVN working copies.

Eelco Dolstra presented the paper “Maximal Laziness — An Efficient Interpretation Technique for Purely Functional DSLs” at 8th Workshop on Language Description, Tools and Applications (LDTA 2008). It’s about caching of evaluation results in the Nix expression evaluator as a technique to make a simple term-rewriting evaluator efficient. Slides are here.

The Jacquard program of NWO and EZ has granted funding for the Nix-related project “Pull Deployment of Services” (PDS), which is about improving the deployment of software and services in complex heterogenous environments. The grant consists of 368 K€ for a PhD student (4 years) and a postdoc (3 years). If you’re interested in these positions, please have a look at this page, and don’t hesitate to contact Eelco Visser or Eelco Dolstra.

New NixOS installation CD images for i686 and x86_64 are available, which is a good thing as the previous ones were already a few months old. The new images are Nix 0.11-based, contain Memtest86+ as a convenience, should support more SATA drives, and show online help (the NixOS manual) on virtual console 7.

OpenOffice is now in Nixpkgs (screenshot of OpenOffice 2.2.1 running under NixOS, and another screenshot). Despite being a rather gigantic package (it takes two hours to compile on an Intel Core 2 6700), OpenOffice had only two “impurities” (references to paths outside of the Nix store) in its build process that had to be resolved — a reference to /bin/bash and one to /usr/lib/libjpeg.so.

Armijn Hemel, Wouter den Breejen and Eelco Dolstra contributed to the Nix expression for OpenOffice.

Wine now runs on NixOS! Finally we can run all those legacy applications... Thanks to Michael Raskin for adding Wine and a NPTL-enabled Glibc (which Wine seems to need). This is a nice application of purely functional package composition, by the way: Wine didn’t work with the standard Glibc in Nixpkgs, so we just pass it another Glibc at build time.

In other news, Nix 0.11 and Nixpkgs 0.11 will be released soon.

There is now a mailing list (nix-commits@cs.uu.nl) that you can subscribe to if you want to receive automatic commit notifications from the Nix Subversion repository.

Eelco Dolstra presented the paper Purely Functional System Configuration Management at the 11th Workshop on Hot Topics in Operating Systems (HotOS XI). It gives an overview of the ideas behind NixOS. The slides are also available.

We now have KDE running on NixOS (obligatory screenshot). Just kdebase for now (Martin Bravenboer already added kdelibs a long time ago so that we could run the wonderful KCachegrind), but it contains all the important stuff (Konqueror, KDesktop, Kicker, Konsole, Control Center, etc.).

In related news, we can safely say that, rumours to the contrary notwithstanding, NixOS is not an April Fools’ Joke.

• X server with Compiz window manager.
• Emacs and a few terminals showing off the (near) absence of /lib, /bin etc.; everything is in the Nix store.
• Some applications.

To quote Eelco Visser: new hardware for buildfarm at Delft University of Technology has arrived.

Here’s what we have: 5 Intel Core 2 Duo DualCore machines with 1GB RAM, 2 Mac minis with 1,83-GHz Intel Core Duo-processor, another Core 2 Duo a UPS to deal with spikes in power supply, a console with integrated monitor and keyboard switches, a rack with room for a couple more machines.

Here’s what we’re going to do with the goodies. The five Intel machines and the two MacMinis (also Intel) are going to be used to crank at building hundreds of software packages. Using virtualisation we should be able to run builds on multiple operating system distributions. Read more…