Sumários
Global states and Distributed Snapshots
15 abril 2015, 13: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.
Instantiation of consistent cuts
Logical Time in distributed systems
13 abril 2015, 13:30 • Paolo Romano
Logical time.
Logical clocks.
Causality (happened-before relations)