关于不可再入函数不可再入的原因

anank

看<<UNIX高级环境编程>>，说不可再入的原因主要有：

1> 函数中使用全局数据结构
2> 函数中调用malloc或者free


问题：第一个原因明白，第二条原因就不明白了，请大家说说函数再入和不可再入 和 内存分配释放函数 有什么关系？？？

scutan

malloc/free是不可重入的，它们使用了全局变量来指向空闲区；标准I/O库的很多实现都使用了全局数据结构;

H264

首先 那是不可重入。

全局结构(资源)的访问要加锁的。

0vk0

线程安全和可重入是两码事，
malloc   /free是线程安全的，但不是可重入的；
可重入主要体现在中断上，如果malloc的过程中发生中断（中断是锁不住的），如果在中断处理函数中有重入malloc，就会有问题

timespace

像malloc这类函数，是线程安全的，会访问全局数据结构但有锁保护。然而它是异步信号不安全的，所以也是一个不可重入函数，可以想象下：某个线程调用到malloc内部时，先加锁，分配内存，更新空闲链表，此时如果执行信号处理函数且其又有一个malloc，后果很严重了，死锁！

flw2

全局的变量，锁也是全局的，都导致不可重入的
malloc最明显，不太明显的有printf fopen等
所以在信号处理中调用printf 是最明显的错误，我曾经写过一段，结果发生死锁
下面是个例子


#include <stdio.h>
#include <signal.h>
#include <unistd.h>
#include <sys/time.h>
void gotsig(int n)
{
    printf("b");
}

int main()
{
    struct itimerval value;
        struct sigaction sact;

    sigemptyset( &sact.sa_mask );
    sact.sa_flags = 0;
    sact.sa_handler = gotsig;
    sigaction(SIGALRM,&sact,NULL);

    value.it_interval.tv_sec = 0;
    value.it_interval.tv_usec = 1000;
    value.it_value.tv_sec = 0;
    value.it_value.tv_usec = 1000;

    setitimer(ITIMER_REAL, &value,NULL);


    while(1) {
        printf("a");
    }
}

timespace

原帖由 flw2 于 2008-8-22 10:47 发表
全局的变量，锁也是全局的，都导致不可重入的
malloc最明显，不太明显的有printf fopen等
所以在信号处理中调用printf 是最明显的错误，我曾经写过一段，结果发生死锁
下面是个例子


#include
#includ ...

呵呵，是啊，好像标准IO函数没有异步信号安全的

Sorehead

不过我觉得第二个原因就不应该成为一个独立的原因，只是第一个原因中的例子而已。

ruoyisiyu

原帖由 flw2 于 2008-8-22 10:47 发表
全局的变量，锁也是全局的，都导致不可重入的
malloc最明显，不太明显的有printf fopen等
所以在信号处理中调用printf 是最明显的错误，我曾经写过一段，结果发生死锁
下面是个例子


#include
#includ ...

Mark一下，以后留意。。
以前确实在信号处理中调用过printf系列，但是从未在意后果。。汗颜啊

huangwei0413

原帖由 0vk0 于 2008-8-22 10:03 发表
线程安全和可重入是两码事，
malloc   /free是线程安全的，但不是可重入的；
可重入主要体现在中断上，如果malloc的过程中发生中断（中断是锁不住的），如果在中断处理函数中有重入malloc，就会有问题

分析得好，应该是搞嵌入式的吧