线程安全与可重入函数

如果你的代码所在的进程中有多个线程在同时运行，而这些线程可能会同时运行这段代码。如果每次运行结果和单线程运行的结果是一样的，而且其他的变量的值也和预期的是一样的，就是线程安全的，或者多个线程之间的切换不会导致该接口的执行结果存在二义性。
线程安全问题都是由全局变量及静态变量引起的。
若每个线程中对全局变量、静态变量只有读操作，而无写操作，一般来说，这个全局变量是线程安全的；若有多个线程同时执行写操作，一般都需要考虑线程同步，否则的话就可能影响线程安全。
举例：
一个 ArrayList 类，在添加一个元素的时候，它可能会有两步来完成：
1、 在 Items[Size] 的位置存放此元素；
2、 增大 Size 的值。
在单线程运行的情况下，如果 Size = 0，添加一个元素后，此元素在位置 0，而且 Size=1； 而如果是在多线程情况下，比如有两个线程，线程 A 先将元素存放在位置 0。但是此时 CPU 调度线程A暂停（此时size并未改变），线程 B 得到运行的机会，线程B也向此 ArrayList 添加元素，因为此时 Size 仍然等于 0 所以线程B也将元素存放在位置0。然后线程A和线程B都继续运行，都增加 Size 的值。 对于ArrayList，我们期望有两个元素 ，实际上只有一个，存放在位置 0，而 Size 等于 1，造成了元素丢失，这就是“线程不安全”了。

所谓可重入函数是指一个可以被多个任务调用的过程，任务在调用时不必担心数据是否会出错，若出错了，则是不可重入函数；
main函数调⽤用insert函数向⼀个链表head中插⼊节点node1,插入操作分为两步,刚做完第一步的时候,因为硬件中断使进程切换到内核,再次回⽤用户态之前检查到有信号待处理,于是切换 到sighandler函数,sighandler也调⽤insert函数向同⼀个链表head中插入节点node2,插⼊操作的两步都做完之后从sighandler返回内核态,再次回到⽤户态就从main函数调⽤用的insert函数中继续 往下执行,先前做第⼀步之后被打断,现在继续做完第⼆步。结果是,main函数和sighandler先后 向链表中插⼊两个节点,⽽而最后只有⼀个节点真正插⼊入链表中了。
像上例这样,insert函数被不同的控制流程调用,有可能在第⼀次调用还没返回时就再次进入该函数,这称为重入,insert函数访问⼀个全局链表,有可能因为重⼊⽽而造成错乱,像这样的函数称为 不可重入函数,反之,如果一个函数只访问⾃自⼰的局部变量或参数,则称为可重⼊(Reentrant) 函数。
满足下列条件的函数多数是不可重入的:
1) 函数体内使用了静态的数据结构;
2) 函数体内调用了malloc()或者free()函数;
3) 函数体内调用了标准I/O函数。
二者之间的关系：
1、一个函数对于多个线程是可重入的，则这个函数是线程安全的。
2、一个函数是线程安全的，但并不一定是可重入的。