understanding of Volatile.Read/Write

Question

I\'m trying to understand the C# Volatile class.

As i read:

• The Volatile.Write method forces the value in location to be written to at the

Answer 1

How does that help thread synchronization?

It does not help thread synchronization in the sense of setting the order in which their commands execute. It lets you ensure that a concurrent thread observes changes to values in memory in a specific order, in cases when a particular order is important for the logic of your program.

[Does] the CPU wait for the commands before Volatile.Write(ref m_flag, 1); before starting to write to m_flag?

No, the command to write to m_value has already executed. However, its results may not be visible outside the CPU's core - in particular, a thread running on a different core might read an old value from m_value after the command that wrote 5 to it has finished executing. This is because the new value may be in the cache of the CPU, not in the memory.

If you write

m_value = 5;
m_flag = 1;

instead of Volatile.Write(ref m_flag, 1) the other core may see the writes in a different order: first it would see that m_flag became 1, and after that it would see that m_value became 5. If your other thread uses the value of m_flag to judge the validity of m_value, the logic may be broken: for example, Thread2 may occasionally print zero.

Answer 2

the cpu will wait for the commands before Volatile.Write(ref m_flag, 1); before starting to write to m_flag?

Eeeh, kinda. A better way to phrase this is: it's guaranteed that, if any other thread sees m_flag set to 1, they will also see m_value set to 5.

And how is that helps the threads synchronization?

I wouldn't say it helps with synchronization - but it does help with achieving correctness.

If you weren't using volatile reads/writes, it would be possible for the compiler/runtime/cpu to reorder the two instructions in the Thread1 method, and the program would be able to print either 0, 5 or nothing at all.

With the volatile reads/writes, the program will print either 5 or nothing at all, but never 0. Which is the intended behaviour.