스레드는 메모리를 할당하고 주 프로세스는 죽습니다. 어떻게됩니까?

Question

현재 메모리 누수에 대한 코드를 확인 중입니다.이 가능성이 저를 강타했습니다. 기본적으로 내가하고있는 의사 코드는 다음과 같습니다.

void thread_func() 
{ 
    char *fileName = malloc(someSize); 
    /* Do something with fileName and other things */ 
    /* Enter a critical section */ 
    modify some global variables 
    /*Exit critical section */ 
    free(fileName); 
    return; 
} 

이 함수는 DLL 내부에 있습니다. 중요한 섹션과 다른 것들도 같은 DLL 안에있는 함수에 의해 초기화됩니다.

내 주요 프로세스 (GUI)에는 취소 버튼이 있습니다. 사용자가 해당 버튼을 클릭하면 필자는 중요한 부분을 파괴하는 DLL 정리 기능을 호출합니다.

사용자가 thread_func()을 실행하는 동안 취소를 클릭하면 thread_func()이 계속 실행됩니다. 임계 구역 코드에 도달하면 임계 구역은 유효하지 않으므로 여기서 나가고 있습니다. 이것은 스레드 내에서 취소 이벤트를 확인하는 방법입니다 (내 응용 프로그램의 아무 것도 thread_func() 실행 중 DLL의 정리를 호출 할 수 없기 때문에).

임계 섹션이 유효하지 않은 경우 fileName을 thread_func()에 놓을 수 없습니다. 메인 프로세스가 종료 된 이후 thread_func()은 fileName에 대한 액세스 권한을 상실했기 때문에 내 생각 인 것 같습니다. 내 추측이 맞습니까? 내 주요 질문은,이 경우에 fileName을 해제하지 않으면 메모리 누수 위험이 있습니까?

관련 정보를 꽤 많이 검색했지만 지금까지 아무 것도 찾지 못했습니다. 나는 누군가가 올바른 방향으로 나를 가르키고/나의 질문에 대답 할 수 있다면 매우 행복 할 것이다.

감사합니다.

편집 : 나는 KOL의 제안에 따라 일부 예비 시험을하기로 결정

(아래 답변을 참조). 나는 단지 이해할 수없는 이상한 것을 발견했다. 이제 다음과 같이 내 코드는 다음과 같습니다

void thread_func() 
{ 
    char *fileName = malloc(someSize); 
    /* Do something with fileName and other things */ 

    if(threadTerminated) 
    { 
     /* Cleanup */ 
     return; 
    } 

    /* Enter a critical section */ 
    modify some global variables 
    /*Exit critical section */ 
    free(fileName); 
    return; 
} 

을 그리고 내 GUI에서, 내의 OnCancel 이벤트 핸들러는 같은 것입니다 :

void OnCancel() 
{ 
    threadTerminated = TRUE; 
    WaitForMultipleObjects(noOfRunningThreads, threadHandles, TRUE, INFINITE); 

    /* Other cleanup code */ 
} 

나는 WaitForMultipleObjects() 중단 무기한 내 GUI가 응답 것으로 나타났습니다합니다. WaitForMultipleObjects() 빨리 돌아 가야하지 않습니까? 또한 에서 threadTerminated이 TRUE 인 경우 클린업이 발생하지 않습니다.

가장 이상한 부분은 IMO입니다. WaitForMultipleObjects()을 제거하면 제 코드가 제대로 작동합니다! 청소는 thread_func() 안에 포함하여 모든 청소가 이루어집니다. 누군가가 나를 이해하도록 도와 줄 수 있습니까?

지금 당장은 threadTerminated을 확인하고 있습니다. 나는 나중에 다른 중요한 요점에서 그것을 점검 할 것이다. 무슨 일이 일어나는지 이해했는지 확인하기 위해이 작업을하고 있습니다.

다시 한번 감사드립니다! 귀하의 답변은 매우 유용합니다.

Answer 1

프로세스가 종료되면 OS는 할당 된 모든 메모리를 비울 것이므로 에 할당 된 free을 호출해도 아무런 문제가 발생하지 않습니다.

1. 스레드가 종료할지 여부를 나타내는 플래그를 정의합니다 :

   어쨌든, 나는 코드를 다음과 같이 변경됩니다 프로세스를 종료하려고 할 때 bool terminated;이 true에 terminated을 설정

2. 을하고, wait for the thread to terminate.
3. 스레드 기능에서 중요 지점 (예 : 모든 루프의 상태 확인)에서 terminated을 확인하십시오. terminated이 true이면 스레드가 수행 한 모든 작업 (예 : 루프 중지)을 중지하고 리소스 (예 : 스레드에서 할당 한 여유 메모리)를 해제 한 다음 반환하십시오.
4. 스레드가 종료 된 후 (즉, 스레드 함수가 반환 된 후) 프로세스는 남아있는 모든 리소스 (예 : 프로세스에서 할당 한 여유 메모리, 중요한 섹션 삭제 등)를 해제하고 종료 할 수 있습니다.

이렇게하면 스레드가 종료되기 전에 중요한 섹션을 삭제하지 않고 할당 된 모든 리소스를 확보 할 수 있습니다.

Answer 2

• 스레드는 의미있는 루프 형태 여야합니다.
• 스레드를 사용하여 작업 할 때 안전하고 예측 가능한 방식으로 스레드를 정상적으로 종료 할 수있는 방법을 고안해야합니다.
• 중요 섹션은 무딘 경우 스레드가 WaitFor 할 수있는 뮤텍스 개체로 대체하십시오.

는이 같은 것 디자인하는 적절한 방법 :

HANDLE h_event_killthread = CreateEvent(...); 
HANDLE h_mutex = CreateMutex(...); 

... 

void thread_func() 
{ 
    const HANDLE h_array [] = 
    { 
    h_event_killthread, 
    h_mutex 
    }; 

    ... // malloc etc 

    bool time_to_die = false; 

    while(!time_to_die) 
    { 
    DWORD wait_result; 
    wait_result = WaitForMultipleObjects(2,   // wait for 2 handles 
             h_array, // in this array 
             FALSE,  // wait for any handle 
             INFINITE); // wait forever 

    if(wait_result == WAIT_OBJECT_0) // h_event_killthread 
    { 
     time_to_die = true; 
    } 
    else if(wait_result == (WAIT_OBJECT_0+1)) //h_mutex 
    { 
     // we have the mutex 
     // modify globals here 
     ReleaseMutex(h_mutex); 

     // do any other work that needs to be done, if meaningful 
    } 
    } 

    cleanup(); 
} 


// and then in the GUI: 

void cancel_button() 
{ 
    ... 
    SetEvent(h_event_killthread); 
    WaitForSingleObject(the_thread, INFINITE); 
    ... 
} 

편집 :

만들고 스레드를 삭제하면 오버 헤드가 많은 코드를 작성하고 수 있음을 염두에두고하세요 프로그램 속도를 늦추십시오. 오버 헤드에 비해 작업량이 중요한 작업자 스레드가 아니라면 프로그램의 전체 수명 동안 스레드를 활성 상태로 유지하면서 잠들게하는 것을 고려하십시오.