Exercices corrigés — Concurrence et synchronisation (informatique (MP2I/MPI))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Ce qui est partagé, et ce qui ne l'est pas
- Le compteur perdu, mesuré
- Le pthread\_join oublié
- Peterson : ce que l'ordre des deux premières lignes garantit
- La boulangerie : pourquoi la boucle \texttt{while (choisit[j
- Un verrou par fil ne protège rien
- Le rendez-vous inversé
- Attendre en tenant un verrou
- Deux verrous, deux ordres
- volatile n'est pas une synchronisation
- Probleme – Un compteur juste, et ce qu'il coûte
- Probleme – Vérifier un protocole en explorant tous les entrelacements
- Probleme – Le tampon borné, et ce que chaque outil protège
- Probleme – Le dîner des philosophes : l'interblocage, puis l'équité
- Probleme – Une barrière réutilisable pour fils