Sumários

Consensus: Paxos

21 novembro 2017, 11:00 Paolo Romano

Detailed description of the Paxos protocol. Multipaxos.


Consensus and related problems

21 novembro 2017, 09:30 Luís Eduardo Teixeira Rodrigues

Consensus. Interactive consistency.  Atomic commitment. Total order broadcast. (chapter 15)


Review on Causal Consistent Broadcast and Introduction to Consensus

20 novembro 2017, 16:30 Paolo Romano

- Review of the Lamport's algorithm for causally consistent communication.

- Specification of the Consensus problem
- Floodset algorithm for consensus in synchronous systems.


Papers' presentations

20 novembro 2017, 13:30 Paolo Romano

Presentations of three selected papers by students.


Paper Presentations by Students

20 novembro 2017, 09:30 João Coelho Garcia

- Incremental Consistency Guarantees for Replicated Objects
- Scaling Distributed Machine Learning with the Parameter Server