P4/2017

Prof. Petr
Kuznetsov, office hours: C213-2, appointment by email

INFRES, Telecom ParisTech

Practically all computing systems, from fire alarms to Internet-scale
services, are nowadays *distributed*: they consist of a number of
computing units
performing independent computations and communicating with each other
to synchronize their activities. Our dependence on performance and
reliability of distributed systems becomes more and more
imminent.
Therefore, understanding fundamentals of distributed computing is of crucial importance.

This course is devoted to the use of combinatorial topology, the approach that has recently been used to close several long-standing open questions in distributed computability. The course is based on the textbook by Maurice Herlihy, Dmitry Kozlov, and Sergio Rajsbaum, "Distributed Computing through Combinatorial Topology".

News

Slides and exercises

Literature

- The first lecture:
**Friday, Apr 28,**8h30, B555-557. The second lecture will take place on**Friday, May 5,**B555-557 - Solutions to the first set of exercises are available
- 02.06.2017: Solutions to HW2 and HW3 are available: sol2 and sol3
- 16.06.2017: Solutions to HW4 are available: sol4
- 23.06.2017: Solutions to HW5 are available: sol5

Date | Class | Exercises | Solutions |
---|---|---|---|

28.04.2017 | Introduction | HW 1 | solutions |

05.05.2017 | Two-process computations | HW 2 | solutions |

12.05.2016 | Basics of combinatorial topology | HW 3 | solutions |

02.06.2016 | Midterm Exam |
||

02,09.06.2016 | Colorless tasks | HW 4 | solutions |

16-23.06.2016 | Solving colorless tasks | HW 5 | solutions |

29.06.2016 | Q&A session |
||

30.06.2016 | Exam |

- M. Herlihy, D. Kozlov, and S. Rajsbaum, "Distributed Computing through Combinatorial Topology", Morgan Kaufman, 2014, ebook on Dawsonera (log in via Shibboleth using your TPT account).
- R. Guerraoui, P. Kuznetsov. Lecture Notes on Concurrent Computing
- M. Herlihy and N. Shavit. The art of multiprocessor programming. Morgan Kaufman, 2008, ebook
- N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers. 1996
- H. Attiya, J. Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics (2nd edition). Addison Wesley. 2006