INFO4219 : Systèmes Distribués

This course focuses on the algorithmic aspects of distributed systems. The implementation of distributed algorithms to solve communication, resource allocation and synchronization problems will be discussed. Thus, mutual exclusion problems in shared memory, then in message-passing, leader election problems, wave algorithms (depth-first, token circulation, PIF, spanning trees, ...), termination detection, routing algorithms, fault tolerance, self-stabilization, etc. are all illustrations of the points that will be covered in this course.
This course operates in the form of a lecture and practical session and therefore the emphasis is on interactivity.