A Predicate-Based Approach to Dynamic Protocol Update in Group Communication

In this paper we study dynamic protocol updates (DPU), which consist in replacing, without interruption, a given protocol during execution. We focus especially on group communication protocols. The paper proposes a methodology to conveniently describe which protocols are correctly replaced by a given DPU algorithm. More precisely, our methodology characterizes DPU algorithms by a set of inference rules. To validate our approach, we illustrate our methodology with a new DPU algorithm.


Published in:
Proc. of IPDPS '08 (22nd International Parallel and Distributed Processing Symposium)
Presented at:
22nd IEEE International Parallel and Distributed Processing Symposium, Miami, Florida USA, April 14-18, 2008
Year:
2008
Keywords:
Laboratories:




 Record created 2008-02-19, last modified 2018-03-17

External link:
Download fulltext
URL
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)