1、可重入函数的概念 可重入函数的概念 主要用于多任务环境中,一个可重入的函数简单来说就是可以被中断的函数,也就是说,可以在这个函数执行的任何时刻中断它,转入OS调度下去执行另外一段代码,而返回控制时不会出现什么错误;而不可重入的函数由于使用了一些系统资源,比如全局变量区,中断向量表等,所以它如果被中断的话,可能会出现问题,这类函数是不能运行在多任务环境下的。 也可以这样理解,重入即表示重复进入,首先它意味着这个函数可以被中断,其次意味着它除了使用自己栈上的变量以外不依赖于任何环境(包括static),这样的函数就是purecode(纯代码)可重入,可以允许有该函数的多个副本在运行,由于它们使用的
2、是分离的栈,所以不会互相干扰。如果确实需要访问全局变量(包括static),一定要注意实施互斥手段。可重入函数在并行运行环境中非常重要,但是一般要为访问全局变量付出一些性能代价。 编写可重入函数时,若使用全局变量,则应通过关中断、信号量(即P、V操作)等手段对其加以保护。 说明:若对所使用的全局变量不加以保护,则此函数就不具有可重入性,即当多个进程调用此函数时,很有可能使有关全局变量变为不可知状态。 示例:假设Exam是int型全局变量,函数Squre_Exam返回Exam平方值。那么如下函数不具有可重入性。 unsigned int example( int para ) unsigned
3、int temp; Exam = para; / (*) temp = Square_Exam( ); return temp; 此函数若被多个进程调用的话,其结果可能是未知的,因为当(*)语句刚执行完后,另外一个使用本函数的进程可能正好被激活,那么当新激活的进程执行到此函数时,将使Exam赋与另一个不同的para值,所以当控制重新回到“temp = Square_Exam( )”后,计算出的temp很可能不是预想中的结果。此函数应如下改进。 unsigned int example( int para ) unsigned int temp; 申请信号量操作 /(1) Exam = para
4、; temp = Square_Exam( ); 释放信号量操作 return temp; (1)若申请不到“信号量”,说明另外的进程正处于给Exam赋值并计算其平方过程中(即正在使用此信号),本进程必须等待其释放信号后,才可继续执行。若申请到信号,则可继续执行,但其它进程必须等待本进程释放信号量后,才能再使用本信号。 保证函数的可重入性的方法: 在写函数时候尽量使用局部变量(例如寄存器、堆栈中的变量),对于要使用的全局变量要加以保护(如采取关中断、信号量等方法),这样构成的函数就一定是一个可重入的函数。 VxWorks中采取的可重入的技术有: * 动态堆栈变量(各子函数有自己独立的堆栈空间)
5、 * 受保护的全局变量和静态变量 * 任务变量二. 实时系统中的可重入函数 在实时系统的设计中,经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话,那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据,从而导致不可预料的后果。那么什么是可重入函数呢?所谓可重入函数是指一个可以被多个任务调用的过程,任务在调用时不必担心数据是否会出错。不可重入函数在实时系统设计中被视为不安全函数。满足下列条件的函数多数是不可重入的: 1) 函数体内使用了静态的数据结构; 2) 函数体内调用了malloc()或者free()函数; 3) 函数体内调用了标准I/O函数。 下面
6、举例加以说明。 A. 可重入函数 void strcpy(char *lpszDest, char *lpszSrc) while(*lpszDest+=*lpszSrc+); *dest=0; B. 不可重入函数1 charcTemp;/全局变量 void SwapChar1(char *lpcX, char *lpcY) cTemp=*lpcX; *lpcX=*lpcY; lpcY=cTemp;/访问了全局变量 C. 不可重入函数2 void SwapChar2(char *lpcX,char *lpcY) static char cTemp;/静态局部变量 cTemp=*lpcX; *l
7、pcX=*lpcY; lpcY=cTemp;/使用了静态局部变量 三. 办法 问题1,如何编写可重入的函数? 答:在函数体内不访问那些全局变量,不使用静态局部变量,坚持只使用局部变量,写出的函数就将是可重入的。如果必须访问全局变量,记住利用互斥信号量来保护全局变量。 问题2,如何将一个不可重入的函数改写成可重入的函数? 答:把一个不可重入函数变成可重入的唯一方法是用可重入规则来重写它。其实很简单,只要遵守了几条很容易理解的规则,那么写出来的函数就是可重入的。 1) 不要使用全局变量。因为别的代码很可能覆盖这些变量值。 2) 在和硬件发生交互的时候,切记执行类似disinterrupt()之类的
8、操作,就是关闭硬件中断。完成交互记得打开中断,在有些系列上,这叫做“进入/退出核心”。 3) 不能调用其它任何不可重入的函数。 4) 谨慎使用堆栈。最好先在使用前先OS_ENTER_KERNAL。 堆栈操作涉及内存分配,稍不留神就会造成益出导致覆盖其他任务的数据,所以,请谨慎使用堆栈!最好别用!很多黑客程序就利用了这一点以便系统执行非法代码从而轻松获得系统控制权。还有一些规则,总之,时刻记住一句话:保证中断是安全的!四. 实例 实例问题:曾经设计过如下一个函数,在代码检视的时候被提醒有bug,因为这个函数是不可重入的,为什么? unsigned int sum_int( unsigned in
9、t base ) unsigned int index; static unsigned int sum = 0; / 注意,是static类型 for (index = 1; index = base; index+) sum += index; return sum; 分析:所谓的函数是可重入的(也可以说是可预测的),即只要输入数据相同就应产生相同的输出。这个函数之所以是不可预测的,就是因为函数中使用了static变量,因为static变量的特征,这样的函数被称为:带“内部存储器”功能的的函数。因此如果需要一个可重入的函数,一定要避免函数中使用static变量,这种函数中的static变量
10、,使用原则是,能不用尽量不用。 将上面的函数修改为可重入的函数,只要将声明sum变量中的static关键字去掉,变量sum即变为一个auto类型的变量,函数即变为一个可重入的函数。 当然,有些时候,在函数中是必须要使用static变量的,比如当某函数的返回值为指针类型时,则必须是static的局部变量的地址作为返回值,若为auto类型,则返回为错指针。 可重入函数和不可重入函数以及区别在 实时系统的设计中,经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话,那么不同任务调用这个函数时可能修改其他任 务调用这个函数的数据,从而导致不可预料的后果。那么什么是可重入
11、性,可重入函数呢?什么是可重入性? 可重入(reentrant)函数可以由多于一个任务并发使用,而不必担心数据错误。相反, 不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键部分禁用中断)。可重入 函数可以在任意时刻被中断,稍后再继续运行,不会丢失数据。可重入函数要么使用本地变量,要么在使用全局变量时保护自己的数据。 可重入函数: (1)不为连续的调用持有静态数据。 (2)不返回指向静态数据的指针;所有数据都由函数的调用者提供。 (3)使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据。 (4)如果必须访问全局变量
12、,记住利用互斥信号量来保护全局变量。 (5)绝不调用任何不可重入函数。 不可重入函数: (1)函数中使用了静态变量,无论是全局静态变量还是局部静态变量。 (2)函数返回静态变量。 (3)函数中调用了不可重入函数。 (4)函数体内使用了静态的数据结构; (5)函数体内调用了malloc()或者free()函数; (6)函数体内调用了其他标准I/O函数。 (7)函数是singleton中的成员函数而且使用了不使用线程独立存储的成员变量 。 总的来说,如果一个函数在重入条件下使用了未受保护的共享的资源,那么它是不可重入的。示例 在多线程条件下,函数应当是线程安全的,进一步,更强的条件是可重入的。可重
13、入函数保证了在多线程条件下,函数的状态不会出现错误。以下分别是一个不可重入和可重入函数的示例: /c code static int tmp; void func1(int* x, int* y) tmp=*x; *x=*y; *y=tmp; void func2(int* x, int* y) int tmp; tmp=*x; *x=*y; *y=tmp; func1是不可重入的,func2是可重入的。因为在多线程条件下,操作系统会在func1还没有执行完的情况下,切换到另一个线程中,那个线程可能再次调用func1,这样状态就错了。 函数编写规范 1 :对所调用函数的错误返回码要仔细、全面地
14、处理 2 :明确函数功能,精确(而不是近似)地实现函数设计 3 :编写可重入函数时,应注意局部变量的使用(如编写C/C+ 语言的可重入函数时,应使用auto 即缺省态局部变量或寄存器变量) 说明:编写C/C+语言的可重入函数时,不应使用static局部变量,否则必须经过特殊处理,才能使函数具有可重入性。 4 :编写可重入函数时,若使用全局变量,则应通过关中断、信号量(即P 、V 操作)等手段对其加以保护 说明:若对所使用的全局变量不加以保护,则此函数就不具有可重入性,即当多个进程调用此函数时,很有可能使有关全局变量变为不可知状态。 示例:假设Exam是int型全局变量,函数Squre_Exam
15、返回Exam平方值。那么如下函数不具有可重入性。 unsigned int example( int para ) unsigned int temp; Exam = para; / (*) temp = Square_Exam( ); return temp; 此函数若被多个进程调用的话,其结果可能是未知的,因为当(*)语句刚执行完后,另外一个使用本函数的进程可能正好被激活,那么当新激活 的进程执行到此 函数时,将使Exam赋与另一个不同的para值,所以当控制重新回到“temp = Square_Exam( )”后,计算出的temp很可能不是预想中的结果。此函数应如下改进。 unsigne
16、d int example( int para ) unsigned int temp; 申请信号量操作 / 若申请不到“信号量”,说明另外的进程正处于 Exam = para; / 给Exam赋值并计算其平方过程中(即正在使用此 temp = Square_Exam( ); / 信号),本进程必须等待其释放信号后,才可继 释放信号量操作 / 续执行。若申请到信号,则可继续执行,但其 / 它进程必须等待本进程释放信号量后,才能再使 / 用本信号。 return temp; 5 :在同一项目组应明确规定对接口函数参数的合法性检查应由函数的调用者负责还是由接口函数本身负责,缺省是由函数调用者负责
17、说明:对于模块间接口函数的参数的合法性检查这一问题,往往有两个极端现象,即:要么是调用者和被调用者对 参数均不作合法性检查,结果就遗漏了合法性检查 这一必要的处理过程,造成问题隐患;要么就是调用者和被调用者均对参数进行合法性检查,这种情况虽不会造成问题,但产生了冗余代码,降低了效率。 6 :防止将函数的参数作为工作变量 说明:将函数的参数作为工作变量,有可能错误地改变参数内容,所以很危险。对必须改变的参数,最好先用局部变量代之,最后再将该局部变量的内容赋给该参数。 示例:如下函数的实现就不太好。 void sum_data( unsigned int num, int *data, int *
18、sum ) unsigned int count; *sum = 0; for (count = 0; count num; count+) *sum += datacount; / sum成了工作变量,不太好。 若改为如下,则更好些。 void sum_data( unsigned int num, int *data, int *sum ) unsigned int count ; int sum_temp; sum_temp = 0; for (count = 0; count b ) ? a : b ; 改为如下就很清晰了。 int max (int a, int b) return
19、(a b) ? a : b); value = max (a, b); 或改为如下。 #define MAX (a, b) (a) (b) ? (a) : (b) value = MAX (a, b); 10:不要设计多用途面面俱到的函数 说明:多功能集于一身的函数,很可能使函数的理解、测试、维护等变得困难。 11:函数的功能应该是可以预测的,也就是只要输入数据相同就应产生同样的输出 说明:带有内部“存储器”的函数的功能可能是不可预测的,因为它的输出可能取决于内部存储器(如某标记)的 状态。这样的函数既不易于理解又不利于测试和维 护。在C/C+语言中,函数的static局部变量是函数的内部存储
20、器,有可能使函数的功能不可预测,然而,当某函数的返回值为指针类型时,则必须是 STATIC的局部变量的地址作为返回值,若为AUTO类,则返回为错针。 示例:如下函数,其返回值(即功能)是不可预测的。 unsigned int integer_sum( unsigned int base ) unsigned int index; static unsigned int sum = 0; / 注意,是static类型的。 / 若改为auto类型,则函数即变为可预测。 for (index = 1; index B-C-A),影响程序的可理解性;递归调用一般都占用较多的系统资源(如栈空 间);递归调用对程序的测试有一定影响。故除非为某些算法或功能的实现方便,应减少没必要的递归调用。 30 :仔细分析模块的功能及性能需求,并进一步细分,同
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1