Author: Christian.Queinnec@lip6.fr

## Résumé

Ce chapitre a abordé le domaine de la programmation concurrente où plusieurs processus interagissent soit sur une mémoire partagée, soit par une communication synchrone. Le premier cas représente la concurrence pour la programmation impérative. En particulier, nous avons détaillé les mécanismes d'exclusion mutuelle dont la mise en oeuvre permet la synchronisation des processus pour l'accès à la mémoire partagée. La communication synchrone offre un modèle pour la concurrence en programmation fonctionnelle. En particulier, la possibilité d'envoyer des fermetures et des événements de synchronisation sur les canaux de communication autorise une composition des calculs des différents processus.
Les processus utilisés dans ce chapitre sont les processus légers du module `Thread` d'Objective CAML.