Регистры процессора и когерентность

Question

Какова связь между регистрами ЦП и кэшем ЦП, когда речь идет о протоколах когерентности кеширования, таких как MESI? Если определенное значение хранится в кеше ЦП и также сохраняется в регистре, то что произойдет, если строка кэша будет отмечена как «грязная»? к моему пониманию, нет никаких указаний на то, что регистр обновит его значение, даже несмотря на то, что кеш обновлен (из-за MESI).

Хенч этот код:

static void Main() 
    { 
    bool complete = false; 
    var t = new Thread (() => 
    { 
    bool toggle = false; 
    while (!complete) toggle = !toggle; 
    }); 
    t.Start(); 
    Thread.Sleep (1000); 
    complete = true; 
    t.Join();  // Blocks indefinitely 
} 

(давайте предположим, что компилятор не оптимизировал нагрузки для «полного» вне цикла)
моему пониманию, обновление до «полной» не видно во второй поток, так как его значение хранится внутри регистра (однако, кэш ЦП 2 был обновлен).

действительно ли помещает заслон памяти, чтобы «смыть» все регистры? Каково отношение регистров к кешу? и как насчет регистров и барьеров памяти?

Answer 1

Отношения нет. Используйте ключевое слово «volatile».

Answer 2

Протокол MESI, используемый на платформе x86, гарантирует согласованность когерентности, то есть изменения в одном кэше ЦП автоматически распространяются на другие кэши ЦП. Поэтому volatile ключевое слово на x86 и x64 полезно только для предотвращения переупорядочения.