Worst case analysis on modulo scheduling for specialized processors systems

Abir Benabid (1) , Claire Hanen (2, 3, 1)

1 RO - Recherche Opérationnelle
2 UPN - Université Paris Nanterre
3 UPL - Université Paris Lumières

The problem of cyclic scheduling for specialized processors systems is pre- sented and a worst case analysis of a heuristic scheduling algorithm is studied. A resource constrained cyclic scheduling problem is characterized by k, the number of types of functional units employed, mx the maximal number of processors of the same type and ± the maximal precedence delay. The main problem is to cope with both precedence and resource constraints which make the problem NP-complete in general. A guaranteed approach, called decomposed software pipelining, has been proposed by Gasperoni and Schwiegelshohn, followed by the retiming method by Calland, Darte and Robert to solve the problem for parallel processors. We present, in this paper, an extension of this approach to resource-constrained cyclic scheduling problems with precedence delays and we provide an approximation algorithm. Let ¸ and ¸opt be respectively the period given by the algorithm and the optimal period. We establish an approximation bound.

Domaines: Informatique [cs]

Abir Benabid, Claire Hanen. Worst case analysis on modulo scheduling for specialized processors systems. 10ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2009), Feb 2009, Nancy, France. pp.1-12. ⟨hal-01298196⟩