This paper describes an operating system (OS) called Theseus. Theseus is the result of
multi-year experimentation to redesign and improve OS modularity by reducing the states …

K42 is one of the few recent research projects that is examining operating system design
structure issues in the context of new whole-system design. K42 is open source and was …

BACKGROUND An operating system is a computer program that is the first piece of software
that a computer executes when a computing device is turned on. Operating systems are no …

Methods of hot-swap** a logical volume manager (LVM) and updating an associated
extent map are presented. Methods for migrating a virtual machine running an application …

Patches to modern operating systems, including bug fixes and security updates, and the
reboots and downtime they require, cause tremendous problems for system users and …

Résumé Because stop** a service to apply updates raises issues, Dynamic Software
Updating studies the application of updates on programs without disrupting the services they …

Procrastination is the fundamental technique used in synchronization mechanisms such as
Read-Copy-Update (RCU) where writers, in order to synchronize with readers, defer the …

Abstract Dynamic Software Updating (DSU) consists in updating running programs on the fly
without any downtime. This feature is interesting in critical applications that must run …

K42 is an open-source scalable research operating system well suited to support systems
research. The primary goals of K42's design that support such research include flexibility to …

Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are
mostly dynamic; ie, apart from a small static core, the significant functionality is dynamically …