Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:masters:ue:m1:tpc7 [2023/05/22 15:29] – supprimée - modification externe (Date inconnue) 127.0.0.1
+++ formations:masters:ue:m1:tpc7 [2023/05/22 15:29] (Version actuelle) – ↷ Page déplacée de playground:cours:m1:tpc7 à formations:masters:ue:m1:tpc7 treinen
@@ Ligne 1: / Ligne 1: @@
+~~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