잠긴 공유 POSIX 뮤텍스를 다시 매핑 할 수 있습니까?

Question

공유 POSIX 뮤텍스가 이미 초기화되었다고 가정합니다 (PTHREAD_PROCESS_SHARED 사용).

그런 다음, 다음과 같은 절차를 고려해이 같이 작동합니다

typedef struct { 
    pthread_mutex_t mutex; 
    // ... 
} Shared; 

Shared *shared = (Shared *)mmap(...); // MAP 

pthread_mutex_lock(&shared->mutex); // LOCK 

// REMAP 
munmap(shared, ...); 
shared = (Shared *)mmap(...); 

pthread_mutex_unlock(&shared->mutex); // UNLOCK 

합니까 POSIX 보증을 "순진"목적?

필자가 볼 수있는 한, 관련 맨 페이지에는 그러한 시나리오가 언급되어 있지 않습니다.

---

또한, 다음과 같은 리눅스 특정 대안에 대해 무엇을 :

Shared *shared = (Shared *)mmap(...); // MAP 

pthread_mutex_lock(&shared->mutex); // LOCK 

shared = (Shared *)mremap(shared, ...); // MREMAP_MAYMOVE 

pthread_mutex_unlock(&shared->mutex); // UNLOCK 

---

내가 상상할 수있는 예를 들어, 프로세스 내 어딘가에 잠겨 뮤텍스에 대한 포인터를 저장하는의 pthreads 구현 . 뮤텍스가 강건 (PTHREAD_MUTEX_ROBUST)으로 설정되면 뮤텍스가 잠긴 동안 프로세스가 종료되면 구현시 뮤텍스를 '버려진'것으로 표시 할 수 있습니다.

나는 이러한 방식은 실제로 작동할지 여부가 POSIX, 또는 얼마나 뮤텍스 견고 실제로 모든 플랫폼에서 구현하여 허용 여부를, 아무 생각이 없지만, 경우 다음 행과 함께 구현 것 작업 및 것 POSIX에 따라 유효하다면 위의 매핑 시나리오는 정의되지 않은 동작을합니다.

Answer 1

아니요!

http://www.kernel.org/doc/Documentation/robust-futexes.txt

이에서 우리가 POSIX이 허용하는 몇 가지 확실하게 결론을 내릴 수있다 :

같이, 리눅스의 강력한 뮤텍스의 구현이 잠긴 강력한 뮤텍스가 고정 주소에 남아 있다고 가정 @Celada 지적 은 잠긴 mutex의의 재 매핑을 금지합니다. 그렇지 않으면 Linux 구현이 올바르지 않습니다.

본인의 질문에서 설명한 절차는 으로 잘못 정의되어 정의되지 않은 동작으로 간주되어야합니다.