12.2 多线程控制

 

12.2 多线程控制

本节介绍Qt线程同步互斥控制的基本方法。线程之间存在着相互制约的关系,具体可分为互斥和同步这两种关系。

实现线程的互斥与同步常使用的类有QMutex、QMutexLocker、QReadWriteLocker、QReadLocker、QWriteLocker、QSemaphore和QWaitCondition。

下面举一个例子来说明问题:

class Key
{
public:
    Key() {key=0;}
    int createKey() {++key; return key;}
    int value() const {return key;}
private:
    int key;
};

这是实现生成从0开始递增并且不允许重复的值的Key类。

在多线程环境下,这个类是不安全的,因为存在多个线程同时修改私有成员key,其结果是不可预知的。

虽然类Key产生主键的函数createKey()只有一条语句执行修改成员变量key的值,但是C++的“++”操作符并不是原子操作,通常编译后,它将被展开成为以下三条机器命令:

● 将变量值载入寄存器。

● 将寄存器中的值加1。

● 将寄存器中的值写回主存。

假设当前的key值为0,如果线程1和线程2同时将0值载入寄存器,执行加1操作并将加1后的值写回主存,则结果是两个线程的执行结果将互相覆盖,实际上仅进行了一次加1操作,此时的key值为1。

为了保证类Key在多线程环境下正确执行,上面的三条机器指令必须串行执行且不允许中途被打断(原子操作),即线程1在线程2(或线程2在线程1)之前完整执行上述三条机器指令。

实际上,私有变量key是一个临界资源(Critical Resource,CR)。临界资源一次仅允许被一个线程使用,它可以是一块内存、一个数据结构、一个文件或者任何其他具有排他性使用的东西。在程序中,通常竞争使用临界资源。这些必须互斥执行的代码段称为“临界区(Critical Section,CS)”。临界区(代码段)实施对临界资源的操作,为了阻止问题的产生,一次只能有一个线程进入临界区。通常有相关的机制或方法在程序中加上“进入”或“离开”临界区等操作。如果一个线程已经进入某个临界区,则另一个线程就决不允许在此刻再进入同一个临界区。

12.2.1 互斥量

互斥量可通过QMutex或者QMutexLocker类实现。

1. QMutex类

QMutex类是对互斥量的处理。它被用来保护一段临界区代码,即每次只允许一个线程访问这段代码。

QMutex类的lock()函数用于锁住互斥量。如果互斥量处于解锁状态,则当前线程就会立即抓住并锁定它,否则当前线程就会被阻塞,直到持有这个互斥量的线程对它解锁。线程调用lock()函数后就会持有这个互斥量,直到调用unlock()操作为止。

QMutex类还提供了一个tryLock()函数。如果互斥量已被锁定,则理解返回。

例如:

class Key
{
public:
    Key() {key=0;}
    int createKey() {mutex.lock(); ++key; return key; mutex.unlock();}
    int value() const {mutex.lock(); return key; mutex.unlock();}
private:
    int key;
    QMutex mutex;
};

在上述的代码段中,虽然createKey()函数中使用mutex进行了互斥操作,但是unlock()操作却不得不在return之后,从而导致unlock()操作永远无法执行。同样,value()函数也存在这个问题。

2. QMutextLocker类

Qt提供的QMutexLocker类可以简化互斥量的处理,它在构造函数中接收一个QMutex对象作为参数并将其锁定,在析构函数中解除这个互斥量,这样就解决了以上问题。

例如:

class Key
{
public:
    Key() {key=0;}
    int createKey() {QMutexLocker locker(&mutex); ++key; return key;}
    int value() const {QMutexLocker locker(&mutex); return key;}
private:
    int key;
    QMutex mutex;
};

locker()函数作为局部变量会在函数退出时结束其作用域,从而自动对互斥量mutex解锁。

在实际应用中,一些互斥量锁定和解锁逻辑通常比较复杂,并且容易出错,而是用QMutexLocker类后,通常只需要这一条语句,从而大大简化了编程的复杂程度。

12.2.2 信号量

信号量可以理解为对互斥量的扩展,互斥量只能锁定一次而信号量可以获取多次,它可以用来保护一定数量的同种资源。信号量的典型用例是控制生产者/消费者之间共享的环形缓冲区。

生产者/消费者实例中对同步的需求有两处:

(1)如果生产者过快地生产数据,将会覆盖消费者还没有读取的数据。

(2)如果消费者过快地读取数据,将越过生产者并且读取一些过去数据。

针对以上问题,可以有两种解决方法:

(1)首先使生产者填满整个缓冲区,然后等待消费者读取整个缓冲区,这是一种比较笨拙的方法。

(2)使生产者和消费者线程同时分别操作缓冲区的不同部分,这是一种比较高效的方法。

【例】(难度一般)(CH1202)基于控制台程序实现。

(1)源文件“main.cpp”中添加的具体实现代码如下:

