【ONE·Linux || 多线程（二）】

藏鹤虞渊2023-10-03 16:05

总言

多线程：生产者消费者模型与两种实现方式（条件变量、信号量）、线程池。

文章目录

4、生产者消费者模型

4.1、基本概念

说明： 生产者消费者模式就是通过一个容器来解决生产者和消费者的强耦合问题 。生产者和消费者彼此之间不直接通讯 ，而通过阻塞队列来进行通讯，所以生产者生产完数据之后不用等待消费者处理，直接扔给阻塞队列，消费者不找生产者要数据，而是直接从阻塞队列里取，阻塞队列就相当于一个缓冲区，平衡了生产者和消费者的处理能力。这个阻塞队列就是用来给生产者和消费者解耦的。

PS：在下述编码实现过程中，始终要站在三种关系、两种角色、一个场所这类角色属性的角度来分析考虑，有助于理解代码操作。

4.2、基于BlockingQueue的生产者消费者模型（理解条件变量）

阻塞队列与普通的队列区别在于：

当队列为空时 ，从队列获取元素的操作将会被阻塞，直到队列中被放入了元素；

当队列为满时 ，往队列里存放元素的操作也会被阻塞，直到有元素被从队列中取出。

PS：以上空和满的操作是基于不同的线程来说的。

4.2.1、单生产者单消费者模式（1.0）

4.2.1.1、阻塞队列 BlocQueue.hpp：充当交易场所

框架搭建如下图：

具体实现如下：

cpp 复制代码 
#pragma once
#include<iostream>
#include<pthread.h>
#include<time.h>
#include<unistd.h>
#include<queue>

using namespace std;

int gDefaultCap = 5;//默认的阻塞队列容量上限

template <class T> // 模板类型
class BlockQueue
{
private:
    bool isQueueFull()
    {
        return _bq.size() == _capacity;
    }

    bool isQueueEmpty()
    {
        return _bq.size() == 0;
    }

public:
    //构造函数：初始化容量上限、初始化互斥锁、初始化条件变量
    BlockQueue(int capacity = gDefaultCap)
        : _capacity(capacity)//容量上限：由用户决定需要多大容量
    {
        pthread_mutex_init(&_mutex, nullptr);
        pthread_cond_init(&_Empty, nullptr);
        pthread_cond_init(&_Full, nullptr);
    }

    //析构函数：销毁互斥锁、销毁条件变量
    ~BlockQueue()
    {
        pthread_mutex_destroy(&_mutex);
        pthread_cond_destroy(&_Empty);
        pthread_cond_destroy(&_Full);
    }

    //Push:放数据的接口：由生产者线程不断向阻塞队列中放数据
    void Push(const T& in)   
    {
        //临界资源区：先上锁
        pthread_mutex_lock(&_mutex);
        //判断当前临界资源是否满足条件：对生产者、isQueueFull
        while(isQueueFull()) pthread_cond_wait(&_Full, &_mutex);
        //代码执行到此步：当前生产者线程持有锁，且阻塞队列未满--->可放入数据
        _bq.push(in);
        //完成后，解锁，并唤醒消费者线程（告诉它此时交易场所中有资源，可以取用）
        pthread_mutex_unlock(&_mutex);
        pthread_cond_signal(&_Empty);
    }

    //Pop:取数据的接口：由消费者线程不断从阻塞队列中取数据
    void Pop(T* out)
    {
        //临界资源区：先上锁
        pthread_mutex_lock(&_mutex);
        //判断当前临界资源是否满足条件：对消费者、isQueueEmpty
        while(isQueueEmpty()) pthread_cond_wait(&_Empty, &_mutex);
        //代码执行到此步：当前消费者线程持有锁，且阻塞队列不空--->可取到数据
        *out = _bq.front();
        _bq.pop();
        //完成后，解锁，并唤醒生产者线程（告诉它此时交易场所中资源被取出，可补充）
        pthread_mutex_unlock(&_mutex);
        pthread_cond_signal(&_Full);
    }

private:
    queue<T> _bq;           // 使用库里的队列做阻塞队列
    int _capacity;          // 阻塞队列的容量上限
    pthread_mutex_t _mutex; // 互斥锁：保证队列安全
    pthread_cond_t _Empty;  // 判断阻塞队列为空的条件变量：关心该条件的是消费者（空了就不能取数据）
    pthread_cond_t _Full;   // 判断阻塞队列为满的条件变量：关心该条件的是生产者（满了就不能放数据）

    // PS：一些解释
    /*
        生产者消费者模型中，阻塞队列充当了交易场所的角色，生产者消费者线程能同时访问该交易场所，即访问了临界资源。
        1、多线程同时Push/pop：因此需要互斥，保证临界资源一次只能让一线程操作；
        2、在Push的同时存在Pop，因此需要同步，保证访问临界资源的顺序性。
    */
};

4.2.2.2、生产者消费者线程 ConProd.cc
cpp 复制代码 
#include "BlockQueue.hpp"

