Planeamento
Aulas Teóricas
Presentation of the course
Presentation of the course. Evaluation metod. Bibliography. How to write the project report.
System Models
Physical models. Architectural models. Fundamental models. (Chapter 2)
Group Communication
Introduction to group communication. JGroups. (Chapter 6)
Group Communication & Pub/Sub
Conclusion of overview on group communication. Introduction to publish-subscribe systems. (Chapter 6)
Publish-subscribe systems and message queues
Architecture of publish-subscribe systems. Example systems. Message queues (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 and Pastry. (chapter 10)
Peer-to-peer systems: examples
Some concrete peer-to-peer systems and applications. Oceanstore and Ivy. (chapter 10)
Time and physical clocks
Time, physical clocks, clock synchronization. (chapter 14)
Logical time a logical clocks
Lamport´s logical clocks. Vector clocks. (chapter 14) Introduction to global states.
Global states
Consistent cut. Snapshot algorithm. (chapter 14)
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
Reliable multicast, FIFO, causal and total order multicast. (chapter 15)
Implementing total order
Skeen´s algorithm foe total order. Using total order to implement mutual exclusion with quorums.
Consensus and related problems
Consensus. Interactive agreement. Total order broadcast. (chapter 15)
Consensus related problems (continued)
Interactive agreement. Total order multicast. View-synchrony. (chapter 15)
Concurrency control techniques
Optimistic and pessimistic concurrency control. (chapter 16)
Distributed transactions
Concurrency control in distributed transactions (chapter 17).
The gossip architecture
Bief survey of basic replication techniques. The gossip architcture. (chapter 18)
Bayou
Bayou and optimistic replication/ eventual consistency. (chapter 18)
Coda
Coda and replicated file systems. (chapter 18)
Case-study: google
Architecture. GoogleFS. Chubby. (chapter 21)
Case-study: google
Bigtable. Megastore. Distributed computation: percolator (chapter 21, and more)