Host
blog.acolyer.org
5 links, first saved November 29, 2015, latest February 27, 2020.
- Meaningful availability – the morning paper
Interesting analysis of going beyond measuring the number of 9's for availability, and getting something that more closely resembles what the user is feeling.
- File systems unfit as distributed storage backends: lessons from ten years of Ceph evolution – the morning paper
Using shared filesystems for distributed systems is pretty common, and it works fine when it’s small and lightly used. It starts to break in very bad ways at scale.
- The design and implementation of modern column-oriented database systems | the morning paper
Dive into how modern databases store column data. 🗜
- Experience with Rules-Based Programming for Distributed Concurrent Fault-Tolerant Code
To demonstrate applicability outside of the RAMCloud system, the team also re-wrote the Hadoop Map-Reduce job scheduler (which uses a traditional event-based state machine…
- Moving Fast with Software Verification | the morning paper
How do you mesh formal verification “proponents of which sometimes even used to argue that programs should be developed only after a prior specifications had been written down,”…