// 生产者线程：调用push接口，存入数据
void *Produce(void *args)
{
    BlockQueue<int> *bqueue = (BlockQueue<int> *)args;

    // 生产数据：
    while (true)
    {
        int data = rand() % 100;
        cout << "producer, 生产一个数据:" << data << endl;
        bqueue->Push(data);
        sleep(1);
    }

    return nullptr;
}

// 消费者线程：调用pop接口，取出数据
void *Consume(void *args)
{
    BlockQueue<int> *bqueue = (BlockQueue<int> *)args;

    // 消费数据：
    while (true)
    {
        int data;
        bqueue->Pop(&data);
        cout << "consumer, 消费一个数据: " << data << endl;
        sleep(1);
    }

    return nullptr;
}

int main()
{
    //用于充当数据资源
    srand((unsigned int)time(nullptr));

    //创建交易场所：阻塞队列
    BlockQueue<int>* bqueue = new BlockQueue<int>();

    //创建两类线程：生产者、消费者
    pthread_t ptor, cmer;
    pthread_create(&ptor, nullptr, Produce, (void*)bqueue);//arg参数：传入阻塞队列，让两个线程能够看到同一个交易场所
    pthread_create(&cmer, nullptr, Consume, (void*)bqueue);

    //线程终止
    pthread_join(ptor, nullptr);
    pthread_join(ptor, nullptr);

    delete bqueue;//注意释放空间

    return 0;
}

4.2.2.3、演示结果与补充说明

演示结果：

1、可根据需求适当加入策略。如通过sleep控制生产消费双方线程速度，①生产慢、消费快；②生产快、消费慢；③生产消费速度同。等。

2、但无论上述哪一情况，阻塞队列实际不关心生产者消费者线程谁先运行或者谁在等待，因为在内部实现中已经考虑到执行流程。

对于生产者消费者模型，其效率优势体现在哪？

以上述单生产者单消费者为例，一定程度上缓解了生产者和消费者之间的数据处理能力。

对于多生产者多消费者，除了上述该点外，也有其它意义，后续说明。

4.2.2、多生产者多消费者模式（2.0）

4.2.2.1、引入任务派发 Task.hpp
cpp 复制代码 
#pragma once
#include <iostream>
#include <functional>

typedef std::function<int(int, int)> func_t;

// 用于派发任务对象：可根据需求设置，此处为演示（两数计算）
class Task
{
public:
    Task(){}; // 默认无参构造

    Task(int x, int y, func_t func) // 需要我们自己传递函数和对应变量
        : _x(x), _y(y), _func(func)
    {
    }

    int operator()()
    {
        return _func(_x, _y);
    }

public:
    int _x;
    int _y;
    func_t _func; // 函数指针
};

4.2.2.2、加锁方式设计 lockGuard.hpp：PAII风格
cpp 复制代码 
#pragma once
#include <iostream>
#include<pthread.h>

class Mutex
{
public:
    Mutex(pthread_mutex_t *pmutex)
        : _pmutex(pmutex)
    {
    }

    void lock()//加锁
    {
        pthread_mutex_lock(_pmutex);
    }

    void unlock()//解锁
    {
        pthread_mutex_unlock(_pmutex);
    }

private:
    pthread_mutex_t *_pmutex;
};


class lockGuard
{
public:
    lockGuard(pthread_mutex_t* pmutex)//构造：在构造时加锁
    :_mutex(pmutex)//初始化列表初始化_mutex时，调用Mutex的构造函数，需要传入pthread_mutex_t * 类型变量
    {
        _mutex.lock();//上锁
    }

    ~lockGuard()//析构：在对类析构时，顺带就解锁
    {
        _mutex.unlock();//解锁
    }
private:
    Mutex _mutex;
};

4.2.2.3、整体

实则改动不大。

1、对BlockQueue.hpp，修改加锁风格，其余部分大体不变。

cpp 复制代码 
#pragma once
#include<iostream>
#include<pthread.h>
#include<time.h>
#include<unistd.h>
#include<queue>
#include"lockGuard.hpp"

using namespace std;

int gDefaultCap = 5;//默认的阻塞队列容量上限

template <class T> // 模板类型
class BlockQueue
{
private:
    bool isQueueFull()
    {
        return _bq.size() == _capacity;
    }

    bool isQueueEmpty()
    {
        return _bq.size() == 0;
    }

public:
    //构造函数：初始化容量上限、初始化互斥锁、初始化条件变量
    BlockQueue(int capacity = gDefaultCap)
        : _capacity(capacity)//容量上限：由用户决定需要多大容量
    {
        pthread_mutex_init(&_mutex, nullptr);
        pthread_cond_init(&_Empty, nullptr);
        pthread_cond_init(&_Full, nullptr);
    }

    //析构函数：销毁互斥锁、销毁条件变量
    ~BlockQueue()
    {
        pthread_mutex_destroy(&_mutex);
        pthread_cond_destroy(&_Empty);
        pthread_cond_destroy(&_Full);
    }

