如上图所示,main函数调用insert函数向一个链表head中插入节点node1,插入操作分为两步,刚做完第一步时,因为硬件中断使进程切换到内核,再次回用户态之前检查到有信号待处理,于是切换到sighandler函数,sighandler也调用insert函数向同一个链表head中插入节点弄得,插入操作的两步都做完之后,从sighandler返回内核态,再次回到用户态就从main函数调用的insert函数中继续向下执行,先前做第一步之后被打断,现在继续做完第二步。结果是,main函数和sighandler先后向链表中插入两个节点,而最后只有一个节点真正插入到链表中。
向上例这样insert函数被不同的控制流程调用,有可能在第一次调用还未返回时就再次进入该函数,这就称为重入。
insert函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为不可重入函数。
如果一个函数只访问自己的局部变量或参数,则成为可重入函数。
- 如果一个函数符合以下条件之一,则是不可重入的:
1.调用了malloc或free,因为malloc也是用全局链表来管理堆的。
2.调用了标准I/O库函数。标准I/O库函数的很多实现都以不可重入的方式使用全局数据结构。
- volatile:
在C语言学习时,我们就学习过volatile,知道其作用是保持内存的可见性。
在上面这个例子中,main和sighandler都调用insert函数则有可能出现链表的错乱,其根本原因在于,对全局链表的插入操作要分两步完成,不是一个原子操作,假如这两步操作必定会一起做完,中间不可能被打断,就不会出现错乱了。
对于程序中存在多个执行流程访问同一全局变量的情况,volatile限定符是必要的。
此外,虽然程序只有单一的执行流程,但是变量属于以下情况之一的,也需要volatile限定:
1.变量的内存单元中的数据不需要写操作就可以自己发生变化,每次读上来的值都可能不一样;
2.即使多次向变量的内存单元中写数据,只写不读,也并不是在做无用功,而是有特殊意义的。映射到内存地址空间的硬件寄存器具有这样的特性。