[multithreading] 재진입 잠금 및 개념은 일반적으로 무엇입니까?

재귀 뮤텍스 의 정의와 이유 는 수락 된 답변에 설명 된 그렇게 복잡한 는 안됩니다.

그물을 파고 나서 이해 한 내용을 적어보고 싶습니다.

---

먼저 mutex 에 대해 이야기 할 때 다중 스레드 개념도 확실히 관련되어 있음을 인식해야합니다 . (뮤텍스는 동기화에 사용됩니다. 프로그램에 스레드가 하나만 있으면 뮤텍스가 필요하지 않습니다.)

---

둘째, 일반 뮤텍스 와 재귀 뮤텍스 의 차이점을 알아야합니다. .

APUE 에서 인용 :

(재귀 적 뮤텍스는 a) 동일한 스레드 가 먼저 잠금을 해제하지 않고 여러 번 잠글 수 있도록하는 뮤텍스 유형입니다 .

주요 차이점은 동일한 스레드 내에서 재귀 잠금을 다시 잠그면 교착 상태로 이어지지 않고 스레드를 차단하지 않는다는 것입니다.

이것은 반향 적 잠금이 교착 상태를 일으키지 않음을 의미합니까?
아니요, 잠금을 해제하지 않고 한 스레드에서 잠그고 다른 스레드에서 잠그려고하면 정상적인 뮤텍스처럼 교착 상태가 발생할 수 있습니다.

일부 코드를 증거로 보겠습니다.

1. 교착 상태가있는 일반 뮤텍스

#include <pthread.h>
#include <stdio.h>

pthread_mutex_t lock;


void * func1(void *arg){
    printf("thread1\n");
    pthread_mutex_lock(&lock);
    printf("thread1 hey hey\n");

}


void * func2(void *arg){
    printf("thread2\n");
    pthread_mutex_lock(&lock);
    printf("thread2 hey hey\n");
}

int main(){
    pthread_mutexattr_t lock_attr;
    int error;
//    error = pthread_mutexattr_settype(&lock_attr, PTHREAD_MUTEX_RECURSIVE);
    error = pthread_mutexattr_settype(&lock_attr, PTHREAD_MUTEX_DEFAULT);
    if(error){
        perror(NULL);
    }

    pthread_mutex_init(&lock, &lock_attr);

    pthread_t t1, t2;

    pthread_create(&t1, NULL, func1, NULL);
    pthread_create(&t2, NULL, func2, NULL);

    pthread_join(t2, NULL);

}

산출:

thread1
thread1 hey hey
thread2

일반적인 교착 상태 예, 문제 없습니다.

2. 교착 상태가있는 재귀 뮤텍스

이 줄의 주석 처리를 제거
error = pthread_mutexattr_settype(&lock_attr, PTHREAD_MUTEX_RECURSIVE);
하고 다른 줄은 주석 처리하십시오 .

산출:

thread1
thread1 hey hey
thread2

예, 재귀 뮤텍스는 교착 상태를 일으킬 수도 있습니다.

3. 일반 뮤텍스, 동일한 스레드에서 재 잠금

#include <pthread.h>
#include <stdio.h>
#include <unistd.h>

pthread_mutex_t lock;


void func3(){
    printf("func3\n");
    pthread_mutex_lock(&lock);
    printf("func3 hey hey\n");
}

void * func1(void *arg){
    printf("thread1\n");
    pthread_mutex_lock(&lock);
    func3();
    printf("thread1 hey hey\n");

}


void * func2(void *arg){
    printf("thread2\n");
    pthread_mutex_lock(&lock);
    printf("thread2 hey hey\n");
}

int main(){
    pthread_mutexattr_t lock_attr;
    int error;
//    error = pthread_mutexattr_settype(&lock_attr, PTHREAD_MUTEX_RECURSIVE);
    error = pthread_mutexattr_settype(&lock_attr, PTHREAD_MUTEX_DEFAULT);
    if(error){
        perror(NULL);
    }

    pthread_mutex_init(&lock, &lock_attr);

    pthread_t t1, t2;

    pthread_create(&t1, NULL, func1, NULL);
    sleep(2);
    pthread_create(&t2, NULL, func2, NULL);

    pthread_join(t2, NULL);

}

산출:

thread1
func3
thread2

교착 상태 thread t1에 func3.
( sleep(2)교착 상태가 처음에 다시 잠김으로 인해 발생했음을 쉽게 알 수 있도록 사용 합니다. func3)

4. 재귀 뮤텍스, 동일한 스레드에서 재 잠금

다시, 재귀 뮤텍스 줄의 주석 처리를 제거하고 다른 줄은 주석 처리하십시오.

산출:

thread1
func3
func3 hey hey
thread1 hey hey
thread2

교착 상태 thread t2에 func2. 보다? func3완료 및 종료, 재 잠금은 스레드를 차단하거나 교착 상태로 이어지지 않습니다.

---

그래서, 마지막 질문, 왜 우리가 그것을 필요로합니까?

재귀 함수 (다중 스레드 프로그램에서 호출되며 일부 리소스 / 데이터를 보호하려는 경우)

예 : 다중 스레드 프로그램이 있고 스레드 A에서 재귀 함수를 호출합니다. 해당 재귀 함수에서 보호하려는 데이터가 있으므로 뮤텍스 메커니즘을 사용합니다. 해당 함수의 실행은 스레드 A에서 순차적이므로 재귀에서 뮤텍스를 확실히 다시 잠글 것입니다. 정상적인 뮤텍스를 사용하면 교착 상태가 발생합니다. 그리고 부활 뮤텍스 해결하기 위해 가 발명되었습니다.

허용 된 답변의 예를 참조하십시오.
When to use recursive mutex? .

Wikipedia는 재귀 뮤텍스를 매우 잘 설명합니다. 읽을만한 가치가 있습니다. Wikipedia : Reentrant_mutex