Download or read book Un algorithme pour l ordonnancement de t ches temps r el sur des ressources non pr emptives written by Alain Jorry and published by . This book was released on 1976 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce document est la syntèse des travaux menés pour la résolution d'un problème d'ordonnancement, celui posé par le système temps-réel spectre (divers types de ressources, plusieurs ressources par type, relations de précédence, arrivées échelonnées, dates critiques...). La méthode utilisée pour parvenir à la solution et les réflexions successives y sont décrites et analysées. De plus, ce travail décrit l'algorithme solution depuis sa définition jusqu'à sa programmation, en passant par la démonstration de sa validité.

Download or read book Un algorithme pour l ordonnancement de taches temps reel sur des ressources non preemptives written by Alain Jorry and published by . This book was released on 1976 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Ordonnancement temps r el multiprocesseur de t ches non pr emptives avec contraintes de pr c dence de p riodicit stricte et de latence written by Omar Kermia and published by . This book was released on 2009 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: La réalisation de systèmes temps réel embarqués complexes que l'on trouve dans les domaines de l'avionique, de l'automobile, de la robotique, etc. conduisent à résoudre des problèmes d'ordonnancement temps réel non préemptif pour des architectures multiprocesseurs en respectant des contraintes multiples de précédence, de périodicité stricte et de latence. Dans la littérature les problèmes de ce type sont résolus avec des méthodes approchées (heuristiques) donnant des résultats dans un temps raisonnable comparées à des méthodes exactes. Par ailleurs le problème tel que nous le posons a été peu étudié. Ce dernier étant complexe nous avons choisi d'étudier séparément la périodicité d'une part et la latence d'autre part, avec aussi dans les deux cas des contraintes de précédence. L'ensemble des résultats obtenus est utilisé pour traiter l'ordonnancement avec les trois contraintes. Afin de résoudre le problème d'ordonnancement avec précédence et périodicité stricte nous avons proposé une heuristique composée de trois étapes. La première étape appelée "assignation" est la plus importante car elle permet de décider si un système est ordonnançable ou pas sans être obligé d'attendre l'exécution des deux autres étapes de l'heuristique. Comme nous avons choisi d'utiliser la méthode du partitionnement - partitionner le problème multiprocesseur en plusieurs problèmes monoprocesseur - plutôt que la méthode globale pour faire l'ordonnancement multiprocesseur, nous avons pu donner une condition pour qu'une tâche, éventuellement plusieurs, soient ordonnançables sur un processeur auquel d'autres tâches ont déjà été assignées. Nous avons proposé deux versions d'algorithme d'assignation, une version gloutonne très rapide et une version .recherche locale. fondée sur le retour arrière (backtracking) qui revient à tester localement plusieurs assignations pour trouver celle qui satisfait les contraintes de périodicité stricte. Nous avons montré que la version "recherche locale", bien que moins rapide que la version gloutonne, donne des résultats très proches de ceux d'un algorithme exact de type "Branch & Cut". La seconde étape appelée "déroulement". consiste simplement à répéter chaque tâche et les arcs de précédence qui la concernent suivant le rapport entre l'hyper-période (PPCM des périodes de toutes les tâches) et sa période. La troisième étape consiste à ordonnancer les tâches sur les processeurs auxquels elles ont été assignées tout en minimisant le temps d'exécution de toutes les tâches (makespan), en prenant en compte le coût des communications interprocesseurs dues au fait que deux tâches liées par une précédence ont été assignées à deux processeurs différents. Par ailleurs comme nous considérons des systèmes embarqués pour lesquels les ressources sont limitées nous avons ajouté une quatrième étape, spécifique à l'embarqué, qui effectue de manière gloutonne de la répartition de charge et de mémoire. L'heuristique d'ordonnancement avec précédence et périodicité stricte a été programmée en OCAML dans le logiciel SynDEx diffusé par l'équipe projet AOSTE. Pour tester ces résultats théoriques ainsi que leur implantation dans le logiciel SynDEx on a effectué une expérimentation sur une application de suivi en train virtuel de CyCabs (véhicule électrique automatique conçu par l'équipe projet IMARA) avec contraintes de précédence et de périodicité. Afin de résoudre le problème d'ordonnancement multiprocesseur avec précédence et latence nous avons effectué une étude d'ordonnançabilité qui a montré que sa résolution est très liée aux chemins de tâches reliant la paire de tâches sur laquelle la contrainte de latence est imposée. Nous avons proposé une heuristique dans le cas d'une seule latence se composant d'une première étape appelée "clusterisation" et une deuxième étape appelée "union". La clusterisation consiste à regrouper les tâches faisant partie du même chemin dans le graphe et l'union cherche à adapter le nombre de ces clusters au nombre de processeurs en procédant à des unions entre clusters. Le cas de plusieurs latences demande de prendre en compte les différentes possibilités de chemins entre plusieurs paires de tâches soumises à différentes latences. Pour le cas le plus complexe correspondant à des chemins, entre paires de tâches soumises à différentes latences, croisés on a proposé une heuristique qui minimise la durée de l'ordonnancement entre chacune de ces paires de tâches. Les résultats obtenus précédemment ont été utilisés pour proposer une heuristique d'ordonnancement avec contraintes de précédence, de périodicité et de latence.

Download or read book Un m canisme d ordonnancement distribue de taches temps r el written by Leila Baccouche and published by . This book was released on 1995 with total page 155 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans le cadre du contrôle de l'exécution d'applications temps réel, un mécanisme d'ordonnancement de tâches basé sur le critère du temps est indispensable. Le mécanisme se doit de garantir en priorité les tâches périodiques et de maximiser le nombre de celles apériodiques. Le mécanisme d'ordonnancement distribué que nous proposons, traite d'abord l'allocation statique de tâches temps réel, car les tâches périodiques doivent être allouées et ordonnancées avant l'exécution. Nous avons développé un algorithme d'allocation parallèle basé sur l'approche des algorithmes génétiques. Il permet d'obtenir des allocations correctes ou le respect des contraintes temporelles qui portent sur les tâches est assure, en effet l'ordonnancement est pris en compte lors de la construction du placement. Dans le cas de systèmes temps réel souples, le mécanisme d'ordonnancement distribué met en oeuvre deux algorithmes afin de gérer l'ordonnancement et l'allocation des tâches durant l'exécution. Le premier est un algorithme d'ordonnancement local en-ligne, simple et peu coûteux. Le second est un algorithme d'allocation dynamique, indépendant de la taille et de la topologie du réseau. Il se distingue par une heuristique visant à donner davantage de garantie aux tâches apériodiques par l'acceptation de celles-ci et par le transfert de tâches moins urgentes. Une réservation de l'emplacement des tâches sur le processeur désigné pour l'allocation permet de ne pas remettre en cause l'ordonnancement auparavant établi. La mise en oeuvre de ces algorithmes dans le noyau ParX du système d'exploitation parallèle Paros, nous a permis de montrer qu'un mécanisme d'ordonnancement distribué améliore les performances d'une application temps réel.

Download or read book Ordonnancement temps r el dur multiprocesseur tol rant aux fautes appliqu la robotique mobile written by Mohamed Marouf and published by . This book was released on 2012 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous nous sommes intéressés dans cette thèse au problème d'ordonnancement temps réel dur multiprocesseur tolérant aux fautes pour des tâches non préemptives périodiques strictes pouvant être combinées avec des tâches préemptives. Nous avons proposé des solutions à ce problème et les avons implantées dans le logiciel SynDEx puis nous les avons testées sur une application de suivi de véhicules électriques CyCabs. Nous avons d'abord présenté un état de l'art sur les systèmes temps réel embarqués et plus précisément sur l'ordonnancement classique monoprocesseur et multiprocesseur de tâches préemptives périodiques. Comme nous nous intéressons aux applications de contrôle/commande temps réel critiques, les traitements de capteurs/actionneurs et les traitements de commande de procédés ne doivent pas avoir de gigue. Pour ces raisons nous avons aussi présenté un état de l'art sur l'ordonnancement des tâches non-préemptives périodiques strictes. Par ailleurs nous avons présenté un état de l'art sur la tolérance aux fautes. Comme nous nous sommes intéressés aux fautes matérielles, nous avons présenté les deux types de redondances : logicielle et matérielle. Les analyses d'ordonnançabilité existantes de tâches non préemptives périodiques strictes dans le cas monoprocesseur ayant de faibles taux de succès d'ordonnancement, nous avons proposé une nouvelle analyse d'ordonnançabilité. Nous avons présenté une stratégie d'ordonnancement qui consiste à ordonnancer une tâche candidate avec un ensemble de tâches déjà ordonnancée. Nous avons utilisé cette stratégie pour ordonnancer des tâches harmoniques et non harmoniques, et nous avons proposé des nouvelles conditions d'ordonnançabilité. Afin d'améliorer le taux de succès d'ordonnancement de tâches non préemptives périodiques strictes, nous avons proposé de garder certaines tâches non préemptives périodiques strictes et d'y ajouter des tâches préemptives périodiques non strictes ne traitant ni les entrées/sorties ni le contrôle/commande. Nous avons ensuite étudié le problème d'ordonnancement multiprocesseur selon une approche partitionnée. Ce problème est résolu en utilisant trois algorithmes. Le premier algorithme effectue une analyse d'ordonnançabilité monoprocesseur et assigne chaque tâche sur éventuellement plusieurs processeurs. Le deuxième algorithme transforme le graphe de tâches dépendantes en un graphe déroulé où chaque tâche est répétée un nombre de fois égal au rapport entre le PPCM des autres périodes et sa période. Le troisième algorithme exploite les résultats des deux algorithmes précédents pour choisir sur quel processeur ordonnancer une tâche et calculer sa date de début d'exécution. Nous avons ensuite proposé d'étendre l'étude d'ordonnançabilité temps réel multiprocesseur précédente pour qu'elle soit tolérante aux fautes de processeurs et de bus de communication. Nous avons proposé un algorithme qui permet de transformer le graphe de tâches dépendantes en y ajoutant des tâches et des dépendances de données répliques et des tâches de sélection permettant de choisir la réplique de tâches allouée à un processeur non fautif. Nous avons étudié séparément les problèmes de tolérance aux fautes pour des processeurs, des bus de communication, et enfin des processeur et des bus de communication. Finalement nous avons étendu les trois algorithmes vus précédemment d'analyse d'ordonnançabilité, de déroulement et d'ordonnancement afin qu'ils soient tolérants aux fautes. Nous avons ensuite présenté les améliorations apportées au logiciel SynDEx tant sur le plan de l'analyse d'ordonnançabilité et l'algorithme d'ordonnancement, que sur le plan de la tolérance aux fautes. Finalement nous avons présenté les travaux expérimentaux concernant l'application de suivi de CyCabs. Nous avons modifié l'architecture des CyCabs en y intégrant des microcontrôleurs dsPICs et nous avons testé la tolérance aux fautes de dsPICs et du bus CAN sur une application de suivi de CyCab.

Download or read book Ordonnancement dans les syst mes temps r el written by Maryline Chetto and published by ISTE Group. This book was released on 2014-06-01 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes temps réel se rencontrent dans une vaste gamme de domaines applicatifs tels que la robotique, les process industriels, les transports ou le multimédia. En raison de l’évolution rapide des technologies et de l’émergence de l'Internet des objets, les industriels qui intègrent des logiciels temps réel dans leurs produits se trouvent confrontés à de nouveaux défis. L’intelligence embarquée dans ces produits repose en particulier sur l’ordonnancement, fonction clé du système d’exploitation. Regroupant une quarantaine d’années d’expertise de différents spécialistes, Ordonnancement dans les systèmes temps réel offre un panorama des connaissances de ce domaine en mettant l’accent sur les dernières avancées majeures de la recherche : architectures monoprocesseurs ou multiprocesseurs, contraintes de synchronisation, modélisation probabiliste, optimisation de la qualité de service, techniques de calcul du WCET, etc. Destiné aux informaticiens, automaticiens ou étudiants en école d’ingénieurs, cet ouvrage permet de s'initier à l’informatique temps réel ou d’en approfondir ses connaissances.

Download or read book Ordonnancement multiprocessurs et distribu temps r el written by Mourad Hakem and published by . This book was released on 2006 with total page 110 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, nous considérons plusieurs problèmes d'ordonnancement par les calculs parallèles. Une application parallèle est représentée par un graphe de tâches acyclique (DAG). Les sommets représentent les tâches et les arcs les contraintes de précédance entre elles. Nos contributions s'inscrivent dans les trois volets suivants. Le premier problème étudié est l'ordonnancement des graphes de tâches dans les systèmes multiprocesseurs. Les graphes de tâches considérées sont quelconques, de graphes de grande taille et la durée des tâches/communications est arbitraire. Dans ce cadre, nous proposons deux algorithmes : 1-Un algorithme de regroupement(ordonnancement sur un nombre non borné de processeurs) efficace, basé sur la technique du chemin critique. Il est guidé par des règles d'ordonnancement qui permettent de réduire considérablement la consommation en processeurs. Dans le but de réduire la complexité temporelle de l'algorithme, la longueur du chemin critique est calculée d'une étape à une autre de façon incrémentale. 2-Un algorithme d'ordonnancement sur un nombre borné de processeurs. Cet algorithme a l'avantage, par rapport à ses compétiteurs, de réduire le choix, parmi les tâches candidates à l'ordonnancement de toutes à une seule et, sur l'ensemble des processeurs disponibles, de tous à deux. Cela nous permet d'avoir un algorithme à la fois rapide et performant comparé aux autres algorithmes connus dans ce domaine.Le deuxième problème traîté est l'ordonnancement dans les systèmes hétérogènes avec prise en compte de la fiabilité du système. Nous proposons une solution qui satisfait deux objectifs silmutanément. Le premier objectif consiste en la minimisation du makespan et le deuxième objectif consiste en la maximisation de la fiabilité du système. L'heuristique est validée par une série d'expérimentation et les résultats obtenus sont prometteurs. Enfin, nous nous sommes intéressés au problème d'ordonnancement en ligne des graphes de tâches dans les systèmes distribués temps-réel. Nous présentons un algorithme original sous des hypothèses réalistes (un réseau quelconque de taille arbitraire et des contraintes de dépendance entre tâches) où des graphes de tâches peuvent arriver concurrement et sporadiquement sur n'importe quel site et à n'importe quel moment. Cet algorithme est basé sur un nouveau concept : les sphères de calcul. Elles permettent de déterminer les voisins potentiels qui peuvent coopérer à l'exécution distribuée des graphes de tâches s'ils ne peuvent être garantis sur leurs sites d'origine. Cela permet une augmentation sensible du nombre de graphes garantis dans le système. Mots-clés : fiabilité, ordonnancement, regroupements, systèmes temps-réel, systèmes parallèles, systèmes distribués, graphes acycliques DAGs, ordonnancement bi-critères, systèmes hétérogènes.

Download or read book ORDONNANCEMENT EN LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL written by Patrick Martineau and published by . This book was released on 1994 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: UN SYSTEME INFORMATIQUE DE CONTROLE TEMPS-REEL EST CHARGE DE L'ACQUISITION DE MESURES, LE CALCUL ET L'EMISSION DE COMMANDES AINSI QUE DE LA GESTION DES EVENEMENTS D'ALARME. ON PARLE D'INFORMATIQUE TEMPS-REEL LORSQUE CES ACTIVITES SONT CONTRAINTES A S'EXECUTER DANS UN LAPS DE TEMPS LIMITE. L'ORDONNANCEMENT DE L'EXECUTION DES PROGRAMMES INFORMATIQUES, APPELES TACHES, CONSTITUE UN PROBLEME COMPLEXE. POUR MODELISER LES CONTRAINTES DE TEMPS, UNE DATE CRITIQUE EST ASSOCIEE A CHAQUE TACHE. SI CELA EST POSSIBLE, L'EXECUTIF DOIT ACHEVER L'EXECUTION DE CHAQUE TACHE AVANT SA DATE CRITIQUE ; SINON, IL DOIT MINIMISER L'IMPACT DU DEPASSEMENT SUR LE SYSTEME CONTROLE. CETTE THESE PROPOSE DES SOLUTIONS A L'ORDONNANCEMENT DE TACHES DANS UN SYSTEME REPARTI, UN SYSTEME CONSTITUE DE PLUSIEURS PROCESSEURS ELOIGNES, RELIES ENTRE EUX PAR UN CANAL DE COMMUNICATION. L'APPROCHE PROPOSEE SE DECOMPOSE EN DEUX ETAPES: 1-L'ORDONNANCEMENT LOCAL: DANS UN PREMIER TEMPS, NOUS PROPOSONS UN ALGORITHME D'ORDONNANCEMENT MONOPROCESSEUR CAPABLE DE PRENDRE EN COMPTE CONTRAINTES DE PRECEDENCE, CONTRAINTES D'EXCLUSION MUTUELLE ET DE DECIDER EN-LIGNE S'IL PEUT GARANTIR L'EXECUTION AVANT ECHEANCE D'UNE CHARGE SUPPLEMENTAIRE. DANS LE CAS D'UN REJET, NOUS EVALUONS LES PERFORMANCES DE NOUVEAUX ALGORITHMES CONCUS POUR PRENDRE EN COMPTE DES SURCHARGES TEMPORAIRES DANS UN CONTEXTE DE PARTAGE DES RESSOURCES. CES ALGORITHMES CONSISTENT A ECARTER LES TACHES LES MOINS IMPORTANTES POUR L'ENVIRONNEMENT. 2-L'ORDONNANCEMENT REPARTI: UNE COOPERATION ENTRE LES DIFFERENTS NUDS DU SYSTEME PEUT ETRE IMPLEMENTEE POUR PERMETTRE L'EXECUTION DES TACHES PRECEDEMMENT ECARTEES. AINSI, LORSQU'UNE SURCHARGE LOCALE A UN NUD EST DETECTEE, LES TACHES LES MOINS IMPORTANTES POUR LE SYSTEME CONTROLE SONT ECARTEES. SI C'EST POSSIBLE, ELLES SERONT EXECUTEES SUR UN AUTRE NUD DU RESEAU. DANS LE CAS D'UNE SURCHARGE GLOBALE DU RESEAU, LES TACHES LES PLUS IMPORTANTES SONT EXECUTEES. L'ENSEMBLE DE CES TRAVAUX S'INTEGRE DANS LE PROJET EXORAT, EXECUTIF A ORDONNANCEMENT ADAPTATIF TOLERANT LES FAUTES, DESTINE A UN SYSTEME REPARTI

Download or read book Mod lisation et r solution de probl mes d ordonnancement au sein du solveur d optimisation math matique LocalSolver written by Léa Blaise and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Résoudre un problème d'ordonnancement consiste à organiser la réalisation de tâches au cours du temps : déterminer leur répartition sur les différentes ressources disponibles ainsi que leurs dates d'exécution. Le travail de cette thèse se concentre sur les problèmes d’ordonnancement de type disjonctif et/ou packing, avec ou sans flexibilité des ressources. L'ensemble des contributions algorithmiques de la thèse ont été implémentées au sein du solveur d'optimisation mathématique LocalSolver, dont les techniques de résolution combinent des méthodes exactes, telles que la programmation linéaire, non linéaire et par contraintes, et heuristiques, comme la recherche locale et des algorithmes constructifs.Le travail de cette thèse répond à deux problématiques principales, liées au traitement de ce type de problèmes d'ordonnancement par LocalSolver. Le premier objectif se dégageant de ces problématiques consiste à permettre aux utilisateurs du solveur de modéliser simplement un grand nombre de problèmes d'ordonnancement disjonctif. En tirant profit du formalisme de modélisation ensembliste de LocalSolver, on propose des formulations génériques, adaptables à différentes familles de problèmes d'ordonnancement, permettant d'exprimer simplement les notions de tâches, de relations de précédence, ou encore de non-chevauchement des tâches. Les formulations génériques choisies reposent sur l'utilisation combinée de variables entières, modélisant les dates de début et durées de tâches, et de variables de listes, représentant leur ordre sur les différentes ressources disjonctives.Le second objectif de la thèse consiste à améliorer les performances de LocalSolver sur les problèmes d'ordonnancement étudiés, en intégrant différents algorithmes de résolution les plus génériques possibles à la composante de recherche locale du solveur. Cette généricité des contributions est cruciale : on ne cherche pas à améliorer les performances du solveur sur un unique problème, ni même seulement sur les problèmes d'ordonnancement, mais sur tous les problèmes présentant des structures caractéristiques de l'ordonnancement disjonctif.Les contributions de cette thèse sont regroupées en trois catégories : des algorithmes d'initialisation, des mouvements de recherche locale, et un algorithme de propagation de contraintes. On présente deux algorithmes constructifs d'initialisation des variables ensemblistes, aidant le solveur à trouver une solution réalisable immédiatement sur des problèmes comme ceux de l'Aircraft Landing ou de l'Assembly Line Balancing, et accélérant ainsi la recherche de solutions de bonne qualité sur ces problèmes. On présente également des mouvements de recherche locale, reposant sur la détection de structures spécifiques dans le modèle (non-chevauchement des tâches, précédences...). On présente également un algorithme de réparation de solutions par propagation de contraintes, appelé au cours de la recherche locale après chaque mouvement conduisant à une solution infaisable. Notre algorithme diffère de la propagation classique de la programmation par contraintes par plusieurs points. Par exemple, il ne propage que les réductions de domaine excluant la valeur courante des variables, et peut prendre des décisions arbitraires lorsqu'il rencontre une contrainte pouvant être réparée de différentes manières. On démontre que dans certains cas l’algorithme présente des propriétés lui assurant de trouver une réparation s'il en existe une. Cet algorithme permet de pallier les difficultés rencontrées par la recherche locale sur les problèmes d'ordonnancement aux contraintes très serrées (passer d'une bonne solution à une autre nécessite de réaliser des changements sur un grand nombre de variables). L'intégration de ces mouvements et de cet algorithme de réparation au sein de la recherche locale de LocalSolver apporte des gains de performance importants sur divers problèmes (Job Shop et variantes, Unit Commitment, Assembly Line Balancing, Bin Packing).

