什么是可重入函数?
在 实时系统的设计中,经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话,那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据,从而导致不可预料的后果。
可重入性是指一个可以被多个任务调用的过程,任务在调用时不必担心数据是否会出错。
一般理解是一个函数在同时多次调用,在输入一定的情况下,输出结果必然固定, 不受任何其他情况的影响。简单来说,就是函数传入的参数,在使用过程中一定是不可更改的。
比如
int n = 0;//全局变量
int fun(int x)
{
n += x;
return n;
}
int main()
{
std::cout << fun(100) << endl; // 200
std::cout << fun(100) << endl; // 300
return 0;
}
这就是不可重入函数,因为它使用了全局非(const)变量,这是可更改的。 这里只是最简单的举例
性质
在使用的参数方面:
不使用任何(局部)静态或全局的非const变量。
不返回任何(局部)静态或全局的非const变量的指针。
仅依赖与调用方提供的参数。
不依赖任何单个资源的锁(mutex等)。
不调用任何不可重入的函数。
在执行层面
可重入的函数必须满足以下三个条件:
(1)可以在执行的过程中可以被打断;
(2)被打断之后,在该函数一次调用执行完之前,可以再次被调用(或进入,reentered)。
(3)再次调用执行完之后,被打断的上次调用可以继续恢复执行,并正确执行。
(4)不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键部分禁用中断)。