WHO'S ON BOARD? Probabilistic Membership for Real-Time Distributed Control Systems

To increase their dependability, distributed control systems (DCSs) need to agree in real time about crashed hosts, i.e., they need a real-time membership service. In this paper, we prove that such a service cannot be implemented deterministically if, besides host crashes, communication can also fail. We define implementable probabilistic variants of membership properties, which constitute what we call a synchronous membership service (SYMS). We present an algorithm, ViewSnoop, that implements SYMS with high-probability. We implement, deploy and evaluate ViewSnoop analytically as well as experimentally, within an industrial DCS framework. We show that ViewSnoop significantly improves the dependability of DCSs compared to membership schemes based on classic heartbeats, at low additional cost. ViewSnoop also distinguishes, with high probability, host crashes from losses, enabling DCSs to counteract losses better than existing approaches.


Published in:
Proceedings Of 2016 Ieee 35Th Symposium On Reliable Distributed Systems (Srds), 167-176
Presented at:
35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW), Budapest, HUNGARY, SEP 26-29, 2016
Year:
2016
Publisher:
New York, Ieee
ISSN:
1060-9857
ISBN:
978-1-5090-3513-7
Laboratories:




 Record created 2017-02-17, last modified 2018-06-22


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)