|
 Objectifs
Présenter les concepts et les méthodes nécessaires pour résoudre les problèmes de communication, de traitement et d'accès à des ressources et à des données partagées, que posent les systèmes informatiques constitués de programmes s'exécutant en parallèle. Dégager des principes suffisamment généraux qui s'appliquent aux diverses catégories de systèmes où ces problèmes se rencontrent et les illustrer par des exemples montrant l'état actuel du savoir-faire.
Cahier des charges
- Caractérisation des systèmes parallèles et répartis
- Exclusion mutuelle, synchronisation, ordonnancement et communication entre processus parallèles : méthodes de contrôle centralisé et réparti (variables d'état, sémaphores, horloges, estampilles, privilèges)
- Axiomatique, validation et expression du parallélisme dans les langages de programmation
- Méthodes de gestion de mémoires partagées : techniques d'allocation contigüe, de pagination, et de segmentation ; algorithmes de remplacement et de transfert dans les mémoires hiérarchisées ; contrôle de la fragmentation et de la charge ; mécanismes de partage et de protection de l'information
- Allocation des ressources réparties : méthodes d'accès, algorithmes centralisés et décentralisés de traitement des interblocages et des coalitions ; traitement des pannes
- Accès à l'information répartie : copies multiples, méthodes de maintien de cohérence.
Le cours INGI2520 est mentionné dans les programmes suivants :
INFO2 Ingénieur civil informaticien
|
