Gigel are N thread-uri, numerotate de la $1$ la $N$. Thread-ul $i$ ({$1 ≤ i ≤ N$}) execută operaţia $x += c{~i~}$.

Execuţia operaţiei $x += c ~i~$ este alcătuită din următoarele operaţii atomice:

Execuţia operaţiei $x += c{~i~}$ este alcătuită din următoarele operaţii atomice:

- se citeşte valoarea lui $x$ din memorie,

- se adaugă la aceasta $c ~i~$,

- se adaugă la aceasta $c{~i~}$,

- se scrie rezultatul în memorie.
Iniţial valoarea lui $x$ este $0$. Cele $N$ thread-uri se execută în paralel. Când thread-urile se execută in paralel, operaţiile atomice ale acestora sunt intercalate într-un mod la alegerea sistemului. Se cere să se găseasca câte valori posibile poate lua variabila $x$ la sfârşitul execuţiei tuturor thread-urilor.