可重入

若一个程序或子程序可以“安全的被并行执行(Parallel computing)”，则称其为可重入（reentrant或re-entrant）的。即当该子程序正在运行时，可以再次进入并执行它（并行执行时，个别的执行结果，都符合设计时的预期）。若一个函数是可重入的，则该函数：

• 不能含有静态（全局）非常量数据。
• 不能返回静态（全局）非常量数据的地址。
• 只能处理由调用者提供的数据。
• 不能依赖于单实例模式资源的锁。
• 不能调用(call)不可重入的函数(有呼叫(call)到的函数需满足前述条件)。

多“用户/对象/进程优先级”以及多进程，一般会使得对可重入代码的控制变得复杂。同时，IO代码通常不是可重入的，因为他们依赖于像磁盘这样共享的、单独的(类似编程中的静态(Static)、全域(Global))资源。

可重入性是函数编程语言的关键特性之一。

在以下的C语言代码中，函数f和函数g都不是可重入的。

int g_var = 1;int f(){  g_var = g_var + 2;  return g_var;}int g(){  return f() + 2;}

以上代码中，f使用了全局变量 g_var，所以，如果两个线程同时执行它并访问g_var，则返回的结果取决于执行的时间。因此，f不可重入。而g调用了f，所以它也不可重入。

稍作修改后，两个函数都是可重入的：

int f(int i){  return i + 2;}int g(int i){  return f(i) + 2;}

与线程安全的关系

可重入与线程安全两个概念都关系到函数处理资源的方式。但是，他们有一定的区别。可重入概念会影响函数的外部接口，而线程安全只关心函数的实现。

• 大多数情况下，要将不可重入函数改为可重入的，需要修改函数接口，使得所有的数据都通过函数的调用者提供。

• 要将非线程安全的函数改为线程安全的，则只需要修改函数的实现部分。一般通过加入同步机制以保护共享的资源，使之不会被几个线程同时访问。

因此，相对线程安全来说，可重入性是更基本的特性，它可以保证线程安全：即，所有的可重入函数都是线程安全的，但并非所有的线程安全函数都是可重入的。

 

转自：http://zh.wikipedia.org/wiki/%E5%8F%AF%E9%87%8D%E5%85%A5