c# – 锁定语句如何确保内部处理器同步？

我有一个小的测试应用程序同时执行两个线程.一个增加静态长_值,另一个递减它.我已经通过ProcessThread.ProcessorAffinity确保线程与不同的物理(无HT)内核相关联,以强制执行内部处理器通信,并确保它们在执行时间内重叠大量时间.

当然,以下不会导致零：

for (long i = 0; i < 10000000; i++)
{
    _value += offset;
}

所以,逻辑的结论是：

for (long i = 0; i < 10000000; i++)
{
    Interlocked.Add(ref _value,offset);
}

当然导致零.

但是,以下也导致零：

for (long i = 0; i < 10000000; i++)
{
    lock (_syncRoot)
    {
        _value += offset;
    }
}

当然,lock语句确保读取和写入不会被重新排序,因为它采用了一个完整的栅栏.但是,我找不到有关处理器缓存同步的信息.如果没有任何缓存同步,我会认为在两个线程完成之后我应该看到0的偏差？

有人可以向我解释锁/ Monitor.Enter / Exit如何确保处理器缓存(L1 / L2缓存)同步？