Routine de section critique

En informatique, une routine de section critique est une approche du problème de deux ou plusieurs programmes qui se disputent la même ressource au même moment. Imaginez que deux programmes veulent incrémenter un compteur. Si les deux le font en même temps : ils récupèrent l'opérande, l'incrémentent et enregistrent la valeur incrémentée, alors l'un des incréments sera perdu. Sur les processeurs actuels, les programmes peuvent utiliser une instruction atomique de lecture-modification-écriture, comme fetch-and-op, compare-and-swap ou exchange. Sur les premiers processeurs, ces instructions n'existaient pas ; le problème était d'accomplir l'incrémentation de manière atomique, en utilisant uniquement des instructions d'assembleur ordinaires. Le problème a été défini et résolu pour la première fois par Edsgar Dijkstra. "Critical section routine" était son nom pour le code qui résolvait le problème.