Wolfgang Schreiner, Tamas Berczes, Adam Roth,
"Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking"
, Serie RISC Technical Reports, 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.