最近经常听到这个名词,以前也听到过,不过接触更多的是“线程安全问题”,而且本人也一直理解的是两个名字的含义是一样的。今天仔细总结一下这个名词相关的概念。

引用博文:可重入函数和不可重入函数 (http://www.cppblog.com/franksunny/archive/2007/08/03/29269.html)


主要用于多任务环境中,

  • 一个可重入的函数简单来说就是可以被中断的函数,也就是说,可以在这个函数执行的任何时刻中断它,转入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。
    堆栈操作涉及内存分配,稍不留神就会造成益出导致覆盖其他任务的数据,所以,请谨慎使用堆栈!最好别用!很多黑客程序就利用了这一点以便系统执行非法代码从而轻松获得系统控制权。还有一些规则,总之,时刻记住一句话:保证中断是安全的

转载于:https://www.cnblogs.com/JefferyZhou/archive/2012/09/24/2700300.html

函数可重入问题reentrant functions相关推荐

  1. 函数可重入性及编写规范

    一.可重入函数 1)什么是可重入性? 可重入(reentrant)函数可以由多于一个任务并发使用,而不必担心数据错误.相反, 不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能 ...

  2. Signal处理中的函数可重入问题

    2019独角兽企业重金招聘Python工程师标准>>> 1. Signal信号简介 信号是软件层次上模拟的中断,它是一种异步通信的处理机制.信号的异步性意味着,应用程序不用等待事件的 ...

  3. 函数可重入性(Reentrancy)概念详解

    1.什么是可重入性 重入一般可以理解为一个函数在同时多次调用,例如操作系统在进程调度过程中,或者单片机.处理器等的中断的时候会发生重入的现象. 可重入的函数必须满足以下三个条件: (1)可以在执行的过 ...

  4. 什么是可重入函数, 不可重入函数? 哪些原因导致函数不可重入?

    定义: 在实时系统的设计中,经常会出现多个任务调用同一个函数的情况.如果有一个函数不幸被设计成为这样:那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据,从而导致不可预料的后果.这样的函数是 ...

  5. 浅谈函数的重入与不可重入

    在学习Linux信号以后,我看到这样的一个代码. #include<stdio.h> #include<signal.h> #include<unistd.h>in ...

  6. 函数可重入与不可重入理解

    static:修饰全局变量,函数    改变作用域 修饰 局部变量   生命周期随进程 volatile: 作用:修饰一个变量,保持变量的内存可见性 修饰变量后,cpu每次访问变量数据,都需要从内存中 ...

  7. 可重入(reentrant)函数

    什么是函数的可重入性? 可以由多于一个任务并发使用,而不必担心数据错误.相反,不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键 ...

  8. 2信号处理之:信号产生原因,进程处理信号行为,信号集处理函数,PCB的信号集,sigprocmask()和sigpending(),信号捕捉设定,sigaction,C标准库信号处理函数,可重入函数,

     1信号产生原因 2.进程处理信号行为 manpage里信号3中处理方式: SIG_IGN SIG_DFL                                            默 ...

  9. 什么是可重入(Reentrant)?

    一.什么是重入? 函数在执行时,由于外部原因或内部调用,又一次进入该函数执行. 二.重入发生场景 多个线程同时执行该函数 函数自身调用自身 三.什么是可重入 在相同的输入下,函数每次被调用产生的结果相 ...

最新文章

  1. MIT:这双AI袜子,暴露了你的行动丨Nature子刊
  2. php自定义扩展函数,Laravel框架中扩展函数、扩展自定义类的方法
  3. Spring 的 Controller 是单例还是多例?怎么保证并发的安全
  4. c#判断输入textbox是否为数字
  5. Python通过amqp消息队列协议中的Qpid实现数据通信
  6. 统计个人已完成的工作量_团队工作量及团队价值贡献统计、核算、评审及提升的重要性...
  7. 地理数据分布的集中化与均衡度指数
  8. sql/c#十六进制与十进制的转换
  9. NSCharacterSet
  10. 一起谈.NET技术,asp.net控件开发基础(17)
  11. sqlserve生成随机数
  12. gb28181简单实现sip信令服务器(java版基于springboot):二、sip摄像头注册(信令解读)
  13. 致谢zyf2000,仅是你的备份,留念和记录学习C++的足迹
  14. 数据分析之——Adventure项目分析
  15. 计算机有哪些值得参加的比赛
  16. 乐鑫ESP32移植LVGL 7.10
  17. 各种抗锯齿模式略解:SSAA MSAA CSAA CFAA
  18. 打开dll文件时模块加载失败,请确保二进制存储在指定的路径中,或者调试它以检查该二进制或相关的.DLL文件是否有问题
  19. PHP5中调用Java类
  20. 第十一次 作业 视图的应用

热门文章

  1. linux awk
  2. android改变下拉框字体颜色,AutoCompleteTextView下拉字体颜色
  3. 审计文件服务器的5个核心要素
  4. 阿里云:Table Store(OTS) Writer
  5. 云服务器 ECS > 安全 > 实例RAM角色 > 概述
  6. 中国金融体系主要指标大全!
  7. Java Web学习总结(10)——Session详解
  8. 50道编程小题目之【完全平方数】
  9. linux 建立伪目标过程,linux之Makefile 编写、规则、伪目标、变量
  10. Tomcat+Spring+Quartz Restart or shutdown error