В чем разница между ними ...
«Отказоустойчивый» ( в инженерии ) означает, что что-то выходит из строя так, что не причиняет никакого ущерба или причиняет им минимальный ущерб. Строго говоря, в Java нет такого понятия, как отказоустойчивый итератор. Если итератор выходит из строя (в обычном смысле слова «сбой»), вы можете ожидать повреждения.
Я подозреваю, что вы на самом деле имеете в виду «слабо согласованные» итераторы. В javadoc говорится:
«Большинство реализаций параллельных коллекций (включая большинство очередей) также отличаются от обычных соглашений java.util тем, что их итераторы и сплитераторы обеспечивают слабо согласованный, а не быстрый обход».
Как правило, слабая согласованность означает, что если коллекция изменяется одновременно с итерацией, гарантии того, что видит итерация, слабее. (Подробности будут указаны в документации javadocs для каждого параллельного набора классов.)
«Безотказный» ( в проектировании систем ) означает, что условие отказа тщательно проверяется, так что условие отказа (где возможно 1 ) обнаруживается до того, как может быть нанесен слишком большой ущерб. В Java отказоустойчивый итератор дает сбой, создавая ConcurrentModificationException.
Альтернатива «отказоустойчивому» и «слабо согласованному» является семантическим, когда итерация терпит неудачу непредсказуемо; например, иногда давать неправильный ответ или генерировать неожиданное исключение. (Это было поведение некоторых стандартных реализаций EnumerationAPI в ранних версиях Java.)
... и отличаются ли они от итератора, который мы используем для сбора.
Нет. Это свойства итераторов, реализованные стандартными типами Collection; т.е. они либо «быстро выходят из строя», либо «слабо согласованы» ... при правильном использовании в отношении синхронизации и модели памяти Java 1 .
Отказоустойчивые итераторы обычно реализуются с использованием volatileсчетчика в объекте коллекции.
- Когда коллекция обновляется, счетчик увеличивается.
- Когда
Iteratorсоздается, текущее значение счетчика внедряется в Iteratorобъект.
- Когда
Iteratorоперация выполняется, метод сравнивает два значения счетчика и выдает CME, если они различны.
Напротив, слабо согласованные итераторы обычно легковесны и используют свойства внутренних структур данных каждой параллельной коллекции. Общей закономерности нет. Если вам интересно, прочтите исходный код для разных классов коллекций.
1 - Наездник заключается в том, что безотказное поведение предполагает, что идентификатор приложения правильный в отношении синхронизации и модели памяти. Это означает, что (например), если вы выполняете итерацию ArrayListбез надлежащей синхронизации, результатом может быть поврежденный результат списка. Механизм «быстрого сбоя», вероятно, обнаружит одновременную модификацию (хотя это не гарантируется), но не обнаружит лежащее в основе повреждение. Например, в javadoc for Vector.iterator()сказано следующее:
«Безотказное поведение итератора не может быть гарантировано, поскольку, вообще говоря, невозможно дать какие-либо жесткие гарантии при наличии несинхронизированной одновременной модификации. Отказоустойчивые итераторы выбирают из соображений ConcurrentModificationExceptionмаксимального усилия. Следовательно, это было бы неправильно писать программу, правильность которой зависит от этого исключения: безотказное поведение итераторов следует использовать только для обнаружения ошибок ».