Sumários

Project Support

9 novembro 2017, 12:30 João Coelho Garcia

Project Support


Global States (conclusion) and Mutual-exclusion

9 novembro 2017, 08:00 Luís Eduardo Teixeira Rodrigues

Distributed debugging. Introduction to mutual-exclusion. Ricart and Agrawala's algorithm. (chapter 15)


Project support

7 novembro 2017, 13:30 Paolo Romano

Project support


Algorithms for distributed mutual exclusion

7 novembro 2017, 11:00 Paolo Romano

- Algorithms for distributed mutual exclusion: 

  - Centralized server 
  - Ricart and Agrawala
  - Maekawa

- Introduction to leader election and ring-based algorithm


Global states

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

Consistent cut. Snapshot algorithm. (chapter 14)