C++ release store 뒤 다른 스레드의 atomic RMW가 이어집니다. release sequence는 어떤 조건에서 이전 데이터를 공개하나요?
꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →
잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?
답변과 점검 포인트 펼치기답변 접기
01
구두 답변
정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.
release sequence에 속한 값을 acquire가 읽으면 그 head release 이전 쓰기의 가시성이 연결될 수 있습니다. 단순히 같은 atomic 변수에 연산이 이어졌다는 것만으로 모든 쓰기가 연결되는 것은 아닙니다.
C++20 이후 정의에서는 head 뒤 이어지는 RMW 연산의 조건을 확인해야 하며 중간의 일반 atomic store는 sequence를 끊을 수 있습니다. RMW가 relaxed라도 어떤 값을 읽은 acquire인지와 modification order를 확인합니다. 여러 atomic 객체의 임의 조합까지 원자 snapshot으로 만들지는 않습니다.
02
득점 포인트
이해가 드러나는 지점을 확인해 보세요.
- release sequence에 속한 값을 acquire가 읽으면 그 head release 이전 쓰기의 가시성이 연결될 수 있습니다. 단순히 같은 atomic 변수에 연산이 이어졌다는 것만으로 모든 쓰기가 연결되는 것은 아닙니다.
- 여러 atomic 객체의 임의 조합까지 원자 snapshot으로 만들지는 않습니다.
03
감점 포인트
놓치기 쉬운 조건과 오해를 짚어 보세요.
- 다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: release sequence에 속한 값을 acquire가 읽으면 그 head release 이전 쓰기의 가시성이 연결될 수 있습니다.
04
더 파고들 거리
하나 더 질문하며 이해의 범위를 넓혀 보세요.
득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.
원리부터 공부하고 싶다면
답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.