linux系统编程之基础必备（六）：可重入函数、sig

够完成(对于多线程程序来说原子操作可以指加锁后的几个步骤集合)，即使是一条C语句也不一定是一个原子操作，比如 a = 5; 如果a是32位的int变量，在32位机上赋值是原子操作，在16位机上就不是。如果在程序中需要使用一个变量，要保证对它的读写都是原子操作，应该采用什么类型呢?

为了解决这些平台相关的问题，C标准定义了一个类型sig_atomic_t，在不同平台的C语言库中取不同的类型，例如在32位机上定义sig_atomic_t为int类型。

在使用sig_atomic_t类型的变量时，还需要注意另一个问题。看如下的例子：

#include

sig_atomic_t a=0;

int main(void)

{

/* register a sighandler */

while(!a); /* wait until a changes in sighandler */

/* do something after signal arrives *

/ return 0;

}

为了简洁，这里只写了一个代码框架来说明问题。在main函数中首先要注册某个信号的处理函数sighandler，然后在一个while死循环中等待信号发生，如果有信号递达则执行sighandler，在sighandler中将a改为1，这样再次回到main函数时就可以退出while循环，执行后续处理。如果在编译时加了优化选项，则如果第一次比较a是否为0，如果相等则成了死循环，因为不会再次从内存读取变量a的值。

是编译器优化得有错误吗?不是的。设想一下，如果程序只有单一的执行流程，只要当前执行流程没有改变a的值，a的值就没有理由会变，不需要反复从内存读取，因此上面的两条指令和while(!a);循环是等价的，并且优化之后省去了每次循环读内存的操作，效率非常高。

所以不能说编译器做错了，只能说编译器无法识别程序中存在多个执行流程。之所以程序中存在多个执行流程，是因为调用了特定平台上的特定库函数，比如sigaction、pthread_create，这些不是C语言本身的规范，不归编译器管，程序员应该自己处理这些问题。

C语言提供了volatile限定符，如果将上述变量定义为volatile sig_atomic_t a=0;那么即使指定了优化选项，编译器也不会优化掉对变量a内存单元的读写。

对于程序中存在多个执行流程访问同一全局变量的情况，volatile限定符是必要的，此外，虽然程序只有单一的执行流程，但是变量属于以下情况之一的，也需要volatile限定：

变量的内存单元中的数据不需要写操作就可以自己发生变化，每次读上来的值都可能不一样;

即使多次向变量的内存单元中写数据，只写不读，也并不是在做无用功，而是有特殊意义的;

什么样的内存单元会具有这样的特性呢?肯定不是普通的内存，而是映射到内存地址空间的硬件寄存器，例如串口的

接收寄存器属于上述第一种情况，而发送寄存器属于上述第二种情况。

sig_atomic_t类型的变量应该总是加上volatile限定符，因为要使用sig_atomic_t类型的理由也正是

要加volatile限定符的理由。

对于多线程的程序，访问冲突的问题是很普遍的，解决的办法是引入锁，获得锁的线程可以完成“读-修改-写”的操作，然后释放锁给其它线程，没有获得锁的线程只能等待而不能访问共享数据，这样“读-修改-写”三步操作组成一个原子操作，要么都执行，要么都不执行，不会执行到中间被打断，也不会在其它处理器上并行做这个操作。