    //Push:放数据的接口：由生产者线程不断向阻塞队列中放数据
    void Push(const T& in)   
    {
        //临界资源区：先上锁
        lockGuard lockguard(&_mutex);//创建该对象，那么在构造时会加锁，在析构时会解锁。（局部变量，声明周期在该函数中）
        //判断当前临界资源是否满足条件：对生产者、isQueueFull
        while(isQueueFull()) pthread_cond_wait(&_Full, &_mutex);
        //代码执行到此步：当前生产者线程持有锁，且阻塞队列未满--->可放入数据
        _bq.push(in);
        //完成后，唤醒消费者线程（告诉它此时交易场所中有资源，可以取用）
        pthread_cond_signal(&_Empty);
        //出了作用范围，lockguard析构时解锁
    }

    //Pop:取数据的接口：由消费者线程不断从阻塞队列中取数据
    void Pop(T* out)
    {
        //临界资源区：先上锁
        lockGuard lockguard(&_mutex);//创建该对象，那么在构造时会加锁，在析构时会解锁。（局部变量，声明周期在该函数中）
        //判断当前临界资源是否满足条件：对消费者、isQueueEmpty
        while(isQueueEmpty()) pthread_cond_wait(&_Empty, &_mutex);
        //代码执行到此步：当前消费者线程持有锁，且阻塞队列不空--->可取到数据
        *out = _bq.front();
        _bq.pop();
        //完成后,唤醒生产者线程（告诉它此时交易场所中资源被取出，可补充）
        pthread_cond_signal(&_Full);
        //出了作用范围，lockguard析构时解锁

    }

private:
    queue<T> _bq;           // 使用库里的队列做阻塞队列
    int _capacity;          // 阻塞队列的容量上限
    pthread_mutex_t _mutex; // 互斥锁：保证队列安全
    pthread_cond_t _Empty;  // 判断阻塞队列为空的条件变量：关心该条件的是消费者（空了就不能取数据）
    pthread_cond_t _Full;   // 判断阻塞队列为满的条件变量：关心该条件的是生产者（满了就不能放数据）

    // PS：一些解释
    /*
        生产者消费者模型中，阻塞队列充当了交易场所的角色，生产者消费者线程能同时访问该交易场所，即访问了临界资源。
        1、多线程同时Push/pop：因此需要互斥，保证临界资源一次只能让一线程操作；
        2、在Push的同时存在Pop，因此需要同步，保证访问临界资源的顺序性。
    */
};

2、对ConProd.cc，创建多线程（多个生产者、多个消费者，此部分内容在之前的环节中也有涉及），派发任务与接收任务（任务对象）。

cpp 复制代码 
#include "BlockQueue.hpp"
#include "Task.hpp"

int add(int x, int y)
{
    return x+y;
}


// 生产者线程：调用push接口，存入数据
void *Produce(void *args)
{
    BlockQueue<Task> *bqueue = (BlockQueue<Task> *)args;

    // 派发任务：
    while (true)
    {
        //生产前环节:获取一个任务
        int x = rand() % 100;
        usleep(1000);//主要是随机数由时间戳生成，这里延长些间隔时间
        int y = rand() % 100;
        Task assign(x, y, add);

        //生产环节：生产者生产任务到阻塞队列
        printf("%p---productor: (%d , %d )\n",pthread_self(), assign._x, assign._y);
        bqueue->Push(assign);
        sleep(2);
    }

    return nullptr;
}

// 消费者线程：调用pop接口，取出数据
void *Consume(void *args)
{
    BlockQueue<Task> *bqueue = (BlockQueue<Task> *)args;

    while (true)
    {
        //消费环节:消费者从阻塞队列中获取任务
        Task assign;
        bqueue->Pop(&assign);

        //消费后环节：处理任务
        printf("%p---consumer: addtion result is  %d + %d = %d\n", pthread_self(), assign._x, assign._y, assign());
        printf("\n");
        sleep(2);
    }

    return nullptr;
}

int main()
{
    //用于充当任务对象派发的数据资源
    srand((unsigned int)time(nullptr));

    //创建交易场所：阻塞队列
    BlockQueue<Task>* bqueue = new BlockQueue<Task>();//向阻塞队列中存入的数据是Task任务对象

    //创建两类线程：生产者、消费者
    pthread_t ptor[2], cmer[2];
    
    pthread_create(ptor, nullptr, Produce, (void*)bqueue);//arg参数：传入阻塞队列，让两个线程能够看到同一个交易场所
    pthread_create(ptor+1, nullptr, Produce, (void*)bqueue);//arg参数：传入阻塞队列，让两个线程能够看到同一个交易场所
    pthread_create(cmer, nullptr, Consume, (void*)bqueue);
    pthread_create(cmer+1, nullptr, Consume, (void*)bqueue);

    //线程终止
    pthread_join(ptor[0], nullptr);
    pthread_join(ptor[1], nullptr);
    pthread_join(cmer[0], nullptr);
    pthread_join(cmer[1], nullptr);

    delete bqueue;//注意释放空间

    return 0;
}

