Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате
Форум программистов > Общие вопросы по .NET и C# > Монитор против volatile


Автор: VisualProgrammerNET 13.11.2008, 18:08
В наше время уже наверное никто не пишет программы в один поток, посему вопрос потокобезопасности стоит на особом месте. Тут с коллегами у нас возник спор насчёт того, что же лучше применять, lock или volatile? Одни считают, что volatile вообще лишнее слово в Шарпе, другие полагают, что lock рекомендован самим майкрософтом и нужно использовать его. Третьи, что JIT-компилятор сам ставит volatile там где нужно... 

А что применяете вы? И что же лучше? 

Автор: jonie 16.11.2008, 18:16
volatile используется не для тогоже, для чего используется lock.
одно дело работать с одним полем (например AddRef\Release), совсем другое, если метод зависит от нескольких полей, и очень не хочется, чтобы кто-то одновременно с вами мог работать с одним из значимых полей во время расчета...

Автор: VisualProgrammerNET 16.11.2008, 18:45
Соответственно, вопрос лишь в количестве переменных? Ибо, согласно http://msdn.microsoft.com/en-us/library/aa645755(VS.71).aspx статейке, lock и volatile - это всё-таки одно и то же (насколько я понял).

Цитата

When a field-declaration includes a volatile modifier, the fields introduced by that declaration are volatile fields.

For non-volatile fields, optimization techniques that reorder instructions can lead to unexpected and unpredictable results in multi-threaded programs that access fields without synchronization such as that provided by the lock-statement (Section 8.12). These optimizations can be performed by the compiler, by the runtime system, or by hardware. For volatile fields, such reordering optimizations are restricted:

A read of a volatile field is called a volatile read. A volatile read has "acquire semantics"; that is, it is guaranteed to occur prior to any references to memory that occur after it in the instruction sequence.
A write of a volatile field is called a volatile write. A volatile write has "release semantics"; that is, it is guaranteed to happen after any memory references prior to the write instruction in the instruction sequence.




Автор: PashaPash 16.11.2008, 20:57
VisualProgrammerNET, ты же сам процитировал основное различие. volatile не ограничивает одновременный доступ потоков к переменной. Оно отключает reordering. Скажем, есть у тебя два куска кода:
Код

stiting varA = 1;
stiting varB = 2;
...
// в потоке 1 выполняется
varA = 3;
Console.WriteLine(varB);
...
// в потоке 2 выполняется
varB = 4;
Console.WriteLine(varA);

строчки с присвоением значения не влияют на результат следующего за ними Console.WriteLine, и оптимизатор спокойно переставит их чуть пониже. И напечатается 1 2. А volatile явно запрещает такой reordering.

А lock просто захватывает себе mutual-exclusion lock для объекта, запрещая другим lock-ам захватить его. В результате код внутри lock выполняется не больше чем одном потоком в каждый момент времени.

Автор: mr.DUDA 18.11.2008, 11:26
volatile нужен в частности для предотвращения "странных глюков" при работе на двуядерных/многоядерных процессорах, когда у каждого ядра свой кеш первого уровня, работает к примеру 2 потока и у обоих своя копия переменной, поля или целого объекта в кеше ядра. Реальный пример кстати.

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)