Ce chapitre se focalise sur les problèmes liés au parallélisme, en particulier lorsque des données sont manipulées par plusieurs tâches.
Après une présentation informelle des problèmes que pose l'indéterminisme d'une exécution concurrente de programmes pour la prise de décision (notion "de consensus"), nous expliquons comment il faut gérer le parallélisme en synchronisant les tâches d'un programme entre elles.
Cela nous amène à aborder les différents problèmes que peuvent causer ces synchronisations lorsqu'elles sont mal maîtrisées. Nous parlons enfin de la notion de famine, et de la notion de causalité, qui est primordiale pour comprendre les mécanismes de la concurrence.
Les flux en «streaming» vidéo sont hébergés par Video-Unified.
L'indéterminisme (20m17s) en Vidéo HD ou en Vidéo SD
et le pdf des transparents.
Gérer le parallélisme (35m22s) en Vidéo HD ou en Vidéo SD
et le pdf des transparents.
Interblocage et rendez-vous (15m56s) en Vidéo HD ou en Vidéo SD
et le pdf des transparents.
Famine et causalité (14m2s) en Vidéo HD ou en Vidéo SD
et le pdf des transparents.
