迈向风车调度的 5/6-密度猜想
数据结构与算法
2021-11-03 v1
摘要
风车调度旨在为单台机器上的单位长度任务寻找一个永续调度，满足同一任务任意两次连续执行之间给定的最大时间跨度（亦称频率）。风车调度实例的密度是这些任务频率倒数之和；5/6-猜想（Chan 和 Chin，1993）断言，任何密度至多为 5/6 的风车调度实例都是可调度的。我们形式化了风车调度的 Pareto 曲面概念，并利用新颖的结构性洞见设计了一种计算这些曲面的高效算法。这使我们能够 (1) 确认 5/6-猜想对所有至多包含 12 个任务的风车调度实例成立；(2) 证明仅 23 个调度构成的给定列表即可解决所有至多包含 5 个任务的可调度风车调度实例。
引用
@article{arxiv.2111.01784,
title = {Towards the 5/6-Density Conjecture of Pinwheel Scheduling},
author = {Leszek Gąsieniec and Benjamin Smith and Sebastian Wild},
journal= {arXiv preprint arXiv:2111.01784},
year = {2021}
}
备注
Accepted at ALENEX 2022