Download or read book Contributions l ordonnancement et l analyse des syst mes temps r el critiques written by François Dorin and published by . This book was released on 2010 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans nos travaux, nous nous sommes intéressés aux politiques d'ordonnancement en-ligne, pour lesquelles l'ordre d'exécution des tâches est déterminé sur la base des tâches actives dans le système et sans connaissance a priori des tâches qui arriveront dans le futur. Cette problématique s'étend aux réseaux informatiques pour ordonnancer les messages sur le réseau informatique interconnectant les différents calculateurs du système temps réel. La première contribution concerne le placement et ordonnancement simultanés des tâches dans un système temps réel distribué, permettant de minimiser le nombre de processeurs nécessaires pour respecter les spécifications temporelles des tâches. La seconde contribution concerne les tâches à criticité multiple. L'objectif de ce modèle est de prendre en compte la notion de criticité des différentes tâches, comme par exemple dans la norme DO-178B utilisée en aéronautique. Enfin, nous nous sommes intéressés aux systèmes multiprocesseurs ordonnancés par des algorithmes d'ordonnancement semi-partitionné. Cette classe d'algorithme utilise une stratégie par partitionnement pour répartir les tâches parmi les processeurs tout en autorisant la migration des tâches qui ne peuvent pas être actées à un processeur donné sans violation d'échéance.

