-----------------------------------------------------------------------
TDS Seminar TDS Seminar TDS Seminar TDS Seminar TDS Seminar TDS Seminar
-----------------------------------------------------------------------

Title:   A Formal Venture into Reliable Multicast Territory
Speaker: Carl Livadas 

Place:   NE43-308
Time:    1-2:30pm
Date:    Nov. 22, 2002

In this talk, I will present a formal model of the reliable multicast
service that ensures eventual packet delivery with, possibly, some
timeliness guarantees.  This model dictates precisely what it means to
be a member of the reliable multicast group and which packets are
guaranteed delivery to which members of the group.  Moreover, it is
reasonable, implementable, and broad; that is, it captures the
intended behavior of a large collection of reliable multicast
protocols.

I will also present a formal model of the Scalable Reliable Multicast
(SRM) protocol.  We show that our model of SRM is safe, in the sense
that it is a faithful implementation of our model of the reliable
multicast service; that is, it may only deliver appropriate packets to
the appropriate members of the reliable multicast group.  We also show
that, under certain constraints, the implementation is live, in the
sense that it guarantees the timely delivery of the appropriate
packets to the appropriate members of the reliable multicast group.

Finally, I will present our preliminary work on a caching-enhanced
version of SRM (CESRM).  CESRM exploits packet loss locality by
caching information pertaining to the recovery of prior losses and
using this information so as to expedite the repair of future losses.
I'll conclude by quantifying the performance improvements and costs of
the proposed caching scheme.

-----------------------------------------------------------------------