Operating systems and distributed systems
13 papers, 1968 to 2015.
- The Structure of the "THE"-Multiprogramming System
layers, each provable against the one below it
- The Working Set Model for Program Behavior
locality made measurable, and thrashing explained
- The UNIX Time-Sharing System
everything is a file, and the system is small enough to describe
- Time, Clocks, and the Ordering of Events in a Distributed System
happens-before, logical clocks, and state machine replication
- End-To-End Arguments in System Design
a function belongs at the endpoints unless the network can finish the job
- Implementing Remote Procedure Calls
a call that crosses a machine, and everything that makes it not a call
- The Part-Time Parliament
consensus that survives any minority failing, told as an archaeology paper
- The Google File System
a single master, huge chunks, and failure as the normal case
- Xen and the Art of Virtualization
paravirtualization, trading a modified guest for near-native speed
- MapReduce: Simplified Data Processing on Large Clusters
two functions, and the framework handles the thousand machines
- Dynamo: Amazon's Highly Available Key-value Store
always writable, reconciled later, with consistent hashing and vector clocks
- In Search of an Understandable Consensus Algorithm
consensus decomposed into leader election, log replication and safety
- Large-scale cluster management at Google with Borg
one scheduler for batch and serving, and the ancestor of Kubernetes