Planeamento
Aulas Teóricas
Introduction to the course and system models.
Physical models. Architectural models. Fundamental models. (Chapter 2)
Group Communication
Introduction to group communication. (Chapter 6)
Project Assignment
Presentation of the Project Assignment
Pub/Sub
Introduction to publish-subscribe systems. (Chapter 6)
Publish-subscribe systems and message queues
Architecture of publish-subscribe systems. Publish-subscribe in large-scale systems (chapter 6).
Distributed shared memory
Distributed shared memory. (chapter 6)
Tuple spaces
DSM (conclusion: memory consistency models). Tuple spaces: model and implementation (chapter 6)
Introduction to peer-to-peer systems
Final remarks regarding the implementation of distributed tuple-spaces.
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. Some concrete peer-to-peer systems and applications. Oceanstore and Scribe. . (chapter 10)
P2P & Time and physical clocks
P2P Systems. Conclusion. Time, physical clocks, clock synchronization. (chapter 14)
Logical time a logical clocks
Clock synchronization (end). Lamport´s logical clocks. (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
Introduction to mutual-exclusion. Ricart and Agrawala's algorithm. (chapter 15)
Mutual-exclusion.
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. Total order broadcast. (chapter 15)
Consensus
Consensus in synchronous systems (with a perfect failure detector) and with an asynchronous system (with an imperfect failure detector).
Consensus
Paxos. Detailled description of Paxos operation.
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)