函数可重入性及编写规范

发布于 2015-03-16  1.29k 次阅读


1)什么是可重入性?

可重入(reentrant)函数可以由多于一个任务并发使用,而不必担心数据错误。相反, 不可重入(non-reentrant)函数不能由超过一个任务所共享,除非能确保函数的互斥(或者使用信号量,或者在代码的关键部分禁用中断)。可重入函数可以在任意时刻被中断,稍后再继续运行,不会丢失数据。可重入函数要么使用本地变量,要么在使用全局变量时保护自己的数据。

2)可重入函数:

  1. 不为连续的调用持有静态数据。
  2. 不返回指向静态数据的指针;所有数据都由函数的调用者提供。
  3. 使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据。
  4. 如果必须访问全局变量,记住利用互斥信号量来保护全局变量。
  5. 绝不调用任何不可重入函数。

3)不可重入函数:

  1. 函数中使用了静态变量,无论是全局静态变量还是局部静态变量。
  2. 函数返回静态变量。
  3. 函数中调用了不可重入函数。
  4. 函数体内使用了静态的数据结构;
  5. 函数体内调用了malloc()或者free()函数;
  6. 函数体内调用了其他标准I/O函数。
  7. 函数是singleton中的成员函数而且使用了不使用线程独立存储的成员变量 。

总的来说,如果一个函数在重入条件下使用了未受保护的共享的资源,那么它是不可重入的。

4)示例

在多线程条件下,函数应当是线程安全的,进一步,更强的条件是可重入的。可重入函数保证了在多线程条件下,函数的状态不会出现错误。以下分别是一个不可重入和可重入函数的示例

func1是不可重入的,func2是可重入的。因为在多线程条件下,操作系统会在func1还没有执行完的情况下,切换到另一个线程中,那个线程可能再次调用func1,这样状态就错了。


公交车司机终于在众人的指责中将座位让给了老太太