Performance analysis of degradable multiprocessor systems

A method for performance evaluation of degradable multiprocessor systems with random failure and repair using hierarchical generalized stochastic Petri net (GSPN) model is presented. The failure and repair rates in a multiprocessor system are an order of magnitude smaller than the rates of job arrival and completion; therefore, the GSPN model can be decomposed into a hierarchical sequence of aggregated subnets, each of which is valid at a certain time scale. These smaller subnets can be solved in isolation and their results combined to get the solution of the hole system. The model of the aggregated network has a product-form solution, so performance analysis in the presence of failure and repair can be carried out without the additional complexity of a fault-free model. A multiprocessor system is analyzed which is intractable using conventional solution techniques. The complexity of the time-scale decomposition technique is found to be same as fault-free model without any significant loss in the accuracy of the result.<<ETX>>

[1]  John G. Kemeny,et al.  Finite Markov chains , 1960 .

[2]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

[3]  Alexandre Brandwajn,et al.  Equivalence and Decomposition in Queueing Systems - A Unified Approach , 1985, Perform. Evaluation.

[4]  M. D. Beaudry,et al.  Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.

[5]  Asser N. Tantawi,et al.  Evaluation of Performability for Degradable Computer Systems , 1987, IEEE Transactions on Computers.

[6]  Hany H. Ammar,et al.  Analysis of the Generalized Stochastic Petri Nets by State Aggregation , 1985, PNPM.

[7]  Hany H. Ammar,et al.  Hierarchical models for systems reliability, maintainability, and availability , 1987 .

[8]  Ragnar Huslende,et al.  A combined evaluation of performance and reliability for degradable systems , 1981, SIGMETRICS '81.

[9]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[10]  Stéphane Natkin,et al.  Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization Schemes , 1985, Petri Nets and Performance Models.

[11]  John F. Meyer,et al.  Closed-Form Solutions of Performability , 1982, IEEE Transactions on Computers.

[12]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.

[13]  Pierre-Jacques Courtois,et al.  On time and space decomposition of complex structures , 1985, CACM.

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

[15]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[16]  E. Gressier,et al.  A Stochastic Petri Net Model for Ethernet , 1985, PNPM.

[17]  John F. Meyer,et al.  A Performability Solution Method for Degradable Nonrepairable Systems , 1984, IEEE Transactions on Computers.

[18]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

[19]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[20]  Michael K. Molloy Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[21]  Philip Heidelberger,et al.  Analysis of Performability for Stochastic Models of Fault-Tolerant Systems , 1986, IEEE Transactions on Computers.