15、线程取消机制的深入解析与应用

线程取消机制的深入解析与应用

1. 线程取消基础

线程取消是多线程编程中一个重要的概念，它允许我们在需要时终止某个线程的执行。在某些情况下，我们可能希望某些代码段能够不受干扰地完成，这时可以通过调用pthread_setcancelstate函数来禁用线程取消。例如，在数据库更新操作中，如果一个操作需要两次独立的写入调用，我们不希望第一次写入完成后，第二次写入被取消。

当取消被禁用时，如果请求取消线程，线程会记住这个取消请求，但直到取消再次启用之前，不会做任何处理。由于启用取消不是一个取消点，如果希望立即处理取消请求，还需要测试是否有未决的取消请求。

当线程持有私有资源（如锁定的互斥量或其他线程不会释放的堆存储）时，如果线程被取消，这些资源需要被释放。如果线程锁定了互斥量，可能还需要“修复”共享数据以恢复程序的不变性。清理处理程序提供了完成清理的机制，有点类似于进程的atexit处理程序。在获取资源后、任何取消点之前，通过调用pthread_cleanup_push声明一个清理处理程序；在释放资源之前、任何取消点之后，通过调用pthread_cleanup_pop删除清理处理程序。

需要注意的是，如果没有线程的标识符，就无法取消该线程。这意味着，至少使用可移植的 POSIX 函数时，无法编写一个“空闲线程杀手”来任意终止进程中的线程。只能取消自己创建的线程，或者创建者（或线程本身）提供了标识符的线程。通常，取消操作仅限于在子系统内进行。

2. 延迟取消机制

“延迟取消”意味着线程的可