Decomposed software pipelining for cyclic unitary RCPSP with precedence delays

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

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

In this paper we adress a new cyclic problem: finding periodic schedules for unitary resource constrained cyclic scheduling problem. Such resource constraints are characterized by k, the number of types of functional units employed and mx the maximal number of processors of the same type. The main problem is to cope with both precedence delays and resources which make the problem N P-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 and ordinary precedences. We present, in this paper, an extension of this approach to resource-constrained cyclic scheduling problems with precedence delays and we provide an approximation algo- rithm. Let $\lambda$ and $\lambda_{opt}$ be respectively the period given by the algorithm and the optimal period. We establish the bound: $\lambda \leq (k+1-\frac{1}{m_x(\rho+1)})\lambda^{opt} + (1 - \frac{1}{m_x(\rho+1)})(\delta -1)$.

Domaines: Informatique [cs]

Abir Benabid, Claire Hanen. Decomposed software pipelining for cyclic unitary RCPSP with precedence delays. Multidisciplinary International Conference on Scheduling: Theory and Applications, Aug 2009, Dublin, Ireland. ⟨hal-01286994⟩