In: Proc. 19th Symp. on Reliable Distributed Systems, 16-18 October 2000, Nürnberg, Germany, pages 238-247. 2000.
Abstract: The event service is the earliest CORBA solution to the message queue model of communication in distributed systems. Typical implementations however suffer from the lack of event delivery guarantees. The loss of messages is aggravated in the presence of burstiness in the input to the event service, and occurrences of isolated bursts of traffic could also have serious effects. This paper develops stochastic reward net (SRN) models that can aid in the study and configuration of the event service to conform to design specification. To capture burstiness in the input, Markov modulated Poisson process (MMPP) is used as the input source. Erlang distributed event consumption times are used in the models to accommodate more general distributions and a wider range of variances. The models also take into consideration the FIFO discard policy adopted in many event service implementations. The SRN models are solved using the tool SPNP. The applicability of the models to the CORBA notification service is also briefly discussed.
Keywords: CORBA, MMPP, Markov modulated Poisson process, event service, input burstiness, notification service, performance analysis, stochastic reward nets.
Back to the Petri Nets Bibliography