Finalist EPFL doctorate Award 2006 - Kouznetsov Petr
© 2006 EPFL
Petr Kouznetsov's scientific work is (according to the opinion of the jury) ranking among the best 4 % (8 out of 250) PhD theses awarded by EPFL in 2005. Thesis EPFL, n° 3262 (2005). Dir.: Prof. Rachid Guerraoui.
Synchronization using failure dectections.
Many important synchronization problems in distributed computing are impossible to solve (in a fault-tolerant manner) in purely asynchronous systems, where message transmission delays and relative processor speeds are unbounded. It is then natural to seek for the minimal synchrony assumptions that are sufficient to solve a given synchronization problem. A convenient way to describe synchrony assumptions is using the failure detector abstraction. In this thesis, we determine the weakest failure detectors for several fundamental problems in distributed computing: solving fault-tolerant mutual exclusion, solving non-blocking atomic commit, and boosting the synchronization power of atomic objects. We conclude the thesis by a perspective on the very definition of failure detectors.