Pset 3f: Failure model trades

I’ve collected the posted failure models, linked them, and randomized them, then added people who haven’t posted a failure model yet.

This weekend, the people in each failure model trade group should try each other’s failure models and discuss the results. It’d probably be most fun to do this as a group. Feel free to try other posted failure models too. We already have one success: Valencia’s failure model found a bug in Darius’s Paxos!

We’ll talk about your results on Monday 4/13 in class. A Canvas assignment will be posted due that night. There you’ll briefly describe your experience with the trades. Which failure models in the group seemed most torturous (most likely to demonstrate a bug)? Were there any interesting software engineering choices?