memory_order_relaxed로 확인한다면 왜 memory_order_seq_cst를 사용하여 중지 플래그를 설정합니까?

컨텍스트

그의 "원자 무기" 강연에서, Herb Sutter는 메인 스레드가 memory_order_seq_cst를 사용하여 중지 플래그를 설정하고 여러 작업자 스레드가 다음을 사용하여 플래그를 확인하는 예를 보여줍니다. memory_order_laxed. Sutter는 대기 시간에 미치는 영향이 미미하므로 확인을 위해 memory_order_relaxed를 사용하는 것이 허용된다고 설명합니다. 그러나 그는 구체적인 이유를 제공하지 않고 플래그를 설정하는 작업에 memory_order_seq_cst를 사용할 것을 제안합니다.

메모리 순서 지정

여기에서는 메모리 순서 개념을 이해하는 것이 중요합니다. 메모리 순서는 원자성 작업이 제공하는 가시성 및 동기화 보장을 정의합니다. 이 예에서 플래그 설정을 위해 memory_order_seq_cst를 사용하면 다음이 보장됩니다.

• 중지 플래그에 대한 쓰기는 유한한 시간 내에 다른 모든 스레드에 표시됩니다.
• 쓰기 전에는 다른 메모리 작업을 다시 정렬할 수 없습니다.

성능에 미치는 영향

사용하는 동안 쓰기 작업에 대한 memory_order_seq_cst는 로드 작업이 memory_order_relaxed를 사용한다는 점을 고려하면 과도해 보일 수 있지만 실제로는 성능에 큰 영향을 미치지 않습니다. 사용된 메모리 순서에 관계없이 합리적인 시간 내에 원자 저장소를 표시하려면 구현이 필요합니다.

memory_order_seq_cst의 이점

쓰기 작업에 memory_order_seq_cst를 사용하면 지연 시간에 미치는 영향은 최소화됩니다. , 여러 가지 이점을 제공합니다:

• 스레드 안전성: memory_order_seq_cst는 중지 플래그에 대한 쓰기가 적시에 모든 스레드에 표시되도록 보장하여 경쟁 조건의 위험을 최소화합니다.
• 재순서 방지: 다른 메모리 작업이 재정렬되는 것을 방지합니다. 쓰기 전에 의도한 이벤트 순서가 유지되는지 확인합니다.
• 최적 병렬화: 중지 플래그를 최신 상태로 유지하면 작업자 스레드가 불필요한 메모리 동기화를 기다리지 않고 해당 값을 효율적으로 확인할 수 있습니다.

결론

결론적으로, 여기서 중지 플래그를 설정하기 위해 memory_order_seq_cst를 사용합니다. 예제는 성능 최적화를 위한 것이 아니라 정확성과 스레드 안전성을 보장하기 위한 것입니다. 로드 작업에는 memory_order_relaxed가 허용되지만 쓰기 작업에 memory_order_seq_cst를 사용하면 성능 저하 없이 추가 보장이 제공됩니다.