a83b866d0b93a132.tex
1: \begin{abstract}
2:   \FUname (FU) is a fault-tolerant technique that has proved to be
3:   efficient in practice for the distributed computation of aggregate
4:   functions in communication networks where individual processors do
5:   not have access to global information. Previous distributed
6:   aggregation protocols, based on repeated sharing of input values (or
7:   \defn{mass}) among processors, sometimes called \MDname
8:   (MD) protocols, are not resilient to communication failures (or
9:   \defn{message loss}) because such failures yield a loss of mass.
10: 
11:   In this paper, we present a protocol which we call
12:   \defn{\MDname with \FUname (MDFU)}.  We obtain MDFU by
13:   applying FU techniques to classic MD.  We analyze the convergence
14:   time of MDFU showing that stochastic message loss produces low
15:   overhead. This is the first convergence proof of an FU-based
16:   algorithm.  We evaluate MDFU experimentally, comparing it with
17:   previous MD and FU protocols, and verifying the behavior predicted
18:   by the analysis.  Finally, given that MDFU incurs a fixed deviation
19:   proportional to the message-loss rate, we adjust the accuracy of
20:   MDFU heuristically in a new protocol called \defn{MDFU with Linear
21:   Prediction (MDFU-LP)}.  The evaluation shows that both MDFU and
22:   MDFU-LP behave very well in practice, even under high rates of
23:   message loss and even changing the input values dynamically.
24: 
25: \parhead{Keywords} Aggregate computation, Distributed computing, Radio networks, Communication networks.
26: \end{abstract}
27: