CAS에 적합한 계산과 부적합한 계산

갱신 함수는 충돌 시 다시 실행될 수 있다는 전제로 작성한다.

순수 덧셈

같은 입력에 같은 후보를 만든다.

적합

불변 객체 생성

외부 상태를 바꾸지 않고 새 스냅샷을 만든다.

적합

로그 전송

재실행 때 중복 기록이 생긴다.

부적합

외부 결제

CAS 실패와 무관하게 부수 효과가 발생한다.

금지
원칙외부 효과는 CAS 성공 뒤 한 번만 수행한다.

핵심: 복구가 필요한 외부 작업은 별도 보상 프로토콜로 다룬다.