c++ - 为什么这个片段不能产生虚假的分享效果？

Question

我试图制作一个重现虚假共享场景的小片段。这就是我想出的：

#include <thread>
#include <cstdlib>
#include <vector>

const size_t s_nNumberOfThreads = 16;

volatile __declspec(align(64)) int s_pValues[s_nNumberOfThreads];

void IncrementValue(size_t nValueIndex)
{
    int nValue = 0;
    s_pValues[nValueIndex] = nValue;
    while (true)
    {
        if (s_pValues[nValueIndex] != nValue)
        {
            break;
        }
        nValue++;
        s_pValues[nValueIndex] = nValue;
    }
    // We messed up the memory
    int i = 3; // Breakpoint here
}

int main(int argc, char** argv)
{
    std::vector<std::thread> Threads;
    size_t nThreadIndex = 0;
    while (nThreadIndex < s_nNumberOfThreads)
    {
        Threads.push_back(std::thread(IncrementValue, nThreadIndex++));
    }
    for(auto &Thread : Threads)
    {
        Thread.join();
    }
    return EXIT_SUCCESS;
}

但是，在调试版本中在 VS2013 下运行它（因此没有优化），无法产生任何错误 - 没有命中断点并且线程没有退出。我的示例是不准确的，还是有什么东西可以防止在单个物理 CPU 上暴露虚假共享？