The Library
Global predicate detection in distributed systems with small faults
Tools
Freiling, F. C. and Jhumka, Arshad (2007) Global predicate detection in distributed systems with small faults. In: 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems, Paris, France, 14-16 Nov 2007 . Published in: Proceedings of the 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems pp. 296-310. doi:10.1007/978-3-540-76627-8_23
Text
global_predicate_detection_in_distributed_systems_with_small_faults.pdf - Published Version Embargoed item. Restricted access to Repository staff only Download (530Kb) |
Official URL: http://dx.doi.org/10.1007/978-3-540-76627-8_23
Abstract
We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is impossible to detect predicates in an asynchronous distributed system prone to small faults even if nodes are equipped with a powerful device known as failure detector sequencer (denoted by Σ). To redress this impossibility, we introduce a theoretical de- vice, known as a small fault sequencer (denoted by ΣSF ), and show that ΣSF is necessary and sufficient for predicate detection. Unfortunately,we also show that ΣSF cannot be implemented even in a synchronous dis- tributed system. Fortunately, however, we show that predicate detection can be achieved with high probability in synchronous systems.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Proceedings of the 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems | ||||
Publisher: | Springer Verlag | ||||
Official Date: | November 2007 | ||||
Dates: |
|
||||
Page Range: | pp. 296-310 | ||||
DOI: | 10.1007/978-3-540-76627-8_23 | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 1 August 2016 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems | ||||
Type of Event: | Conference | ||||
Location of Event: | Paris, France | ||||
Date(s) of Event: | 14-16 Nov 2007 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |