Статья позволяет понять протокол когерентности кэша процессора MESI.

Кэш процессора (кэш-память)

1. Программа и данные загружаются в оперативную память
2. Инструкции и данные загружаются в кэш ЦП.
3. Процессор выполняет инструкцию и записывает результат в кеш.
4. Данные в кеше записываются обратно в основную память

Многоядерный процессор, многоуровневый протокол когерентности кеша MESI

Оптимизации МЭСИ и связанные с ними проблемы

alue = 3；
void exeToCPUA(){
  value = 10;
  isFinsh = true;
}
void exeToCPUB(){
  if(isFinsh){
    //value一定等于10？！
    assert value == 10;
  }
}

• Для всех входящих запросов Invalidate сообщение Invalidate Acnowlege ДОЛЖНО быть отправлено немедленно.
• Invalidate на самом деле не выполняется, а ставится в специальную очередь и выполняется, когда это удобно.
• Процессор не будет отправлять никаких сообщений в обработанную запись кэша, пока не обработает Invalidate.

void executedOnCpu0() {
    value = 10;
    //在更新数据之前必须将所有存储缓存（store buffer）中的指令执行完毕。
    storeMemoryBarrier();
    finished = true;
}
void executedOnCpu1() {
    while(!finished);
    //在读取之前将所有失效队列中关于该数据的指令执行完毕。
    loadMemoryBarrier();
    assert value == 10;
}

наконец