reentrant(可重入函数)和Non-reentrant（不可重入函数）

贺赫赫813

已于 2023-04-27 10:49:19 修改

阅读量1.2k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： C语言学习笔记文章标签：数据结构 java c语言

于 2023-04-27 10:44:58 首次发布

本文链接：https://blog.csdn.net/jinanhezhuang/article/details/130401197

C语言学习笔记专栏收录该内容

5 篇文章

订阅专栏

可重入函数在多线程环境下安全执行，不依赖静态变量或全局状态，而不可重入函数可能引发数据竞争。区分这两者是为了确保多线程环境中的安全性。文章通过示例解释了两者的差异，并指出在需要共享状态或优化时，不可重入函数仍有其应用价值，但需配合同步机制使用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.什么是可重入函数和不可重入函数？

可重入函数是一种能够在多任务和多线程环境下安全的执行的函数，因为它们不会使用任何静态变量或全局状态，每次调用时都可以返回相同的结果，并且可以在不同的线程中同时调用。可重入函数的设计需要考虑同步问题，目的是避免数据竞争。

不可重入函数则是指在多任务和多线程环境下可能会产生问题的函数，因为它们使用了静态变量、全局状态以及其他非线程安全的机制来存储状态。如果在多个线程之间同时调用此类函数，则可能导致无法预测的行为或数据竞争问题，除非采取适当的同步措施来防止这种问题。

2.为什么会有可重入函数和不可重入函数的区分？

可重入和不可重入函数的区分是为了确保在多线程或多任务环境中安全地使用函数。

在单线程环境中，许多不可重入的函数都是可行的，因为它们不会被同时调用。但在多线程或多任务环境中，多个线程可能会同时尝试访问或修改共享状态或资源，导致数据竞争问题。
另一方面，可重入的函数不同于不可重入函数，它的本质特征是能够在多线程或多任务环境下安全地执行，即使多个线程同时调用函数也不会导致数据竞争问题。
3.举例说明：

#include <stdio.h>
#include <stdlib.h>

int add_numbers(int a, int b) {
    return a + b;
}

int main() {
    int result1 = add_numbers(2, 3);
    printf("Result 1: %d\n", result1);

    int result2 = add_numbers(4, 5);
    printf("Result 2: %d\n", result2);

    return 0;
}

在这个程序中，add_numbers() 函数是一个非常简单的可重入函数。每次调用该函数时，它都会接受两个整数参数并返回它们的和。因为 add_numbers() 函数不使用任何静态变量或全局状态来存储状态，所以每次调用该函数都会返回相同的结果，并且可以在多个线程之间同时调用，而不会引起数据竞争问题。

在这个例子中，我们首先调用了 add_numbers(2, 3) 函数，将其结果存储在 result1 变量中，然后再调用 add_numbers(4, 5) 函数并将其结果存储在 result2 变量中。由于这两个调用是独立的，因此它们可以在单线程或者多线程环境中任意执行，都不会有问题。

#include <stdio.h>

int add_numbers() {
    static int sum = 0;  // 静态变量声明
    sum++;
    return sum;
}

int main() {
    for (int i = 0; i < 5; i++) {
        printf("Sum: %d\n", add_numbers());
    }
    return 0;
}

在这个程序中，add_numbers() 函数使用了一个静态变量 sum 来追踪已经调用 add_numbers() 函数的次数。由于 sum 是一个不是条用时始终存在的静态变量，所以每次调用该函数都会更新它的值，导致 add_numbers() 不是可重入函数。

如果多个线程同时调用 add_numbers() 函数，则可能会导致数据竞争问题。因此，在多线程环境下应该使用像互斥锁这样的同步机制来防止竞争条件和保证正确性。

3.不可重入函数的应用场景

虽然可重入函数在多任务和多线程环境中更加安全和实用，但某些情况下使用不可重入函数是合理的。

以下是一些较普遍的情况：

空间/时间复杂度优化: 在有限的资源和处理器能力下，可能会需要优化空间或时间复杂度。不可重入函数通常比可重入函数更高效，因为它们可以充分利用先前调用时保留的状态信息。

要求共享状态：某些情况下，需要在多个函数之间共享状态，例如初始化全局变量或内存池。虽然这种做法很危险，但如果正确设计并采取适当的同步策略，也可以使用。

API设计：某些API本身就是不可重入的，例如标准的C库函数 asctime 或 strtok。在这种情况下，使用不可重入函数是合理的选择，只需确保文档清楚地指出它们是不可重入的，并且如果需要同时调用多次，则必须提供有效的同步机制。

当一个函数需要访问共享资源或状态，但又没有适当的同步机制来防止对该资源的多次访问时，就可能需要不可重入函数。下面是一个简单的例子：
假设我们有一个简单的计数器程序，用于统计某个事件发生的次数。在该程序中，我们使用了一个全局变量 count 来存储当前的计数值。

#include <stdio.h>

int count = 0;

void increment_counter() {
    count++;
}

int main() {
    for (int i = 0; i < 10; i++) {
        increment_counter();
    }
    printf("Count: %d\n", count);

    return 0;
}

但是如果在多线程环境下调用 increment_counter() 函数，则可能会出现竞态条件，因为多个线程可能同时尝试访问并更新 count 变量，导致结果不确定。为了避免这种情况，我们需要使用互斥锁等同步机制来保护更新操作，例如：

#include <stdio.h>
#include <pthread.h>

int count = 0;
pthread_mutex_t lock;

void increment_counter() {
    pthread_mutex_lock(&lock);
    count++;
    pthread_mutex_unlock(&lock);
}

int main() {
    pthread_mutex_init(&lock, NULL);

    for (int i = 0; i < 10; i++) {
        increment_counter();
    }

    printf("Count: %d\n", count);

    pthread_mutex_destroy(&lock);
    return 0;
}