如何从循环外部杀死处于无限循环中的 pthread？

Question

我创建一个线程并将其放入无限循环中。使用 valgrind 检查代码时出现内存泄漏。这是我的代码：

#include <pthread.h>
#include <time.h>

void thread_do(void){
    while(1){}
}

int main(){
    pthread_t th;   
    pthread_create(&th, NULL, (void *)thread_do, NULL);

    sleep(2);
    /* I want to kill thread here */
    sleep(2);
    return 0;
}

因此，在 main 中创建了一个线程，并且始终运行 thread_do() 。有没有办法在 2 秒后从 main 内部杀死它？我已经尝试了 pthread_detach(th) 和 pthread_cancel(th) 但仍然出现泄漏。

Answer 1

正如 @sarnold 指出的那样，默认情况下，如果不调用任何作为取消点的函数，则无法使用 pthread_cancel() 取消线程...但这可以通过使用 pthread_setcanceltype() 来更改 将线程的取消类型设置为异步而不是延迟。为此，您需要在启动循环之前在线程函数的开头附近添加类似 pthread_setcanceltype(PTHREAD_CANCEL_ASYNCHRONOUS,NULL); 的内容。然后，您可以通过从 main() 调用 pthread_cancel(th) 来终止线程。

但请注意，以这种方式取消线程（无论是否异步）不会清除线程函数中分配的任何资源（如 Kevin 在评论中所述）。为了干净地做到这一点，您可以：

• 确保线程在退出之前不执行任何需要清理的操作（例如使用 malloc() 分配缓冲区）
• 确保您有某种方法线程退出后在其他地方进行清理
• 使用pthread_cleanup_push()和pthread_cleanup_pop()添加清理处理程序以在线程取消时清理资源。请注意，如果取消类型是异步的，这仍然存在风险，因为线程可能会在分配资源和添加清理处理程序之间被取消。
• 避免使用 pthread_cancel() 并让线程检查某些条件以确定何时终止（将在长时间运行的循环中检查）。由于您的线程随后会检查自身是否终止，因此它可以在检查后执行所需的任何清理操作。

实现最后一个选项的一种方法是使用互斥体作为标志，并使用包含在循环测试中使用的函数中的 pthread_mutex_trylock() 对其进行测试：

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

/* Returns 1 (true) if the mutex is unlocked, which is the
 * thread's signal to terminate. 
 */
int needQuit(pthread_mutex_t *mtx)
{
  switch(pthread_mutex_trylock(mtx)) {
    case 0: /* if we got the lock, unlock and return 1 (true) */
      pthread_mutex_unlock(mtx);
      return 1;
    case EBUSY: /* return 0 (false) if the mutex was locked */
      return 0;
  }
  return 1;
}

/* Thread function, containing a loop that's infinite except that it checks for
 * termination with needQuit() 
 */
void *thread_do(void *arg)
{
  pthread_mutex_t *mx = arg;
  while( !needQuit(mx) ) {}
  return NULL;
}

int main(int argc, char *argv[])
{
  pthread_t th;
  pthread_mutex_t mxq; /* mutex used as quit flag */

  /* init and lock the mutex before creating the thread.  As long as the
     mutex stays locked, the thread should keep running.  A pointer to the
     mutex is passed as the argument to the thread function. */
  pthread_mutex_init(&mxq,NULL);
  pthread_mutex_lock(&mxq);
  pthread_create(&th,NULL,thread_do,&mxq);

  sleep(2);

  /* unlock mxq to tell the thread to terminate, then join the thread */
  pthread_mutex_unlock(&mxq); 
  pthread_join(th,NULL);

  sleep(2);
  return 0;
}

如果线程未分离（通常默认情况下不是），您应该在停止线程后调用 pthread_join()。如果线程已分离，则不需要加入它，但您将不知道它何时终止（甚至不知道它何时终止，除非您添加另一种方式来指示其退出）。

Answer 2

一些小想法：

1. 您正在尝试取消线程，但如果取消策略是延迟取消，则您的 thread_do() 将永远不会被取消，因为它永远不会调用任何函数是取消点：

    A thread's cancellation type, determined by
    pthread_setcanceltype(3), may be either asynchronous or
    deferred (the default for new threads).  Asynchronous
    cancelability means that the thread can be canceled at any
    time (usually immediately, but the system does not guarantee
    this).  Deferred cancelability means that cancellation will
    be delayed until the thread next calls a function that is a
    cancellation point.  A list of functions that are or may be
    cancellation points is provided in pthreads(7).

2. 您没有在简单的示例代码中加入线程；在程序结束之前调用 pthread_join(3)：

    After a canceled thread has terminated, a join with that
    thread using pthread_join(3) obtains PTHREAD_CANCELED as the
    thread's exit status.  (Joining with a thread is the only way
    to know that cancellation has completed.)