可重入函数与不可重入函数
转自: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。
堆栈操作涉及内存分配,稍不留神就会造成益出导致覆盖其他任务的数据,所以,请谨慎使用堆栈!最好别用!很多黑客程序就利用了这一点以便系统执
行非法代码从而轻松获得系统控制权。还有一些规则,总之,时刻记住一句话:保证中断是安全的!
实例问题:曾经设计过如下一个函数,在代码检视的时候被提醒有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
类型,则返回为错指针。
相关推荐
下面将详细介绍可重入函数与不可重入函数的概念、特性以及如何编写和转换这两种类型的函数。 可重入函数是指可以在任何时候中断执行的函数,即使在函数执行过程中,系统切换到另一个任务或中断服务例程执行其他代码...
- **避免调用不可重入函数**:可重入函数内部不允许调用任何不可重入的函数。 #### 二、不可重入函数的特点 不可重入函数与可重入函数的主要区别在于它们可能会持有或依赖于静态数据,这导致它们在多任务环境中...
相反,不可重入函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键部分禁用中断)。 可重入函数可以在任意时刻被中断,稍后再继续运行,不会丢失数据。可重入函数要么使用本地...
在Linux操作系统中,可重入函数(Reentrant Function)和不可重入函数(Non-reentrant Function)是编程中两个非常重要的概念,特别是在多线程和并发编程中。它们的特性决定了它们在处理并发请求时的行为差异,对于...
换句话说,一个函数如果被多个线程同时调用时不会出现问题(如数据竞争或不一致状态),那么这个函数就是可重入的。根据Wikipedia的定义:“计算机程序或例程被称为可重入,如果它可以被安全地并行执行;也就是说,...
- **避免调用不可重入函数**:可重入函数不应该调用不可重入函数,以免引入非可重入性的问题。 ##### 3. 不可重入函数的特点 - **使用静态变量**:不可重入函数可能会使用静态变量,这包括全局静态变量和局部静态...
重入函数和不可重入函数是编程中尤其是在多任务操作系统中的关键概念,它们涉及到程序的并发执行和资源管理。在多任务环境下,操作系统会频繁地切换任务,这可能导致函数执行的中断和恢复。 **可重入函数**的核心...
`HAL_I2C_Master_Receive_IT(...)`函数是不可重入的主要原因是其内部使用了一些静态变量和数据结构。当多个任务同时调用该函数时,这些静态变量可能会被不同的任务修改,从而导致数据混乱或丢失。 ##### 解决方案 1...
如果函数之间没有直接或间接调用关系,它们的局部变量可以覆盖同一块内存,但这样的函数不具备可重入性。如果函数之间有调用关系,它们的局部变量不会被覆盖,但可能与其他任务的局部变量产生冲突。 【可重入函数的...
根据提供的标题、描述以及部分难以解析的内容...正确实现再入函数不仅能够提高代码的可重用性和效率,还能够显著降低出错的可能性。通过理解再入函数的基本原理和实现方法,开发者可以在实际项目中更好地应用这一概念。
在Golang中,不可重入函数是指在任何时刻只能被调用执行一次的函数,即使在并发环境下有多次调用,也会确保不会同时...在处理并发状态检查或资源限制的情况下,不可重入函数可以有效地防止资源冲突和数据不一致问题。
在编程领域,尤其是在 Delphi 这样的面向对象的 Pascal 编程环境中,有时标准库提供的四舍五入函数可能无法满足特定需求,特别是在处理财务数据时...对于那些需要进行高精度计算的项目,这样的自定义功能更是不可或缺。
printf 函数的原型和重定义 printf 函数是 C 语言中一个常用的输出函数,它可以将格式化的字符串输出到标准输出设备上。在嵌入式开发领域中,printf 函数经常被重定义以满足特定的需求。本文将详细介绍 printf ...
5. **不调用不可重入的函数**:如果一个函数调用了另一个不可重入的函数,那么它自身也不再是可重入的。 #### 三、示例分析 以下是一段示例代码,用于说明非可重入与可重入函数的区别: ```c int g_var = 1; // ...
总之,PHP的`round()`和`ceil()`函数是数值处理中不可或缺的工具。正确理解和使用它们,可以帮助开发者在各种计算和数据处理任务中实现精确和高效的结果。在实际编程中,结合标签“源码”和“工具”,开发者可以将...
本文将深入探讨不可重函数在ST(意指意法半导体,一家著名的微控制器和半导体制造商)平台上的应用和注意事项。 1. **共享资源的管理**:不可重函数通常涉及到对共享资源的访问,如全局变量、硬件寄存器等。在多...
在对象构造过程中,vtable和vptr的初始化是必不可少的步骤之一。如果构造函数是虚函数,这意味着它需要访问尚未完全初始化的vtable和vptr,这可能导致未定义的行为。 3. **动态绑定需求**:虚函数的主要作用在于...
### 处处连续处处不可导函数的知识点解析 #### 一、引言 在数学分析领域,函数的连续性和可导性是两个重要的概念。一般而言,我们认为大多数连续函数在其定义域内至少在某些点是可导的。然而,19世纪末期,数学家...
关于不可微函数的局部分数阶多重积分,杨小军,,根据分形理论的特点,在分形空间上考虑的函数具有不可微的性质。局部分数阶微积分学是解决不可微函数的理论。本文是在局部分数阶
1. **代码可读性**:当函数不使用返回值时,代码的意图可能变得不那么清晰。其他开发者可能需要花费额外的时间来理解为什么函数被调用以及它的预期行为是什么。 2. **错误处理**:如果函数执行失败,不使用返回值...