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 Exercice de TD
- Peterson : ce que l'ordre des deux premières lignes garantit Exercice de TD
- La boulangerie : pourquoi la boucle while (choisit[j Exercice de TD
- Un verrou par fil ne protège rien Exercice de TD
- Le rendez-vous inversé Exercice de TD
- Deux verrous, deux ordres Exercice de TD
- Problème — Une barrière réutilisable pour fils Exercice de TD
- Le compteur perdu, mesuré Application directe du cours
- Le pthread\_join oublié Application directe du cours
- Attendre en tenant un verrou Application directe du cours
- volatile n'est pas une synchronisation Application directe du cours
- Problème — Un compteur juste, et ce qu'il coûte Application directe du cours
- Problème — Vérifier un protocole en explorant tous les entrelacements Application directe du cours
- Problème — Le tampon borné, et ce que chaque outil protège Application directe du cours
- Problème — Le dîner des philosophes : l'interblocage, puis l'équité Application directe du cours