CHAPITRE 4 : LES PROBLEMES DORDONNANCEMENT

Objectifs
Dfinir un problme dordonnancement en dtaillant ses diffrents composants. Savoir reprsenter un problme dordonnancement.

Plan du chapitre
I. Dfinitions 1. Tches 2. Ressources 3. Contraintes 4. Critres II. Domaines dapplication III. Reprsentations des problmes d'ordonnancement 1. Diagramme de Gantt 2. Diagramme de la charge 3. Diagramme potentiel tches : PDM 4. Diagramme potentiel tapes : PERT VI. Notations V. Typologie IV. Notation de Conway

Volume horaire
3 sances de cours intgr

Chapitre 4 Dfinitions

Les problmes d'ordonnancement

Dfinition 1 : Ordonnancer un ensemble de tches cest programmer leur excution en leur allouant les ressources requises et en fixant leur date de dbut. Dfinition 2 : Soit un ensemble de tches, le problme dordonnancement consiste les organiser dans le temps et dans lespace en fonction de contraintes diverses (temporelle, gomtrique, technique) galement en fonction de certains critres. Dfinition 3 : Le problme dordonnancement consiste allouer des tches des ressources et ceci de manire optimale dans le temps.
Temps
Contraintes + Critres

Ressources

Tches

La rsolution dun problme dordonnancement doit concilier deux objectifs : - Laspect statique consiste gnrer un plan de ralisation des tches, sur les bases de donnes prvisionnelles. Ces problmes se caractrisent par la recherche dun ordonnancement optimal (ou dun bon ordonnancement) dun ensemble de tches sur une priode donne. Les outils thoriques ainsi que de bonnes heuristiques permettent maintenant de rsoudre certains problmes de grande taille. - Laspect dynamique consiste prendre des dcisions en temps rel compte tenu de ltat des ressources et de lavancement dans le temps des diffrentes tches.

1- Tches - Une tche, lot, travail, action, opration ou job est une activit ayant un dbut et une fin. Un projet est constitu dun ensemble de tches. - Une tche est dite morcelable ou premptive si elle peut tre excute en diffrents morceaux. - Une tche non premptive est une tche qui est excute en bloc ou en un seul morceau. - Tche rcapitulative : tche rcapitulant un ensemble de tches subordonnes. - Jalon : Point de rfrence marquant un vnement important dans lavancement du projet. Correspondant une tche en gnral de dure nulle, un jalon est utilis pour contrler lavancement du projet.

2- Ressources - Une ressource est dite renouvelable si aprs avoir termin une tche, elle devient disponible. - Une ressource est dite consommable si aprs avoir termin une tche, elle nest plus disponible soit en partie soit en entier. - Une ressource est dite partageable si elle peut tre partage par plusieurs tches la fois. - Une ressource unitaire : les tches sont mono opration, et il existe une seule ressource pour leur excution. - Ressources parallles : les tches sont mono opration, et il existe plusieurs ressources susceptibles de les excuter. Les ressources, identiques, uniformes (seul le critre vitesse introduit une diffrence entre les machines) ou diffrentes sont organises en parallle.

3- Contraintes - Il y a deux familles de contraintes : des contraintes qui portent sur les ressources et dautres qui portent sur les tches. - Contraintes qui portent sur les tches : o Les contraintes absolues : elles sont dfinies par rapport une date fixe. La date doit tre fixe une date prcise (la tche T commencera la date t=t0). o Les contraintes relatives : appeles galement le chevauchement. On peut distinguer les contraintes de prcdence Ti < = Tj o Les contraintes disjonctives : se prsentent gnralement quand il y a un conflit entre les ressources. Ti < Tj - Contraintes qui portent sur les ressources : La contrainte de capacit exprime le fait que les moyens ncessaires pour excuter un certain nombre de tches sont chaque instant limit. Exemple : le disque dur ( qj < Ci(Ri)). On parle aussi de contrainte cumulative.

4- Critres - Les critres relatifs aux tches : commencer une tche T donne au plutt. - Les critres relatifs aux ressources : choisir la ressource la plus fiable, la ressource la moins charge - Les critres locaux ou critres de prfrence. - Fonction cot ou fonction objective : minimiser la dure totale du projet (ou makespan)

