3

我目前正在检查我的一些代码是否存在内存泄漏，这种可能性让我很震惊。基本上我正在做的伪代码如下，

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()会继续执行。当它到达临界区代码时，临界区是无效的，所以我就退出了。这就是我在线程内检查取消事件的方式（因为我的应用程序中没有其他任何东西可以在执行期间调用 DLL 的清理thread_func()）。

当我发现关键部分无效时，我无法释放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()很快回来吗？此外，没有任何清理发生在thread_func()if threadTerminatedis 中TRUE。

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

请注意，我现在threadTerminated只检查一个点。稍后我将在其他重要点检查它。我这样做只是为了看看我是否明白发生了什么。

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

4

2 回答 2

4

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

无论如何，我会通过以下方式更改代码：

  1. 定义一个标志，指示线程是否应该终止：bool terminated;
  2. 当进程即将终止时，设置terminated为true，并等待线程终止。
  3. 在线程函数中，检查terminated重要点（例如，在每个循环的条件检查中）。如果terminated是true，则停止线程所做的一切（例如，停止循环），释放资源（例如，线程分配的空闲内存），然后返回。
  4. 在线程终止后（即线程函数返回后），进程可以释放所有剩余资源（例如，进程分配的空闲内存、删除临界区等）并退出。

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

于 2013-02-13T14:50:56.370 回答
1
  • 您的线程可能应该具有某种形式的循环才有意义。
  • 使用线程时，您需要发明一些方法以安全、可预测的方式优雅地终止它们。
  • 关键部分是钝的，用线程可以等待的互斥对象替换它们。

设计它的正确方法是这样的：

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

编辑 ：

请记住，创建和删除线程会产生大量开销代码，并且可能会减慢程序的速度。除非它们是工作线程，与开销相比，工作量很大，否则请考虑在程序的整个生命周期内保持线程处于活动状态但处于休眠状态。

于 2013-02-13T15:21:46.153 回答