• 카테고리

    질문 & 답변
  • 세부 분야

    게임 프로그래밍

  • 해결 여부

    미해결

Lock-Free Stack #3에서 질문이 있습니다.

23.10.10 22:45 작성 조회수 251

0

IncreaseHeadCount 부분에서

CountedNodePtr newCounter = _oldCounter 를 해주는데

newCounter 같은 경우 지역변수이기 때문에 애초에 경합이 발생할 수 없지 않나요? int 변수를 공유하는 것도 아니고 완전히 새로운 지역 변수이기 때문에 좀 이해가 안됩니다.

 

오히려 oldCounter를 바꿔주기 위해서 head.compare_exchange_strong을 하는거 아닌가요?

답변 1

답변을 작성해보세요.

0

네 그게 맞는데요.

(1) CountedNodePtr newCounter = _oldCounter
(2) CAS

이런 코드는 동시다발적으로 발생해서 1-2 사이에 다른 쓰레드가 새치기 하면
얼마든지 결과가 취소되어야 합니다.
조금 정신없고 이해하기 어려우니, 찬찬히 고민을 해보시기 바랍니다!