Powiedzmy, że mam obiekt współdzielony z polemdata. Wiele wątków udostępni odniesienie do tego obiektu w celu uzyskania dostępu do pola. Jednak wątki nigdy nie uzyskują dostępu do obiektu jednocześnie. Czy muszę zadeklarowaćdata jak niestabilny?

Taka sytuacja byłaby następująca:

KlasaCounter definiuje unikalne polevalue i jedna metodaincrement.Wątek zwiększa licznik, a następnie odradza inny wątek, który zwiększa licznik itd.

Biorąc pod uwagę logikę programu, nie ma równoczesnego dostępu do licznika. Licznik jest jednak wspólny dla wielu wątków. Czy licznik musi być zmienny?

Innym wariantem sytuacji jest sytuacja, w której wiele wątków manipuluje obiektem X, który jest zwykłymi danymi, ale na przemian wykonuje się ich wykonanie czasowe (tak, że X nigdy nie jest dostępny jednocześnie) za pośrednictwem innego obiektu Y, który opiera się na kontroli współbieżności (wait, notify, synchronize). Czy pola obiektu X powinny być niestabilne?