Deny Capabilities for Safe, Fast Actors - Clebsch et al. 2015 Do you remember Herb Sutter's 'The Free Lunch is Over' article? (Hard to believe that was written over 11 years ago!). Herb Sutter also posted a great update in 2012, 'Welcome to the Jungle'. In the conclusion of that piece Sutter writes: Mainstream hardware … Continue reading Deny Capabilities for Safe, Fast Actors
Year: 2016
Capability Myths Demolished
Capability Myths Demolished - Miller et. al 2003 Pretty much everyone is familiar with an ACL-based approach to security. Despite having been around for a very long time, the capabilities approach to security is less well-known. Today's paper choice provides an excellent introduction to the capabilities model and how it compares to ACLs. Along the … Continue reading Capability Myths Demolished
A Short Note on Atomicity and Ordering
Just a short observation to start the week this week, inspired by the All File Systems are Not Created Equal paper that we looked at last week. Atomicity (or lack thereof) and (re-)ordering are common issues that crop up again and again in different guises to cause us problems in systems. It all boils down … Continue reading A Short Note on Atomicity and Ordering
Using Crash Hoare Logic for Certifying the FSCQ File System
Using Crash Hoare Logic for Certifying the FSCQ File System - Chen et. al 2015 If you found yesterday's look at POSIX file system semantics and the crash recovery of applications built on top a little sobering, then today's paper offers a glimpse of a light at the end of the tunnel. Chen et al. … Continue reading Using Crash Hoare Logic for Certifying the FSCQ File System
All File Systems are Not Created Equal: On the Complexity of Crafting Crash Consistent Applications
All File Systems are Not Created Equal: On the Complexity of Crafting Crash Consistent Applications - Pillai et al. 2014 Last week we looked at Reducing Crash Recoverability to Reachability for file system-based applications. Today's choice predates that work and investigates the semantics of real world file systems and how this affects applications that run … Continue reading All File Systems are Not Created Equal: On the Complexity of Crafting Crash Consistent Applications
How Complex Systems Fail
How Complex Systems Fail - Cook 2000 This is a wonderfully short and easy to read paper looking at how complex systems fail - it's written by a Doctor (MD) in the context of systems of patient care, but that makes it all the more fun to translate the lessons into complex IT systems, including … Continue reading How Complex Systems Fail
The Heard-Of Model: Computing in Distributed Systems with Benign Failures
The Heard-Of Model: Computing in Distributed Systems with Benign Failures - Charron-Bost & Schiper2007 We briefly touched on the Heard-Of model last week when we looked at PSync. It's really very elegant, so today I thought it would be good to take a closer look. The traditional view of fault-tolerant distributed systems makes the following … Continue reading The Heard-Of Model: Computing in Distributed Systems with Benign Failures
Chapar: Certified Causally Consistent Distributed Key-Value Stores
Chapar: Certified Causally Consistent Distributed Key-Value Stores - Lesani et al. 2016 Another POPL '16 paper today. The Chapar framework provides for modular verification of causal consistency for both causally consistent key-value store implementations and for client programs written to use them. §1 also wins the prize for best use of emojis in a research … Continue reading Chapar: Certified Causally Consistent Distributed Key-Value Stores
Is Sound Gradual Typing Dead?
Is Sound Gradual Typing Dead? - Takikawa et al. 2016 Last year we looked at the notion of gradual typing in an ECOOP 2015 paper by Takikawa et al. based on TypedRacket. Today's choice from POPL 2016 by Takikawa et al. has the rather dramatic sounding title 'Is Sound Gradual Typing Dead?'. If the paper … Continue reading Is Sound Gradual Typing Dead?
Reducing Crash Recoverability to Reachability
Reducing Crash Recoverability to Reachability - Koskinen & Yang 2016. Techniques such as shadow paging and write-ahead logging can help with recovery from crashes, but even then it takes a lot of sophistication to get it right and deal with cases such as crashing during recovery itself. In today's paper Koskinen and Yang first provide … Continue reading Reducing Crash Recoverability to Reachability
the morning paper 