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.