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.
WOS:000391526500018
2016
978-1-5090-3513-7
New York
10
Symposium on Reliable Distributed Systems Proceedings
167
176
REVIEWED
Event name | Event place | Event date |
Budapest, HUNGARY | SEP 26-29, 2016 | |