C에서 원자 연산 ++ 재정렬

Question

가정하자 내가 두 스레드가 :

int value = 0; 
std::atomic<bool> ready = false; 

thread 1: 
value = 1 
ready = true; 

thread 2: 
while (!ready); 
std::cout << value; 

출력 0으로 할이 프로그램을?

저는 C++ 메모리 모델에 대해 읽었습니다. 구체적으로 말하면 순차적 일관성은 기본값이라고 생각합니다. 특히 명확하지는 않습니다. 컴파일러는 원자 연산을 서로 올바른 순서로 배치하기 위해서만 필요합니까? 아니면 모든 다른 연산과 관련하여 원자 연산을 올바른 순서로 배치해야합니까?

Answer 1

기본적으로 원자 변수에 대한 작업은 memory_order_seq_cst 의미 체계를 사용하여 수행되므로 재정렬이 수행되지 않습니다.

는 따라서 라인 : value = 1는 원자 할당 아래에 다시 정렬 할 수 없습니다 value = 1, std::cout << value; 항상 같은 규칙 1.

를 인쇄 할 줄 때문에이 라인 : std::cout << value; 라인 위의
를 다시 정렬 할 수 없습니다 while (!ready);.

Answer 2

ShadowRanger의 응답에 따라 메모리 장벽처럼 작동합니다. 그러나 그 이유에 대한 자세한 내용은 Herb Sutter's talk on atomic weapons을 참조하십시오. 그는 atomics가 작동하는 방법과 이유에 대해 아주 자세히 설명합니다.