AESOP home


HYDRA: HYpergraph-based Distributed Response-time Analyser

Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt

Conference or Workshop Paper
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
May, 2003
ISBN 1-892512-41-6

It is important for almost all transaction processing and computer-communication systems to satisfy response time quantile targets. This paper describes HYDRA, a scalable parallel tool for the analytical determination of response time densities in large, structurally-unrestricted Markov models derived from high-level specifications. The tool exploits an efficient distributed uniformization-based algorithm, combined with hypergraph partitioning to balance computational load across processors while minimising communication. We demonstrate our tool on a 1.6 million state Generalized Stochastic Petri Net model of a flexible manufacturing system, comparing the accuracy of our results with simulation and contrasting the run-time performance of our technique with an approach based on numerical Laplace transform inversion.

PDF of full publication (129.3 kilobytes)
(need help viewing PDF files?)

Information from