In: IEEE Computer Soc. Press, Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, pages 62-72. 1995.
Abstract: Group-oriented multicast protocols that provide message ordering and delivery guarantees are becoming increasingly important in distributed system design. However. despite the large number of such protocols, little analytical work has been done concerning their performance, especially in the presence of message loss. This paper illustrates a method for determining the performability of group-oriented multicast protocols using stochastic activity networks, a stochastic extension to Petri nets, and reduced base model construction. In particular, we study the performability of one such protocol, called Psync, under a wide variety of workload and message loss probabilities. The specific focus is on measuring two quantities, the stabilization time - that is, the time required for messages to arrive at all hosts - and channel utilization. The analysis shows that Psync works well when message transmissions are frequent, but exhibits extremely long message stabilization times when tranmissions are infrequent and message losses occur. The results provide useful insight on the behavior of Psync, as well serve as a guide for evaluatimg the performability of other group-oriented multicast protocols.