Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking

Wolfgang Schreiner; Tamas Berczes; Adam Roth

Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking

Wolfgang Schreiner, Tamas Berczes, Adam Roth

Research Institute for Symbolic Computation

Research output: Working paper and reports › Preprint

Abstract

We report in this paper on initial results of modeling and analyzing with the probabilistic model checker PRISM various cluster scheduling schemes that were 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. The preliminary results are encouraging, but there also remain some open issues that need to be addressed.

Original language	English
Place of Publication	Hagenberg, Linz
Publisher	RISC, JKU
Number of pages	41
Publication status	Published - Sept 2014

Publication series

Name	RISC Technical Reports

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@techreport{3e52e20f3690480392063052fe2f19bb,

title = "Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking",

abstract = "We report in this paper on initial results of modeling and analyzing with the probabilistic model checker PRISM various cluster scheduling schemes that were 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. The preliminary results are encouraging, but there also remain some open issues that need to be addressed.",

author = "Wolfgang Schreiner and Tamas Berczes and Adam Roth",

year = "2014",

month = sep,

language = "English",

series = "RISC Technical Reports",

publisher = "RISC, JKU",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking

AU - Schreiner, Wolfgang

AU - Berczes, Tamas

AU - Roth, Adam

PY - 2014/9

Y1 - 2014/9

N2 - We report in this paper on initial results of modeling and analyzing with the probabilistic model checker PRISM various cluster scheduling schemes that were 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. The preliminary results are encouraging, but there also remain some open issues that need to be addressed.

AB - We report in this paper on initial results of modeling and analyzing with the probabilistic model checker PRISM various cluster scheduling schemes that were 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. The preliminary results are encouraging, but there also remain some open issues that need to be addressed.

M3 - Preprint

T3 - RISC Technical Reports

BT - Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking

PB - RISC, JKU

CY - Hagenberg, Linz

ER -