Abstract
Distributed wireless network devices are mostly battery-powered. Transmitting a message on distributed wireless networks uses more energy than receiving one, which in turn uses more energy than internal computations. Therefore, in this paper, we study the problem of randomized leader election in synchronous distributed single-hop networks with a special focus on the energy complexity. We provide algorithmic solutions to the implicit version of leader election problem where non-leader nodes need not be aware of the identity of the leader. Because the size of a message impacts the energy consumption, we highlight that the solutions we propose consume very little energy: each device is allowed to send a single one-bit message only once and listen to the network during two time slots at most. We first consider four well-studied variants of the radio network (RN) model depending on the transmission and reception abilities of the participating devices:
-
RNstrongCD: both transmitters and listeners can detect collision,
-
RNsenderCD: only transmitters can detect collision,
-
RNCD: only listeners can detect collision,
-
RNnoCD: no device can detect collision.
Next, we study the beeping network model. The time and energy complexities of all our algorithms are deterministic and they succeed in electing a unique leader with high probability even under the restriction that each node can only send once a single one-bit signal. When the nodes are aware of the total number n of the participants, our algorithm elects a leader in \(O(\log n)\) rounds. When n is not known beforehand but an upper bound u on n with \(\log u = \varTheta (\log n)\) is known by all participating nodes, we design a randomized algorithm with \(O(\log ^{2}{n})\) time complexity for the RN models. For beeping networks, our algorithm has \(O(n^{\varepsilon })\) time complexity (\(0<\varepsilon <1\)). The parameter \(\varepsilon \) can be tuned to increase the probability of success of the algorithms.
Similar content being viewed by others
Notes
With the exception of RNsenderCD model.
A leader election protocol is said to be uniform if all nodes execute the same program during the whole execution of the algorithm.
A Monte Carlo algorithm is a randomized algorithm whose output may be incorrect with a small probability.
A Las Vegas algorithm is a randomized algorithm that always gives correct results.
Otherwise, we make the notations rather cumbersome by using \(\lceil x \rceil \) (resp. \(\lfloor x \rfloor \)) for the ceiling (resp. floor) function. Note that this assumption does not limit the generality of the results.
Equation (4) shows that \(T=2|{{\,\textrm{I}\,}}| < 8\) where \(|{{\,\textrm{I}\,}}|\) is the length of the loop of Algorithm 1 with two time slots inside the loop.
References
Aby, A.T., Guitton, A., Lafourcade, P., Misson, M.: Slack-mac: Adaptive mac protocol for low duty-cycle wireless sensor networks. In: International Conference on Ad Hoc Networks, pp. 69–81. Springer (2015)
Afek, Y., Alon, N., Bar-Joseph, Z., Cornejo, A., Haeupler, B., Kuhn, F.: Beeping a maximal independent set. Distrib. Comput. 26(4), 195–208 (2013)
Attiya, H., Welch, J.: Distributed Computing: Fundamentals. Simulations and Advanced Topics. Wiley, New York (2004)
Bar-Yehuda, R., Israeli, A., Itai, A.: Multiple communication in multi-hop radio networks. SIAM J. Comput. 22, 875–887 (1993)
Barnes, M., Conway, C., Mathews, J., Arvind, D.: Ens: An energy harvesting wireless sensor network platform. In: 2010 Fifth International Conference on Systems and Networks Communications, pp. 83–87. IEEE (2010)
Bender, M.A., Kopelowitz, T., Pettie, S., Young, M.: Contention resolution with log-logstar channel accesses. In: Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing, pp. 499–508. ACM (2016)
Capetanakis, J.I.: Tree algorithms for packet broadcast channels. IEEE Trans. Inf. Theory 25(5), 505–515 (1979)
Casteigts, A., Métivier, Y., Robson, J.M., Zemmari, A.: Design patterns in beeping algorithms: examples, emulation, and analysis. Inf. Comput. 264, 32–51 (2019)
Chang, Y.-J., Kopelowitz, T., Pettie, S., Wang, R., Zhan, W.: Exponential separations in the energy complexity of leader election. ACM Trans. Algorithms 15(4), 1–31 (2019)
Chernoff, H.: A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. Ann. Math. Stat. 23, 493–507 (1952)
Chlamtac, I., Kutten, S.: On broadcasting in radio networks-problem analysis and protocol design. IEEE Trans. Commun. 33(12), 1240–1246 (1985)
Cornejo, A., Kuhn, F.: Deploying wireless networks with beeps. In: International Symposium on Distributed Computing, pp. 148–162 (2010)
Devroye, L.: Non-uniform random variate generation. Devroye’s web page (2003). http://www.nrbook.com/devroye/
Fraigniaud, P., Korman, A., Peleg, D.: Towards a complexity theory for local distributed computing. J. ACM (JACM) 60(5), 1–26 (2013)
Ghaffari, M., Haeupler, B.: Near optimal leader election in multi-hop radio networks. In: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 748–766 (2013)
Ghaffari, M., Lynch, N., Sastry, S.: Leader election using loneliness detection. Distrib. Comput. 25(6), 427–450 (2012)
Greenberg, A.G., Winograd, S.: A lower bound on the time needed in the worst case to resolve conflicts deterministically in multiple access channels. J. ACM 32(3), 589–596 (1985)
Guo, C., Zhong, L.C., Rabaey, J.M.: Low power distributed mac for ad hoc sensor radio networks. In: GLOBECOM’01. IEEE Global Telecommunications Conference (Cat. No. 01CH37270), vol. 5, pp. 2944–2948. IEEE (2001)
He, Y., Du, P., Li, K., Yong, S.: An optimization algorithm based on the Monte Carlo node localization of mobile sensor network. Int. J. Simul. Syst. Sci. Technol. 17(20), 1–6 (2016)
Jurdziński, T., Kutyłowski, M., Zatopiański, J.: Efficient algorithms for leader election in radio networks. In: Proceedings of the Twenty-First Annual Symposium on Principles of Distributed Computing PODC’02, pp. 51–57 (2002)
Jurdziński, T., Kutyłowski, M., Zatopiański, J.: Weak communication in single-hop radio networks: adjusting algorithms to industrial standards. Concurr. Comput. Pract. Exp. 15(11–12), 1117–1131 (2003)
Kardas, M., Klonowski, M., Pająk, D.: Energy-efficient leader election protocols for single-hop radio networks. In: 42nd International Conference on Parallel Processing (ICPP), 2013, pp. 399–408. IEEE (2013)
Kutten, S., Pandurangan, G., Peleg, D., Robinson, P.: Trehan: on the complexity of universal leader election. J. ACM 62, 1–27 (2015)
Le Lann, G.: Distributed systems—towards a formal approach. In: IFIP Congress, pp. 155–160 (1977)
Liu, F., Narayanan, A., Bai, Q.: Real-time systems. Phi (2000)
Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)
Metcalfe, R.M., Boggs, D.R.: Ethernet: distributed packet switching for local computer networks. Commun. ACM 19(7), 395–404 (1976)
Motwani, R., Raghavan, P.: Randomized Algorithms. Cambridge University Press, Cambridge (1995)
Nakano, K., Olariu, S.: Randomized leader election protocols in radio networks with no collision detection. In: International Symposium on Algorithms and Computation, pp. 362–373. Springer (2000)
Nakano, K., Olariu, S.: Uniform leader election protocols for radio networks. IEEE Trans. Parallel Distrib. Syst. 13(5), 516–526 (2002)
Oh, H., Han, T.-D.: A demand-based slot assignment algorithm for energy-aware reliable data transmission in wireless sensor networks. Wireless Netw. 18(5), 523–534 (2012)
Sivalingam, K.M., Srivastava, M.B., Agrawal, P.: Low power link and access protocols for wireless multimedia networks. In: 1997 IEEE 47th Vehicular Technology Conference. Technology in Motion, vol. 3, pp. 1331–1335. IEEE (1997)
Tsybakov, B.S.: Free synchronous packet access in a broadcast channel with feedback. Probl. Inform. Transm. 14(4), 259–280 (1978)
Vieira, M.A.M., Coelho, C.N., Da Silva, D., da Mata, J.M.: Survey on wireless sensor network devices. In: EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No. 03TH8696), vol. 1, pp. 537–544. IEEE (2003)
Willard, D.: Log-logarithmic selection resolution protocols in a multiple access channel. SIAM J. Comput. 15(2), 468–477 (1986)
Acknowledgements
The authors would like to thank the anonymous referees for their comments and suggestions which greatly improved this work. R. V. is very grateful to Pr. Luc Devroye for valuable discussions about the properties of the random variables involved in this work.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
Conflict of interest
All authors declare that they have no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ravelomanana, V., Andriambolamalala, N.A. Transmitting Once to Elect a Leader on Wireless Networks. Algorithmica 85, 2529–2553 (2023). https://doi.org/10.1007/s00453-023-01095-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-023-01095-2