TY - JOUR
T1 - Token traversal in ad hoc wireless networks via implicit carrier sensing
AU - Jurdzinski, Tomasz
AU - Kowalski, Dariusz R.
AU - Rozanski, Michal
AU - Stachowiak, Grzegorz
N1 - Funding Information:
The work of the first, the second and the fourth author was supported by the National Science Centre Poland grant DEC-2012/07/B/ST6/01534 and the work of the third author was supported by the Polish National Science Centre Poland, grant 2014/13/N/ST6/01850.
PY - 2020/4/2
Y1 - 2020/4/2
N2 - Communication problems in ad hoc wireless networks have been already widely studied under the SINR model, but a vast majority of results concern networks with constraints on connectivity, so called strongly-connected networks. In such networks, connectivity is defined based on highly reliable links, that is, where both ends are located far closer from their transmission boundaries. What happens if the network is not strongly-connected, e.g., it contains some long but still viable “shortcut links” connecting transmission boundaries? It is known that even a single broadcast in such ad hoc weakly-connected networks with uniform transmission powers requires Ω(n) communication rounds, where n is the number of nodes in the network. The best up-to-date (randomized) distributed algorithm, designed by Daum et al. [1], accomplishes broadcast task in O(nlog2n) communication rounds with high probability. In this work, inspired by the work on broadcasting, we show a novel deterministic distributed implementation of token traversal — a fundamental tool in distributed systems — in the SINR model with uniform transmission powers and no restriction on connectivity. We show that it is efficient even in a very harsh model of weakly-connected networks without GPS, carrier sensing and other helping features. We apply this method to span a traversal tree and accomplish broadcast in O(nlogN) communication rounds, deterministically, provided nodes are equipped with unique IDs in the range [1,N] for some integer N≥n. This result implies an O(nlogn)-round randomized solution that does not require IDs, which improves the result from [1]. The lower bound Ω(nlogN) for deterministic algorithms proved in our work shows that our result is tight without randomization. Our implementation of token traversal routine, efficient in terms of time and memory, is based on a novel implicit algorithmic carrier sensing method and a new type of selectors, which might be of independent interest and applicable to other communication tasks in distributed ad hoc setting.
AB - Communication problems in ad hoc wireless networks have been already widely studied under the SINR model, but a vast majority of results concern networks with constraints on connectivity, so called strongly-connected networks. In such networks, connectivity is defined based on highly reliable links, that is, where both ends are located far closer from their transmission boundaries. What happens if the network is not strongly-connected, e.g., it contains some long but still viable “shortcut links” connecting transmission boundaries? It is known that even a single broadcast in such ad hoc weakly-connected networks with uniform transmission powers requires Ω(n) communication rounds, where n is the number of nodes in the network. The best up-to-date (randomized) distributed algorithm, designed by Daum et al. [1], accomplishes broadcast task in O(nlog2n) communication rounds with high probability. In this work, inspired by the work on broadcasting, we show a novel deterministic distributed implementation of token traversal — a fundamental tool in distributed systems — in the SINR model with uniform transmission powers and no restriction on connectivity. We show that it is efficient even in a very harsh model of weakly-connected networks without GPS, carrier sensing and other helping features. We apply this method to span a traversal tree and accomplish broadcast in O(nlogN) communication rounds, deterministically, provided nodes are equipped with unique IDs in the range [1,N] for some integer N≥n. This result implies an O(nlogn)-round randomized solution that does not require IDs, which improves the result from [1]. The lower bound Ω(nlogN) for deterministic algorithms proved in our work shows that our result is tight without randomization. Our implementation of token traversal routine, efficient in terms of time and memory, is based on a novel implicit algorithmic carrier sensing method and a new type of selectors, which might be of independent interest and applicable to other communication tasks in distributed ad hoc setting.
KW - Ad hoc networks
KW - Algorithmic carrier sensing
KW - BTD trees
KW - Broadcast
KW - Deterministic and randomized algorithms
KW - Lower bounds
KW - SINR
KW - Selectors
KW - Token traversal
KW - Wireless networks
UR - http://www.scopus.com/inward/record.url?scp=85072620927&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85072620927&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2019.09.016
DO - 10.1016/j.tcs.2019.09.016
M3 - Article
AN - SCOPUS:85072620927
SN - 0304-3975
VL - 811
SP - 3
EP - 20
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -