[置顶] 可重入代码

转自：http://hi.baidu.com/benzus/blog/item/6bfe300aca4e9036b0351d7a.html
若一个程序或子程序可以安全的被并行执行，则称其为可重入（reentrant或re-entrant）的；即，当该子程序正在运行时，可以再次进入并执行它。若一个函数是可重入的，则该函数：

• 不能含有静态（全局）非常量数据。
• 不能返回静态（全局）非常量数据的地址。
• 只能处理由调用者提供的数据。
• 不能依赖于单实例模式资源的锁。
• 不能调用不可重入的函数。

多'用户/对象/进程优先级'以及多进程一般会使得对可重入代码的控制变得复杂。同时，IO代码通常不是可重入的，因为他们依赖于像磁盘这样共享的、单独的资源。

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

例子

在以下的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;
}

与线程安全的关系

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

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

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

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