AESOP home


Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems

Richard Hayden, Jeremy T. Bradley

Conference or Workshop Paper
MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
September, 2009
IEEE Computer Society
DOI 10.1109/MASCOT.2009.5367050

We introduce a low-level performance modelling formalism, Shared Transaction Markov Chains (STMCs), specifically designed for the capture and analysis of massively parallel stochastic systems through fluid techniques. We introduce the notion of a shared transaction between concurrently running Markov chains which allows a multi-phase synchronisation to accurately represent complex cooperation between modelling components in a compositional manner. We demonstrate the new modelling formalism on four distinct models and show how fluid analysis may be performed, with results, where appropriate. Our contribution is that this is the first such system tailored to the fluid performance analysis of transaction-based systems as found in computing applications such as peer-to-peer networks, web architectures and Publish-Subscribe networks. The second contribution is that STMCs permit composed phase-type distributed synchronisation which is more useful from a transaction modelling perspective.

PDF of Extended version (351.2 kilobytes)
(need help viewing PDF files?)
PDF of full publication (342.9 kilobytes)
GZipped Postscript of full publication (244 kilobytes)
(need help viewing GZipped Postscript files?)
PDF of presentation slides (1.2 megabytes)

Information from