Es gibt ja die Windows
API Funktionen
InterlockedIncrement() und
InterlockedDecrement().
Ich schliese daraus, dass ein Thread durchaus nur Teile eines 4-Byte Wertes beschreibt und dann unterbrochen wird.
Ein anderer Thread wird dann nur Müll lesen.
Die Wahrscheinlichkeit ist zwar gering, aber doch vorhanden.