线程安全和可重入的区别

何谓线程安全

如果一项操作可以安全地被多个线程执行(甚至是多个线程同时执行这项操作)，则我们称这项操作为线程安全的。

何谓可重入

如果当某项操作正在另一个上下文中执行的时候，在当前上下文中可以再次执行，则我们称这项操作是可重入的。相较于线程安全，可重入这一概念会更加”强”一些，因为在可重入的概念下，相同的操作甚至可以从相同的线程中再次执行。

我们看看下面的代码：

 

代码解析

上述代码是线程安全的，因为在代码中使用到了临界区来保护共享代码段，这样就避免了两个线程同时对字符串进行修改操作。但是，它不是可重入的。为什么？请继续看。

当字符串结构处于修改状态时，它本身是不稳定的，此时内部会发生对AddToString的调用。
当调用发生的时候，执行流会再次进入AddToString函数的起始代码，但是这一次尝试重新分配内存会使用一个已经不再有效的指针。为什么这个指针不再有效了？因为当调用者执行realloc时它会被设置为无效状态。

总结

我们再次回顾一下什么是可重入的代码：

可重入代码(Reentry code)也叫纯代码(Pure code)是一种允许多个进程同时访问的代码。为了使各进程所执行的代码完全相同，故不允许任何进程对其进行修改。程序在运行过程中可以被打断，并由开始处再次执行，并且在合理的范围内（多次重入，而不造成堆栈溢出等其他问题），程序可以在被打断处继续执行，且执行结果不受影响。

可重入最简单的理解就是任何变量都是局部变量。可重入指函数在运行过程中，被中断打断后，待返回时仍然能够正常运行。这就需要在编写代码时注意全局变量和公用资源的使用，同时还需要有编译器的支持。

所以：慎用全局变量，尽可能使用局部变量和函数参数。

最后

Raymond Chen的《The Old New Thing》是我非常喜欢的博客之一，里面有很多关于Windows的小知识，对于广大Windows平台开发者来说，确实十分有帮助。
本文来自：《The difference between thread-safety and re-entrancy》