可重入函数与不可重入函数

主要用于多任务环境中,一个可重入的函数简单来说就是可以被中断的函数,也就是说,可以在这个函数执行的任何时刻中断它,转入OS调度下去执行另外一段代码,而返回控制时不会出现什么错误;而不可重入的函数由于使用了一些系统资源,比如全局变量区,中断向量表等,所以它如果被中断的话,可能会出现问题,这类函数是不能运行在多任务环境下的。

也可以这样理解,重入即表示重复进入,首先它意味着这个函数可以被中断,其次意味着它除了使用自己栈上的变量以外不依赖于任何环境(包括static),这样的函数就是purecode(纯代码)可重入,可以允许有该函数的多个副本在运行,由于它们使用的是分离的栈,所以不会互相干扰。如果确实需要访问全局变量(包括static),一定要注意实施互斥手段。可重入函数在并行运行环境中非常重要,但是一般要为访问全局变量付出一些性能代价。

编写可重入函数时,若使用全局变量,则应通过关中断、信号量(即P、V操作)等手段对其加以保护。

 说明:若对所使用的全局变量不加以保护,则此函数就不具有可重入性,即当多个进程调用此函数时,很有可能使有关全局变量变为不可知状态。

 

示例:假设Exam是int型全局变量,函数Squre_Exam返回Exam平方值。那么如下函数不具有可重入性。

 

unsigned int example( int para ) 

{

    unsigned 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;
        temp = Square_Exam( );
        [释放信号量操作]
        return temp;
    }

    (1)若申请不到“信号量”,说明另外的进程正处于给Exam赋值并计算其平方过程中(即正在使用此信号),本进程必须等待其释放信号后,才可继续执行。若申请到信号,则可继续执行,但其它进程必须等待本进程释放信号量后,才能再使用本信号。

    保证函数的可重入性的方法:
    在写函数时候尽量使用局部变量(例如寄存器、堆栈中的变量),对于要使用的全局变量要加以保护(如采取关中断、信号量等方法),这样构成的函数就一定是一个可重入的函数。
    VxWorks中采取的可重入的技术有:
    * 动态堆栈变量(各子函数有自己独立的堆栈空间)
    * 受保护的全局变量和静态变量
    * 任务变量

--------------------------------------------------
    在实时系统的设计中,经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话,那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据,从而导致不可预料的后果。那么什么是可重入函数呢?所谓可重入函数是指一个可以被多个任务调用的过程,任务在调用时不必担心数据是否会出错。不可重入函数在实时系统设计中被视为不安全函数。满足下列条件的函数多数是不可重入的:
    1) 函数体内使用了静态的数据结构;
    2) 函数体内调用了malloc()或者free()函数;
    3) 函数体内调用了标准I/O函数。

    下面举例加以说明。
    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;
        *lpcX=*lpcY;
        lpcY=cTemp;//使用了静态局部变量
    }

    问题1,如何编写可重入的函数?
    答:在函数体内不访问那些全局变量,不使用静态局部变量,坚持只使用局部变量,写出的函数就将是可重入的。如果必须访问全局变量,记住利用互斥信号量来保护全局变量。

    问题2,如何将一个不可重入的函数改写成可重入的函数?
    答:把一个不可重入函数变成可重入的唯一方法是用可重入规则来重写它。其实很简单,只要遵守了几条很容易理解的规则,那么写出来的函数就是可重入的。
    1) 不要使用全局变量。因为别的代码很可能覆盖这些变量值。
    2) 在和硬件发生交互的时候,切记执行类似disinterrupt()之类的操作,就是关闭硬件中断。完成交互记得打开中断,在有些系列上,这叫做“进入/退出核心”。
    3) 不能调用其它任何不可重入的函数。
    4) 谨慎使用堆栈。最好先在使用前先OS_ENTER_KERNAL。

    堆栈操作涉及内存分配,稍不留神就会造成益出导致覆盖其他任务的数据,所以,请谨慎使用堆栈!最好别用!很多黑客程序就利用了这一点以便系统执行非法代码从而轻松获得系统控制权。还有一些规则,总之,时刻记住一句话:保证中断是安全的!

    实例问题:曾经设计过如下一个函数,在代码检视的时候被提醒有bug,因为这个函数是不可重入的,为什么?

    unsigned int sum_int( unsigned int base ) 

{
        unsigned int index;
        static unsigned int sum = 0; // 注意,是static类型
        for (index = 1; index <= base; index++)
            sum += index;
        return sum;
    }

    分析:所谓的函数是可重入的(也可以说是可预测的),即只要输入数据相同就应产生相同的输出。这个函数之所以是不可预测的,就是因为函数中使用了static变量,因为static变量的特征,这样的函数被称为:带“内部存储器”功能的的函数。因此如果需要一个可重入的函数,一定要避免函数中使用static变量,这种函数中的static变量,使用原则是,能不用尽量不用。
    将上面的函数修改为可重入的函数,只要将声明sum变量中的static关键字去掉,变量sum即变为一个auto类型的变量,函数即变为一个可重入的函数。
    当然,有些时候,在函数中是必须要使用static变量的,比如当某函数的返回值为指针类型时,则必须是static的局部变量的地址作为返回值,若为auto类型,则返回为错指针。

