Czy zmienne słowo kluczowe C# i java zachowuje się w taki sam sposób?

Question

Wiem, że w java, jeśli masz wiele wątków uzyskujących dostęp do zmiennej, która nie jest oznaczona jako niestabilna, możesz uzyskać nieoczekiwane zachowanie.

Przykład:

private boolean bExit; 

while(!bExit) { 
    checkUserPosition(); 
    updateUserPosition(); 
} 

Jeśli zaznaczysz zmienną bExit jako voilatile, że gaurantee że inne wątki ujrzy najnowsza wartość.

Czy C# zachowuje się tak samo?

Aktualizacja

Na przykład w C# jeśli to zrobić:

int counter = ...; 

for(...) 
{ 
    new Thread(delegate() 
    { 

     Interlocked.Decrement(ref counter); 
    } 
} 


if(counter == 0) 
{ 
    // halt program 
} 

W powyższym przykładzie, w C# zrobić trzeba zaznaczyć zmienną licznika jako lotny lub to będzie działać zgodnie z oczekiwaniami?

Answer 1

Jeśli zaznaczysz zmienną bExit jako voilatile, że gaurantee że inne wątki ujrzy najnowsza wartość. Czy C# zachowuje się w ten sam sposób?

---

Tak, ale wszystko zależy od tego, jak masz dostęp do zmiennej współdzielonej. jako twój przykład, jeśli uzyskasz dostęp do zmiennego w sposób bezpieczny dla wątków, taki jak Interlocked.Decrement, nie będzie to problemem, nawet bez użycia voilatile.

volatile (C# Reference from MSDN)

Lotny parametru wskazuje, że pola może być modyfikowany przez wielu wątków, które realizują w tym samym czasie. Pola oznaczone jako deklarowane jako "lotne" nie podlegają optymalizacji kompilatora, które zakładają, że dostęp jest możliwy przez pojedynczy wątek. Zapewnia to, że najbardziej aktualna wartość jest obecna w polu przez cały czas.

What is the "volatile" keyword used for?

Answer 2

Trzeba być nieco ostrożnym tutaj jako wybraniu dwóch różnych typów w swoich przykładach. Moja ogólna zasada jest taka, że ​​lotność najlepiej jest stosować w przypadku booleans i ze wszystkim innym prawdopodobnie potrzebujesz innego mechanizmu synchronizacji. W języku C# i java bardzo często używa się zmiennej wartości boolowskiej np. zatrzymać pętlę lub zadania wykonującego, który ma widoczność z wielu wątków:

class Processor 
{ 
    private volatile Boolean _stopProcessing = false; 

    public void process() 
    { 
     do 
     { ... } 
     while (!_stopProcessing); 
    } 

    public void cancel() 
    { 
     _stopProcessing = true; 
    } 
} 

Powyższy będzie pracować w języku C# lub Java i w tym przykładzie lotny słów kluczowych oznacza, że ​​odczyt w metodzie procesowej będzie od rzeczywistej wartości prądu a nie wartości buforowanej. Kompilator lub maszyna wirtualna może w inny sposób zezwolić na buforowanie wartości, ponieważ pętla w procesie nie zmienia samego _stopProcessing.

Odpowiedź jest więc twierdząca na pierwsze pytanie.

Chociaż można użyć parametru volatile na int, pomaga to tylko wtedy, gdy czytasz tylko jedną literę lub piszesz jedną wartość. Jak tylko zrobisz coś bardziej złożonego, np.inkrementacji, potrzebujesz innego rodzaju synchronizacji, na przykład korzystania z opcji Interlocked. W drugim przykładzie wciąż jednak czytasz wartość licznika bez żadnej synchronizacji, więc skutecznie polegasz na innych zastosowaniach licznika, które mają być zsynchronizowane (np. Z zablokowanymi).

W swoim drugim przykładzie nadal lepiej byłoby oznaczać, że twój int jest niestabilny, w ten sposób ponownie możesz mieć pewność, że otrzymujesz aktualną wartość, a nie jakąś wersję buforowaną. Jednak używanie samego lotnego nie jest wystarczające, ponieważ odczyt na dole może pokrywać się ze standardowym spadkiem (licznik), a nie z poprawnym użyciem sprzężonych.