OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

On the Power of Rounds : Explorations of the Heard-Of Model

Shimi, Adam. On the Power of Rounds : Explorations of the Heard-Of Model. PhD, Informatique et Télécommunication, Institut National Polytechnique de Toulouse, 2020, 145 p.

[img]
Preview
(Document in English)

PDF (Author's author) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Abstract

Distributed computing studies which problems can be solved by communicating processes -- computers, people,.... Because communication can take many shapes, and because of its uncertainty, lots of different models exist. So many that it's easy to get lost. One way to deal with this overabundance constrains processes to use rounds: they repeatedly broadcast a message tagged with their current round number, wait for messages with this same round number, and then use them to compute their next state and change round. The Heard-Of model leverages this idea through heard-of predicates, which constrain which messages is received at which round. Yet this model lacks the attention that it deserves from the research community. I believe the reason lies on the following three unsolved problems: how to find the heard-of predicate corresponding to a given model, is anything lost in this translation, and how to prove general results on heard-of predicates. This thesis addresses all three.

Item Type:PhD Thesis
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Laboratory name:
Research Director:
Quéinnec, Philippe and Hurault, Aurélie
Statistics:download
Deposited On:17 Sep 2021 07:12

Repository Staff Only: item control page