若一个程序或子程序可以安全的被并行执行,则称其为可重入(reentrant或re-entrant)的;即当该子程序正在运行时,可以再次
进入并执行它。若一个函数是可重入的,则该函数:
不能含有静态(全局)非常量数据。
不能返回静态(全局)非常量数据的地址。
只能处理由调用者提供的数据。
不能依赖于单实例模式资源的锁。
不能调用不可重入的函数。
多'用户/对象/进程优先级'以及多进程一般会使得对可重入代码的控制变得复杂。同时,I/O代码通常不是可重入的,因为他们依赖于
像磁盘这样共享的、单独的资源。
可重入性是函数编程语言的关键特性之一。
在以下的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;
}
与线程安全的关系
可重入与线程安全两个概念都关系到函数处理资源的方式。但是,他们有一定的区别。可重入概念会影响函数的外部接口,
而线程安全只关心函数的实现。
大多数情况下,要将不可重入函数改为可重入的,需要修改函数接口,使得所有的数据都通过函数的调用者提供。
要将非线程安全的函数改为线程安全的,则只需要修改函数的实现部分。一般通过加入同步机制以保护共享的资源,使之不会被
几个进程同时访问。
因此,相对线程安全来说,可重入性是更基本的特性,它可以保证线程安全:即所有的可重入函数都是线程安全的,但并非所有的
线程安全函数都是可重入的。
什么是可重入
最新推荐文章于 2022-02-07 10:05:52 发布