Lineage Driven Fault Injection

The Paper

Lineage Driven Fault Injection (http://www.cs.berkeley.edu/~palvaro/molly.pdf)

There is a summary done on the morning paper, here (https://blog.acolyer.org/2015/03/26/lineage-driven-fault-injection/).

Format

We start at 6:10, don't be late!

The discussion lasts for about 1 to 1.5 hours, depending upon the paper.

• Read the paper (done before you arrive)

• Introductions (name, and background)

• First impressions (1-2 minutes this is what I thought)

• Structured review (we move through the paper in order, everyone gets a chance to ask questions, offer comments, and raise concerns)

• Free form discussion

• Nominate and vote on the next paper

• Adjourn for food and/or drink at Steamworks (https://www.google.ca/maps?ion=1&espv=2&q=steamworks&bav=on.2,or.&biw=1674&bih=956&dpr=2&um=1&ie=UTF-8&sa=X&ved=0ahUKEwjTpLXtqb_MAhVC0mMKHWLiBLcQ_AUIBigB)

Abstract

Failure is always an option; in large-scale data management systems, it is practically a certainty. Fault-tolerant protocols and components are notoriously difficult to implement and debug. Worse still, choosing existing fault-tolerance mechanisms and integrating them correctly into complex systems remains an art form, and programmers have few tools to assist them. We propose a novel approach for discovering bugs in fault-tolerant data management systems: lineage-driven fault injection. A lineage driven fault injector reasons backwards from correct system outcomes to determine whether failures in the execution could have prevented the outcome. We present MOLLY, a prototype of lineage driven fault injection that exploits a novel combination of data lineage techniques from the database literature and state-of-the-art satisfiability testing. If fault-tolerance bugs exist for a particular configuration, MOLLY finds them rapidly, in many cases using an order of magnitude fewer executions than random fault injection. Otherwise, MOLLY certifies that the code is bug-free for that con- figuration.

Getting There

Unbounce is near the Vancouver City Centre Canada Line Station, or the Granville Sky Train station, and there is pay parking available. Enter into the lobby, if no one is there to take you up the elevator, hang on if it's before 6:10, otherwise use the comments to get a hold of us.