Sections critiques en programmation concurrente : des tentatives infructueuses à l’algorithme de Peterson

Ce chapitre explore la mise en œuvre des sections critiques en programmation concurrente. Il commence par introduire le concept et l’importance des sections critiques, puis passe en revue plusieurs tentatives infructueuses (par exemple, verrouillage naïf et mécanismes basés sur des drapeaux), en soulignant des problèmes tels que les conditions de concurrence et les blocages. Le chapitre se termine par l’algorithme de Peterson, une solution élégante garantissant l’exclusion mutuelle et le progrès, tout en reconnaissant la complexité de sa preuve de correction et les défis pratiques tels que les opérations non atomiques et le réordonnancement des instructions.