使用可重入函数进行更安全的信号处理

《使用可重入函数进行更安全的信号处理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、使用可重入函数进行更安全的信号处理使用可重入函数进行更安全的信号处理2010年06月08日星期二16：48如果要对函数进行并发访问，不管是通过线程还是通过进程，您都可能会遇到函数不可重入所导致的问题。在本文中，通过示例代码了解如果可重入性不能得到保证会产生何种异常，尤其要注意信号。引入了五条可取的编程经验，并对提出的编译器模型进行了讨论，在这个模型中，可重入性由编译器前端处理。在早期的编程中，不可重入性对程序员并不构成威胁；函数不会有并发访问，也没有中断。在很多较老的C语言实现中，函数被认为是在单线程进程的环境中运行。不过，现在，并发编程已普遍使用，您需要意识到这个缺陷。本文描述了在并行和

2、并发程序设计中函数的不可重入性导致的一些潜在问题。信号的生成和处理尤其增加了额外的复杂性。由于信号在本质上是异步的，所以难以找出当信号处理函数触发某个不可重入函数时导致的bug。本文：定义了可重入性，并包含一个可重入函数的POSIX清单。给出了示例，以说明不可重入性所导致的问题。指出了确保底层函数的可重入性的方法。讨论了在编译器层次上对可重入性的处理。可重入(reentrant)函数可以由多于一个任务并发使用，而不必担心数据错误。相反，不可重入(non-reentrant)函数不能由超过一个任务所共享，除非能确保函数的互斥(或者使用信号量，或者在代码的关键部分禁用中断)。可重入函数可以在任

3、意时刻被中断，稍后再继续运行，不会丢失数据。可重入函数要么使用本地变量，要么在使用全局变量时保护自己的数据。可重入函数：不为连续的调用持有静态数据。不返回指向静态数据的指针；所有数据都由函数的调用者提供。使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据。绝不调用任何不可重入函数。不要混淆可重入与线程安全。在程序员看来，这是两个独立的概念：函数可以是可重入的，是线程安全的，或者二者皆是，或者二者皆非。不可重入的函数不能由多个线程使用。另外，或许不可能让某个不可重入的函数是线程安全的。IEEEStd1003.1列出了118个可重入的UNIX函数，在此没有给出副本。参见中指向unix.

4、org上此列表的链接。出于以下任意某个原因，其余函数是不可重入的：它们调用了malloc或free。众所周知它们使用了静态数据结构体。它们是标准I/O程序库的一部分。信号(signal)是软件中断。它使得程序员可以处理异步事件。为了向进程发送一个信号，内核在进程表条目的信号域中设置一个位，对应于收到的信号的类型。信号函数的ANSIC原型是：void(*signal(intsigNum,void(*sigHandler)(int)))(int)；或者，另一种描述形式：typedefvoidsigHandler(int)；SigHandler*signal(int,sigHandler*)；当

5、进程处理所捕获的信号时，正在执行的正常指令序列就会被信号处理器临时中断。然后进程继续执行，但现在执行的是信号处理器中的指令。如果信号处理器返回，则进程继续执行信号被捕获时正在执行的正常的指令序列。现在，在信号处理器中您并不知道信号被捕获时进程正在执行什么内容。如果当进程正在使用malloc在它的堆上分配额外的内存时，您通过信号处理器调用malloc，那会怎样?或者，调用了正在处理全局数据结构的某个函数，而在信号处理器中又调用了同一个函数。如果是调用malloc，则进程会被严重破坏，因为malloc通常会为所有它所分配的区域维持一个链表，而它又可能正在修改那个链表。甚至可以在需要多个指令的C

6、操作符开始和结束之间发送中断。在程序员看来，指令可能似乎是原子的(也就是说，不能被分割为更小的操作)，但它可能实际上需要不止一个处理器指令才能完成操作。例如，看这段C代码：temp+=1；在x86处理器上，那个语句可能会被编译为：movax,[temp]incaxmov[temp],ax这显然不是一个原子操作。这个例子展示了在修改某个变量的过程中运行信号处理器可能会发生什么事情：#includesignal.h#includestdio.hstructtwo_int{inta,b；}data；voidsignal_handler(intsignum){printf("%d,%d",da

7、ta.a,data.b)；alarm(1)；intmain(void){staticstructtwo_intzeros={0,0},ones={1,1}；signal(SIGALRM,signal_handler)；data=zeros；alarm(1)；while(1){data=zeros；data=ones；}这个程序向data填充0，1，0，1，一直交替进行。同时，alarm信号处理器每一秒打印一次当前内容(在