Java fail-fast의 경계

한 번 더 생각해 볼 질문Java batch processor·shared collection review·테스트 oracle에서 이름은 비슷하지만 계약이 다른 두 후보를 제시하세요.

이렇게 고쳐 생각해요fail-fast iterator는 best-effort defect signal이며 동기화·thread safety·구조 변경 검출의 절대 보장이 아니다.을 먼저 고정하고 fail-fast iterator의 보장 수준을 언어·라이브러리·구현·측정으로 분리해야 한다.

한 번 더 생각해 볼 질문ConcurrentModificationException이 없으면 concurrent mutation이 안전하고 결과도 정확하다고 결론낸다.에서 빠진 선행 또는 후속 비용을 하나 이상 찾으세요.

이렇게 고쳐 생각해요documented guarantee·observed exception·correctness claim을 분리한 Java audit에 위치 탐색·원소 이동·할당·observer 복구와 반복 횟수를 포함해야 총비용이 된다.

한 번 더 생각해 볼 질문ConcurrentModificationException이 없으면 concurrent mutation이 안전하고 결과도 정확하다고 결론낸다.를 드러내는 미공개 경계와 사람이 확인할 oracle을 쓰세요.

이렇게 고쳐 생각해요같은 생성 가정을 공유한 예제는 독립 oracle이 아니며 synchronization boundary 경계와 공식 근거 수준을 별도로 검증해야 한다.