Download or read book Approximation des temps de r ponse des t ches sporadiques priorit fixe dans les syst mes monoprocesseurs written by Thi Nuyen Chau Nguyen and published by . This book was released on 2010 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: Deux techniques sont utilisées pour vérifier que des tâches temps réel respectent bien leurs échéances temporelles : les tests d'ordonnançabilité qui renvoient un résultat binaire (ordonnançable ou non) et les calculs de temps de réponse (Response Time Analysis - RTA) qui déterminent la longueur du plus long intervalle de temps entre le réveil et la terminaison d'une tâche. Ces deux approches ont une complexité pseudo-polynomiale et notons qu'aucun algorithme polynomial n'est connu. Dans ce contexte, elles ne sont pas particulièrement appropriées pour la conception interactive des systèmes temps réel ou pour analyser des systèmes distribués à l'aide d'une analyse holistique. Dans de tels scénarios, un algorithme pseudo-polynomial est lent, puisque les calculs des temps de réponse des tâches sont exécutés à de nombreuses reprises. De plus, pour certains systèmes temps réels, tels que dans les systèmes de contrôle-commande, il est nécessaire de connaître le pire temps de réponse des tâches et non seulement la décision binaire sur l'ordonnançabilité des tâches. Dans ce contexte, il peut être acceptable d'utiliser un algorithme plus rapide qui fournit une analyse approchée au lieu d'utiliser des analyses reposant sur des calculs exacts. Comme cette approximation va introduire du pessimisme dans le processus de décision, il est souhaitable de le quantifier d'une manière à définir un compromis entre le temps de calcul et l'exigence de ressource du processeur. C'est la raison pour laquelle, dans ce travail, nous proposons des algorithmes pour calculer efficacement des bornes supérieures des pires temps de réponse et nous présentons des résultats sur leurs qualités dans le pire cas (analyse de compétitivité avec augmentation de ressource) et en moyenne (simulations).

