Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach

The aim of our work is to provide a modeling framework for evaluating performability measures of Multipurpose, Multiprocessor Systems (MMSs). The originality of our approach is in the explicit separation between the architectural and environmental concerns of a system. The overall dependability model, based on stochastic reward nets, is composed of 1) an architectural model describing the behavior of system hardware and software components, 2) a service-level model, and 3) a maintenance policy model. The two latter models are related to the system utilization environment. The results can be used for supporting the manufacturer design choices as well as the potential end-user configuration selection. We illustrate the approach on a particular family of MMSs under investigation by a system manufacturer for Internet and e-commerce applications. As the systems are scalable, we consider two architectures: a reference one composed of 16 processors and an extended one with 20 processors. Then, we use the obtained results to evaluate the performability of a clustered system composed of four reference systems. We evaluate comprehensive measures defined with respect to the end-user service requirements and specific measures in relation to the distributed shared memory paradigm.

[1]  J. Arlat,et al.  Performance-related dependability evaluation of supercomputer systems☆ , 1984 .

[2]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[3]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[4]  Alain Jean-Marie,et al.  Quantitative evaluation of discrete event systems: Models, performances and techniques , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[5]  Kishor S. Trivedi,et al.  Reliability modeling of life-critical, real-time systems , 1994, Proc. IEEE.

[6]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[7]  Andrea Bondavalli,et al.  Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.

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

[9]  Gianfranco Balbo,et al.  Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior , 1988, IEEE Trans. Computers.

[10]  Kishor S. Trivedi,et al.  Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets , 1992 .

[11]  Karama Kanoun,et al.  Dependability Evaluation of a Distributed Shared Memory Multiprocessor System , 1999, EDCC.

[12]  Andrea Bondavalli,et al.  Analytical modelling and evaluation of phased-mission systems for space applications , 1997, Proceedings 1997 High-Assurance Engineering Workshop.

[13]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[14]  Isabel Rojas.  Compositional Construction of SWN models , 1995, Comput. J..

[15]  John F. Meyer,et al.  Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.

[16]  Kishor S. Trivedi,et al.  Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives , 1994, Computer Performance Evaluation.

[17]  Andrea Bondavalli,et al.  DEEM: a tool for the dependability modeling and evaluation of multiple phased systems , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[18]  Kishor S. Trivedi,et al.  Componentwise decomposition for an efficient reliability computation of systems with repairable components , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[19]  Karama Kanoun,et al.  Dependability Evaluation of an Air Traffic Control Computing System , 1999, Perform. Evaluation.

[20]  Gianfranco Ciardo,et al.  A data structure for the efficient Kronecker solution of GSPNs , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[21]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[22]  Karama Kanoun,et al.  Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling , 1999 .

[23]  Juan José Serrano,et al.  Dependability Models of RAID Using Stochastic Activity Networks , 1996, EDCC.

[24]  Karama Kanoun,et al.  Dependability Evaluation From Functional to Structural Modelling , 2001 .

[25]  Manuel Silva Suárez,et al.  Structured Solution of Asynchronously Communicating Stochastic Modules , 1999, IEEE Trans. Software Eng..

[26]  Karama Kanoun,et al.  Availability of CAUTRA, a Subset of the French Air Traffic Control System , 1999, IEEE Trans. Computers.

[27]  Kishor S. Trivedi,et al.  Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems , 1999, EDCC.

[28]  Karama Kanoun,et al.  Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[29]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.