Skip to Main content Skip to Navigation
Journal articles

The resource-constrained modulo scheduling problem: an experimental study

Maria Ayala 1 Abir Benabid 2 Christian Artigues 1 Claire Hanen 2
LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 RO - Recherche Opérationnelle
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In this paper, we focus on the resource-constrained modulo scheduling problem, a general periodic scheduling problem, abstracted from the problem solved by compilers when optimizing inner loops at instruction level for VLIW parallel processors. Heuristic solving scheme have been proposed since many years to solve this problem, among which the decomposed software pipeling method. In this method, a cyclic scheduling problem ignoring resource constraints is first considered and a so-called legal retiming of the operations is issued. Second, a standard acyclic problem, taking this retiming as input, is solved through list scheduling techniques. In this paper, we propose an hybrid approach, which uses the decomposed software pipeling method to obtain a good retiming. Then the obtained retiming is used to build an Integer Linear Programming formulation of reduced size, which allows to solve it exactly. Experimental results show that a lot more problems are solved with this new approach. The gap to the optimal solution is really small (0 or 1%) on all the tested problem instances.
Document type :
Journal articles
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Christian Artigues <>
Submitted on : Wednesday, February 23, 2011 - 10:15:06 PM
Last modification on : Tuesday, November 24, 2020 - 11:32:03 AM
Long-term archiving on: : Tuesday, May 24, 2011 - 3:36:18 AM


Files produced by the author(s)



Maria Ayala, Abir Benabid, Christian Artigues, Claire Hanen. The resource-constrained modulo scheduling problem: an experimental study. Computational Optimization and Applications, Springer Verlag, 2013, 54 (3), pp.645-673. ⟨10.1007/s10589-012-9499-2⟩. ⟨hal-00568925⟩



Record views


Files downloads