Download or read book Flow shop deux machines avec des temps de latence written by and published by . This book was released on 2008 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Un ordonnancement est défini comme étant une allocation, dans le temps, des ressources (machines) disponibles aux différents travaux (tâches, jobs) à réaliser, dans le but d'optimiser un ou plusieurs objectifs. La richesse de la problématique de l'ordonnancement est due aux différentes interprétations que peuvent prendre les ressources et tâches. Ainsi, les ressources peuvent être des machines dans un atelier, des pistes de décollage et d'atterrissage dans un aéroport, des équipes dans un terrain de construction, des processeurs dans les ordinateurs, etc. Les tâches, quant à elles, peuvent être des opérations dans un processus de production, le décollage et l'atterrissage dans un aéroport, les étapes d'un projet de construction, l'exécution d'un programme informatique, etc. Les différentes tâches sont caractérisées par un degré de priorité et un temps d'exécution. Les ressources, quant à elles, sont caractérisées entre autres par une capacité, des temps de réglage, etc. Les problèmes d'ordonnancement sont généralement classés en deux modèles dépendamment du nombre d'opérations que requièrent les jobs: les modèles à une opération (modèle à machine unique et modèle à machines parallèles) et les modèles à plusieurs opérations dits modèles en ateliers (flow-shop, open-shop et job-shop). Bien entendu, il est également possible de trouver d'autres modèles, hybrides, qui sont des mélanges de ces deux modèles. Cette classification a permis, un tant soit peu, de mieux comprendre et cerner les problèmes d'ordonnancement réels. Toutefois, l'expérience a montré qu'il existe toujours un gouffre entre la théorie et ce qui se passe réellement dans les centres de production ou les prestations de services. Parmi les contraintes que la théorie d'ordonnancement n'a pas considérées jusqu'à un passé récent, nous pouvons citer les temps de latence des travaux, correspondant aux différents temps nécessaires devant s'écouler entre la fin d'une opération et le début de la prochaine opératio.

