갱신 함수는 충돌 시 다시 실행될 수 있다는 전제로 작성한다.
같은 입력에 같은 후보를 만든다.
외부 상태를 바꾸지 않고 새 스냅샷을 만든다.
재실행 때 중복 기록이 생긴다.
CAS 실패와 무관하게 부수 효과가 발생한다.
핵심: 복구가 필요한 외부 작업은 별도 보상 프로토콜로 다룬다.