II-Domaines dapplication Les problmes dordonnancement figurent dans divers champs dapplications savoir : - La fabrication : les ateliers de production, - La construction : construction des voitures, construction des btiments, construction des navires, - La vie courante : recette de cuisine, - La robotique - Les tlcommunications : gestion des satellites, gestion des frquences, - Ladministration : gestion des emplois des temps, gestion de documentation, - Le domaine du transport : trafic arien, - Linformatique : gestion de mmoire, - Etc

Ordonnancement en informatique Exemple 1 : - Ordonnanceur : gestion des processus {liste de processus, priorit, quantum du temps} - Systme dexploitation UNIX multitches/multi utilisateurs. Exemple 2 : - La programmation parallle : machines multi processeurs - Contrainte : cest larchitecture (clusters, nuds, ) - Critres : essayer de minimiser les communications et quilibrer les charges entre les processeurs. (complexit = traitement + communication)

Les mthodes et outils qui ont t utiliss dans ces diffrents domaines dapplication afin de rsoudre les problmes dordonnancement sont trs varis. Parmi ces mthodes, on peut trouver : - Les mthodes base de graphes - La recherche oprationnelle : programmation linaire, programmation entire, programmation dynamique, branch and bound, - Les mthodes venant de la thorie des graphes : chemins minimaux, couverture minimale, flots dans un graphe, - Des heuristiques nombreuses - Les systmes de lIntelligence Artificielle : les systmes experts, - Les SIAD (systmes dinformation daide la dcision) - Etc

III-

Reprsentations des problmes d'ordonnancement

On peut distinguer les types de liens ou dpendances entre les tches comme suit : Fin dbut (FD) : la fin d'une action prcde immdiatement le dbut de la suivante. Gnralement, cest le lien par dfaut. Dbut dbut (DD) : une tche peut dbuter ds que l'autre a dbut Fin fin (FF) : la fin d'une tche autorise la fin de l'autre Afin de pouvoir reprsenter les contraintes entre les diffrentes tches formant un projet, plusieurs reprsentations ont t conues. Parmi ces reprsentations, on peut citer :

1- Diagramme de GANTT Cest le diagramme couramment utilis. Les tches sont ordonnances sur les ressources et sont places sur un tableau o le temps est en abscisse et les ressources en ordonne.
Ressources M3 M2 M1 T1 Temps T2 T3

2- Diagramme de la charge Ce diagramme a pour but dexprimer la quantit de ressources consomme chaque instant.
Charge Charge maximale

Temps

3- Diagramme Potentiel Tches : PDM PDM : Precedence Diagramming Method Ce diagramme permet de visualiser des tches sous forme de graphe. Nud : tche Arc : contrainte dantriorit Sens : anctre - descendant Mthode CPM (Critical Path Method)

4- Diagramme Potentiel Etapes : PERT PERT: Program Evaluation and Review Technique (dveloppe par la marine amricaine). Il sagit dun graphe orient permettant de reprsenter les contraintes denchanement temporel. Il sagit de visualisation des tapes sous forme de graphe. Nud : tape du projet Arc : tche et contrainte dantriorit Sens : anctre descendant Exemple : Etant donn le problme dordonnancement suivant, en utilisant les diffrents diagrammes, vus ci dessus, reprsenter ce problme. Tche Temps A 1 B 4 C 5 D 2 E 4 Contraintes A, B C C

Formule de calcul des dates au plus tt : Date de dbut au plus tt : D+tt (Ti) = sup (D+tt (Tj) + dij) Avec Tj prdcesseurs de Ti Date de fin au plus tt : F+tt (Ti) = D+tt (Ti) + dij

Formule de calcul des dates au plus tard : On fait lhypothse dune date de fin de projet (fonctionnement par date limite) On parcourt le graphe en sens inverse Si tf est la date limite de fin du projet, F+tard (Tfi) = tf Date de dbut au plus tard : D+tard (Ti) = inf( D+tard (Tj) dij) Avec Tj successeurs de Ti Date de fin au plus tard : F+tard (Ti) = inf (D+tard (Tj))

