首页 > 代码库 > 可重入与线程安全

可重入与线程安全

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

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

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

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

  例1:

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

  例2:  

  pthread_mutex_lock(&gLock);

  ........

  pthread_mutex_unlock(&gLock);

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

 

可重入与线程安全