pthread 라이브러리를 통한 메모리 가시성?

Question

나는 (데이비드 Butenhof에 의해) POSIX 스레드 프로그래밍을 읽고있다, 그는 pthread와 라이브러리를 사용하여 언급 :

가 뮤텍스를 잠금을 해제 할 때 볼 수있는 스레드 값간에 메모리

직접 또는에서 대기로를 조건 변수는 나중에 동일한 뮤텍스를 잠그는 임의의 스레드에서 보이는 일 수 있습니다. 다시, 뮤텍스가 잠금 해제되기 전에 쓰여진 데이터 은 잠금 전에 쓰기가 발생하더라도 뮤텍스를 잠그는 스레드 인 에서 반드시 볼 필요는 없습니다.

모든 갑자기, 나는 다음과 같은 코드가 유효한지 여부를 궁금해 :

스레드 A :

strcpy(buffer, "hello world"); 
pthread_spin_lock(&lock); // assuming the mutex in the statement above can be interchanged with spinlock. I don't see why it can't 
pthread_spin_unlock(&lock); 

스레드 B :

pthread_spin_lock(&lock); 
pthread_spin_unlock(&lock); 
// read buffer; assuming thread B has a copy of the pointer somehow 

내 질문은 : 스레드 수 B 버퍼에서 "hello world"를 참조 하시겠습니까? 그의 성명서에 따르면, 그것은해야한다. 나는 "일반적인"방법은 자물쇠로 공유 "자원"을 보호하는 것입니다 이해합니다. 하지만 strcpy()가 임의의 시간에 발생한다고 가정 해 봅시다. 프로그램의 수명이 다 된 시점에서 한 번만 발생할 수 있습니다. 스레드 A가 pthread_spin_unlock()을 호출 한 후에 스레드 B가 어떻게 든 pthread_spin_lock()을 호출한다고 가정 해 봅시다 :

: 다른 스레드에서 버퍼를 볼 수 있도록 변경하는 빠른 방법이 있습니까? 이식성이 문제가 아니며 CentOS를 사용한다고 가정 해 보겠습니다. 내가 생각할 수있는 한 가지 대안은 mmap()을 사용하지만 pthread 라이브러리를 사용하지 않고 모든 변경 사항을 전역으로 볼 수 있는지 여부를 확신하지 못하는 것입니다.

Answer 1

저는 이것을 올바르게 이해했다고 생각하지 않습니다 : 잠금 장치는 마술처럼 데이터를 전송하지 않으며, 안전하게 데이터를 이동할 수있는 스레드 간의 통신 형태입니다.

질문에 많은 가정을합니다. 사실, 가정이 모두 유지되는 한 이 존재하지 않으면 자물쇠가 동등하게 적용됩니다. 동시 프로그래밍의 문제점은 일반적으로 과 같은 가정을 할 수 없다는 것입니다..

스레드 A가 메모리에 변경이있는 경우는 그 (캐싱 컴파일러 최적화 변덕 허용) 즉시 B 스레드하는 표시된다. 이것은 잠금 장치의 유무와 상관없이 항상 사실입니다. 그러나 잠금 장치가 없으면 쓰기가 아직 완료되었거나 시작되었다는 보장이 없습니다.

먼저 잠금 세트가있는 공유 데이터에만 쓰는 것으로 가정합니다 (필수). 마지막 부분은 먼저 잠금없이 작성하려고하면 어떤 나쁜 일이 일어날 수 있는지 알려줍니다.

"잠금 전에 쓰기가 발생하더라도"무슨 뜻인지는 잘 모르겠지만, 정확하게는 동시 프로그램을 괴롭히는 다양한 경쟁 조건 및 메모리 캐싱 효과를 나타냅니다. 잠금은 실제로 데이터를 전송하지 않을 수 있지만 컴파일러가 호출을 통해 메모리를 동기화하도록 강제로 코딩됩니다 ("메모리 장벽").