Abstract
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are specified using a regular expression syntax that describes the behaviour that must be observed in a model before a performance measurement can be started or stopped. We demonstrate the use of stochastic probes on a 661, 960 state parallel, redundant web server model to verify its passage-time performance characteristics.
- L. Giordano, A. Maxtelli, and C. Schwind, "Reasoning about actions in dynamic linear time temporal logic, "Logic Journal of the IGPL, vol. 9, no. 2, pp. 273--287, 2001.]]Google ScholarCross Ref
- J. G. Henriksen and P. S. Thiagarajan, "Dynamic linear time temporal logic," Annals of Pure and Applied Logic, vol. 96, no. 1-3, pp. 187--207, 1999.]]Google ScholarCross Ref
- M. J. Fischer and R. E. Ladner, "Propositional dynamic logic of regular programs," Journal of Computer and System Sciences, vol. 18, no. 2, pp. 194--211, 1979.]]Google ScholarCross Ref
- D. Harel, A. Pnueli, and J. Stavi, "Propositional dynamic logic of nonregular programs," Journal of Computer and System Sciences, vol. 26, no. 2, pp. 222--243, 1983.]]Google ScholarCross Ref
- G. De Giacomo and M. Lenzerini, "PDL-based framework for reasoning about actions," in AI*IA '95, Proceedings of the 4th Conference of the Italian Association for Artificial Intelligence, vol. 992 of Lecture Notes in Computer Science, pp. 103--114, Springer-Verlag, 1995.]] Google ScholarDigital Library
- D. Calvanese, G. De Giacomo, and M. Y. Vardi, "Reasoning about actions and planning in LTL action theories," in KR'02, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams, eds.), (Toulouse), pp. 593--602, Morgan Kaufmann, April 2002.]]Google Scholar
- B. J. Ross, "Probabilistic pattern matching and the evolution of stochastic regular expressions," International Journal of Applied Intelligence, vol. 13, pp. 285--300, Nov-Dec 2000.]] Google ScholarDigital Library
- S. C. Kleene, "Representation of events in nerve nets and finite automata," in Automata Studies (C. E. Shannon and J. McCarthy, eds.), pp. 3--41, Princeton, New Jersey: Princeton University Press, 1956.]]Google Scholar
- J. T. Bradley, N. J. Dingle, S. T. Gilmore, and W. J. Knottenbelt, "Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler," in MASCOTS'03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (G. Kotsis, ed.), (University of Central Florida), pp. 344--351, IEEE Computer Society Press, October 2003.]]Google Scholar
- J. Hillston, A Compositional Approach to Performance Modelling, vol. 12 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1996. ISBN 0 521 57189 8.]] Google ScholarDigital Library
- S. Gilmore and J. Hillston, "Feature interaction in PEPA", in Process Algebra and Performance Modelling Workshop (C. Priami, ed.), pp. 17--26, Università Degli Studi di Verona, Nice, September 1998.]]Google Scholar
- S. Gilmore, J. Hillston, and G. Clark, "Specifying performance measures for PEPA", in Proceedings of the 5th International AMAST Workshop on Real-Time and Probabilistic Systems, vol. 1601 of Lecture Notes in Computer Science, (Bamberg), pp. 211--227, Springer-Verlag, 1999.]] Google ScholarDigital Library
- G. Clark, Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1994. CST-107-94.]]Google Scholar
- R. Milner, A Calculus of Communicating Systems, vol. 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.]] Google ScholarDigital Library
- M. Ribaudo, "Stochastic Petri net semantics for stochastic process algebras," in PNPM'95, Proceedings of 6th Int. Workshop on Petri Nets and Performance Models, (Durham, North Carolina), pp. 148--157, October 1995.]] Google ScholarDigital Library
- W. J. Knottenbelt, "Generalised Markovian analysis of timed transitions systems," MSc thesis, University of Cape Town, South Africa, July 1996.]]Google Scholar
- J. T. Bradley, N. J. Dingle, P. G. Harrison, and W. J. Knottenbelt, "Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models," in Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, (Nice), IEEE Computer Society Press, April 2003.]] Google ScholarDigital Library
- J. T. Bradley, N. J. Dingle, W. J. Knottenbelt, and P. G. Harrison, "Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic," in PNPM'03, Proceedings of Petri Nets and Performance Models (G. Ciardo and W. Sanders, eds.), (University of Illinois at Urbana-Champaign), pp. 62--71, IEEE Computer Society, September 2003.]]Google Scholar
- N. J. Dingle, P. G. Harrison, and W. J. Knottenbelt, "Response time densities in Generalised Stochastic Petri Net models," in Proceedings of the 3rd International Workshop on Software and Performance (WOSP'2002), (Rome), pp. 46--54, July 2002.]] Google ScholarDigital Library
- P. G. Harrison and W. J. Knottenbelt, "Passage-time distributions in large Markov chains," in Proceedings of ACM SIGMETRICS 2002 (M. Martonosi and E. d. S. e Silva, eds.), pp. 77--85, Marina Del Rey, USA, June 2002.]] Google ScholarDigital Library
- W. J. Knottenbelt, Parallel Performance Analysis of Large Markov Models. PhD thesis, Imperial College, London, United Kingdom, February 2000.]]Google Scholar
- W. J. Knottenbelt and P. G. Harrison, "Distributed disk-based solution techniques for large Markov models," in NSMC'99, Proceedings of the 3rd Intl. Conference on the Numerical Solution of Markov Chains, (Zaragoza), pp. 58--75, September 1999.]]Google Scholar
- W. Grassman, "Means and variances of time averages in Markovian environments," European Journal of Operational Research, vol. 31, no. 1, pp. 132--139, 1987.]]Google ScholarCross Ref
- A. Reibman and K. Trivedi, "Numerical transient analysis of Markov models," Computers and Operations Research, vol. 15, no. 1, pp. 19--36, 1988.]] Google ScholarDigital Library
- N. J. Dingle, W. J. Knottenbelt, and P. G. Harrison, "HYDRA: HYpergraph-based Distributed Response-time Analyser," in PDPTA '03, Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (H. R. Arabnia and Y. Man, eds.), vol. 1, (Las Vegas, NV), pp. 215--219, June 2003.]]Google Scholar
- A. Carmona, L. Domingo, R. Macau, R. Puigjaner, and F. Rojo, "Performance experiences of the Barcelona Olympic games computer system," in Computer Performance Evaluation, Modeling Techniques and Tools (G. Haring and G. Kotsis, eds.), vol. 794 of Lecture Notes in Computer Science, pp. 52--75, Springer, 1994.]] Google ScholarDigital Library
Index Terms
- Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
Recommendations
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
WOSP '04: Proceedings of the 4th international workshop on Software and performanceThis paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are specified using a regular expression syntax that describes the behaviour ...
Fluid Rewards for a Stochastic Process Algebra
Reasoning about the performance of models of software systems typically entails the derivation of metrics such as throughput, utilization, and response time. If the model is a Markov chain, these are expressed as real functions of the chain, called ...
Performance analysis of stochastic Process algebra models using stochastic simulation
IPDPS'06: Proceedings of the 20th international conference on Parallel and distributed processingWe present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical ...
Comments