Sumários

Global States in a distributed system (2)

3 novembro 2015, 11:00 Paolo Romano

Chandy Lamport Algorithm (cont.)

Properties of snapshots
Distributed debugging


Global States in Distributed Systems

2 novembro 2015, 16:30 Paolo Romano

Global States global states in distributed systems 

* invariants, properties 
*non-consistent cuts 
* consistent cuts 
* history and linearization of a distributed execution
*consistent global states 

Distributed Snapshots 
* records global state
  *  consistent, i.e., that may have actually happened 
* instantiation of consistent cuts
* Snapshot algorithm by Chandy and Lamport 


Apresentação de artigos e apoio ao projecto

2 novembro 2015, 13:30 Paolo Romano

Apresentação de artigos e apoio ao projecto


Atribuição Artigos + Apoio ao projecto

27 outubro 2015, 13:30 Paolo Romano

Atribuição Artigos + Apoio ao projecto


Logical clocks

27 outubro 2015, 11:00 Paolo Romano

Logical clocks, Lamport clocks, Vector clocks