잠금을 획득하는 동안 프로세스가 포크를하면 부스트 프로세스 간 뮤텍스에 대한 잠금은 어떻게됩니까?

Question

두 개의 스레드가있는 프로세스가 있다고 가정 해 보겠습니다. 하나의 쓰레드는 공유 리소스에 대한 작업을 수행하고 boost :: interprocess :: mutex에 대해 범위가 지정된 잠금을 주기적으로 제거합니다. 다른 스레드는 임의의 시간에 fork/exec를 발생시킵니다.

스레드

void takeLockDoWork() { 
    using namespace boost::interprocess; 
    managed_shared_memory segment(open_only, "xxx"); 
    interprocess_sharable_mutex *mutex = segment.find<interprocess_sharable_mutex>("mymutex").first; 
    scoped_lock<interprocess_sharable_mutex> lock(*mutex); 
    // access or do work on a shared resource here 
    //lock automatically unlocks when scope is left. 
} 

1의이 scoped_lock가 꺼낸 직후 스레드 2 포크를 가정 해 봅시다. 아마도 자식 프로세스는 부모 프로세스와 동일한 잠금 상태입니다.

어떻게됩니까? 상위 프로세스와 경쟁 조건이 있습니까?

Answer 1

interprocess_sharable_mutex을 보유하고 있거나 뮤텍스에 의해 보호되고 있던 메모리를 액세스하지 않는 한 포크를하지 않는 한 괜찮습니다.

뮤텍스가 공유 메모리에 존재합니다. 즉, 사용자가 분기해도 mutex 상태가 복제되지 않습니다. 그것은 한 장소에 존재하며 두 프로세스 모두가 접근 할 수 있습니다.

포크는 자식의 분기 스레드 만 유지하기 때문에 부모의 다른 스레드 만 뮤텍스의 소유권을 가지고 있다고 생각하므로 아무런 문제가 없습니다. 분기 후에 mutex를 얻으려고해도 여전히 괜찮습니다. 그것은 부모가 그것을 놓을 때까지 막을 것입니다.