Théorie et Pratique de la Concurrence

Le parallélisme et la concurrence sont omniprésents dans les systèmes informatiques. La maîtrise des systèmes concurrents et leur programmation posent des problèmes non triviaux aussi bien conceptuels que pratiques. Ce cours a pour objectif d'introduire les concepts essentiels pour raisonner sur les systèmes concurrents et les principes de base de pour les réaliser.

1. Notions de composition parallèle, de synchronisation
2. Modèles fondamentaux, systèmes de transitions concurrents, réseaux de Petri
3. Problèmes fondamentaux: exclusion mutuelle, lecteurs-rédacteurs, producteurs-consomateurs
4. Primitives de synchronisations, sémaphores, moniteurs, verrous
5. Structures de données concurrentes

Algorithmique de base, structures de données, programmation de base