C에서는 원자 읽기-수정-쓰기가 단일 작업입니까, 아니면 두 개입니까?

원자적 읽기-수정-쓰기: 단일 작업인가요 아니면 두 가지 작업인가요?

동기화 목적으로 원자성 읽기-수정-쓰기(RMW) x.exchange(..., std::memory_order_acq_rel) 과 같은 작업은 처리에 관한 질문을 제기합니다. 단일 작업으로 간주됩니까, 아니면 두 개의 개별 작업으로 간주됩니까?

표준의 관점

C 표준에서는 RMW 작업을 단일 엔터티로 간주합니다. 이는 이름 지정과 다양한 관련 언어에서 암시적으로 나타납니다.

동기화 의미

귀하의 예에서:

x.exchange(1, std::memory_order_acq_rel); // Line A
y.store(1, std::memory_order_relaxed); // Line B

• Line B에는 일치하는 릴리스나 더 강력한 저장소가 없으므로 효과적으로 y.store(1, std::memory_order_relaxed).
• 라인 A에는 일치하는 로드만 있으므로 "획득" 부분이 중복됩니다. x.store(1, std::memory_order_release)로 볼 수 있습니다.

결과적으로 코드는 다음과 같이 줄어듭니다.

x.store(1, std::memory_order_release);
y.store(1, std::memory_order_relaxed);

이들 사이에는 작업이 없기 때문입니다. 저장하고 해당 로드를 다른 스레드에 저장하면 동기화가 사실상 비활성화됩니다. 이를 통해 0, 1을 인쇄할 수 있습니다.

ARM64 구현 및 의미

ARM64의 x.exchange() 구현은 우려를 불러일으킵니다. 그러나 자세히 살펴보면 구현이 단일 RMW 작업에 대한 표준의 관점과 일치한다는 것이 분명합니다. 순서 순서는 RMW의 마지막 읽기 값이 쓰기와 일치함을 보장합니다.

잘못된 cppreference 인용

cppreference에서 인용된 텍스트가 정확하지 않습니다. C의 RMW 작업은 단일 작업으로 처리되며 이전 또는 이후에 다른 작업의 재정렬이 금지됩니다.

위 내용은 C에서는 원자 읽기-수정-쓰기가 단일 작업입니까, 아니면 두 개입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!