Download or read book Contributions des probl mes d ordonnancement en ligne written by Frédéric Ridouard and published by . This book was released on 2006 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: Durant cette thése, deux problèmes d’ordonnancement en-ligne ont été étudiés. Le premier problème concerne l’ordonnancement temps réel de tâches à suspension. Nous avons établi des résultats sur la difficulté à résoudre un tel problème d’ordonnancement (complexité, anomalies d’ordonnancement et non-optimalité des algorithmes en-ligne). Nous avons établi la non-compétitivité d’algorithmes en-ligne pour deux critères de performances même quand ceux-ci disposent de plus de ressources que l’adversaire. Enfin, nous avons étudié avec l’analyse de compétitivité différents tests d’ordonnançabilité. Le second problème se rapporte à l’ordonnancement par une machine à traitement par lot. Plusieurs algorithmes en-ligne compétitifs ont été présentés pour des problèmes dont la taille des lots est non bornée dont αH∞ qui fait partie des meilleurs algorithmes en-ligne pour le problème général (son ratio de compétitivité est égal à la borne inférieure du problème (1+p52)/2 ).

Download or read book Programmation par contraintes et ordonnancement de t ches avec consommation variable de ressource written by Emmanuel Poder and published by . This book was released on 2002 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: La plupart des travaux sur l'ordonnancement avec contraintes de ressources (problème RCPSP) sont liés à des problèmes où les tâches utilisent des quantités constantes de ressources durant toute leur exécution. Cependant, dans de nombreux problèmes pratiques, les consommations des tâches en ressources sont variables avec le temps. Ces variations peuvent être discrètes (besoin de main d'oeuvre) ou continues (électricité, pétrole). En général, de tels profils de consommation sont approximés par des suites de rectangles liés par des contraintes de contigüités mais un nombre élevé de rectangles élémentaires et de contraintes sont alors nécessaires. Dans cette thèse, nous présentons dans un premier temps, une extension du problème RCPSP classique : la consommation en ressource d'une tâche est une fonction du temps linéaire par morceaux et sa durée peut être variable. Une tâche est représentée par une suite de sous-tâches trapézoïdales contigus. Nous présentons ensuite les limites des méthodes de résolution exactes par séparation et évaluation proposées dans la littérature et nous proposons une résolution de cette généralisation du RCPSP en utilisant le langage de Programmation Par Contraintes CHIP. Pour cela, une nouvelle contrainte globale cumulative traitant globalement ce modèle de tâche a été créée et ajoutée au langage CHIP. Elle se nomme cumulative_trapèze et a nécessité l'écriture d'algorithmes efficaces pour le calcul de la partie obligatoire et pour l'élagage des domaines des variables d'une tâche. Les principales difficultés rencontrées lors de sa réalisation contrainte ont résidé dans le traitement de suites d'objets plûtot que de rectangles individuels et dans la gestion d'un profil cumulé des consommations non entier. Enfin, les principales applications sont présentées : modèle Producteur/Consommateur pour la gestion de stock et problèmes de placements

