Performance Trees: Implementation And Distributed Evaluation

In this paper, we describe the first realisation of an evaluation environment for Performance Trees, a recently proposed formalism for the specification of performance properties and measures. In particular, we present details of the architecture and implementation of this environment that comprises a client-side model and performance query specification tool, and a server-side distributed evaluation engine, supported by a dedicated computing cluster. The evaluation engine combines the analytic capabilities of a number of distributed tools for steady-state, passage time and transient analysis, and also incorporates a caching mechanism to avoid redundant calculations. We demonstrate in the context of a case study how this analysis pipeline allows remote users to design their models and performance queries in a sophisticated yet easyto-use framework, and subsequently evaluate them by harnessing the computing power of a Grid cluster back-end.

[1]  Peter G. Harrison,et al.  Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic , 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..

[2]  Christel Baier,et al.  Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[3]  Robert K. Brayton,et al.  Verifying Continuous Time Markov Chains , 1996, CAV.

[4]  Joost-Pieter Katoen,et al.  Towards Model Checking Stochastic Process Algebra , 2000, IFM.

[5]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[6]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[7]  Ward Whitt,et al.  On the Laguerre Method for Numerically Inverting Laplace Transforms , 1996, INFORMS J. Comput..

[8]  Nicholas J. Dingle,et al.  A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

[9]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[10]  Robert K. Brayton,et al.  Model-checking continuous-time Markov chains , 2000, TOCL.

[11]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[12]  William T. Weeks,et al.  Numerical Inversion of Laplace Transforms Using Laguerre Functions , 1966, JACM.

[13]  Lars Grunske,et al.  Specification patterns for probabilistic quality properties , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[14]  Peter G. Harrison,et al.  Performance modelling of communication networks and computer architectures , 1992, International computer science series.

[15]  Gary Cornell,et al.  Core Java 2 , Volume 2: Advanced Features , 1999 .

[16]  Peter G. Harrison,et al.  Response time densities in generalised stochastic petri net models , 2002, WOSP '02.

[17]  Jeremy T. Bradley,et al.  Performance Trees: Expressiveness and Quantitative Semantics , 2007 .

[18]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

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

[20]  Isi Mitrani,et al.  Probabilistic Modelling , 1998 .

[21]  Jeremy T. Bradley,et al.  Performance Trees: A New Approach to Quantitative Performance Specification , 2006, 14th IEEE International Symposium on Modeling, Analysis, and Simulation.

[22]  Peter G. Harrison,et al.  Passage time distributions in large Markov chains , 2002, SIGMETRICS '02.

[23]  Christel Baier,et al.  Model checking performability properties , 2002, Proceedings International Conference on Dependable Systems and Networks.

[24]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[25]  Jane Hillston,et al.  A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science) , 2005 .

[26]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[27]  William J. Knottenbelt,et al.  Generalised Markovian analysis of timed transition systems , 1996 .

[28]  Christel Baier,et al.  Model checking action- and state-labelled Markov chains , 2004, International Conference on Dependable Systems and Networks, 2004.

[29]  W. Knottenbelt,et al.  Hypergraph-based parallel computation of passage time densities in large semi-Markov models , 2004 .

[30]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .