Wolfgang Schreiner, Tamas Berczes, Adam Roth,
"Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, RISC, JKU, Hagenberg, Linz, 12-2014
Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking
Sprache des Titels:
We report in this paper on our results of modeling and analyzing with the probabilistic model checker PRISM the energy efficiency of various cluster scheduling schemes. These schemes were originally introduced by Do, Vu, Tran, and Nguyen in their paper "A generalized model for investigating scheduling schemes in computational clusters" and analyzed by simulation there. Our investigations with PRISM validate the reported results and also subsequent results that were achieved with the performance analysis tool MOSEL-2. Furthermore, some measures that could be determined by simulation but not with MOSEL-2 could be also derived with PRISM.
Sprache der Kurzfassung:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria