Nel caso da lei riportato, non vedo come si possa creare una inconsistenza. Se invece la variabile fosse modificata, anche se si tratta di una variabile di tipo semplice, si potrebbe creare una'inconsistenza. Infatti la variabile deve essere letta, modificata e riscritta e, se questa sequenza di operazioni non e' atomica non si possono creare inconsistenze. Nel caso che riporta lei, invece, non vedo come si potrebbero creare inconsistenze. Che ne pensate?