4.2.2.4、演示结果与补充说明

演示结果：

对多生产者多消费者意义的补充说明

至于使用单生产单消费还是多生产多消费，取决于具体场景中，接收任务和处理任务的耗时情况。假设这两环节在整体流程体系中所占据时间比例很小（即任务简单，都不太需要耗费时间），那么此时使用多生产多消费反而是一种累赘行为。

4.3、基于环形队列的生产消费模型

4.3.1、POSIX信号量介绍

1）、信号量介绍

1、什么是信号量？

POSIX信号量和SystemV信号量作用相同，都是用于同步操作，达到无冲突的访问共享资源目的。 但POSIX可以用于线程间同步。

信号量本质：是一个计数器，用于预定资源。访问临界资源的时候，必须先申请信号量资源(sem--，预订资源，P)，使用完毕信号量资源(sem++，释放资源V)

2、如何理解信号量的使用？

我们申请了一个信号量，当前执行流一定具有一个资源可以被使用。至于是哪一个资源，需要结合场景自定义编码完成。

2）、相关接口

PS：要理解信号量接口在生产者消费者模型中的使用，建议将相关接口的基本描述信息（DESCRIPTION）大致看一遍（man）。理解下述几个接口的含义。

初始化信号量：

cpp 复制代码 
NAME
       sem_init - initialize an unnamed semaphore

SYNOPSIS
       #include <semaphore.h>
       int sem_init(sem_t *sem, int pshared, unsigned int value);

参数：
       pshared：0表示线程间共享，非零表示进程间共享
       value：信号量初始值
       
DESCRIPTION
       sem_init()  initializes  the  unnamed  semaphore at the address pointed to by sem.
       The value argument specifies the initial value for the semaphore.

销毁信号量：

cpp 复制代码 
NAME
       sem_destroy - destroy an unnamed semaphore

SYNOPSIS
       int sem_destroy(sem_t *sem);

等待信号量：

cpp 复制代码 
NAME
       sem_wait, sem_timedwait, sem_trywait - lock a semaphore

SYNOPSIS
       #include <semaphore.h>

       int sem_wait(sem_t *sem);//P()，等待信号量，会将信号量的值减1

       int sem_trywait(sem_t *sem);

       int sem_timedwait(sem_t *sem, const struct timespec *abs_timeout);

DESCRIPTION //具体理解信号量的值value递减至0时会做什么
       sem_wait() decrements (locks) the semaphore pointed to by sem.  If the semaphore's
       value is greater than zero, then the decrement proceeds, and the function returns,
       immediately.   If the semaphore currently has the value zero, then the call blocks
       until either it becomes possible to perform the  decrement  (i.e.,  the  semaphore
       value rises above zero), or a signal handler interrupts the call.

发布信号量：

cpp 复制代码 
NAME
       sem_post - unlock a semaphore

SYNOPSIS
       #include <semaphore.h>

       int sem_post(sem_t *sem);//V()，功能：发布信号量，表示资源使用完毕，可以归还资源了。将信号量值加1。
       
DESCRIPTION //具体理解信号量增加时是在做什么
       sem_post()  increments  (unlocks)  the  semaphore pointed to by sem.  If the sema-
       phore's value consequently becomes greater than  zero,  then  another  process  or
       thread blocked in a sem_wait(3) call will be woken up and proceed to lock the sem-
       aphore.

PV操作 ：是一种实现进程互斥与同步的有效方法，与信号量的处理相关。P表示通过的意思，V表示释放的意思。

PV操作是典型的同步机制之一。用一个信号量与一个消息联系起来，当信号量的值为0时，表示期望的消息尚未产生；当信号量的值非0时，表示期望的消息已经存在。用PV操作实现进程同步时，调用P操作测试消息是否到达，调用V操作发送消息。

4.3.2、结构需求和结构说明

4.3.3、单生产者单消费者模式（1.0）

4.3.3.1、环形队列 ringQueue.hpp：充当交易场所
cpp 复制代码 
#pragma once
#include<iostream>
#include<pthread.h>
#include<vector>
#include<unistd.h>
#include<time.h>
#include"Sem.hpp"
using namespace std;

int g_defualt_num = 5;//环形队列默认容量上限

template<class T>
class ringQueue
{ 
public:
    //构造：初始化数据
    ringQueue(int num = g_defualt_num)
        :_ring_queue(num)//这里是对vector对象进行构造：explicit vector (size_type n, const value_type& val = value_type());
        ,_num(num)
        ,p_step(0)//初始下标为0
        ,c_step(0)//初始下标为0
        ,space_sem(num)//构造信号量，初始时空间资源有num个
        ,data_sem(0)//构造信号量，初始时数据资源有0个
    { }

    //析构
    ~ringQueue()
    {}