#include <QCoreApplication>
#include <QSemaphore>
#include <QThread>
#include <stdio.h>
const int DataSize = 1000;
const int BufferSize = 80;
int buffer[BufferSize];             //(a)
QSemaphore freeBytes(BufferSize);   //(b)
QSemaphore usedBytes(0);            //(c)

(2)Producer类继承自QThread类,作为生产者类,其声明如下:

class Producer : public QThread
{
public:
    Producer();
    void run();
};

其中,(a) int buffer[BufferSize]:首先生产者向buffer中写入数据,直到它到达终点,然后从起点重新开始覆盖已经存在的数据。消费者读取前者生产的数据,在此处每一个int字长都被看成一个资源,实际应用中常会在更大的单位上进行操作,从而减少使用信号量带来的开销。

(b) QSemaphore freeBytes(BufferSize):freeBytes信号量控制可被生产者填充的缓冲区部分,被初始化为BufferSize(80),表示程序一开始有BufferSize个缓冲区单元可被填充。

(c) QSemaphore usedBytes(0):usedBytes信号量控制可被消费者读取的缓冲区部分,被初始化为0,表示程序一开始时缓冲区中没有数据可供读取。

Producer构造函数中没有实现任何内容:

Producer::Producer()
{    
}

Producer::run()函数的具体实现代码如下:

void Producer::run()
{
    for (int i = 0; i < DataSize; i++)
    {
        freeBytes.acquire();                        //(a)
        buffer[i%BufferSize] = (i % BufferSize);    //(b)
        usedBytes.release();                        //(c)
    }
}

其中,(a) freeBytes.acquire():生产者线程首先获取一个空闲单元,如果此时缓冲区被消费者尚未读取的数据填满,对此函数的调用就会阻塞,知道消费者读取了这些数据为止。

acquire(n)函数用于获取n个资源,当没有足够的资源时,调用者将被阻塞,直到有足够的可用资源为止。

除此之外,QSemaphore类还提供了一个tryAcquire(n)函数,在没有足够的资源时,该函数会理解返回。

(b) buffer[i%BufferSize] = (i%BufferSize):一旦生产者获取了某个空闲单元,就使用当前的缓冲区单元序号填写这个缓冲区单元。

(c) usedBytes.release():调用该函数将可用资源加1,表示消费者此时可以读取这个刚刚填写的单元了。

release(n)函数用于释放n个资源。

(3)Consumer类继承自QThread类,作为消费者类,其声明如下:

class Consumer : public QThread
{
public:
    Consumer();
    void run();
};

Consumer构造函数中没有实现任何内容:

Consumer::Consumer()
{
}

Consumer::run()函数的具体实现代码如下:

void Consumer::run()
{
    for (int i = 0; i < DataSize; i++)
    {
        usedBytes.acquire();                            //(a)
        fprintf(stderr, "%d", buffer[i%BufferSize]);    //(b)
        if (i % 16 == 0 && i != 0)
            fprintf(stderr, "\n");
        freeBytes.release();                            //(c)
    }
    fprintf(stderr, "\n");
}

其中,(a) usedBytes.acquire():消费者线程首先获取一个可被读取的单元,如果缓冲区中没有包含任何可以读取的数据,对此函数的调用就会阻塞,直到生产者生产了一些数据位置。

(b) fprintf(stderr, "%d", buffer[i%BufferSize]:一旦消费者获取了这个单元,会将这个单元的内容打印出来。

(c) freeBytes.release:调用该函数使得这个单元变为空闲,以备生产者下次填充。

(4)main()函数的具体代码如下:

int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
    Producer producer;
    Consumer consumer;
    /* 启动生产者和消费者线程 */
    producer.start();
    consumer.start();
    /* 等待生产者和消费者各自执行完毕后自动退出 */
    producer.wait();
    consumer.wait();
    return a.exec();
}

(5)最终运行结果如图12.3所示。

图12.3 使用QSemaphore

完整代码下载链接:https://download.csdn.net/download/anhuizhj/10959400

12.2.3 线程等待与唤醒

对生产者和消费者问题的另一个解决方法是使用QWaitCondition类,允许线程在一定条件下唤醒其他线程。

【例】(难度一般)(CH1203)使用QWaitCondition类解决生产者和消费者问题。

源文件“main.cpp”的具体内容如下:

#include <QCoreApplication>
#include <QWaitCondition>
#include <QMutex>
#include <QThread>
#include <stdio.h>
const int DataSize = 1000;
const int BufferSize = 80;
int buffer[BufferSize];
QWaitCondition bufferEmpty;
QWaitCondition bufferFull;
QMutex mutex;               //(a)
int numUsedBytes = 0;       //(b)
int rIndex = 0;             //(c)

其中,(a) QMutex mutex:使用互斥量保证对线程操作的原子性。

