可重入与线程安全

Posted 2020-08-16

　　看了好多文章，觉得这俩概念很容易混淆。在这里先总结一下自己的理解。

维基百科对可重入的定义是：  若一个程序或子程序可以“安全的被并行执行(Parallel computing)”，则称其为可重入（reentrant或re-entrant）的。

可重入的概念是在单线程操作系统的时代提出的。可重入会影响函数的外部接口，而线程安全只关心函数的实现。

可重入函数未必是线程安全的，线程安全的函数也未必是可重入的。例如：

　　例1：

　　一个函数打开某个文件并读入数据。这个函数是可重入的，因为它的多个实例同时执行不会造成冲突；但它不是线程安全的，因为在它读入文件时可能有别的线程正在修改该文件。

　　例2：　　

　　pthread_mutex_lock(&gLock);

　　........

　　pthread_mutex_unlock(&gLock);

　　对于上面这段代码，他是线程安全的，但他是不可重入的。是想一下下面的场景，线程1 运行到这段代码，执行完pthread_mutex_lock(&gLock);之后， 这时候还没有来得及释放锁，一个signal产生了，信号处理函数接替线程A获得CPU，恰巧信号处理函数中也调用了这段代码，那么就发生了重入，这时候由于线程1还在持有互斥锁，导致死锁。