【QT之Reentrancy and Thread safety】可重入性与线程安全

Reentrancy and Thread safety 可重入性与线程安全

什么是可重入函数？可重入函数是指能够被多个线程“同时”调用的函数，并且能保证函数结果的正确性的函数。

什么是可重入性？重入一般可以理解为一个函数在同时多次调用，例如操作系统在进程调度过程中，或者单片机、处理器等的中断的时候会发生重入的现象。

可重入和线程安全用于标记类和函数，以指示如何在多线程应用程序中使用它们。线程安全函数可以从多个线程同时调用，即使调用使用共享数据也是如此，因为对共享数据的所有引用都是序列化的。也可以从多个线程同时调用可重入函数，但前提是每次调用都使用自己的数据。线程安全总是可重入的，可重入函数不一定是线程安全的。
通过扩展，如果一个类的成员函数可以从多个线程安全地调用，那么只要每个线程使用该类的不同实例，则称该类是可重入的。如果可以从多个线程安全地调用类的成员函数，即使所有线程都使用该类的同一实例，该类也是线程安全的。
Qt类只有在打算由多个线程使用时才被记录为线程安全的。如果一个函数没有被标记为线程安全或可重入，那么就不应该从不同的线程中使用它。如果一个类没有被标记为线程安全或可重入，那么不应该从不同的线程访问该类的特定实例。

Reentrancy 可重入性

C++类通常是可重入的，因为它们只访问自己的成员数据。任何线程都可以在可重入类的实例上调用成员函数，只要没有其他线程可以在同一时间调用该类的同一实例上的成员函数即可。例如，下面的Counter类是可重入的：

class Counter
{
public:
    Counter() { n = 0; }

    void increment() { ++n; }
    void decrement() { --n; }
    int value() const { return n; }

private:
    int n;
};

该类不是线程安全的，因为如果多个线程试图修改数据成员n，结果是未定义的。这是因为++和–运算符并不总是原子操作。事实上，它们通常扩展到三个机器指令：
1、将变量的值加载到寄存器中。
2、递增或递减寄存器的值。
3、将寄存器的值存储回主存储器。
如果线程A和线程B同时加载变量的旧值，增加它们的寄存器并将其存储回，它们最终会相互覆盖，并且变量只增加一次！

Thread-Safety 线程安全

显然，访问必须序列化：线程A必须在不中断（原子）的情况下执行步骤1、2、3，然后线程B才能执行相同的步骤；反之亦然。使类线程安全的一个简单方法是使用QMutex保护对数据成员的所有访问：

class Counter
{
public:
    Counter() { n = 0; }

    void increment() { QMutexLocker locker(&mutex); ++n; }
    void decrement() { QMutexLocker locker(&mutex); --n; }
    int value() const { QMutexLocker locker(&mutex); return n; }

private:
    mutable QMutex mutex;
    int n;
};

QMutexLocker类会自动将互斥锁锁定在其构造函数中，并在函数末尾调用析构函数时将其解锁。锁定互斥锁可以确保来自不同线程的访问被序列化。互斥数据成员是用可变限定符声明的，因为我们需要在value（）中锁定和解锁互斥，value（）是一个const函数。

许多Qt类是可重入的，但它们并不是线程安全的，因为使它们成为线程安全的会导致重复锁定和解锁QMutex的额外开销。例如，QString是可重入的，但不是线程安全的。您可以从多个线程同时安全地访问不同的QString实例，但不能同时从多个线程中安全访问同一个QString实例（除非您使用QMutex保护自己的访问）。

原子类型的实现原理

原子类型实现的原理是直接翻译成CPU指令，而对原子类型的操作，像+，-，*，,++等直接重载了运算符，编译时也直接翻译成CPU指令。每一个原子操作都是一条独立的CPU指令来完成，在其指令周期内，其他CPU无法对原子类型操作。

下一期Threads and QObjects 线程和 Qobjects