Что такое Fail-fast итератор?

Разбор: Fail-fast реализован через сравнение modCount с expectedModCount и при любом структурном изменении не через сам итератор бросает ConcurrentModificationException; это best-effort и не гарантируется в многопоточной среде. Дистракторы ошибочны: проверяется modCount, а не size (replace без структурного изменения часто безопасен, но критерий иной); поведение не гарантировано при гонках и используется именно для отладки, а не как надёжный детектор; и перечитывания коллекции не происходит.