A method for static scheduling of dynamic control programs (preliminary version).

Static scheduling consists in compile-time mapping of operations to logical execution dates. However, scheduling so far only applies to static control programs, i.e. roughly to nests of do (or for) loops. To extend scheduling to dynamic control programs, one needs a method that 1) is consistent with unpredictable control flows (and thus unpredictable iteration domains) 2) is consistent with unpredictable data flows, and 3) permits speculative execution. This report describes a means to achieve these goals.L'ordonnancement statique consiste à attribuer lors de la compilation des dates logiques d'exécution aux opérations du programme. Cependant, les techniques d'ordonnancement ne s'appliquent jusqu' à présent qu'aux programmes à contrôle statique c'est à dire typiquement aux imbrications de boucles do (ou for). Pour étendre ces techniques aux programmes à contrôle dynamique, il est nécessaire de trouver une méthode qui 1) soit compatible avec des flots de contrôle imprévisibles et donc avec des domaines d 'itérations imprévisibles) 2) soit compatible avec des flots de données imprévisibles, et 3) autorise éventuellement l’exécution spéculative. Ce rapport propose une telle méthod