Les entrelacements d'une variable partagée

Les entrelacements d'une variable partagée. Une variable partagée x vaut $5$. Deux processus s'exécutent en même temps :

• $P_1$ lit x dans une variable locale a (étape $L_1$), puis écrit 2 * a dans x (étape $E_1$) ;
• $P_2$ lit x dans une variable locale b (étape $L_2$), puis écrit b + 3 dans x (étape $E_2$).

Chaque processus fait sa lecture avant son écriture, mais l'ordonnanceur peut entrelacer les étapes des deux processus de n'importe quelle façon.

• Combien y a-t-il d'ordres possibles pour les quatre étapes ? Les énumérer.
• Donner la valeur finale de x dans chaque cas. Quelles valeurs finales sont possibles ?
• Quelles valeurs restent possibles si chaque processus protège ses deux étapes par un même verrou ? Comment appelle-t-on la portion de code ainsi protégée ?