MOVNTI存储是否相对于同一线程创建的其他MOVNTI存储器重新排序?

太长,读不下去了 我理解MOVNTI操作不是相对于程序的其余部分排序的,因此需要SFENCE/MFENCE。 但是,MOVNTI操作是否相对于同一线程的其他MOVNTI运算没有排序?

假设我有一个生产者-消费者队列,我想在生产者端使用MOVNTI来避免缓存污染。

(实际上还没有观察到缓存污染效应,所以现在可能是理论问题)

因此,我将替换以下制作人:

std::atomic<std::size_t> producer_index;
QueueElement queue_data[MAX_SIZE];
...
void producer()
{
    for (;;)
    {
        ...

        queue_data[i].d1 = v1;
        queue_data[i].d2 = v2;
        ...
        queue_data[i].dN = vN;

        producer_index.store(i, std::memory_order_release);
    }
}

具有以下内容:

void producer()
{
    for (;;)
    {
        ...

        _mm_stream_si64(&queue_data[i].d1, v1);
        _mm_stream_si64(&queue_data[i].d2, v2);
        ...
        _mm_stream_si64(&queue_data[i].dN, vN);

        _mm_sfence();

        producer_index.store(i, std::memory_order_release);
    }
}

我添加的通知 _mm_sfence ,这将等到“非时间”操作结果变得可观察到。 如果我不添加它, consumer 可以观察 producer_index 之前 queue_data 变化。

但是,如果我用以下方式编写索引呢 _mm_stream_si64 也?

std::size_t producer_index_value;
std::atomic_ref<std::size_t> producer_index { producer_index_value };

void producer()
{
    for (;;)
    {
        ...

        _mm_stream_si64(&queue_data[i].d1, v1);
        _mm_stream_si64(&queue_data[i].d2, v2);
        ...
        _mm_stream_si64(&queue_data[i].dN, vN);

        _mm_stream_si64(&producer_index_value, i);
    }
}

根据我对英特尔手册的阅读, 这应该行不通 ,因为非临时商店放宽了订购。

但他们不是说“放松”只是为了使非时间操作不与程序的其他部分相冲突吗? 也许它们是内在有序的,所以 producer 仍然会按预期工作吗?

如果MOVNTI真的放松了,导致最新代码不正确,那么内存写入被重新排序的原因是什么?