    // 向环形队列中放入数据：生产者
    void push(const T &in)
    {
        // 申请信号量：预定空间资源
        space_sem.P();
        // 在特定位置生产数据
        _ring_queue[p_step++] = in;
        p_step %= _num; //[0,_num-1]
        // 生产成功，则意味着数据资源多了一个
        data_sem.V();
    }

    // 向环形队列中取出数据：消费者
    void pop(T *out)
    {
        // 申请信号量：预定数据资源
        data_sem.P();
        // 在特定位置消费数据
        *out = _ring_queue[c_step++];
        c_step %= _num;
        // 消费成功，则意味着空间资源多了一个
        space_sem.V();
    }

private:
    vector<T> _ring_queue;//环形队列：以数组的方式实现
    int _num;//环形队列容量上限
    int p_step;//生产者下标：在当前下标位置放入资源
    int c_step;//消费者下标：在当前下标位置取出资源
    Sem space_sem;//生产者信号量：空间资源
    Sem data_sem;//消费者信号量：数据资源
};

4.3.3.2、信号量对象 Sem.hpp
cpp 复制代码 
#ifndef _SEM_HPP_
#define _SEM_HPP_

#include<iostream>
#include<semaphore.h>

//信号量对象：因环形队列中需要用到不止一个信号量（包括其相关操作），故对其进行封装处理
class Sem
{
public:
    //构造:对信号量进行初始化，设置该信号量的初始值。
    Sem(unsigned int value)
    {
        sem_init(&_sem, 0, value);
    }

    //析构：销毁信号量
    ~Sem()
    {
        sem_destroy(&_sem);
    }

    //P操作：资源预定，信号量--
    void P()
    {
        sem_wait(&_sem);
    }

    //V操作：资源释放，信号量++
    void V()
    {
        sem_post(&_sem);
    }

private:
    sem_t _sem;
};

#endif

4.3.3.3、生产者消费者线程 testMain.cc
cpp 复制代码 
#include"ringQueue.hpp"
void* Produce(void* args)
{
    ringQueue<int>* rq = (ringQueue<int>*)args;

    while (true)
    {
        // 创建数据
        int data = rand() % 100 +1 ;
        // 生产者将数据存入交易场所中（环形队列）
        rq->push(data);
        printf("生产者: %d\n",data);
        sleep(1);
    }
}

void* Consume(void* args)
{
    ringQueue<int>* rq = (ringQueue<int>*)args;

    while(true)
    {
        // 消费者从交易场所取出数据并做后续处理
        int data;
        rq->pop(&data);
        printf("消费者：%d\n", data);
        sleep(1);
    }
}

int main()
{
    //用随机数模拟数据
    srand((unsigned int)time(nullptr));

    //创建交易场所：环形队列
    ringQueue<int>* rq = new ringQueue<int>();

    //创建并初始化生产者、消费者线程
    pthread_t ptor, cmer;
    pthread_create(&ptor, nullptr, Produce, (void*)rq);
    pthread_create(&cmer, nullptr, Consume, (void*)rq);

    //线程捕获
    pthread_join(ptor,nullptr);
    pthread_join(cmer,nullptr);

    delete rq;

    return 0;
}

4.3.3.4、演示结果

演示结果：对于数据输出部分可以根据需求调整修改。

4.3.4、多生产者多消费者模式（2.0）

4.3.4.1、相关说明

4.3.4.2、整体演示

对testMain.cc：多增了线程创建和线程终止。

cpp 复制代码 
#include"ringQueue.hpp"
void* Produce(void* args)
{
    ringQueue<int>* rq = (ringQueue<int>*)args;

    while (true)
    {
        // 创建数据
        int data = rand() % 100 +1 ;
        // 生产者将数据存入交易场所中（环形队列）
        rq->push(data);
        printf("生产者--%p: %d\n",pthread_self(),data);
        sleep(1);
    }
}

void* Consume(void* args)
{
    ringQueue<int>* rq = (ringQueue<int>*)args;

    while(true)
    {
        // 消费者从交易场所取出数据并做后续处理
        int data;
        rq->pop(&data);
        printf("消费者--%p: %d\n", pthread_self(),data);
        sleep(1);
    }
}

int main()
{
    //用随机数模拟数据
    srand((unsigned int)time(nullptr)^getpid());

    //创建交易场所：环形队列
    ringQueue<int>* rq = new ringQueue<int>();

    //创建并初始化生产者、消费者线程
    pthread_t ptor[2], cmer[2];
    pthread_create(ptor, nullptr, Produce, (void*)rq);
    pthread_create(ptor+1, nullptr, Produce, (void*)rq);
    pthread_create(cmer, nullptr, Consume, (void*)rq);
    pthread_create(cmer+1, nullptr, Consume, (void*)rq);

    //线程捕获
    pthread_join(ptor[0],nullptr);
    pthread_join(ptor[1],nullptr);
    pthread_join(cmer[0],nullptr);
    pthread_join(cmer[1],nullptr);

    delete rq;

    return 0;
}

对ringQueue.hpp：在环形队列中分别为生产者消费者创建了各自的锁，使用于push、pop接口。

