Собственно, наличие когерентного кэша и делает разговоры о несовпадении данных в кеше вполне неактуальными для программирования. Я правильно понимаю?

Но тогда как раз наличие кэша никакой интересности ситуации не добавляет. (?)

Вот если б заставить программистов жить при некогрентном кеше - вот это было б весело. Правда, я затрудняюсь предположить, повысит ли это общую производительность системы...

А так, ну и при неупорядоченности доступа к памяти можно вполне с ума сойти, опять же непонятно, чем некогерентный кеш мог бы принципиально усложнить ситуацию по сравнению с тем, что есть уже сейчас на некоторых процессорах.