CAS 재시도 순환

실패는 낡은 관찰을 뜻하므로 최신값부터 다시 계산해야 한다.

  1. 현재값 읽기

    공유 상태의 observed를 얻는다.

  2. 후보 계산

    observed만으로 candidate를 만든다.

  3. 조건 교체

    기대값이 그대로면 새 값으로 바꾼다.

  4. 실패 재판정

    값이 달라졌다면 최신 상태에서 필요성을 다시 본다.

핵심: CAS 성공 시점이 해당 갱신의 선형화 지점이다.