Group communication in partitionable systems: specification and algorithms

Author

Babaoglu, Özalp ; Davoli, Renzo ; Montresor, Alberto

Author_Institution

Dept. of Comput. Sci., Bologna Univ., Italy

Volume

27

Issue

4

fYear

2001

fDate

4/1/2001 12:00:00 AM

Firstpage

308

Lastpage

336

Abstract

Gives a formal specification and an implementation for a partitionable group communication service in asynchronous distributed systems. Our specification is motivated by the requirements for building “partition-aware” applications that can continue operating without blocking in multiple concurrent partitions and can reconfigure themselves dynamically when partitions merge. The specified service guarantees liveness and excludes trivial solutions, it constitutes a useful basis for building realistic partition-aware applications, and it is implementable in practical asynchronous distributed systems where certain stability conditions hold

Keywords

distributed processing; fault tolerant computing; formal specification; stability criteria; algorithms; asynchronous distributed systems; concurrent partitions; dynamic reconfiguration; fault tolerance; formal specification; liveness; partition merging; partition-aware applications; partitionable group communication service; specification; stability conditions; view synchrony; Application software; Computer Society; Computer applications; Computer networks; Degradation; Fault tolerant systems; Formal specifications; Mobile computing; Partitioning algorithms; Stability;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.917522

Filename

917522