Download or read book Ordonnancement sous contraintes de pr c dence dans les syst mes temps r el written by Toumi Bouchentouf and published by . This book was released on 1991 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans les applications qualifiées de temps-réel à contraintes strictes, le système informatique doit exécuter des programmes séquentiels appelés tâches en respectant des échéances ainsi que des contraintes de précédence. L'objectif de l'ordonnanceur consiste alors à gérer l'accès au(x) processeur(s) dans le but de satisfaire toutes les contraintes. Cette thèse expose d'abord l'ensemble des résultats disponibles actuellement dans le domaine de l'ordonnancement statique de tâches périodiques d'une part et apériodiques d'autre part, soumises à des contraintes de précédence, et ce pour des systèmes monoprocesseur et multiprocesseur. Les problèmes sont ainsi répertoriés dans la classe P des problèmes polynomiaux ou dans la classe NP-complet des problèmes intraitables. Pour chacun d'eux, on présente l'algorithme de résolution, lorsque celui-ci existe, en précisant sa complexité. Si effectivement bon nombre de systèmes actuels sont statiques, ceux dits de nouvelle génération sont dynamiques et soulèvent de nouveaux problèmes liés à l'acceptation en ligne de tâches supplémentaires. On propose un algorithme d'ordonnancement dédié aux systèmes temps-réel dynamiques dans le cas d'une configuration monoprocesseur. Celle-ci est supposée exécuter des tâches périodiques aux caractéristiques connues et doit faire face en outre à l'occurrence imprévue de tâches sporadiques soumises à des contraintes de précédence. Un test d'acceptation optimal s'exécutant en temps polynomial est décrit, basé sur une modification des paramètres temporels des tâches et l'utilisation de l'algorithme d'ordonnancement préemptif Earliest Deadline