cpp 复制代码 
#pragma once
#include<iostream>
#include<pthread.h>
#include<vector>
#include<unistd.h>
#include<time.h>
#include"Sem.hpp"
using namespace std;

int g_defualt_num = 5;//环形队列默认容量上限

template<class T>
class ringQueue
{ 
public:
    //构造：初始化数据
    ringQueue(int num = g_defualt_num)
        :_ring_queue(num)//这里是对vector对象进行构造：explicit vector (size_type n, const value_type& val = value_type());
        ,_num(num)
        ,p_step(0)//初始下标为0
        ,c_step(0)//初始下标为0
        ,space_sem(num)//构造信号量，初始时空间资源有num个
        ,data_sem(0)//构造信号量，初始时数据资源有0个
    { 
        pthread_mutex_init(&p_mutex, nullptr);
        pthread_mutex_init(&c_mutex, nullptr);
    }

    //析构
    ~ringQueue()
    {
        pthread_mutex_destroy(&p_mutex);
        pthread_mutex_destroy(&c_mutex);
    }

    // 向环形队列中放入数据：生产者
    void push(const T &in)
    {
        // 申请信号量：预定空间资源
        space_sem.P();
        //访问临界资源前加锁：生产者内部竞争，胜者持锁访问交易场所
        pthread_mutex_lock(&p_mutex);
        // 在特定位置生产数据
        _ring_queue[p_step++] = in;
        p_step %= _num; //[0,_num-1]
        //解锁
        pthread_mutex_unlock(&p_mutex);
        // 生产成功，则意味着数据资源多了一个
        data_sem.V();
    }

    // 向环形队列中取出数据：消费者
    void pop(T *out)
    {
        // 申请信号量：预定数据资源
        data_sem.P();
        //访问临界资源前加锁：消费者内部竞争，胜者持锁访问交易场所
        pthread_mutex_lock(&c_mutex);
        // 在特定位置消费数据
        *out = _ring_queue[c_step++];
        c_step %= _num;
        //解锁
        pthread_mutex_unlock(&c_mutex);
        // 消费成功，则意味着空间资源多了一个
        space_sem.V();
    }

private:
    vector<T> _ring_queue;//环形队列：以数组的方式实现
    int _num;//环形队列容量上限
    int p_step;//生产者下标：在当前下标位置放入资源
    int c_step;//消费者下标：在当前下标位置取出资源
    Sem space_sem;//生产者信号量：空间资源
    Sem data_sem;//消费者信号量：数据资源

    pthread_mutex_t p_mutex;//生产者内部使用的锁
    pthread_mutex_t c_mutex;//消费者内部使用的锁

};

演示结果：还可以将其修改为派发任务的情况。

5、线程池

5.1、概念介绍

线程池:

一种线程使用模式。线程过多会带来调度开销，进而影响缓存局部性和整体性能，而线程池维护着多个线程，等待着监督管理者分配可并发执行的任务。这避免了在处理短时间任务时创建与销毁线程的代价，线程池不仅能够保证内核的充分利用，还能防止过分调度。可用线程数量应该取决于可用的并发处理器、处理器内核、内存、网络sockets等的数量。

线程池的应用场景：

1、需要大量的线程来完成任务，且完成任务的时间比较短。 WEB服务器完成网页请求这样的任务，使用线程池技术是非常合适的。因为单个任务小，而任务数量巨大，你可以想象一个热门网站的点击次数。 但对于长时间的任务，比如一个Telnet连接请求，线程池的优点就不明显了。因为Telnet会话时间比线程的创建时间大多了。

2、对性能要求苛刻的应用，比如要求服务器迅速响应客户请求。

3、接受突发性的大量请求，但不至于使服务器因此产生大量线程的应用。突发性大量客户请求，在没有线程池情况下，将产生大量线程，虽然理论上大部分操作系统线程数目最大值不是问题，短时间内产生大量线程可能使内存到达极限，出现错误。

5.2、基本演示

PS：以下只是最基本的演示案例，可根据需求继续修改、完善、补充。

5.2.1、thread.hpp

cpp 复制代码 
#pragma once
#include<iostream>
#include<string>
#include<pthread.h>

using namespace std;
typedef void* (*func_t)(void*);//函数指针：此处用于线程表示线程的执行函数


//args传参设置：设置成类，增加args传参选择
class ThreadData
{
public:
    string _name;//对应线程名称
    void* _args;//对应线程回调函数中args参数
};




class Thread
{
public:
    Thread(int inode, func_t rountine, void* args)
    :_routine_func(rountine)//注意：这里线程的执行函数、参数args都是需要通过外部传入的
    {
        char buffer[64]="";
        snprintf(buffer, sizeof(buffer), "thread-%d",inode);
        _name = buffer;

        _tdata._args = args;
        _tdata._name = _name;
    }

    ~Thread()
    {}

