mutex를 사용하지 않고 double var를 보호하십시오.

Question

인사말 !!

나는 POSIX 멀티 스레딩 응용 프로그램, 스레드 1에 , 나는 이런 식으로 글로벌 VAR 설정 리눅스에서 실행되는 교류 AP했습니다 : thread2에서

Pthread_mutex_lock(&Mutex1); 
for(idx=0;idx<1000;idx++) 
{ 
     Data1[idx].doubleval = idx * 100.0 * anothervar ; 
}//for 
Pthread_mutex_unlock(&Mutex1); 

을,이 방법으로 글로벌 var에 그것을 얻을 : 데이터 1을 thread1 설정되어있는 경우 지금

Pthread_mutex_lock(&Mutex1); 
for(idx=0;idx<1000;idx++) 
{ 
    doublexxx = Data1[idx].doubleval ; 
    DoSomething(doublexxx) ; 
}//for 
Pthread_mutex_unlock(&Mutex1); 

, 내 AP에 뮤텍스를 사용하지 않는 가정 [33] .doubleval thread2는 데이터 1을 읽는 동안 [33] .doubleval, 윌 데이터 1 [33]. doubleval은 매우 이상한 값입니까? 예를 들어 double var에는 4 바이트가 있고 thread1은 Data1 [33] .doubleval 첫 번째 2 바이트를 설정하고 나중에 2 바이트를 마칩니다. thread2가 Data1 [33] .doubleval ...을 읽으려고합니다. 가능하니?

이런 종류의 문제없이 이중 var를 보호하려면 어떻게해야합니까? 뮤텍스를 사용하는 것이 좋습니다, 나는 double var를 보호하는 또 다른 방법이 있는지 궁금합니다 thread1이 쓰고 있습니다. 적어도 thread2는 동일한 var에서 읽으려고합니다. 4 바이트를 두 번 기다리십시오 !!!

Answer 1

"부분적으로 쓰는"값을 읽을 수 있는지 여부는 많은 요인 (예 : 대상 시스템 및 정렬)에 따라 다르며 이식 할 수없는 경우가 많습니다. 예를 들어, 소프트웨어에서 에뮬레이트 된 부동 소수점 지원 기능이있는 16 비트 CPU에서 실행되는이 코드를 상상해보십시오.

뮤텍스를 사용하더라도 두 번째 스레드의 동작은 첫 번째 스레드가 데이터를 썼는지 또는 첫 번째 스레드가 데이터를 쓴 후에 데이터를 읽었는지 알 수 없기 때문에 여전히 정의되지 않습니다.

귀하의 디자인에 더 높은 수준의 문제가 있다고 의심됩니다. 아마도 첫 번째 스레드가 작성 될 때까지 두 번째 스레드를 대기 상태로 만들기 위해 조건 변수를 사용해야합니다.

또한 뮤텍스 제거에 대한 이유는 확장 성과 성능을 향상시키는 데 있다고 생각됩니다. 예를 들어, 한 스레드가 배열의 한 부분을 사용하고 다른 스레드가 같은 배열의 완전히 다른 부분을 수정하도록합니다. 이것이 당신의 질문에 대한 이유라면, 솔루션은 당신의 시나리오에 달려 있습니다 - 다중 잠금 (배열 영역 당 하나의 뮤텍스, 항목 당 하나의 뮤텍스까지)을 사용하는 것처럼 간단 할 수도 있지만 "독자를 구현할 수도 있습니다/writer "락 (다른 thread가 쓰고 있지 않는 한, 복수의 thread가 동시에 배열로부터 읽어 낼 수가 있습니다).

Answer 2

걱정할 문제는 쓰기 도중에 읽을 가치가 없다는 것입니다. 나는 이것이 가능한 시스템을 모른다. 문제는 두 번째 스레드의 동작이 정의되지 않을 것입니다. 왜냐하면 첫 번째 스레드가 주어진 메모리 섹션에 쓰기 전이나 후에 읽을 지 여부를 모르기 때문입니다. 뮤텍스가 없거나 기능적으로 동일한 것이 없다면 잘 정의 된 동작을 얻을 수있는 방법이 없습니다.