|
|
|
|
Distributed Computing 0368-4429-01 Spring-Summer 2012 Lecturer: Prof. Yehuda Afek |
|
|
DATE |
TOPIC |
|
March 4 |
Models, and Introduction. |
|
March 11 |
Broadcast and Echo Termination Detection, Snapshots, Synchronizers Snapshot paper pdf |
|
March 18 |
Leader Election, ring networks, unidirectional case |
|
March 25 |
|
|
April 1 |
Computing the maximal independent set, rings and general graphs, upper and lower bounds |
|
April 15 |
Data link protocols, the sequence transmition problem and End-to-End protocols and another pdf |
|
April 22 |
The consensus problem. Algorithms and lower bounds |
|
April 29 |
The shared memory model, Wait-free synchronization, the shared memory hierarchy and universal constructions. Atomic Snapshots of shared memories, Immediate snap-shots, |
|
May 6 |
The consensus problem, and its impossibility in asynchronous networks with one faulty processor |
|
May 13 |
Mutual exclusion, Fast Mutual Exclusion, Adaptive Algorithms Taubenfeld Paper Moir Anderson, Lamport-87 |
|
May 20 |
Simulating Shared memory in message passing, Randomized Consensus. |
|
May 29 |
Lower bound techniques (log * n for maximal independent set on ring of size n). |
|
June 3 |
Renaming, Eventually connected end-to-end STP, Concurrent Time Stamps, |
|
June 10 |
Concurrent programming, the link list case |
|
June 17 |
More on concurrent programming |
See Course outline with references (pdf
These weights are subject to change.
Grade
Winter 2011 Course page
Winter 2010 Course page
Winter 2009 Course page
Winter 2008 Course page
Winter 2007 Course page
Winter 2006 Course page