Paper #13

Paper #13

Robustness Analysis of Scaled Resource Allocation Models Using the Imperial PEPA Compiler


William Sanders 1, Srishti Srivastava 2 and Ioana Banicescu 3

1 Computer Science & Engineering, Mississippi State University, Mississippi State, MS USA
wss2 @ msstate edu
2 Computer Science, University of Southern Indiana, Evansville, IN USA
fsrishti @ usi edu
3 Computer Science & Engineering, Mississippi State University, Mississippi State, MS USA
ioana @ cse msstate edu

Abstract: The increase in scale provided by distributed computing systems has expanded scientific discovery and engineering solutions. Stochastic modeling with Performance Evaluation Process Algebra (PEPA) has been used to evaluate the robustness of resource allocations in parallel and distributed computing systems. These evaluations have previously been performed through the PEPA Plug-In for the Eclipse Integrated Development Environment and have been limited by factors that include i) the size and complexity of the underlying, in-use PEPA model, ii) a small number of resource allocation models available for analysis, and iii) the human interaction necessary to configure the PEPA Eclipse Plug-In, thus limiting potential automation. As the size and complexity of the underlying PEPA models increases, the number of states to be evaluated for each model also greatly increases, leading to a case of state space explosion. In this work, we validate the Imperial PEPA Compiler (IPC) as a replacement for the PEPA Eclipse Plug-In for the analysis of resource allocation models and make available an implementation of the IPC as a Singularity container, as part of a larger online repository of PEPA resources. We then develop and test a programmatic method for generating PEPA models for resource allocations. When combined with our IPC container, this method allows automated analysis of resource allocation models at scale. The use of the IPC allows the evaluation of larger models than it is possible when using the PEPA Eclipse Plug-In. The increases in scale in both model size and number of models, support the development of improved makespan targets for robustness metrics, including those among applications subject to perturbations that produce variability at runtime, as found in typical parallel and distributed computing environments.

Keywords: Process algebra; Robustness analysis; Performance modeling; Performance evaluation; Application virtualization; Scalabilty; Stochastic processes