~~NOTOC~~

====== Théorie et Pratique de la Concurrence ======


===== Description =====

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.


===== Syllabus =====
==== Sujets centraux ====

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

===== Pré-requis =====

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