线程分配内存，主进程死亡，会发生什么？

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，我是否会冒内存泄漏的风险？

我已经搜索了很多相关信息，到目前为止还没有找到任何东西。如果有人能指出我正确的方向/回答我的问题，我会非常高兴。

谢谢！

编辑：

，我决定做根据科尔的建议的一些初步测试（见下面的回答）。我注意到了一些我无法理解的奇怪东西。现在，我的代码如下：

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()无限期挂起我的图形用户界面变得无法响应。 WaitForMultipleObjects()不应该快速返回？另外，如果threadTerminated是TRUE，则在thread_func()中没有发生清理。

这是IMO最奇怪的部分。当我删除WaitForMultipleObjects()时，我的代码工作得很好！所有的清理工作都会发生，包括thread_func()内的清理。有人能帮我理解吗？

请注意，我现在只在一个点上检查threadTerminated。稍后我会在其他重要的部分检查它。我只是为了看看我是否了解发生了什么。

再次感谢！你的回答非常有帮助。

Answer 1

当进程终止时，操作系统将释放所有已分配的内存，因此不会在分配的fileName上调用free不会导致任何问题。

无论如何，我会改变代码的方式如下：

1. 定义指示线程是否应该终止的标志：bool terminated;
2. 当进程即将结束，设置terminated到true，和wait for the thread to terminate。
3. 在线程函数中，请检查terminated的重要位置（例如，在每个循环的条件检查中）。如果terminated是true，则停止线程完成的所有操作（例如，停止循环），释放资源（例如线程分配的空闲内存）并返回。
4. 线程终止后（即线程函数返回后），进程可以释放每个剩余的资源（例如，进程分配的空闲内存，删除关键部分等）并退出。

这样可以避免在线程终止前删除关键部分，并且您可以释放每个分配的资源。

Answer 2

• 你的线程可能应该有某种形式的循环才有意义。
• 使用线程时，您需要发明一些方法以安全，可预测的方式正常终止它们。
• 关键部分是钝的，用线程可以等待的互斥对象替换它们。

设计，这将是这样的正确的方法：

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); 
    ... 
} 

编辑：

请有记住，创建和删除线程创造了很多的开销代码和可能减慢程序。除非它们是工作线程，工作量相对于开销而言是重要的，否则应考虑在线程整个生命周期中保持线程活着但睡着。