    void start()//启动线程：用于创建线程，构造函数只是做了线程名称、ID等各参数设置，实则并未真正创建出线程
    {
        pthread_create(&_tid, nullptr, _routine_func, (void*)&_tdata);
    }

    void join()//终止线程
    {
        pthread_join(_tid, nullptr);
    }

private:
    string _name;//线程名
    pthread_t _tid;//线程ID
    func_t _routine_func;//线程的执行函数
    ThreadData _tdata;
};

5.2.2、threadpool.hpp

cpp 复制代码 
#pragma once

#include<vector>
#include<queue>
#include "thread.hpp"
#include "lockGuard.hpp"


//线程池：内部放置有多个处于等待状态的线程（消费者），当有任务派遣进入时（线程池内置的仓库，存放任务的队列），可唤醒线程处理任务
//相对于把任务到来再从零开始创建线程，此法中线程属于预备状态，那么有任务时直接派发处理即可。

int g_thread_num = 5;

template<class T>//模板：用于表示交易场所中资源数据类型（如：任务对象）
class threadPool
{
private://此处接口主要是用于rountine线程执行函数（其为静态成员函数，无法直接访问到类中非静态的成员变量）
    
    bool is_TaskQueue_Empty()//用于判断任务队列是否为空
    {
        return _task_queue.empty();
    }

    void condwait()//根据条件变量挂起对应线性
    {
        pthread_cond_wait(&_cond,&_mutex);
    }

    pthread_mutex_t* getMutex()//用于获取锁
    {
        return &_mutex;
    }

    T getTask()
    {
        T tmp = _task_queue.front();
        _task_queue.pop();
        return tmp;
    }



public:
    threadPool(int thread_num = g_thread_num)//构造函数
    :_num(thread_num)//待创建线程的个数
    {
        //初始化锁、条件变量
        pthread_mutex_init(&_mutex, nullptr);
        pthread_cond_init(&_cond, nullptr);

        //初始化线程对象
        for(int i = i; i <= _num; ++i)
        {
            _threads.push_back(new Thread(i, routine, this));
        }
    }

    ~threadPool()
    {
        //销毁锁、条件变量
        pthread_mutex_destroy(&_mutex);
        pthread_cond_destroy(&_cond);

        //线程终止
        for(auto & itor: _threads)
        {
            itor->join();
            delete itor;//销毁构造函数中，new出来的空间
        }
    }

    void run()//启动线程池:实际创建线程
    {
        for(auto & itor: _threads)//这里遍历调用线程对象中的start，用以创建线程
        {   
            itor->start();
        }
    }

    //消费者：用于执行任务的线程
    static void* routine(void* args)
    {
        ThreadData* pdata = (ThreadData*)args;
        threadPool<T>* pthis = (threadPool<T>*)pdata->_args;

        while(true)//线程非执行一次任务就终止
        {
            T task;// 此处受制于作用域，任务对象需要创建在{}外
            {                                 
                // 加上括号的原因是方便在创建lockGuard对象时自动加锁解锁
                lockGuard lockguard(pthis->getMutex()); // 先上锁
                while (pthis->is_TaskQueue_Empty())pthis->condwait(); // 判断临界资源是否满足
                // 到此步骤，说明线程持有锁，且临界资源满足条件（将任务从仓库中取出）
                task = pthis->getTask();
            }
            task(pdata->_name);
        }
        
    }

    //仓库：将获取到的任务对象存入队列中
    void pushTask(const T& task)
    {   
        //仓库属于临界资源，放入数据到仓库中是生产者做的事(外部调用)，也要加锁处理
        lockGuard lockguard(&_mutex);
        _task_queue.push(task);
        //仓库中有数据资源，此时可以唤醒被挂起的线程，让其执行任务
        pthread_cond_signal(&_cond);
    }


private:
    vector<Thread*> _threads;//线程池
    int _num;//线程池中线程数目
    queue<T> _task_queue;//队列:用于充当交易场所
    pthread_mutex_t _mutex;//交易场所可被多个线程访问，属于临界资源，故而需要互斥锁
    pthread_cond_t _cond;//当某一线程持有锁时，为了防止其余线程屡次申请锁，引入条件变量
};

5.2.3、testMain.cc

cpp 复制代码 
#include<time.h>
#include<unistd.h>
#include"threadPool.hpp"
#include"Task.hpp"
#include"log.hpp"

int main()
{   

    //随机数:用于模拟任务数据
    srand((unsigned long)time(nullptr)^getpid());

    //创建线程池
    threadPool<Task>* tp = new threadPool<Task>();//无参，此处线程数目为默认值
    logMessage(DEBUG,"成功创建线程池");

    //运行线程池
    tp->run();
    logMessage(DEBUG,"成功运行线程池");

    //派发任务
    while(true)
    {
        int x = rand()%100;
        usleep(2333);
        int y = rand()%100;
        //拉姆达表达式
        Task t(x,y, [](int x, int y)->int{return x + y; });
        
        logMessage(DEBUG,"成功制作任务--- add: %d, %d", t._x, t._y);

        //生产者：将任务存放入线性池的仓库中
        tp->pushTask(t);

        sleep(1);
    }

    return 0;
}

