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

主要用于多任务环境中，一个可重入的函数简单来讲就是能够被中断的函数，也就是说，能够在这个函数执行的任什么时候刻中断它，转入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类型，则返回为错指针。