다중 스레드 단일 작성기 다중 판독기 코드에서 int를 사용하는 것이 안전합니다.

Question

단일 작성기 및 다중 판독기가있는 병렬 코드를 작성하고 있습니다. 작성자는 처음부터 끝까지 배열을 채우고 독자는 배열의 요소에 순서대로 액세스합니다.

while(!finished){ 
    int myIndex = consumerIndex++; 
    while(myIndex >= producerIndex){ spin(); } 
    use(vec[myIndex]); 
} 

나는 producerIndex 주위 동기화 어떤 종류가 필요하십니까 :

std::vector<Stuff> vec(knownSize); 
int producerIndex = 0; 
std::atomic<int> consumerIndex = 0; 

생산자 스레드 :

for(a while){ 
    vec[producerIndex] = someStuff(); 
    ++producerIndex; 
} 

소비자 스레드 의사 코드는 다음과 같은 것입니다? 일어날 수있는 최악의 상황 인 것처럼 보입니다. 업데이트가 진행되는 동안 오래된 값을 읽으므로 여분의 시간을 돌릴 수 있습니다. 내가 놓친 게 있니? myIndex에 대한 각각의 할당이 고유 할 수 있습니까?

Answer 1

의견에서 지적했듯이이 코드에는 데이터 경쟁이 있습니다. 코드가 원하는대로 할 수 있는지 추측하는 대신에 producerIndex과 consumerIndex을 int에서 std::atomic<int>으로 변경하고 컴파일러 구현 자나 표준 라이브러리 구현 자로 하여금 자신의 작업을 올바르게 수행 할 수 있도록하십시오. 대상 플랫폼.

Answer 2

배열이 캐시에 저장되므로 모든 스레드가 캐시에 저장됩니다. 제작자가 배열에 새로운 값을 넣을 때마다 저장소 주소에 더티 비트가 설정되므로 값을 사용하는 다른 모든 스레드가 RAM에서 캐시의 자체 복사본으로 캐시를 검색합니다. 즉, 캐시 미스는 많이 발생하지만 경쟁 조건은 없습니다. :)