时间: 2024-10-24 19:03:36

可重入函数与不可重入函数的相关文章

简介Linux中的可重入函数和不可重入函数

可重入函数 可重入函数(即可以被中断的函数)可以被一个以上的任务调用,而不担心数据破坏.可重入函数在任何时候都可以被中断,而一段时间之后又可以恢复运行,而相应的数据不会破坏或者丢失. 可重入函数使用的变量有两种情况: 1.使用局部变量,变量保存在CPU寄存器中或者堆栈中: 2.使用全局变量,但是这时候要注意保护全局变量(防止任务中断后被其它任务改变变量). void strcpy(*dest,*src) { while(* dest++ = *src ++){;} *dest = NUL; }

求助高手DataGridView的问题 (操作无效,原因是它导致对 SetCurrentCellAddressCore 函数的可重入调用。)

问题描述 voidHandleReceive(inteventID,stringdate,stringtime,intdspID,stringmessage,Imagei1,Imagei2){while(alertTable.Rows.Count>=50)//DataGridView中的报警信息超过50条就删除第一条,不断地往上顶{alertTable.Rows[0].Delete();}DataRowdr=alertTable.NewRow();dr[0]=eventID.ToString()

Kindle正式入华:有望重燃数字阅读热情

因汉王电子书.Bambook等曾经火热的电子书市场,近几年逐渐回归平淡,但亚马逊Kindle的入华有望改变这一局面,国内这些曾经或正在电子书上的玩家,纠结的一边采取各种计划推新品与Kindle竞争,另一边又希望借助Kindle的品牌和影响力,重燃用户对数字阅读的热情. 姗姗来迟的Kindle 关于Kindle入华的传闻,就像"狼来了"一样这几年不断传起,在突破各种障碍后,Kindle终于进入中国:Wi-Fi版的Kindle Paperwhite电子阅读器售价849元.伴随Kindle而

c语言-C语言,如何在一个函数内部,获取这个函数入口点的地址?

问题描述 C语言,如何在一个函数内部,获取这个函数入口点的地址? 1C # Git@OSC 的 Android 和 iOS 客户端全面开源 include #include void show(void* p) { printf(""%pn""p); } int main() { show(&show); show(show); return 0; } Output: 1 2 0x8048480 0x8048480 解决方案 答案处处有.函数名称就是入口地址

请问 java 接口有什么好处?如果只是说在函数调用时,入参更方便的话,为什么不考虑用泛型?

问题描述 请问 java 接口有什么好处?如果只是说在函数调用时,入参更方便的话,为什么不考虑用泛型? 请问 java 接口有什么好处?如果只是说在函数调用时,入参更方便的话,为什么不考虑用泛型? 解决方案 记住一点,继承表示 是什么,接口表示 能做什么,就好像一个点击动作的接口,它跟被点击对象没有任何关系,所以只是实现做什么 解决方案二: 接口入参方便??我真没感觉出来. 接口具体作用对不同人来说都不同的. 如果你是一个码农: 可能好处就是说更换实现类更容易了吧. 例如你现在项目用的是mysq

多线程-队列:构造队列 完成入队列和出队列的函数

问题描述 队列:构造队列 完成入队列和出队列的函数 用C++实现 (队列支持多线程:一个线程做入队列操作而另一个做出队列操作,两队列同时进行) 队列中存放int数据 类名MyQueue ///把key追加到队列中 void MyQueue::Push(int key) ///从队列中获取一个值///成功返回true 失败false bool MyQueue::pop(int& key) ///获取当前队列大小(队列中包含有效数据个数)int MyQueue::GetSize() 求大神指导下这道

cellendedit后提示对SetCurrentCellAddressCore函数的可重入调用

问题描述 代码是我复制另一个窗口的,奇怪的是在原窗口运行一点问题也没有.复制到新窗口就报错.SelectCasee.ColumnIndexCase5IftxtWhCode.Text.Trim=""ThenMsgBox("请选择仓库!",MsgBoxStyle.OkOnly,"提示")txtWhCode.Focus()ExitSubEndIfStrSQL="selectpartno,matid,decr,UnitCode,Qty,whco

c++-内联函数中可以调用其他函数么

问题描述 内联函数中可以调用其他函数么 比如: inline void FuncA(_T para) { FuncB(para, para+1); } void FuncB(_T paraA, _T paraB) { //Something } 我试了下是可以通过编译的,函数运行也正常. 我想知道在编译时,FuncA调用的地方直接使用一句" FuncB(para, para+1); "进行替换, 还是说整个FuncB也会被展开塞进代码里?或者说对于这种情况编译器不会生成内联函数? 解决

javascript高级编程之函数表达式 递归和闭包函数_javascript技巧

定义函数表达式有两种方式:函数声明和函数表达式. 函数声明如下: function functionName(arg0,arg1,arg2){ //函数体 } 首先是function关键字,然后是函数的名字. FF,Safrai,Chrome和Opera都给函数定义了一个非标准的name属性,通过这个属性可以访问到函数指定的名字.这个函数的值永远等于跟在function关键字后面的标识符. //只在FF,Safari,Chrome和Opera有效 alert(functionName.name)