טכניון מכון טכנולוגי לישראל
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים  
M.Sc Thesis
M.Sc StudentKeren Eyal
SubjectSelf-Stabilizing Algorithms in the
Stone Age Model
DepartmentDepartment of Industrial Engineering and Management
Supervisor ASSOCIATE PROF. Yuval Emek
Full Thesis textFull thesis text - English Version


Abstract

Introduced by Emek and Wattenhofer (PODC 2013), the stone age (SA) model provides an abstraction for network algorithms distributed over randomized finite state machines. This model, designed to resemble the dynamics of biological processes in cellular networks, assumes a weak communication scheme that is built upon the nodes ability to sense their vicinity in an asynchronous manner. Recent

works demonstrate that the weak computation and communication capabilities of the SA model suffice for efficient solutions to some core tasks in distributed computing, but they do so under the (somewhat less realistic) assumption of fault free computations. In this thesis, we initiate the study of self-stabilizing SA algorithms that are guaranteed to recover from any combination of transient faults.

Specifically, we develop efficient self-stabilizing SA algorithms for the leader election and maximal independent set tasks in bounded diameter graphs subject to an asynchronous scheduler. These algorithms rely on a novel efficient self-stabilizing asynchronous unison (AU) algorithm, “thin” in terms of its state space: the number of states used by the AU algorithm is linear in the graph’s diameter bound, irrespective of the number of nodes.