在多核多任务的系统中,一段程序往往可能发生中断。当系统再次调度到此程序时,它应该不会出现异常,并且能够正常正确执行。这就要求函数可重入。
什么样的函数不可重入呢?
先得从中断的本质说起。中断简单理解来,就是系统将一个进程当前的执行状态(寄存器状态,进程状态块等)记录下来,然后调度另外一个进程。等到再次调度到此程序时,恢复其状态。
如果该进程被中断期间,另外一个程序改变了此程序的执行状态,这个程序自然就是不可重入的。
这就要求函数:
- 不为连续的调用持有静态数据。
- 不返回指向静态数据的指针;所有数据都由函数的调用者提供。
- 使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据。
- 如果必须访问全局变量,记住利用互斥信号量来保护全局变量。
- 绝不调用任何不可重入函数。
下面的函数不可重入:
- 函数中使用了静态变量,无论是全局静态变量还是局部静态变量。
- 函数返回静态变量。
- 函数中调用了不可重入函数。
- 函数体内使用了静态的数据结构;
- 函数体内调用了malloc()或者free()函数;
- 函数体内调用了其他标准I/O函数。
- 函数是singleton中的成员函数而且使用了不使用线程独立存储的成员变量 。
- 总的来说,如果一个函数在重入条件下使用了未受保护的共享的资源,那么它是不可重入的。
本博客所有原创文章同时在非凡技术论坛www.feifanbbs.com发布,转载请注明出处。