TY - JOUR
T1 - Decomposing broadcast algorithms using abstract MAC layers
AU - Khabbazian, Majid
AU - Kowalski, Dariusz R.
AU - Kuhn, Fabian
AU - Lynch, Nancy
N1 - Funding Information:
M.K. research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC). D.K. got research support from the Engineering and Physical Sciences Research Council [Grant numbers EP/ G023018/1 and EP/ H018816/1 ]. N.L. got research support from AFOSR Contract FA9550-08-1-0159 and NSF Grants CCF-0726514 , CNS-0715397 , CCF-0937274 , and NSF-PURDUE-STC Award 0939370-CCF.
PY - 2014/1
Y1 - 2014/1
N2 - In much of the theoretical literature on global broadcast algorithms for wireless networks, issues of message dissemination are considered together with issues of contention management. This combination leads to complicated algorithms and analysis, and makes it difficult to extend the work to more difficult communication problems. In this paper, we present results aimed at simplifying such algorithms and analysis by decomposing the treatment into two levels, using abstract "MAC layer" specifications to encapsulate contention management. We use two different abstract MAC layers: the basic layer of [1,2] and a new probabilistic layer. We first present a typical randomized contention-management algorithm for a standard graph-based radio network model and show that it implements both abstract MAC layers. Then we combine this algorithm with greedy algorithms for single-message and multi-message global broadcast and analyze the combinations, using both abstract MAC layers as intermediate layers. Using the basic MAC layer, we prove a bound of ODlognâ̂Šlog(Δ) for the time to deliver a single message everywhere with probability 1 - â̂Š, where D is the network diameter, n is the number of nodes, and Δ is the maximum node degree. Using the probabilistic layer, we prove a bound of OD+lognâ̂Š log(Δ), which matches the best previously-known bound for single-message broadcast over the physical network model. For multi-message broadcast, we obtain bounds of O(D+kΔ)lognâ̂Šlog(Δ) using the basic layer and OD+kΔlognâ̂Šlog(Δ) using the probabilistic layer, for the time to deliver a message everywhere in the presence of at most k concurrent messages.
AB - In much of the theoretical literature on global broadcast algorithms for wireless networks, issues of message dissemination are considered together with issues of contention management. This combination leads to complicated algorithms and analysis, and makes it difficult to extend the work to more difficult communication problems. In this paper, we present results aimed at simplifying such algorithms and analysis by decomposing the treatment into two levels, using abstract "MAC layer" specifications to encapsulate contention management. We use two different abstract MAC layers: the basic layer of [1,2] and a new probabilistic layer. We first present a typical randomized contention-management algorithm for a standard graph-based radio network model and show that it implements both abstract MAC layers. Then we combine this algorithm with greedy algorithms for single-message and multi-message global broadcast and analyze the combinations, using both abstract MAC layers as intermediate layers. Using the basic MAC layer, we prove a bound of ODlognâ̂Šlog(Δ) for the time to deliver a single message everywhere with probability 1 - â̂Š, where D is the network diameter, n is the number of nodes, and Δ is the maximum node degree. Using the probabilistic layer, we prove a bound of OD+lognâ̂Š log(Δ), which matches the best previously-known bound for single-message broadcast over the physical network model. For multi-message broadcast, we obtain bounds of O(D+kΔ)lognâ̂Šlog(Δ) using the basic layer and OD+kΔlognâ̂Šlog(Δ) using the probabilistic layer, for the time to deliver a message everywhere in the presence of at most k concurrent messages.
KW - Broadcast protocol
KW - Contention management
KW - Global broadcast
KW - MAC layer
KW - Multi-message broadcast
KW - Wireless network algorithms
UR - http://www.scopus.com/inward/record.url?scp=84888642521&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84888642521&partnerID=8YFLogxK
U2 - 10.1016/j.adhoc.2011.12.001
DO - 10.1016/j.adhoc.2011.12.001
M3 - Article
AN - SCOPUS:84888642521
SN - 1570-8705
VL - 12
SP - 219
EP - 242
JO - Ad Hoc Networks
JF - Ad Hoc Networks
IS - 1
ER -