We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Synchronous Hybrid Message-Adversary

Abstract: The theory of distributed computing, lagging in its development behind practice, has been biased in its modelling by employing mechanisms within the model mimicking reality. Reality means, processors can fail. But theory is about predicting consequences of reality, hence if we capture reality by "artificial models," but those nevertheless make analysis simpler, we should pursue the artificial models.
Recently the idea was advocated to analyze distributed systems and view processors as infallible. It is the message delivery substrate that causes problems. This view not only can effectively emulate reality, but above all seems to allow to view any past models as \emph{synchronous} models. Synchronous models are easier to analyze than asynchronous ones. Furthermore, it gives rise to models we haven't contemplated in the past. One such model, presented here, is the Hybrid Message-Adversary. We motivate this model through the need to analyze Byzantine faults. The Hybrid model exhibits a phenomenon not seen in the past.
Comments: adding the bbl file that was missing
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
Cite as: arXiv:1605.02279 [cs.DC]
  (or arXiv:1605.02279v2 [cs.DC] for this version)

Submission history

From: Danny Dolev [view email]
[v1] Sun, 8 May 2016 05:33:04 GMT (29kb,D)
[v2] Tue, 5 Jul 2016 17:25:13 GMT (32kb,D)

Link back to: arXiv, form interface, contact.