Реальный контрпример: серия Intel i7 (начиная с Nehalem) имеет большой общий (между ядрами) L3, включающий в себя, и, конечно, использует политику выделения с обратной записью для снижения требований к пропускной способности DRAM.
Мое пониманиев том, что это что-то вроде «включающего тег»: да, данные недопустимы во внешних кешах, но тег должен быть для строки, выделенной внутренним кешем. Поэтому проверка тегов внешнего кэша может сказать вам, определенно ли во внутреннем кэше есть копия строки в каком-либо допустимом состоянии. т. е. он работает как snoop-фильтр для этих многоядерных процессоров.
Чтобы написать строку, внутренний кеш должен извлекать ее через внешний кеш, поэтому он может поддерживать включение таким образом, когда обрабатываетRFO (чтение для владения) из пропущенной записи (не в состоянии Exclusive или Modified).
Наличие строки в состоянии Modified во внутреннем кеше (L1) означает, что включающий внешний кеш будет иметь тегсоответствует этой строке, но состояние определенно является недействительным.
Когда данные в конечном итоге записываются обратно из L1, они могут быть в состоянии Modified только во внешнем кэше, исключенном из L1.