Decomposing broadcast algorithms using abstract mac layers

Abstract

In much of the theoretical literature on wireless algorithms, 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 harder communication problems. In this paper, we present results of a current project aimed at simplifying such algorithms and analysis by decomposing the treatment into two levels, using abstract "MAC layer" specifi cations to encapsulate the contention management. We use two di erent abstract MAC layers: the basic one of [14, 15] and a new probabilistic layer. We show that it implements both abstract MAC layers. We combine this algorithm with greedy algorithms for single- message and multi-message global broadcast and analyze the combination, using both abstract MAC layers as intermediate layers. Using the basic MAC layer, we prove a bound of ... for the time to deliver a single message everywhere with probability 1 -epsilon , where D is the network diameter, n is the number of nodes, and Delta is the maximum node degree. Using the probabilistic layer, we prove a bound of ..., which matches the best previously-known bound for single-message broadcast over the physical network model. For multi-message broadcast, we obtain bounds of ... using the basic layer and ... using the probabilistic layer, for the time to deliver a message everywhere in the presence of at most k concurrent messages.