【Linux】可重入与线程安全的联系与区别

小黑爱编程

于 2024-09-10 21:06:22 发布

阅读量383

点赞数 14

分类专栏： Linux 文章标签： linux 服务器安全 c++

本文链接：https://blog.csdn.net/2403_86785171/article/details/142109164

版权

25 篇文章 0 订阅

订阅专栏

在并发编程中，可重入（Reentrancy） 和 线程安全（Thread Safety） 是两个重要概念，它们都与程序在多线程环境下的正确性有关。尽管这两个概念常常在讨论中出现，但它们并不完全相同。本文将详细解释可重入与线程安全的联系与区别。

可重入的函数是指能够在被中断后，再次从头开始执行而不会影响其正确性的函数。换句话说，如果在一个可重入函数的执行过程中，出现了新的调用（无论是来自同一线程还是另一个线程），函数的执行仍然是正确的。

int add(int x, int y) {
    return x + y; // 没有修改全局或静态数据，是可重入的
}

int counter = 0;
int increment() {
    return ++counter; // 使用全局变量 counter，存在竞争条件，不是可重入的
}

线程安全指的是代码能够在多个线程并发访问的情况下仍能保持正确的行为。线程安全的代码确保了当多个线程同时访问共享资源时，不会出现数据竞争、死锁或其他并发问题。

std::mutex mtx;
int shared_resource = 0;

void increment() {
    std::lock_guard<std::mutex> lock(mtx);
    shared_resource++;
}

在上面的例子中，互斥锁保证了多个线程不会同时修改shared_resource，从而确保了线程安全。

尽管有一定的联系，但可重入和线程安全的概念和解决问题的方式有所不同：

侧重点不同：
- 可重入：可重入强调的是函数能够在被中断和再次调用时仍能正确运行，侧重于函数的自包含性和独立性。
- 线程安全：线程安全更注重多个线程并发访问时的资源共享问题，通常需要同步机制来保证安全。
解决问题的方式不同：
- 可重入：通过不使用全局或静态变量、避免阻塞等方法来实现。
- 线程安全：通常通过锁、条件变量、原子操作等同步机制来保护共享资源。
是否需要同步机制：
- 可重入：可重入的函数一般不需要额外的同步机制，因为它们是独立的、无副作用的函数。
- 线程安全：线程安全的代码通常需要同步机制，尤其是当多个线程需要共享资源时。
适用场景：
- 可重入：适用于函数在中断、递归调用或信号处理程序中的使用场景，要求函数能够在任何时刻安全调用。
- 线程安全：适用于多线程并发编程中，确保多个线程可以安全访问共享资源。

虽然可重入函数通常是线程安全的，但线程安全的函数未必是可重入的。例如，某个函数使用了锁来确保线程安全，但它在执行时持有锁，这就意味着它不能在信号处理程序或中断中被安全调用，因此它不是可重入的。

std::mutex mtx;
void safe_function() {
    std::lock_guard<std::mutex> lock(mtx);
    // 这个函数是线程安全的，但由于使用了锁，不是可重入的
}

关注

专栏目录