可重入函数

可重入函数

 

 

在多线程条件下，函数应当是线程安全的，进一步，更强的条件是可重入的。

一个可重入函数保证了在多线程条件下，函数的状态不会出现错误。

eg. （in c）
static int tmp;

void swap1(int* x, int* y) {
    tmp=*x;
    *x=*y;
    *y=tmp;
}

void swap2(int* x, int* y) {
    int tmp1;
    tmp1=*x;
    *x=*y;
    *y=tmp1;
}


swap1是不可重入的，swap2是可重入的。因为在多线程条件下，操作系统会在swap1还没有执行完的情况下，切换到另一个线程中，那个线程可能再次调用swap1，这样状态就错了。
 
      一个函数如果满足以及下条件之一，那么它是不可重入的：

• 函数中使用了静态变量，无论是全局静态变量还是局部静态变量。
• 函数返回静态变量。
• 函数中调用了不可重入函数。
• 函数是singleton中的成员函数而且使用了不使用线程独立存储的成员变量

总的来说，如果一个函数在重入条件下使用了未受保护的共享的资源，那么它是不可重入的

什么是可重入性？
       可重入（reentrant）函数可以由多于一个任务并发使用，而不必担心数据错误。相反， 不可重入（non-reentrant）函数不能由超过一个任务所共享，除非能确保函数的互斥（或者使用信号量，或者在代码的关键部分禁用中断）。可重入函数可以在任意时刻被中断，稍后再继续运行，不会丢失数据。可重入函数要么使用本地变量，要么在使用全局变量时保护自己的数据。

可重入函数：

• 不为连续的调用持有静态数据。
• 不返回指向静态数据的指针；所有数据都由函数的调用者提供。
• 使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据。
• 绝不调用任何不可重入函数。