(b) int numUsedBytes = 0:变量numUsedBytes表示存在多少“可用字节”。

(c) int rIndex = 0:本例中启动了两个消费者线程,并且这两个线程读取同一个缓冲区,为了不重复读取,设置全局变量rIndex用于指示当前所读取缓冲区位置。

生产者线程Producer类继承自QThread类,其声明如下:

class Producer : public QThread
{
public:
    Producer();
    void run();
};

Producer构造函数无须实现:

Producer::Producer()
{
}

Producer::run()函数的具体内容如下:

void Producer::run()
{
    for (int i = 0; i < DataSize; i++)          //(a)
    {
        mutex.lock();
        if (numUsedBytes == BufferSize)         //(b)
            bufferEmpty.wait(&mutex);           //(c)
        buffer[i%BufferSize] = numUsedBytes;    //(d)
        ++numUsedBytes;                         //增加numUsedBytes变量
        bufferFull.wakeAll();                   //(e)
        mutex.unlock();
    }
}

其中,(a) for (int i = 0; i < DataSize; i++) { mutex.lock(); ... mutex.unlock(); }:for循环中的所有语句都需要使用互斥量加以保护,以保证其操作的原子性。

(b) if (numUsedBytes == BufferSize):首先检查缓冲区是否已经填满。

(c) bufferEmpty.wait(&mutex):如果缓冲区已经填满,则等待“缓冲区有空位”(bufferEmpty变量)条件成立。wait()函数将互斥量解锁并在此等待,其原型如下:

bool QWaitCondition::wait
(
    QMutex *mutex;
    unsigned long time = ULONG_MAX
)

① 参数mutex为一个锁定的互斥量。如果此参数的互斥量在调用时不是锁定的或者出现递归锁定的情况,则wait()函数将立刻返回。

② 参数time为等待时间。

调用wait()操作的线程是的作为参数的互斥量在调用前首先变为解锁定状态,然后自身被阻塞变为等待状态知道满足以下条件之一:

● 其他线程调用了wakeOne()或者wakeAll()函数,这种情况下将返回“true”值。

● 第2个参数time超时(以毫秒为单位),该参数默认情况下为ULONG_MAX,表示永不超时,这种情况下将返回“false”值。

● wait()函数返回前会将互斥量参数重新设置为锁定状态,从而保证从锁定状态到等待状态的原子性转换。

(d) buffer[i%BufferSize] = numUsedBytes:如果缓冲区未被填满,则向缓冲区中写入一个整数值。

(e) bufferFull.wakeAll():最后唤醒等待“缓冲区有可用数据”(bufferEmpty变量)条件为“真”的线程。

wakeOne()函数在条件满足时随机唤醒一个等待线程,而wakeAll()函数则在条件满足时唤醒所有等待线程。

消费者线程Consumer类继承自QThread类,其声明如下:

class Consumer : public QThread
{
public:
    Consumer();
    void run();
};

Consumer构造函数中无须实现内容:

Consumer::Consumer()
{
}

Consumer::run()函数的具体内容如下:

void Consumer::run()
{
    forever
    {
        mutex.lock();
        if (numUsedBytes == 0)
            bufferFull.wait(&mutex);        //(a)
        printf("%ul::[%d]=%d\n", currentThreadId(), rIndex, buffer[rIndex]);    //(b)
        rIndex = (++rIndex)%BufferSize;     //将rIndex变量循环加1
        --numUsedBytes;                     //(c)
        bufferEmpty.wakeAll();              //(d)
        mutex.unlock();
    }
    printf("\n");
}

其中,(a) bufferFull.wait(&mutex):当缓冲区中无数据时,等待“缓冲区有可用数据”(bufferFull变量)条件成立。

(b) printf("%ul::[%d]=%d\n", currentThreadId(), rIndex, buffer[rIndex]):当缓冲区中有可用数据即条件成立时,打印当前线程号和rIndex变量,以及其指示的当前可读取数据。这里为了区分究竟是哪一个消费者线程消耗了缓冲区里的数据,使用了QThread类的currentThreadId()静态函数输出当前线程的ID。这个ID在X11环境下是一个unsigned long类型的值。

(c) --numUsedBytes:numUsedBytes变量减1,即可用的数据减1。

(d) bufferEmpty.wakeAll():唤醒等待“缓冲区有空位”(bufferEmpty变量)条件的生产者线程。

main()函数的具体内容如下:

int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
    Producer producer;
    Consumer consumerA;
    Consumer consumerB;
    producer.start();
    consumerA.start();
    consumerB.start();
    producer.wait();
    consumerA.wait();
    consumerB.wait();
    return a.exec();
}

 

其中,consumerA.start()、ConsumerB.start()启动了两个消费者线程。

程序的最终的运行结果如图12.4所示。

图12.4 使用QWaitCondition类实例

完整代码下载地址:https://download.csdn.net/download/anhuizhj/10959566

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值