如上图所示,在一个链表的插入函数中,main函数调用Insert函数向一个链表head中插入节点node1,插入操作分为两步,刚做完第一步时,因为硬件中断使进程切换到内核,再次回到用户态之前监测到有信号待处理,于是切换到sighandler函数,sighandler函数也调用Insert函数向同一个链表插入节点node2,插入操作两步都做完之后,返回用户态,就从main函数调用Insert函数中继续执行,先前做完第一步被打断,现在继续做完第二步。于是结果是main函数和sighandler函数先后向链表插入两个节点,而只有一个节点真正插入链表。
像这样,insert被不同的控制流调用。
1. 有可能在第一次调用还没有返回时就再次进入该函数称之为重入。
2. insert访问一个全局链表,有可能因为重入而导致错乱,像这样的函数称之为不可重入函数。
3. 如果一个函数只访问自己的局部变量或参数称之为可重入函数。
如果函数符合下列条件之一则是不可重入的:
- 调用了malloc或free,因为malloc也是用全局链表管理堆的。
- 调用了标准I/O库函数。标准I/O库很多实现都以不可重入的方式使用全局数据结构。