000225751 001__ 225751
000225751 005__ 20180913064205.0
000225751 020__ $$a978-1-5090-3513-7
000225751 0247_ $$2doi$$a10.1109/Srds.2016.27
000225751 022__ $$a1060-9857
000225751 02470 $$2ISI$$a000391526500018
000225751 037__ $$aCONF
000225751 245__ $$aWHO'S ON BOARD? Probabilistic Membership for Real-Time Distributed Control Systems
000225751 260__ $$bIeee$$c2016$$aNew York
000225751 269__ $$a2016
000225751 300__ $$a10
000225751 336__ $$aConference Papers
000225751 490__ $$aSymposium on Reliable Distributed Systems Proceedings
000225751 520__ $$aTo 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.
000225751 700__ $$0240335$$g105326$$uEcole Polytech Fed Lausanne, Lausanne, Switzerland$$aGuerraoui, Rachid
000225751 700__ $$0246547$$g210783$$uEcole Polytech Fed Lausanne, Lausanne, Switzerland$$aKozhaya, David
000225751 700__ $$aOriol, Manuel
000225751 700__ $$aPignolet, Yvonne-Anne
000225751 7112_ $$dSEP 26-29, 2016$$cBudapest, HUNGARY$$a35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW)
000225751 773__ $$tProceedings Of 2016 Ieee 35Th Symposium On Reliable Distributed Systems (Srds)$$q167-176
000225751 909C0 $$xU10407$$0252114$$pDCL
000225751 909CO $$pconf$$pIC$$ooai:infoscience.tind.io:225751
000225751 917Z8 $$x105326
000225751 937__ $$aEPFL-CONF-225751
000225751 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000225751 980__ $$aCONF