Publications Home » Shared Transaction Markov Chains ...
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version)
- Technical Report
- Imperial College London
- June, 2009
- Abstract
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.
- Keywords
- Stochastic Modelling
- AESOP
- Notes
This is an extended version of a paper accepted for MASCOTS 2009, which contains the full model definitions for the examples.
PDF of full publication (351 kilobytes)- (need help viewing PDF files?)
BibTEX file for the publication - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.