У меня есть основной вопрос о политике, за которой следует система памяти.
Рассмотрим ядро с частными кэшами L1 и L2. После кэша L2 у нас есть шина, на которой работает трафик когерентности. Теперь, если строка кэша для адреса (X) выведена из кэша L2, необходимо ли выкинуть этот адрес из кеша L1??
Причиной выселения может быть то, что он помогает в поддержании инварианта протокола когерентности [если строка в l2 показывает недопустимое, что это ядро не содержит этого адреса].