可重入函数

如上图所示，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.即使多次向变量的内存单元中写数据，只写不读，也并不是在做无用功，而是有特殊意义的。映射到内存地址空间的硬件寄存器具有这样的特性。