Semantically reliable multicast protocols

J. Pereira, L. Rodrigues, R. Oliveira
Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000  
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and heterogeneous. In an attempt to overcome this limitation, previous work has focused on weakening reliability properties. In this paper we introduce a novel reliability model that exploits semantic knowledge to decide in which specific conditions messages can be purged without compromising application correctness. This
more » ... l is based on the concept of message obsolescence: A message becomes obsolete when its content or purpose is overwritten by a subsequent message. We show that message obsolescence can be expressed in a generic way and can be used to configure the system to achieve higher multicast throughput. © in the relation, we say that the first, © , is obsoleted by the second, © . The intuitive meaning of this relation is that if© © is in the relation and if the system eventually delivers © , the application is correct regardless of ©
doi:10.1109/reldi.2000.885393 dblp:conf/srds/PereiraOR00 fatcat:gupnv3kzk5fajd4hudc7cnfoka