Linux线程退出方式总结(推荐)_Linux

在编写多线程代码时，经常面临线程安全退出的问题。

一般情况下，选择检查标志位的方式：

在线程的while循环中，执行完例程后，都对标志位进行检查，如果标志位指示继续执行则再次执行例程，如果标志位设置为退出状态，则跳出循环，结束线程的运行。

这个标志位需要主线程（或其他线程）设置，设置后，主线程调用pthread_join接口进入休眠（接口参数指定了等待的线程控制指针），子线程退出后，主线程会接收到系统的信号，从休眠中恢复，这个时候就可以去做相关的资源清除动作。

这个方法可以保证子线程完全退出，主线程再去做相关的资源清除操作

时序图如下

Linux线程退出方式总结(推荐)

但是某些应用中，或许会发生下面情况：

子线程阻塞在某个操作无法被唤醒，即使主线程设置了标志位，由于子线程进入了休眠无法醒过来，也没有办法去检查标志位，这个时候调用pthread_join进入休眠的主线程等待不到子线程退出的信号，也会一直休眠，系统进入死锁。

为了更安全地使线程退出，主线程通过pthread_cancel函数来请求取消同一进程中的其他线程，再调用pthread_join等待指定线程退出。使用pthread_cancel接口，需要了解linux下线程的两个属性，可取消状态和可取消类型，以及取消点的概念。

可取消状态：包括pthread_cancel_enable和pthread_cancel_disable。当线程处于pthread_cancel_enable，收到cancel请求会使该线程退出运行；反之，若处于pthread_cancel_disable，收到的cancel请求将处于未决状态，线程不会退出。线程启动时的默认可取消状态为pthread_cancel_enable，可以通过接口pthread_setcancelstate改变可取消状态的属性。

可取消类型：包括pthread_cancel_deferred和pthread_cancel_asynchronous。当处于pthread_cancel_deferred，线程在收到cancel请求后，需要运行到取消点才能退出运行；如果处于pthread_cancel_asynchronous，可以在任意时间取消，只要收到cancel请求即可马上退出。线程启动时默认可取消类型为pthread_cancel_deferred，可通过pthread_setcanceltype修改可取消类型。

取消点：线程检查是否被取消并按照请求进行动作的一个位置。

采用pthread_cancel_deferred取消方式是因为线程可能在获取临界资源后（如获取锁），未释放资源前收到退出信号，如果使用pthread_cancel_ asynchronous的方式，无论线程运行到哪个位置，都会马上退出，而占有的资源却得不到释放。

采用pthread_cancel_deferred取消方式，线程需要运行到取消点才退出，而主线程在调用pthread_cancel后，不能马上进行线程资源释放，必须调用pthread_join进入休眠，直至等待指定线程退出。

使用pthread_cancel_deferred方式并不能完全避免这个问题，因为无法保证在获取临界资源后（比如lock操作）不会进行可以作为取消点的操作（如进行sleep），此时主线程如果对该线程发送cancel信号，线程将会在不释放锁的情况下直接结束运行，即还是会出现在释放资源前线程就退出的问题。

为了避免上述情况，不仅需要设置可取消类型，还需要设置可取消状态。将获取临界资源-释放临界资源之间的代码块都设置成pthread_cancel_disable状态，其余的代码块都设置成pthread_cancel_enable状态，确保线程在安全的地方退出。如果在可以安全退出的代码块不存在取消点系统调用，可以调用pthread_testcancel函数自己添加取消点。

伪代码描述如下：

				?

									void* subthread(void*)

									{

									  pthread_setcancelstate(pthread_cancel_enable,&oldcanclestate);

									  …;//不存在获取临界资源操作，可以安全退出的代码块

									  pthread_testcancel();//如果可以安全退出的代码块不存在取消点操作，可以自己添加pthread_testcancel调用，线程执行到这个调用就会退出

									  /*还有一种方法，在可以安全退出的代码块，我们将线程的可取消类型设置成pthread_cancel_ asynchronous，这样即使没有取消点也可以马上退出*/

									  pthread_setcancelstate(pthread_cancel_disable,&oldcanclestate);

									  /*存在获取-释放临界资源操作，如果在lock和unlock之间的运行收到cancel信号，且可取消状态为enable，则锁永远无法被释放*/

									  lock();

									  …;

									  unlock();

									}

									void* mainthread(void*)

									{

									  pthread_cancel(subthread);//给subthread发送退出信号

									  pthread_join(subthread,null);//进入休眠，直到subthread退出成功

									}