Aeon: Synthesizing Scheduling Algorithms from High-Level Models
Aeon: Synthesizing Scheduling Algorithms from High-Level Models
复制标题
Aeon：从高级模型综合调度算法
DOI：
10.1007/978-0-387-88843-9_3
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Pascal Van Hentenryck
中科院分区：
文献类型：
--
作者：
Jean;Y. Deville;Pascal Van Hentenryck
本文描述了 aeon 系统，其目的是从高级模型综合调度算法。 Aeon 完全用 Comet 编写，接收调度应用程序的高级模型作为输入，然后对其进行分析，以利用模型结构生成专用调度算法。 Aeon 提供了各种用于生成完整或启发式算法的合成器。此外，合成器是组合的，使得自然地生成复杂的混合算法成为可能。初步实验结果表明，这种方法可能与最先进的搜索算法具有竞争力。
This paper describes the aeon system whose aim is to synthesize scheduling algorithms from high-level models. Aeon, which is entirely written in comet, receives as input a high-level model for a scheduling application which is then analyzed to generate a dedicated scheduling algorithm exploiting the structure of the model. Aeon provides a variety of synthesizers for generating complete or heuristic algorithms. Moreover, synthesizers are compositional, making it possible to generate complex hybrid algorithms naturally. Preliminary experimental results indicate that this approach may be competitive with state-of-the-art search algorithms.