The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software

Distributed or parallel software with synchronous communication via rendezvous is found in client-server systems and in proposed open distributed systems, in implementation environments such as Ada, V, remote procedure call systems, in transputer systems, and in specification techniques such as CSP, CCS and LOTOS. The delays induced by rendezvous can cause serious performance problems, which are not easy to estimate using conventional models which focus on hardware contention, or on a restricted view of the parallelism which ignores implementation constraints. Stochastic rendezvous networks are queueing networks of a new type which have been proposed as a modelling framework for these systems. They incorporate the two key phenomena of included service and a second phase of service. This paper extends the model to also incorporate different services or entries associated with each task. Approximations to arrival-instant probabilities are employed with a mean-value analysis framework, to give approximate performance estimates. The method has been applied to moderately large industrial software systems. >

[1]  C. Murray Woodside,et al.  An "Active Server" model for the performance of parallel programs written using rendezvous , 1986, J. Syst. Softw..

[2]  Jeffrey P. Buzen,et al.  The aggregate server method for analyzing serialization delays in computer systems , 1983, TOCS.

[3]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[4]  Shikharesh Majumdar,et al.  Performance Bounds for Concurrent Software with Rendezvous , 1991, Perform. Evaluation.

[5]  K. Mani Chandy,et al.  The MVA priority approximation , 1984, TOCS.

[6]  L. Flatto,et al.  Two parallel queues created by arrivals with two demands. II , 1984 .

[7]  G. M. YeeTelecommunications Traac Relationships in Networks of Tasks , 1989 .

[8]  Dorina C. Petriu,et al.  Performance of Concurrent Rendezvous Systems with Complex Pipeline Structures , 1989 .

[9]  David R. Cheriton The V Kernel: A Software Base for Distributed Systems , 1984, IEEE Software.

[10]  Michael L. Fontenot Software Congestion, Mobile Servers, and the Hyperbolic Model , 1989, IEEE Trans. Software Eng..

[11]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[12]  Dorina C. Petriu Approximate Mean Value Analysis of Client-Server Systems with Multi-class Requests , 1994, SIGMETRICS.

[13]  Kishor S. Trivedi,et al.  Analytic Queueing Models for Programs with Internal Concurrency , 1983, IEEE Transactions on Computers.

[14]  Dorina C. Petriu,et al.  Throughput of stochastic rendezvous networks with caller-specific service and processor contention , 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.

[15]  Stephen S. Lavenberg,et al.  Computer Performance Modeling Handbook , 1983, Int. CMG Conference.

[16]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[17]  Stephen S. Lavenberg,et al.  A Perspective on Iterative Methods for the Approximate Analysis of Closed Queueing Networks , 1983, Computer Performance and Reliability.

[18]  Jerome Alexander Rolia,et al.  Predicting the performance of software systems , 1992 .

[19]  Juris Hartmanis,et al.  The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 , 1983, Lecture Notes in Computer Science.

[20]  Richard R. Muntz,et al.  Approximate Solutions for a Class of Non-Product Form Queueing Network Models , 1987, Perform. Evaluation.

[21]  Dorina C. Petriu,et al.  Approximate MVA from Markov model of software client/server systems , 1991, Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing.

[22]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[23]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[24]  C. Murray Woodside,et al.  Traffic relationships in networks of tasks , 1989, IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies.

[25]  Edward D. Lazowska,et al.  Quantitative System Performance , 1985, Int. CMG Conference.

[26]  Dyfed Bowen Open Distributed Processing , 1991, Comput. Networks ISDN Syst..

[27]  Jean D. etc. Ichbiah Reference Manual for the ADA Programming Language , 1983 .

[28]  Stephen S. Lavenberg,et al.  Stationary state probabilities at arrival instants for closed queueing networks with multiple types of customers , 1980, Journal of Applied Probability.

[29]  C. Murray Woodside Throughput Calculation for Basic Stochastic Rendezvous Networks , 1989, Perform. Evaluation.

[30]  Edward D. Lazowska,et al.  Quantitative system performance - computer system analysis using queueing network models , 1983, Int. CMG Conference.

[31]  M. Reiser,et al.  A Queueing Network Analysis of Computer Communication Networks with Window Flow Control , 1979, IEEE Trans. Commun..