La marge : cest la diffrence entre les dates au plus tt et au plus tard. Les marges ne peuvent pas tre ngatives. Chemin critique : - Met en vidence les tches qui risquent de retarder la fin du projet si elles sont en retard. - Le chemin critique est celui sur lequel les marges sont nulles ou les plus faibles possibles. - Sil ny a que des liens fin-dbut, cest le chemin le plus long.

IV- Notations A chaque tche, sont associes plusieurs grandeurs quon prsentera dans ce qui suit : - ri : ready date ou date de dbut au plus tt - di : due date ou date de fin au plus tard - pi,j : processing time ou dure dexcution de la jme opration de la tche i. Les grandeurs permettant dvaluer un ordonnancement sont : - Ci : completion time ou date de fin - ti : date de dbut relle de la tche i - Fi : flow time de la tche i ou temps dcoulement ; Fi = Ci ri - Li : (lateness) ou retard algbrique ; Li=Ci - di - Ti : (tardiness) ou retard vrai ; Ti=Max (0, Li) - Ei : (earliness) ou avance ; Ei=Max (0, Li) - Ui : retard Ui=1 si Ci>di et Ui=0 sinon - Wi : (weight) poids associ au lot i A partir de l, on pourra crer des critres, soit en minimisant le maximum dune des valeurs prcdentes, soit la moyenne, soit le maximum pondr, soit la moyenne pondre.

Remarques : - Si le travail i nest pas interrompu, alors : Ci = ti + j p i ,j - Une condition de ralisabilit dun ordonnancement est : ri <= ti <= Ci <= di - Les mesures de moyenne ou de somme sont videmment identiques, une constante prs. De mme, il y a quivalence entre la somme des C, des F et des L, puisque les ri et les di sont des constantes. Un ordonnancement est dit semi-actif si toutes les oprations sont cales au plus tt contre les oprations prcdentes, ou les dates de disponibilit. Un ordonnancement est dit actif sil est semi actif et quil est impossible dexcuter plus tt une opration sans en dplacer une autre. Un ordonnancement est dit sans dlai si une machine nest jamais laisse inoccupe sil y a des pices en attente.

V- Typologie Les problmes dordonnancement peuvent tre classs selon la complexit du processus de fabrication, et lutilisation des ressources : - Ressources unitaires : les tches sont mono opration, et il existe une seule ressource pour leur excution - Ressources parallles : les tches sont mono opration, et il existe plusieurs ressources susceptibles de les excuter. Les ressources, identiques, uniformes (seul le critre vitesse introduit une diffrence les machines) ou diffrentes sont organises en parallle. - Flow-shop : les tches sont multi oprations et excution dune tche ncessite lutilisation de plusieurs ressources dans le mme ordre. Chaque ressource nexistant quen un seul exemplaire. - Job-shop : les tches sont multi-oprations et excution dune tche ncessite lutilisation de plusieurs ressources dans un ordre qui lui est propre. Chaque ressource nexistant quen un seul exemplaire. - Open-shop : les tches sont multi oprations et leur excution ncessite lutilisation de plusieurs ressources dans nimporte quel ordre (les oprations des tches sont indpendantes). Chaque ressource existe en un seul exemplaire.

VI- Notation de Conway Un problme dordonnancement se prsente suivant la classification de Conway comme suit : A/B/C, D/E Avec : A : indique le nombre de tches raliser (N) B : indique le nombre de ressources C : prcise lorganisation ou lordre dutilisation des ressources : 1 : une seule ressource I : ressources parallles identiques R : ressources parallles diffrentes G : job shop F : flow shop O : open shop D : signale dventuelles restrictions sur lexcution des oprations : ri : date de dbut au plus tt di : date de fin au plus tard prec : contrainte de prcdence quelconque pmtn : premption no-wait : sans temps dattente entre les oprations E : identifie lobjectif minimiser Cmax : makespan ou dure totale dordonnancement Ci : date dachvement moyenne (identique au flow time) wi Ci : idem mais pondr Lmax : retard algbrique Ti : retard vrai

Cette typologie permet de classer lessentiel des problmes dordonnancement, et facilite ainsi grandement les comparaisons entre auteurs. Exemple : Le problme dordonnancement suivant : 5 / 2 / F / Cmax signifie quil sagit dun problme Flow-shop o on voudrait trouver un ordonnancement de 5 tches sur deux ressources minimisant le makespan.