다중 스레드 응용 프로그램의 휘발성 C/C++

Question

volatile 사용에 관한 질문이 있습니다. 일반적으로 스레드간에 공유되는 모든 변수는 직접 메모리 액세스를 보장하기 위해 volatile 키워드를 가지며 물론 뮤텍스로 보호됩니다.

그러나 일관성을 보장하기 위해 변수를 공유하는 경우 volatile이 실제로 필요합니까?

내가 예와 함께 설명 :

Thread1: //(affects it behaviour with the variable) 
mymutex.lock(); 
if(variable) 
{ 
    ... 
    variable = false; 
} 
mymutex.unlock(); 

위의 예에서

---

Thread2: 
mymutex.lock(); 
variable = true; 
mymutex.unlock(); 

, thread2 만 쓰고, thread1는 읽기/쓰기. variable이 캐시되고 스레드가 새 값을 읽을 수 없습니까? 뮤텍스가 제대로 설정 되었더라도? 이 경우 volatile이 필요합니까?

변수 대신에 휘발성 일 수없는 std::vector이 있기 때문에이 질문을드립니다. 그리고이 방법이 volatile 키워드 없이는 안전하다고 100 % 확신하지 못했습니다.

감사합니다.

EDITED : 질문을 올바르게 재구성합니다.

Answer 1

volatile은 동시성을위한 것이 아닙니다. 그것은 컴파일러가 변수로부터 읽는 것을 최적화 할 수 있는지 없는지에 관한 것입니다. 이것은 주로 메모리 맵핑을 통해 하드웨어와 인터페이싱하는 것과 같은 것에 사용됩니다.

불행하게도 이것은 즉, volatile 개의 변수가 있어도 읽기 및 쓰기가 동기화되지 않은 스레드 로컬 저장소에 계속 액세스 할 수 있음을 의미합니다. 또한 std::vector은 스레드로부터 안전하지 않습니다.

따라서 두 경우 모두 동기화해야합니다 (예 : std::mutex). 자, 이것이 완료되면, mutex에 의해 보호되는 변수는 volatile 일 필요는 없습니다. mutex 자체는 동기화를 수행하고 걱정되는 유형의 문제를 방지합니다.

Answer 2

내 대답 here을보십시오. [당신은`volatile` 사용하지 않아도]을 (-

바닥과 같은 영리 적절한