基于 priced timed automata 与 priced timed Markov 决策过程的近最优任务图调度
分布式、并行与集群计算
2020-02-26 v1 形式语言与自动机理论
摘要
任务图调度是计算机科学中的一个相关问题，可应用于多种现实领域。任务图调度面临组合爆炸问题，因此寻找最优调度器是一项困难任务。在本文中，我们提出了一种为任务图计算近最优抢占式与非抢占式调度器的方法。任务图调度问题被归约为 priced timed automata（PTA）与 priced timed Markov 决策过程（PTMDP）中通过最快路径的位置可达性问题。此外，我们探讨了使用链（chains）来减少寻找调度方案计算时间的效果。我们已在 UPPAAL CORA 和 UPPAAL STRATEGO 中实现了我们的模型。我们进行了详尽的实验评估，将所得调度方案与最先进（state-of-the-art, SOTA）工具的最佳已知调度方案进行比较。结果显示，大量所得调度方案短于或等于最佳已知调度方案。
引用
@article{arxiv.2002.10783,
title = {Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes},
author = {Anne Ejsing and Martin Jensen and Marco Muñiz and Jacob Nørhave and Lars Rechter},
journal= {arXiv preprint arXiv:2002.10783},
year = {2020}
}
备注
Technical report for near optimal task graph scheduling using Uppaal Cora and Uppaal Stratego