[multithreading] 재귀 잠금 (Mutex) vs 비 재귀 잠금 (Mutex)

재귀 뮤텍스와 비 재귀 뮤텍스의 차이점은 소유권과 관련이 있습니다. 재귀 뮤텍스의 경우, 커널은 실제로 처음으로 뮤텍스를 얻은 스레드를 추적하여 재귀와 다른 스레드 사이의 차이를 대신 차단해야합니다. 다른 대답에서 지적 했듯이이 컨텍스트를 저장하는 메모리와 유지 관리에 필요한주기 측면에서 추가 오버 헤드에 대한 문제가 있습니다.

그러나 여기서도 고려해야 할 다른 사항이 있습니다.

재귀 뮤텍스에는 소유권이 있기 때문에 뮤텍스를 잡는 스레드는 뮤텍스를 해제하는 스레드와 같아야합니다. 비 재귀 뮤텍스의 경우 소유권 감각이 없으며 어떤 스레드가 원래 어떤 뮤텍스를 취했는지에 관계없이 일반적으로 뮤텍스를 해제 할 수 있습니다. 대부분의 경우,이 유형의 “뮤텍스”는 실제로 세마포어 동작에 가깝습니다. 여기서 반드시 뮤텍스를 제외 장치로 사용할 필요는 없지만 둘 이상의 스레드간에 동기화 또는 신호 장치로 사용합니다.

뮤텍스에 소유권이있는 또 다른 속성은 우선 순위 상속을 지원하는 능력입니다. 커널은 뮤텍스를 소유 한 스레드와 모든 차단기의 신원을 추적 할 수 있기 때문에 우선 순위 스레드 시스템에서 현재 뮤텍스를 소유 한 스레드의 우선 순위를 우선 순위가 높은 스레드의 우선 순위로 에스컬레이션 할 수 있습니다. 현재 뮤텍스를 차단하고 있습니다. 이러한 상속은 그러한 경우에 발생할 수있는 우선 순위 반전 문제를 방지합니다. (모든 시스템이 그러한 뮤텍스에 대한 우선 순위 상속을 지원하지는 않지만 소유권 개념을 통해 가능 해지는 또 다른 기능입니다).

클래식 VxWorks RTOS 커널을 참조하면 세 가지 메커니즘을 정의합니다.

• mutex- 재귀를 지원하고 선택적으로 우선 순위 상속을 지원합니다. 이 메커니즘은 일반적으로 중요한 데이터 섹션을 일관된 방식으로 보호하는 데 사용됩니다.
• 이진 세마포어 -재귀, 상속 없음, 간단한 배제, 수취인 및주는 사람이 동일한 스레드 일 필요는 없으며 브로드 캐스트 릴리스가 가능합니다. 이 메커니즘은 중요한 섹션을 보호하는 데 사용될 수 있지만 스레드 간의 코 히어 런트 신호 또는 동기화에도 특히 유용합니다.
• 세마포 계산 -재귀 또는 상속 없음, 원하는 초기 카운트에서 일관된 리소스 카운터 역할을하며 스레드는 리소스에 대한 순 카운트가 0 인 블록 만 차단합니다.

다시 말하지만, 이것은 플랫폼에 따라 다소 다르며, 특히 그들이 부르는 것입니다. 그러나 이것은 개념과 다양한 메커니즘을 대표해야합니다.

답변

pthread_mutex_t      g_mutex;

void foo()
{
    pthread_mutex_lock(&g_mutex);
    // Do something.
    pthread_mutex_unlock(&g_mutex);

    bar();
}