Jitsu: Just-in time summoning of unikernels - Madhavapeddy et al. 2015 Last week saw the 12th USENIX symposium on Networked Systems Design and Implementation (NSDI '15), so the papers are now open access. I've been looking forward to bringing you today's choice for some time. Take the MirageOS work on unikernels, and the Xen port … Continue reading Jitsu: Just-in time summoning of unikernels
Tag: Operating Systems
Papers relating to operating system design and implementation.
Mojim: A Reliable and Highly-Available Non-Volatile Memory System
Mojim: A Reliable and Highly-Available Non-Volatile Memory System - Zhang et al. 2015 This is the second in a series of posts looking at the latest research from the recently held ASPLOS 15 conference. It seems like we've been anticipating NVMM (Non-volatile main memory) for a while now; and there has been plenty of research … Continue reading Mojim: A Reliable and Highly-Available Non-Volatile Memory System
Eraser: A dynamic data race detector for multi-threaded programs
Eraser: A dynamic data race detector for multi-threaded programs - Savage et al. 1997 Debugging a multithreaded program can be difficult. Simple errors in synchronization can produce timing-dependent data races that can take weeks or months to track down. Eraser dynamically detects data races in multi-threaded programs. There are two basic approaches to doing this, … Continue reading Eraser: A dynamic data race detector for multi-threaded programs
Unikernels: Library Operating Systems for the Cloud
Unikernels: Library Operating Systems for the Cloud - Madhavapeddy et al. 2013 See also: Unikernels: Rise of the Virtual Library Operating System from ACM Queue. As we discussed in a previous edition of The Morning Paper, there is an increasing mismatch between the traditional OS design point, and the way that we are using the … Continue reading Unikernels: Library Operating Systems for the Cloud
Why events are a bad idea
Why events are a bad idea (for high concurrency servers) - von Behren et al. 2003 Amongst the authors of this paper you'll also find Eric Brewer, of CAP-theorem fame. This is part 3 of a mini-series on thread-based vs event-based programming models. In part 1 we saw the argument that they are equivalent. Despite … Continue reading Why events are a bad idea
Why threads are a bad idea
Why threads are a bad idea (for most purposes) - Ousterhout 1995 Today is part 2 of 5 in a week dedicated to threads and events. Yesterday we saw the argument from Lauer and Needham that thread-based and event-based models are equivalent (duals). Despite that, Oustehout would have you believe that threads are a bad … Continue reading Why threads are a bad idea
On the duality of operating system structures
On the Duality of Operating System Structures - Lauer and Needham, 1978 The pendulum currently says "threads and locks are bad, events are good." Vigourous defences are mounted in favour of one system over the other, and manifestos are written. Nowadays this debate rages over the best way to build applications and frameworks, but it … Continue reading On the duality of operating system structures
The case for distributed operating systems in the data center
New wine in old skins: the case for distributed operating systems in the data center - Schwarzkopf et al. 2013. I attended the New Directions in Operating Systems one-day event in London last week, and came away with the impression that the beginning of the end of the traditional operating system is in sight. Today's … Continue reading The case for distributed operating systems in the data center
the morning paper 