1.什么是可重入性?可重入(reentrant)函数可以由多于一个任务并发使用,而不必担心数据错误。相反, 不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键部分禁用中断)。
下面示例一个为可重入,一个为不可重入:
#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
int g_value = 0;
int add(int x, int y)
{
return x + y;
}
int add_sum(int x, int y)
{
g_value = x + y + g_value;
return g_value;
}
void* thread1(void* param)
{
int value1 = 10, value2 =20;
for(int i = 0; i< 10; i++)
{
int result = add(value1, value2);
printf("thread1 result:%d\n", result);
}
}
void* thread2(void* param)
{
int value1 = 30,value2 =50;
for(int i = 0; i< 10; i++)
{
int result = add(value1, value2);
printf("thread2 result:%d\n", result);
}
}
int main(void)
{
pthread_t ptid1,ptid2;
pthread_create(&ptid1,NULL,thread1,NULL);
pthread_create(&ptid1,NULL,thread2,NULL);
pthread_join(ptid1,NULL);
pthread_join(ptid2,NULL);
return 0;
}
当thread1/2中执行的函数是add时,无论执行多少次,结果都相同:
当函数改为add_sum后
void* thread1(void* param)
{
int value1 = 10, value2 =20;
for(int i = 0; i< 10; i++)
{
int result = add_sum(value1, value2);
printf("thread1 result:%d\n", result);
}
}
void* thread2(void* param)
{
int value1 = 30,value2 =50;
for(int i = 0; i< 10; i++)
{
int result = add_sum(value1, value2);
printf("thread2 result:%d\n", result);
}
}
多次执行,结果不确定,依赖与线程当地的调度状态:
2.可重入的函数必须满足以下三个条件:
(1)可以在执行的过程中可以被打断;
(2)被打断之后,在该函数一次调用执行完之前,可以再次被调用(或进入,reentered)。
(3)再次调用执行完之后,被打断的上次调用可以继续恢复执行,并正确执行。
3.预防不可重入的几个原则
原则总结如下:
(1)不要使用static变量和全局变量,坚持只用局部变量;
(2)若必须访问全局变量,利用互斥信号量来保护全局变量;
(3)获取得知哪些系统调用是可重入的,在多任务处理程序中都使用安全的系统调用;
(4)不调用其它任何不可重入的函数;
(5)谨慎使用堆栈malloc/new。