Concurrence

Deux traitements qui avancent en même temps sur la même donnée, et ce qu'il faut pour que le résultat reste juste.

Un programme qui « marche » peut donner deux résultats différents selon l'ordre dans lequel le système fait avancer ses fils d'exécution. Ce cours rend cet ordre manipulable : le lecteur décide qui avance, provoque le bug à volonté, pose le verrou qui le supprime, puis l'interblocage que le verrou introduit. Aucun langage système n'est requis.