2005 Ieee International Symposium on Cluster Computing and the Grid Enhancing the Effective Utilisation of Grid Clusters by Exploiting On-line Performability Analysis

In grid applications the heterogeneity and potential failures of the computing infrastructure poses significant challenges to efficient scheduling. Performance models have been shown to be useful in providing predictions on which schedules can be based (N. Furmento et al., 2002) and most such techniques can also take account of failures and degraded service. However, when several alternative schedules are to be compared it is vital that the analysis of the models does not become so costly as to outweigh the potential gain of choosing the best schedule. Moreover, it is vital that the modelling approach can scale to match the size and complexity of realistic applications. In this paper, we present a novel method of modelling job execution on grid compute clusters. As previously we use performance evaluation process algebra (PEPA) (J. Hillston, 1996) as the system description formalism, capturing both workload and computing fabric. The novel feature is that we make a continuous approximation of the state space underlying the PEPA model and represent it as a set of ordinary differential equations (ODEs) for solution, rather than a continuous time, but discrete state space, Markov chain.

[1]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[2]  Michael A. Gibson,et al.  Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .

[3]  Marta Z. Kwiatkowska,et al.  Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.

[4]  Bruno Sericola A Finite Buffer Fluid Queue Driven by a Markovian Queue , 2001, Queueing Syst. Theory Appl..

[5]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[6]  Rajkumar Buyya,et al.  GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing , 2002, Concurr. Comput. Pract. Exp..

[7]  D. Gillespie A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[8]  Lawrence F. Shampine,et al.  Solving ODEs with MATLAB , 2002 .

[9]  Kishor S. Trivedi,et al.  FSPNs: Fluid Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[10]  A. Stephen McGough,et al.  ICENI: Optimisation of component applications within a Grid environment , 2002, Parallel Comput..

[11]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[12]  William H. Sanders,et al.  Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.

[13]  Nigel Thomas Using Markovian Process Algebra to Specify Interactions in Queueing Systems , 1997 .

[14]  Stephen Gilmore,et al.  Evaluating the Performance of Skeleton-Based High Level Parallel Programs , 2004, International Conference on Computational Science.

[15]  Stephen Gilmore,et al.  Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..

[16]  Murray Cole,et al.  Algorithmic Skeletons: Structured Management of Parallel Computation , 1989 .

[17]  Michael Mitzenmacher,et al.  Studying Balanced Allocations with Differential Equations , 1999, Combinatorics, Probability and Computing.

[18]  Kurt Stockinger,et al.  OptorSim-A Grid Simulator for Studying Dynamic Data Replication Strategies , 2003 .

[19]  Stephen A. Jarvis,et al.  Performance-Aware Workflow Management for Grid Computing , 2005, Comput. J..

[20]  Andrew A. Chien,et al.  The MicroGrid: a Scientific Tool for Modeling Computational Grids , 2000, ACM/IEEE SC 2000 Conference (SC'00).

[21]  Linda R. Petzold,et al.  Improved leap-size selection for accelerated stochastic simulation , 2003 .

[22]  Michael Mitzenmacher,et al.  Analyses of load stealing models based on differential equations , 1998, SPAA '98.

[23]  S. Gilmore,et al.  Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .