Cuál es la diferencia entre ellos ...
"A prueba de fallas" ( en ingeniería ) significa que algo falla de una manera que no causa daños mínimos o nulos. Estrictamente hablando, no existe en Java un iterador a prueba de fallas. Si un iterador falla (en el sentido normal de "falla"), puede esperar que ocurran daños.
Sospecho que en realidad te refieres a iteradores "débilmente consistentes". El javadoc dice:
"La mayoría de las implementaciones de colecciones simultáneas (incluidas la mayoría de las colas) también se diferencian de las convenciones java.util habituales en que sus iteradores y divisores proporcionan un recorrido débilmente consistente en lugar de un error rápido".
Normalmente, una consistencia débil significa que si una colección se modifica al mismo tiempo que una iteración, las garantías de lo que ve la iteración son más débiles. (Los detalles se especificarán en cada javadocs de clases de colección concurrentes).
"Fail-fast" ( en el diseño de sistemas ) significa que la condición de falla se verifica agresivamente para que la condición de falla se detecte (cuando sea posible 1 ) antes de que se pueda hacer demasiado daño. En Java, un iterador a prueba de fallas falla al lanzar un ConcurrentModificationException.
La alternativa a "fallar rápido" y "débilmente consistente" es semántica donde la iteración falla de manera impredecible; por ejemplo, a veces dar una respuesta incorrecta o lanzar una excepción inesperada. (Este fue el comportamiento de algunas implementaciones estándar de la EnumerationAPI en las primeras versiones de Java).
... y son diferentes del iterador que usamos para la colección.
No. Estas son propiedades de los iteradores implementadas por tipos de colección estándar; es decir, "fallan rápido" o "débilmente consistentes" ... cuando se usan correctamente con respecto a la sincronización y el modelo de memoria Java 1 .
Los iteradores a prueba de fallas se implementan típicamente usando un volatilecontador en el objeto de colección.
- Cuando se actualiza la colección, se incrementa el contador.
- Cuando
Iteratorse crea un, el valor actual del contador se incrusta en el Iteratorobjeto.
- Cuando
Iteratorse realiza una operación, el método compara los dos valores del contador y arroja un CME si son diferentes.
Por el contrario, los iteradores débilmente consistentes suelen ser livianos y aprovechan las propiedades de las estructuras de datos internas de cada colección concurrente. No existe un patrón general. Si está interesado, lea el código fuente de las diferentes clases de colección.
1 - El rider es que el comportamiento a prueba de fallas asume que la aplicación se identifica correctamente con respecto a la sincronización y el modelo de memoria. Eso significa que (por ejemplo) si itera ArrayListsin una sincronización adecuada, el resultado podría ser un resultado de lista dañado. El mecanismo de "falla rápida" probablemente detectará la modificación concurrente (aunque eso no está garantizado), pero no detectará la corrupción subyacente. Como ejemplo, javadoc for Vector.iterator()dice esto:
"El comportamiento a prueba de fallas de un iterador no se puede garantizar ya que, en términos generales, es imposible hacer garantías estrictas en presencia de una modificación concurrente no sincronizada. Los iteradores de falla rápida se lanzan ConcurrentModificationExceptionsobre la base del mejor esfuerzo. Por lo tanto, sería Es incorrecto escribir un programa que dependía de esta excepción para su corrección: el comportamiento rápido de fallas de los iteradores debe usarse solo para detectar errores ".