【Qt】Qt多线程开发—可重入性和线程安全

Qt-可重入性和线程安全

一、写在前面

​ 在本篇文章中，术语"可重入性"和"线程安全"是用来标记类与函数的，表明类与函数在多线程应用程序中可以如何使用。

可重入性与线程安全这两个概念不是Qt独有概念，而是多线程领域中重要的两个专业术语。

​ 一个线程安全的函数可以同时被多个线程调用，甚至使用共享数据也不会有问题，因为多个线程访问线程安全函数的共享数据是串行的、受保护的。
　一个可重入函数也可以同时被多个线程调用，但是每个调用者只能使用它自己的数据（即只能使用调用者的数据）。
　因此：一个线程安全的函数总是可重入的，但是一个可重入函数并不一定是线程安全的。

​ 展开来说，一个可重入的类，指的是它的成员函数可以被多个线程安全的调用，只要每个线程使用这个类的不同对象即可。而一个线程安全的类，指的是它的成员函数能够被多个线程安全的调用，即使所有线程都使用该类的同一个实例也没有问题。所以说：线程安全的“安全”要比可重入函数的“安全”级别更高。

​ 【注意】有一些Qt类本来就是特意设计给多线程使用的，只有这样的类才在Qt官方文档中被标明为线程安全的。如果一个函数没有被标记为线程安全或可重入的，它就不应该被不同的线程使用。同样的，如果一个类没有被标记为线程安全的或可重入的，该类的实例就不应该被多个线程访问。

二、可重入性

​ C++的类大多是可重入的，这大多因为它们只能访问自己的数据。任何线程都能访问一个可重入类的某实例的一个成员函数，只要此时没有其他线程调用该实例的成员函数。比如，下面的Counter类就是可重入的：

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

    void decrement() { --n; }

    int value() const { return n; }
   
private:
	int n;
};

​ 这个类不是线程安全的，因为如果多线程试图修改成员n的话，结果就是不确定的。因为++和--操作都不总是原子性的。它们一般被展开为3条机器指令：

1. 将变量值装入寄存器
2. 增/减寄存器中的值
3. 将寄存器中的值装回主存

​ 如果线程A和线程B同时将变量的旧值装入寄存器，然后增加它们的寄存器，再把值装回主存，这样最终就会互相重写，而变量仅仅被增加了一次！

三、线程安全

​ 从上述描述可见，对n的访问应该是串行的： 线程A必须在无中断的情况下执行完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类在其构造函数中自动锁定mutex，而在其析构函数中解锁。锁定mutex保证了其他线程的访问都是串行化的。

​ mutex数据成员被声明为mutable的，这是因为value()是一个const函数，但我们需要lock和unlock这个mutex。

（在C++中，mutable是为了突破 const 的限制而设置的，可以用来修饰一个类的成员变量。被 mutable 修饰的变量，将永远处于可变的状态，即使是 const 函数中也可以改变这个变量的值）

四、注意事项

​ 许多Qt类都是可重入的，但它们不是线程安全的，因为线程安全意味着要为锁定与解锁QMutex增加更多开销。比如：QString是可重入的，但并不是线程安全的。能够同时从多个线程访问不同的QString的实例，但不能同时从多个线程访问QString的同一个实例（除非使用了QMutex保护访问）。

搜索/关注【嵌入式小生】vx公众号，获取更多精彩内容>>>>