AESOP home

Publications

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
pp.215–219
ISBN 1-892512-41-6
Abstract

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 pubs.doc.ic.ac.uk/hydra.