为什么以下 C# 多线程代码在调试器中输出零但不输出零？

Question

class Program
{
    private static volatile int value;

    public static void Increment()
    {
        for (int i =0; i <100000; i++)
        {
            value++;
        }
    }

    public static void Decrement()
    {
        for (int j =0 ; j < 100000; j++)
        {
            value--;
        }
    }

    public static void ThreadTest()
    {
        value = 0;

        var incrementThread = new Thread(Increment);

        var decrementThread = new Thread(Decrement);

        incrementThread.Start();

        decrementThread.Start();

        incrementThread.Join();

        decrementThread.Join();

        Console.WriteLine("Value of value {0}", value);
    }

    static void Main(string[] args)
    {
        ThreadTest();
    }
}

Answer 1

因为它不应该... ++ 和 -- 不是原子操作（与 Interlocked.XXXX 操作 - Interlocked.Increment 不同）。

如果你写下 ++ 和 -- 的每个步骤，看看两者如何被不同的线程混合，你就会明白为什么：

递增

1: load value to temp
2: add temp, 1
3: store temp to value

递减

4: load value to temp2
5: substruct temp2, 1
6: store temp2 to value

因此，如果顺序是 1,2,3,4,5,6，你会得到 value = 0 ;但如果顺序是 1,2,4,5,6,3，则值 = 1。

Answer 2

只是想让事情变得更简单......我当天也解决了这个问题：D

Volatile 确保您读取最新值，并且当您写入所有线程时看到新值（这就是易失性操作的用途） ，但它不能确保在读取和写入之间，其他线程不会修改该值。另一方面，Interlocked（提供原子操作）确实确保了这一点。

例如，当一个或多个线程读取和其他修改时，易失性操作是好的。例如，如果您的类中有一个易失性布尔_dispose标志，那么如果一个线程处置它，它会立即被标记为所有线程的处置。