Qt 线程(05)：可重入性和线程安全【官翻】

可重入性和线程安全

前言

在整个文档中，术语可重入和线程安全用于标记类和函数，以表明它们如何在多线程应用程序中使用:

• 线程安全的函数可以从多个线程同时调用，即使调用使用共享数据，因为对共享数据的所有引用都是序列化的。
• 还可以从多个线程同时调用可重入函数，但前提是每次调用都使用自己的数据。

因此，线程安全的函数总是可重入的，但可重入的函数并不总是线程安全的。

通过扩展，如果一个类的成员函数可以安全地从多个线程调用，只要每个线程使用这个类的不同实例，那么这个类就是可重入的。如果可以从多个线程安全地调用类的成员函数，即使所有线程使用同一个类的实例，这个类也是线程安全的。

注意:Qt类只有在被多个线程使用时才被记录为线程安全的。如果一个函数没有被标记为线程安全或可重入的，那么它不应该在不同的线程中使用。如果一个类没有标记为线程安全或可重入的，那么不应该从不同的线程访问该类的特定实例。

可重入性

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同时加载变量的旧值，增加它们的寄存器，并将其存储回去，它们最终会相互覆盖，变量只增加一次!

线程安全

显然，访问必须序列化:线程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类的注意事项

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

有些Qt类和函数是线程安全的。这些主要是与线程相关的类(比如QMutex)和基本函数(比如QCoreApplication::postEvent())。

注意：多线程域中的术语尚未完全标准化。 POSIX使用可重入和线程安全的定义，这些定义对其C API有所不同。 当将其他面向对象的C++类库与Qt一起使用时，请确保了解定义。