5.2.4、Task.hpp、log.hpp、lockGuard.hpp

Task.hpp

cpp 复制代码 
#pragma once
#include <iostream>
#include <functional>
#include <string>

typedef std::function<int(int, int)> task_func_t;

// 用于派发任务对象：可根据需求设置，此处为演示（两数计算）
class Task
{
public:
    Task(){}; // 默认无参构造

    Task(int x, int y, task_func_t func) // 需要我们自己传递函数和对应变量
        : _x(x), _y(y), _func(func)
    {
    }

    void operator()(string name)//执行函数调用时报一下线程名称
    {
        printf("任务结果: %d + %d = %d \n",_x, _y, _func(_x, _y));
    }

public:
    int _x;
    int _y;
    task_func_t _func; // 函数指针
};

log.hpp

cpp 复制代码 
#pragma once

#include <iostream>
#include <cstdio>
#include <cstdarg>
#include <ctime>
#include <string>

// 日志级别
#define DEBUG   0
#define NORMAL  1
#define WARNING 2
#define ERROR   3
#define FATAL   4

const char *gLevelMap[] = {
    "DEBUG",
    "NORMAL",
    "WARNING",
    "ERROR",
    "FATAL"
};

#define LOGFILE "./threadpool.log"

// 完整的日志功能，至少有 日志等级 时间 支持用户自定义(日志内容, 文件行，文件名)
void logMessage(int level, const char *format, ...)//const char *format, ... 可变参数
{
#ifndef DEBUG_SHOW
    if(level== DEBUG) return;
#endif

    //标准部分：固定输出的内容
    char stdBuffer[1024]; 
    time_t timestamp = time(nullptr);
    snprintf(stdBuffer, sizeof stdBuffer, "[%s] [%ld] ", gLevelMap[level], timestamp);


    //自定义部分：允许用户根据自己的需求设置
    char logBuffer[1024]; 
    va_list args; //定义一个va_list对象
    va_start(args, format); 
    vsnprintf(logBuffer, sizeof logBuffer, format, args);
    va_end(args); //相当于 args == nullptr

    printf("%s%s\n", stdBuffer, logBuffer);
}

lockGuard.hpp

cpp 复制代码 
#pragma once
#include <iostream>
#include<pthread.h>

class Mutex
{
public:
    Mutex(pthread_mutex_t *pmutex)
        : _pmutex(pmutex)
    {
    }

    void lock()//加锁
    {
        pthread_mutex_lock(_pmutex);
    }

    void unlock()//解锁
    {
        pthread_mutex_unlock(_pmutex);
    }

private:
    pthread_mutex_t *_pmutex;
};


class lockGuard
{
public:
    lockGuard(pthread_mutex_t* pmutex)//构造：在构造时加锁
    :_mutex(pmutex)//初始化列表初始化_mutex时，调用Mutex的构造函数，需要传入pthread_mutex_t * 类型变量
    {
        _mutex.lock();//上锁
    }

    ~lockGuard()//析构：在对类析构时，顺带就解锁
    {
        _mutex.unlock();//解锁
    }
private:
    Mutex _mutex;
};

其它：待补充。

相关推荐
朝九晚五ฺ31 分钟前
【Linux探索学习】第十四弹——进程优先级：深入理解操作系统中的进程优先级
linux·运维·学习
自由的dream35 分钟前
Linux的桌面
linux
xiaozhiwise1 小时前
Makefile 之 自动化变量
linux
意疏3 小时前
【Linux 篇】Docker 的容器之海与镜像之岛：于 Linux 系统内探索容器化的奇妙航行
linux·docker
BLEACH－heiqiyihu3 小时前
RedHat7—Linux中kickstart自动安装脚本制作
linux·运维·服务器
一只爱撸猫的程序猿4 小时前
一个简单的Linux 服务器性能优化案例
linux·mysql·nginx
我的K84095 小时前
Flink整合Hudi及使用
linux·服务器·flink
1900435 小时前
linux6:常见命令介绍
linux·运维·服务器
Camellia-Echo5 小时前
【Linux从青铜到王者】Linux进程间通信(一）——待完善
linux·运维·服务器
热门推荐
01(欧拉)openEuler系统添加网卡文件配置流程、(欧拉)openEuler系统手动配置ipv6地址流程、(欧拉)openEuler系统网络管理说明02PyTorch机器学习实现液态神经网络03【HarmonyOS】HUAWEI DevEco Studio 下载地址汇总04玄机平台应急响应—webshell查杀05Coze扣子平台完整体验和实践（附国内和国际版对比）06RAG 实践- Ollama+RagFlow 部署本地知识库07【目标跟踪】相机运动补偿08Unity中PICO实现 隔空取物 和 接触抓取物体09Ubuntu 20.04使用Livox mid 360 测试 FAST_LIO10量化方法怎么选？如何评估量化后的大模型LLM？