|
| Titre : | Simulateur de taches temps reel a synchronisation non-bloquante | | Type de document : | theses et memoires | | Auteurs : | Nour Mezari ; Mohammed Demri, Directeur de thèse | | Editeur : | Tizi Ouzou : UMMTO.FGEI | | Année de publication : | 2010 | | Importance : | 76 p. | | Présentation : | ill. | | Format : | 28 cm. | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Simulation EDF OMT | | Résumé : | Cette décennie est marquée par le bouleversement technologique qu'a connu l'industrie des processeurs. Face au problème de chaleur dissipée dans le monocoeur due à la croissance continuelle du nombre de transistors, et aux contraintes d'espace notamment dans le milieu embarqué, le multicoeur est alors apparu comme étant la nouvelle tendance pour pallier ces difficultés. Cette technique de fabrication, consiste à mettre plusieurs processeurs sur un même support dotés d'une ou plusieurs mémoires communes à ces processeurs. Le but est donc d'égaliser en puissance de calcul, un monocoeur difficilement réalisable en pratique, qui aurait la capacité de tout l'ensemble.
Cependant, le domaine logiciel associé reste très rattaché à la culture de la programmation séquentielle, car la notion du parallélisme impliquait une logique relativement complexe alors que dans la littérature peu de modèles et d'outils sont donnés pour réduire cette complexité. Cette dernière se manifeste entre autres, dans la gestion de concurrence aux données pour laquelle, la technique par verrous est utilisée pour assurer l'intégrité du système. Bien qu'à la base le principe de cette technique soit simple, elle pourrait cependant engendrer des problèmes comme l'étreinte fatale et l'inversion de priorités. De plus, la simplicité de ce mécanisme le rend faible pour réduire la complexité due au parallélisme d'une part, et d'autre part, le verrouillage systématique des sections critiques réduit considérablement la bande passante d'un système multiprocesseur.
Les solutions non-bloquantes existaient bien avant, dans les systèmes de gestion de base de données, ou encore dans les mémoires transactionnelles où les transactions ne s'opèrent qu'en mémoire centrale. Contrairement aux protocoles pessimistes (basés sur les verrous), un protocole non-bloquant, dit aussi optimiste, laisse librement exécuter les sections critiques, et si un conflit avec d'autres sections critiques survient, la section critique est relancée ou rejouée par le contrôleur de concurrence jusqu'à ce qu'elle réussisse.
Dans les systèmes temps réel multiprocesseur, les solutions non-bloquantes sont très peu exploitées, dans la mesure où le rejoue des sections critiques implique des temps non bornés, ce qui implique l'indéterminisme en temps. | | En ligne : | D:\CD.THESE.INF\CD.LIC.INF.2010\MEZARI.NOUR.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=31480 |
Simulateur de taches temps reel a synchronisation non-bloquante [theses et memoires] / Nour Mezari ; Mohammed Demri, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2010 . - 76 p. : ill. ; 28 cm. Bibliogr. Langues : Français | Mots-clés : | Simulation EDF OMT | | Résumé : | Cette décennie est marquée par le bouleversement technologique qu'a connu l'industrie des processeurs. Face au problème de chaleur dissipée dans le monocoeur due à la croissance continuelle du nombre de transistors, et aux contraintes d'espace notamment dans le milieu embarqué, le multicoeur est alors apparu comme étant la nouvelle tendance pour pallier ces difficultés. Cette technique de fabrication, consiste à mettre plusieurs processeurs sur un même support dotés d'une ou plusieurs mémoires communes à ces processeurs. Le but est donc d'égaliser en puissance de calcul, un monocoeur difficilement réalisable en pratique, qui aurait la capacité de tout l'ensemble.
Cependant, le domaine logiciel associé reste très rattaché à la culture de la programmation séquentielle, car la notion du parallélisme impliquait une logique relativement complexe alors que dans la littérature peu de modèles et d'outils sont donnés pour réduire cette complexité. Cette dernière se manifeste entre autres, dans la gestion de concurrence aux données pour laquelle, la technique par verrous est utilisée pour assurer l'intégrité du système. Bien qu'à la base le principe de cette technique soit simple, elle pourrait cependant engendrer des problèmes comme l'étreinte fatale et l'inversion de priorités. De plus, la simplicité de ce mécanisme le rend faible pour réduire la complexité due au parallélisme d'une part, et d'autre part, le verrouillage systématique des sections critiques réduit considérablement la bande passante d'un système multiprocesseur.
Les solutions non-bloquantes existaient bien avant, dans les systèmes de gestion de base de données, ou encore dans les mémoires transactionnelles où les transactions ne s'opèrent qu'en mémoire centrale. Contrairement aux protocoles pessimistes (basés sur les verrous), un protocole non-bloquant, dit aussi optimiste, laisse librement exécuter les sections critiques, et si un conflit avec d'autres sections critiques survient, la section critique est relancée ou rejouée par le contrôleur de concurrence jusqu'à ce qu'elle réussisse.
Dans les systèmes temps réel multiprocesseur, les solutions non-bloquantes sont très peu exploitées, dans la mesure où le rejoue des sections critiques implique des temps non bornés, ce qui implique l'indéterminisme en temps. | | En ligne : | D:\CD.THESE.INF\CD.LIC.INF.2010\MEZARI.NOUR.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=31480 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtude de mécanisme de handover inter-système UMTS-WIMAX / Farid Mefidene (2012)
