Tackling Large State Spaces in Performance Modelling

Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models are derived by generating and then analysing a (semi-)Markov chain corresponding to the model’s behaviour at the state-transition level. However, and especially when analysing industrial-scale systems, workstation memory and compute power is often overwhelmed by the sheer number of states. This chapter explores an array of techniques for analysing stochastic performance models with large state spaces. We concentrate on explicit techniques suitable for unstructured state spaces and show how memory and run time requirements can be reduced using a combination of probabilistic algorithms, disk-based solution techniques and communicationefficient parallelism based on hypergraph-partitioning. We apply these methods to different kinds of performance analysis, including steadystate and passage-time analysis, and dem...

• Type: Conference
• Year: 2007
• Where: SFM
• Authors: William J. Knottenbelt, Jeremy T. Bradley
• Keywords: Complex Concurrent Systems, SFM 2007, State Spaces, Stochastic Performance Models