Planeamento
Aulas Teóricas
Introduction to the course.
Introduction to the course.
System models.
Physical models. Architectural models. Fundamental models. (Chapter 2)
Group Communication
Introduction to group communication. (Chapter 6)
Pub/Sub
Introduction to publish-subscribe systems. (Chapter 6)
Publish-subscribe systems and message queues
Architecture of publish-subscribe systems. Building trees on mesh topologies and rendez-vous points (chapter 6).
Distributed shared memory
Distributed shared memory. (chapter 6)
Tuple spaces
Tuple spaces: model and implementation (chapter 6)
Introduction to peer-to-peer systems
Introduction to peer-to-peer systems and network overlays. Structured P2P systems. Chord. (chapter 10)
Peer-to-peer systems: examples
Continuation from the previous class: PASTRY. (chapter 10)
Applications of P2P systems
Some concrete peer-to-peer systems and applications. Oceanstore and Scribe (chapter 10).
Time and physical clocks
Time, physical clocks, clock synchronization. (chapter 14)
Logical time a logical clocks
Clock synchronization (end). Lamport´s logical clocks. Vector clocks. Causal multicast. (chapter 14)
Global states
Consistent cut. Snapshot algorithm. (chapter 14)
Global States (conclusion) and Mutual-exclusion
Distributed debugging. Introduction to mutual-exclusion. Ricart and Agrawala's algorithm. (chapter 15)
Mutual-exclusion and Leader Election
Maekawa´s algorithm for mutual exclusion. Leader Election. (chapter 15).
Coordination in group communications
Total order multicast on top of view synchronous communication. (chapter 15)
Consensus and related problems
Consensus. Interactive consistency. Atomic commitment. Total order broadcast. (chapter 15)
Consensus in synchronous systems
Consensus in synchronous systems (with a perfect failure detector): leader-based and flood-set algorithms.
Consensus in asynchronous systems
Paxos. Detailled description of Paxos operation. Short overview of a randomized solution.
Consensus (conclusion)
Description of the operation of paxos using proposers, acceptors and learners. Multipaxos.
The gossip architecture
The gossip architecture. (chapter 18)
Bayou
Bayou and optimistic replication/ eventual consistency. (chapter 18)
Distributed File Systems: NFS, AFS, CODA and Google File System
Distributed File Systems:
Historic perspective: NFS and AFS
CODA (chapter 18)
- Architecture
- Main use cases
Google File System (chapter 21)
Google technology
Some examples of distributed application from Google,including google Spanner (Chapter 21).