Un programme concurrent simple défie l'intuition

Un programme concurrent apparemment simple, impliquant deux processus incrémentant une variable 'n' dix fois chacun, a donné un résultat surprenant lorsqu'il a été analysé avec un vérificateur de modèles. Intuitivement, la valeur finale de 'n' devrait être comprise entre 10 et 20. Cependant, un entrelacement extrême des processus a abouti à 'n' égal à 2. Bien qu'un programme Go tentant de reproduire ce comportement ait échoué, soulignant la rareté de tels entrelacements extrêmes en pratique, l'exemple souligne les complexités et la nature contre-intuitive de la programmation concurrente.