sapienzastudentsnetwork distributed-systems Exercises Discussions
Exercises Discussions
Exercises
-
You must be logged in to vote Exercise 25: Consider an asynchronous system of 5 processes that run the Ben-Or
todoThis doesn't seem right -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Exercise 16: Paxos modification
todoThis doesn't seem right -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Exercise 24: Build a run of the Ben-Or randomised consensus algorithm that never terminates.
todoThis doesn't seem right -
You must be logged in to vote Exercise 17: reduce number of messages (Paxos)
todoThis doesn't seem right -
You must be logged in to vote Exercise 7: Chandy-Lamport Snapshot Protocol can build a global state that never happened.
todoThis doesn't seem right -
You must be logged in to vote Exercise 12: Show that S is reachable from S0 and that S1 is reachable from S.
todoThis doesn't seem right -
You must be logged in to vote Exercise 6: Chandy-Lamport Snapshot Protocol builds a consistent global state.
todoThis doesn't seem right -
You must be logged in to vote -
You must be logged in to vote Exercise 19: Is safety violated? (Consensus)
todoThis doesn't seem right -
You must be logged in to vote Exercise 21: failure detector implementation and its properties.
todoThis doesn't seem right -
You must be logged in to vote Exercise 18: consensus and Paxos unsafety
todoThis doesn't seem right -
You must be logged in to vote Exercise 20: You are an optimization freak (fast paxos)
todoThis doesn't seem right -
You must be logged in to vote Exercise 13: atomic commit (7.2)
todoThis doesn't seem right -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote
