Network-wide Consensus Utilizing the Capture Effect in Low-power Wireless Networks

In low-power wireless networking, new applications such as cooperative robots or industrial closed-loop control demand for network-wide consensus at low-latency and high reliability. Distributed consensus protocols is a mature field of research in a wired context, but has received little attention in low-power wireless settings. In this paper, we present A2: Agreement in the Air, a system that brings distributed consensus to low-power multi-hop networks. A2 introduces Synchrotron, a synchronous transmissions kernel that builds a robust mesh by exploiting the capture effect, frequency hopping with parallel channels, and link-layer security. A2 builds on top of this reliable base layer and enables the two- and three-phase commit protocols, as well as network services such as group membership, hopping sequence distribution and re-keying. We evaluate A2 on four public testbeds with different deployment densities and sizes. A2 requires only 475 ms to complete a two-phase commit over 180 nodes. The resulting duty cycle is 0.5% for 1-minute intervals. We show that A2 achieves zero losses end-to-end over long experiments, representing millions of data points. When adding controlled failures, we show that two-phase commit ensures transaction consistency in A2 while three-phase commit provides liveness at the expense of inconsistency under specific failure scenarios.

[1]  K. Leentvaar,et al.  The Capture Effect in FM Receivers , 1976, IEEE Trans. Commun..

[2]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[3]  Michael Stonebraker,et al.  A Formal Model of Crash Recovery in a Distributed System , 1983, IEEE Transactions on Software Engineering.

[4]  Kenneth P. Birman,et al.  The process group approach to reliable distributed computing , 1992, CACM.

[5]  Miguel Oom Temudo de Castro,et al.  Practical Byzantine fault tolerance , 1999, OSDI '99.

[6]  Mohamed F. Younis,et al.  Fault-tolerant clustering of wireless sensor networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[7]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[8]  S. Sitharama Iyengar,et al.  Distributed Bayesian algorithms for fault-tolerant event region detection in wireless sensor networks , 2004, IEEE Transactions on Computers.

[9]  Shashidhar Gandham,et al.  STCP: a generic transport layer protocol for wireless sensor networks , 2005, Proceedings. 14th International Conference on Computer Communications and Networks, 2005. ICCCN 2005..

[10]  R. Cardell-Oliver data gathering in wireless sensor networks. , 2005 .

[11]  Jie Wu,et al.  EECS: an energy efficient clustering scheme in wireless sensor networks , 2005, PCCC 2005. 24th IEEE International Performance, Computing, and Communications Conference, 2005..

[12]  Yunghsiang Sam Han,et al.  A pairwise key predistribution scheme for wireless sensor networks , 2005, TSEC.

[13]  Ramesh Govindan,et al.  Interference-aware fair rate control in wireless sensor networks , 2006, SIGCOMM.

[14]  Ming Dong,et al.  On distributed fault-tolerant detection in wireless sensor networks , 2006, IEEE Transactions on Computers.

[15]  Dan Rubenstein,et al.  Using Channel Hopping to Increase 802.11 Resilience to Jamming Attacks , 2007, IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications.

[16]  Murat Demirbas,et al.  TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks , 2007, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008).

[17]  David E. Culler,et al.  Flush: a reliable bulk transport protocol for multihop wireless networks , 2007, SenSys '07.

[18]  Kamran Mohseni,et al.  SensorFlock: an airborne wireless sensor network of micro-air vehicles , 2007, SenSys '07.

[19]  Hai Liu,et al.  Fault-Tolerant Algorithms/Protocols in Wireless Sensor Networks , 2009, Guide to Wireless Sensor Networks.

[20]  Philip Levis,et al.  Collection tree protocol , 2009, SenSys '09.

[21]  Ankur Mehta,et al.  Reliability through frequency diversity: why channel hopping makes sense , 2009, PE-WASUN '09.

[22]  Ramesh Govindan,et al.  RCRT: Rate-controlled reliable transport protocol for wireless sensor networks , 2010, TOSN.

[23]  Ankur Mehta,et al.  Mitigating Multipath Fading through Channel Hopping in Wireless Sensor Networks , 2010, 2010 IEEE International Conference on Communications.

[24]  Mani B. Srivastava,et al.  High-resolution, low-power time synchronization an oxymoron no more , 2010, IPSN '10.

[25]  Adam Dunkels,et al.  Lossy links, low power, high throughput , 2011, SenSys.

[26]  Lothar Thiele,et al.  Efficient network flooding and time synchronization with Glossy , 2011, Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks.

[27]  Amy L. Murphy,et al.  Is there light at the ends of the tunnel? Wireless sensor networks for adaptive lighting in road tunnels , 2011, Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks.

[28]  Adam Dunkels,et al.  The ContikiMAC Radio Duty Cycling Protocol , 2011 .

[29]  Mun Choon Chan,et al.  Indriya: A Low-Cost, 3D Wireless Sensor Network Testbed , 2011, TRIDENTCOM.

[30]  Lothar Thiele,et al.  Low-power wireless bus , 2012, SenSys '12.

[31]  George C. Oikonomou,et al.  Stateless multicast forwarding with RPL in 6LowPAN sensor networks , 2012, 2012 IEEE International Conference on Pervasive Computing and Communications Workshops.

[32]  Philip Levis,et al.  RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks , 2012, RFC.

[33]  Marco Zuniga,et al.  JAG: Reliable and Predictable Wireless Agreement under External Radio Interference , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[34]  Mikael Gidlund,et al.  Design Challenges and Objectives in Industrial Wireless Sensor Networks , 2013 .

[35]  Federico Ferrari,et al.  FlockLab: A testbed for distributed, synchronized tracing and profiling of wireless embedded systems , 2013, 2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).

[36]  Federico Ferrari,et al.  FlockLab: A testbed for distributed, synchronized tracing and profiling of wireless embedded systems , 2013, 2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).

[37]  Marcus Chang,et al.  Forwarder Selection in Multi-transmitter Networks , 2013, 2013 IEEE International Conference on Distributed Computing in Sensor Systems.

[38]  Mun Choon Chan,et al.  Splash : Fast Data Dissemination with Constructive Interference in Wireless Sensor Networks , 2013 .

[39]  Hiroyuki Morikawa,et al.  Low-Power, End-to-End Reliable Collection Using Glossy for Wireless Sensor Networks , 2013, 2013 IEEE 77th Vehicular Technology Conference (VTC Spring).

[40]  Federico Ferrari,et al.  Chaos: versatile and efficient all-to-all data sharing and in-network processing at scale , 2013, SenSys '13.

[41]  Jorge Sá Silva,et al.  The GINSENG system for wireless monitoring and control: Design and deployment experiences , 2013, TOSN.

[42]  Lothar Thiele,et al.  Virtual Synchrony Guarantees for Cyber-physical Systems , 2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems.

[43]  Thiemo Voigt,et al.  Low-Power Listening Goes Multi-channel , 2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems.

[44]  JeongGil Ko,et al.  Low-power and topology-free data transfer protocol with synchronous packet transmissions , 2014, 2014 Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).

[45]  Matthias Hollick,et al.  Making 'Glossy' Networks Sparkle: Exploiting Concurrent Transmissions for Energy Efficient, Reliable, Ultra-Low Latency Communication in Wireless Control Networks , 2014, EWSN.

[46]  Matthias Hollick,et al.  Ripple: High-throughput, reliable and energy-efficient network flooding in wireless sensor networks , 2015, 2015 IEEE 16th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM).

[47]  Eric Fleury,et al.  FIT IoT-LAB: A large scale open experimental IoT testbed , 2015, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT).

[48]  Thiemo Voigt,et al.  An experimental study of attacks on the availability of Glossy , 2015, Comput. Electr. Eng..

[49]  Mo Li,et al.  When Pipelines Meet Fountain: Fast Data Dissemination in Wireless Sensor Networks , 2015, SenSys.

[50]  Thomas Watteyne,et al.  Orchestra: Robust Mesh Networks Through Autonomously Scheduled TSCH , 2015, SenSys.

[51]  Jin Zhang,et al.  RFT: Identifying Suitable Neighbors for Concurrent Transmissions in Point-to-Point Communications , 2015, MSWiM.

[52]  Roger Wattenhofer,et al.  Maintaining Constructive Interference Using Well-Synchronized Sensor Nodes , 2016, 2016 International Conference on Distributed Computing in Sensor Systems (DCOSS).

[53]  Thiemo Voigt,et al.  Arpeggio: A Penetration Attack on Glossy Networks , 2016, 2016 13th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).

[54]  Silvia Santini,et al.  Concurrent Transmissions for Communication Protocols in the Internet of Things , 2016, 2016 IEEE 41st Conference on Local Computer Networks (LCN).

[55]  Amy L. Murphy,et al.  Data Prediction + Synchronous Transmissions = Ultra-low Power Wireless Sensor Networks , 2016, SenSys.

[56]  Chayan Sarkar LWB and FS-LWB implementation for Sky platform using Contiki , 2016, ArXiv.

[57]  Qin Wang,et al.  6top Protocol (6P) , 2016 .

[58]  Jirka Klaue,et al.  Competition: RedFixHop with Channel Hopping , 2017, EWSN.

[59]  Lothar Thiele,et al.  Competition: Robust Flooding using Back-to-Back Synchronous Transmissions with Channel-Hopping , 2017, EWSN.

[60]  An Braeken,et al.  BMRF: Bidirectional Multicast RPL Forwarding , 2017, Ad Hoc Networks.

[61]  Simon Duquennoy,et al.  TSCH and 6TiSCH for Contiki: Challenges, Design and Evaluation , 2017, 2017 13th International Conference on Distributed Computing in Sensor Systems (DCOSS).

[62]  Kay Römer,et al.  A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge , 2017, EWSN.

[63]  Olaf Landsiedel,et al.  Competition: Towards Low-Power Wireless Networking that Survives Interference with Minimal Latency , 2017, EWSN.