Download or read book MODELISATION ET ANALYSE D UNE CLASSE D ALGORITHMES D ORDONNANCEMENT POUR MACHINES PARALLELES written by FABRICIO.. ALVES BARBOSA DA SILVA and published by . This book was released on 2000 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'ORDONNANCEMENT PARALLELE EST UN PROBLEME IMPORTANT DONT LA SOLUTION PEUT MENER A AMELIORER SENSIBLEMENT L'UTILISATION DES ORDINATEURS PARALLELES MODERNES. IL EST DEFINI COMME : ETANT DONNE UN ENSEMBLE DE TACHES APPARTENANT A PLUSIEURS APPLICATIONS PARALLELES DANS UNE MACHINE PARALLELE, TROUVER UNE ALLOCATION SPATIALE ET TEMPORELLE POUR EXECUTER TOUTES LES TACHES EFFICACEMENT. UNE APPLICATION PARALLELE CONSTITUEE DE PLUSIEURS TACHES PEUT APPARAITRE A UN INSTANT DONNE, ATTENDRE QUE LES RESSOURCES DEMANDEES SOIENT DISPONIBLES, PUIS ETRE EXECUTEE. LES TEMPS ASSOCIES A LA PHASE D'ATTENTE AINSI QU'A PHASE D'EXECUTION SONT DEPENDANTES DE L'ALGORITHME D'ORDONNANCEMENT ET DE LA CHARGE DE TRAVAIL. QUELQUES ALGORITHMES D'ORDONNANCEMENT EXIGENT UNE ATTENTE DANS UNE FILE D'ATTENTE JUSQU'A CE QUE TOUTES LES RESSOURCES NECESSAIRES DEVIENNENT DISPONIBLES (COMME DANS L'ALGORITHME VARIABLE PARTITIONING), ALORS QUE DANS D'AUTRES, COMME LES ALGORITHMES BASES SUR LE PARTAGE DANS LE TEMPS, L'APPLICATION PARALLELE EST EXECUTEE PRESQUE IMMEDIATEMENT. DANS LA MAJEURE PARTIE DE CETTE THESE, NOUS NOUS CONCENTRONS SUR LES ALGORITHMES D'ORDONNANCEMENT BASES SUR LE GANG SCHEDULING, A SAVOIR, UN PARADIGME OU TOUTES LES TACHES D'UNE MEME APPLICATION PARALLELE SONT REGROUPEES ET ORDONNANCEES DE MANIERE CONCURRENTE SUR DES PROCESSEURS DISTINCTS. LES RAISONS DE CONSIDERER L'ORDONNANCEMENT GANG SONT LE PARTAGE EFFICACE DES RESSOURCES ET LA FACILITE DE PROGRAMMATION. L'UTILISATION DU PARTAGE DE TEMPS PARMI LES PROCESSEURS PERMET UNE DEGRADATION GRADUELLE DE LA PERFORMANCE A MESURE QUE LA CHARGE DE TRAVAIL AUGMENTE. LES PERFORMANCES DES APPLICATIONS PARALLELES TRES SYNCHRONISEES SONT FORTEMENT AMELIOREES PAR RAPPORT A UN ORDONNANCEMENT NON COORDONNE. CETTE THESE EST DIVISEE EN DEUX PARTIES DISTINCTES : DANS LA PREMIERE PARTIE, ON PRESENTE L'ALGORITHME D'ORDONNANCEMENT GANG, EN IDENTIFIANT SES AVANTAGES ET SES FAIBLESSES, PUIS ON EFFECTUE UNE ANALYSE THEORIQUE DE L'ALGORITHME GANG ET DES STRATEGIES D'EMPAQUETAGE. LA DEUXIEME PARTIE PRESENTE DES NOUVELLES METHODES D'ORDONNANCEMENT DANS UNE MACHINE PARALLELE, S'APPUYANT SUR DES MESURES DYNAMIQUES EFFECTUEES AU MOMENT DE L'EXECUTION. DANS CETTE PARTIE, NOUS PROPOSONS UN NOUVEL ALGORITHME D'ORDONNANCEMENT PARALLELE NOMME CONCURRENT GANG, QUI UTILISE DES INFORMATIONS DYNAMIQUES OBTENUES SUR LES TACHES AU MOMENT DE L'EXECUTION, EN VUE D'AMELIORER LA PERFORMANCE DE L'ORDONNANCEUR PARALLELE.

Download or read book Approche nerg tique pour l ordonnancement de t ches sous contraintes de temps et des ressources written by Pierre Lopez (informaticien).) and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail concerne l'ordonnancement de tâches interdépendantes sous contraintes de temps et de ressources. Les méthodes et techniques développées s'inscrivent dans la problématique de l'analyse sous contraintes des problèmes d'ordonnancement. Celle-ci vise à caractériser les ordonnancements admissibles de manière a proposer au décideur un choix d'actions cohérentes vis-à-vis des contraintes. L'analyse est décrite comme un processus d'inférence mettant en interaction une base de règles et une base de faits temporels et séquentiels représentant les caractéristiques des ordonnancements admissibles. Des travaux antérieurs ont ainsi permis la réalisation du logiciel Mascot écrit en Prolog. Ils sont ici enrichis par une nouvelle approche dont l'originalité réside essentiellement dans l'utilisation du concept d'énergie issu du couplage du temps et des ressources. Le concept d'intervalle temps-ressource est introduit; il permet de représenter simultanément des caractéristiques temporelles et de ressource. On distingue les intervalles consommateurs (ou tâches) et les intervalles fournisseurs. Le type de déduction mis en jeu dans Mascot a été amélioré par la prise en compte des interactions entre intervalles consommateurs et fournisseurs. De nouvelles règles de déduction ont été écrites et intégrées dans Mascot, donnant lieu au logiciel Mascot2. D'autre part, un processus de déduction, basé sur un raisonnement purement énergétique, a été élaboré et implémenté en Prolog (logiciel report). Il met en jeu des instants remarquables, points de cassure des courbes d'énergie associées aux tâches. L'outil de modélisation utilisé est le graphe potentiels-bornes; il permet de représenter des contraintes numériques et des contraintes symboliques entre intervalles. Il sert de support a un processus d'inférence par propagation numérique des contraintes.