Linux——生产者消费者模型和信号量

news2024/11/28 5:35:43

目录​​​​​​​

基于BlockingQueue的生产者消费者模型

概念

条件变量的第二个参数的作用

 锁的作用

生产者消费者模型的高效性

生产者而言,向blockqueue里面放置任务

消费者而言,从blockqueue里面拿取任务:

总结

完整代码(不含存储数据的线程)

完整代码(含存储线程) 

信号量

1、先发现我们之前写的代码不足的地方。

 关于临界资源

总结

信号量的概念

申请信号量的本质

申请信号量的情况

信号量作为计数器的操作

信号量相关函数

初始化信号量

等待信号量

发布信号量

基于RingQueue的生产者消费者模型

引入环形队列

 生产和消费在什么情况下可能访问同一个位置

 举个例子

生产者而言

消费者而言

总结 

环形队列的实现(代码)


基于BlockingQueue的生产者消费者模型

概念

在多线程编程中阻塞队列(Blocking Queue)是一种常用于实现生产者和消费者模型的数据结构。
其与普通的队列区别在于:
    当队列为空时,从队列获取元素的操作将会被阻塞,直到队列中被放入了元素;
    当队列满时,往队列里存放元素的操作也会被阻塞,直到有元素被从队列中取出(以上的操作都是基于不同的线程来说的,线程在对阻塞队列进程操作时会被阻塞)。

条件变量的第二个参数的作用

 因为如果队列为满那么对应进来的线程将等待(被挂起)
由于自身已经拥有锁的缘故,锁就不会被释放了
将第二个参数的锁传过去的作用就是,如果该线程被挂起
那么对应的锁是会被释放的,以便于后边的线程可以申请锁成功

 锁的作用

在阻塞队列中,因为有锁的存在,无论外部的线程有多少,真正进入到我们的阻塞队列中生产或者消费的线程永远只有一个。

生产者消费者模型的高效性

生产者而言,向blockqueue里面放置任务

对于生产者,他的任务从哪里来的呢?它获取任务和构建任务要不要花时间??

生产者获取任务是要花时间的:
生产活动,从数据库?从网络,从外设??拿来的用户数据!!

消费者而言,从blockqueue里面拿取任务:


对于消费者,难道它把任务从任务队列中拿出来就完了吗??
消费者拿到任务之后,后续还有没有任务??

消费者拿任务这个过程,也可能非常耗时!!(计算或处理或存储)。


总结

可以在生产之前,和消费之后,让线程并行执行。

也就是说高效是体现在进入阻塞队列前的生产者并行的生产数据,和出阻塞队列后的消费者并行的消费数据。

完整代码(不含存储数据的线程)

里面含有 BlockQueue.hpp  MainCp.cc  Task.hpp(并且由详细的注释)

*********************************
BlockQueue.hpp
*********************************

#pragma once

#include <iostream>
#include <pthread.h>
#include <queue>
#include <string>
#include <unistd.h>
#include <sys/types.h>
#include <cstdio>

const int gmaxcap = 5;

template <class T>
class BlockQueue
{
public:
   // 构造函数 主要完成阻塞队列的大小、锁、条件变量的初始化
    BlockQueue(const int &maxcap = gmaxcap) // 给一个缺省值(默认为gmaxcap)
    : _maxcap(maxcap)
    {
        // 都是局部的
        pthread_mutex_init(&_mutex, nullptr);
        pthread_cond_init(&_pcond, nullptr);
        pthread_cond_init(&_ccond, nullptr);
    }

    // 向队列里面放数据
    void push(const T &in) // 输入型参数, const &
    {
        // 加锁
        pthread_mutex_lock(&_mutex);

        // 1、判断
        // 细节2:充当条件判断的语法必须是while,不能是if
        while (is_full()) // 如果队列中满的条件满足了,就不能生产了
        {
            // 细节1:pthread_cond_wait这个函数的第二个参数,必须是我们正在使用的互斥锁!

            // 因为如果队列为满那么对应进来的线程将等待(被挂起)
            // 由于自身已经拥有锁的缘故,锁就不会被释放了
            // 将第二个参数的锁传过去的作用就是,如果该线程被挂起
            // 那么对应的锁是会被释放的,以便于后边的线程可以申请锁成功

            // a、pthread_cond_wait:该函数调用的时候,会以原子性的方式,将锁释放,并将自己挂起
            // b、pthread_cond_wait:该函数在被唤醒返回的时候,会自动的重新获取你传入的锁
            pthread_cond_wait(&_pcond, &_mutex); // 因为我们的生产条件不满足,无法生产,我们的生产者进行等待
        }

        // 2、当走到这里一定是没有满的
        // 将需要放入的数据push进队列
        _q.push(in);

        // 3、绝对能保证,阻塞队列里面一定有数据,因此将消费者进行唤醒
        // 细节3:pthread_cond_signal:这个函数,可以放在临界区内部,也可以放在外部
        pthread_cond_signal(&_ccond); // 这里可以有一定的策略(比如高于多少数据再消费等等)
        
        // 解锁
        pthread_mutex_unlock(&_mutex);
    }


    // 向队列里面拿数据
    void pop(T *out) // 输出型参数:*, //输入型参数:&
    {
        // 为保证数据的安全,肯定是先加锁
        pthread_mutex_lock(&_mutex);
        // 1、判断
        while (is_empty()) // 如果队列中为空,就不能消费了
        {
            // 由于该函数可能调用失败,所以需要进行while循环以防调用失败后就直接向后执行了
            pthread_cond_wait(&_ccond, &_mutex);
        }
        // 2、走到这里我们能保证,一定不为空

        // 拿到头部结点
        *out = _q.front();

        // 将该数据pop掉
        _q.pop();

        // 3、绝对能保证,阻塞队列里面,至少有一个空的位置,因此将生产者进行唤醒
        pthread_cond_signal(&_pcond); // 这里可以有一定的策略(比如低于多少数据再生产等等)
        pthread_mutex_unlock(&_mutex);
    }

    // 出作用域由于自动调用析构函数,因此自动销毁
    ~BlockQueue()
    {
        pthread_mutex_destroy(&_mutex);

        pthread_cond_destroy(&_pcond);
        pthread_cond_destroy(&_ccond);
    }

private:
    // 判断队列是否为空
    bool is_empty()
    {
        return _q.empty();
    }

    // 判断队列是否为满
    bool is_full()
    {
        return _q.size() == _maxcap;
    }

    


private:

    // 定义一个队列
    std::queue<T> _q;

    int _maxcap; // 表示队列的上限

    pthread_mutex_t _mutex;// 这个阻塞队列一定是临界资源(因此需要锁)

    pthread_cond_t _pcond; // 生产者对应的条件变量

    pthread_cond_t _ccond; // 消费者对应的条件变量
};



**********************************************
MainCp.cc
**********************************************
#include "BlockQueue.hpp"
#include "Task.hpp"
#include <time.h>

const std::string oper = "+-*/%";

int mymath(int x, int y, char op)
{
    int result = 0;
    switch (op)
    {
    case '+':
        result = x + y;
        break;
    case '-':
        result = x - y;
        break;
    case '*':
        result = x * y;
        break;

    case '/':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x / y;
    }
    break;
    case '%':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x % y;
    }
    break;
    default:
        break;
    }

    return result;
}

// 消费线程的消费动作
void *consumer(void *bq_)
{
    BlockQueue<Task> *bq = static_cast<BlockQueue<Task> *>(bq_);

    while (true)
    {
        // 消费活动
        // int data;
        Task t;
        bq->pop(&t); // 由于是输出型参数,因此是可以直接使用变量获取传入的变量的
        // std::cout << "消费数据:" << t._x << "+" << t._y << "=" << t() << std::endl;
        // std::cout << "消费数据:" << t.getx() << "+" << t.gety() << "=" << t() << std::endl;
        std::cout << "消费任务:" << t() << std::endl;

        // sleep(1);
    }

    return nullptr;
}

// 生产线程的生产动作
void *prodecter(void *bq_)
{
    BlockQueue<Task> *bq = static_cast<BlockQueue<Task> *>(bq_);

    while (true)
    {
        // 生产活动
        int x = rand() % 10; // 在这里我们先用随机数,构建一个数据
        int y = rand() % 5;

        int operCode = rand() % oper.size();
        // 定义一个Task对象
        Task t(x, y, oper[operCode], mymath);
        bq->push(t);
        std::cout << "生产任务:" << t.toTaskString() << std::endl;
        // sleep(1);
    }

    return nullptr;
}

int main()
{
    // 生成随机数种子:srand(time(nullptr));
    srand((unsigned long)time(nullptr) ^ getpid());

    // 为了让两个线程看到同一块资源
    BlockQueue<Task> *bq = new BlockQueue<Task>();

    // 定义线程
    pthread_t c, p;

    // 创建一个消费线程
    pthread_create(&c, nullptr, consumer, bq);
    // 创建一个生产线程
    pthread_create(&p, nullptr, prodecter, bq);

    // 等待线程
    pthread_join(c, nullptr);
    pthread_join(p, nullptr);

    delete bq;
    return 0;
}


*************************************************
Task.hpp
*************************************************
#pragma once

#include <iostream>
#include <functional>
#include <cstdio>

class Task
{

    using func_t = std::function<int(int, int, char)>;
    // typedef std::function<int(int, int)> func_t;

public:
    Task()
    {
    }

    Task(int x, int y, char op, func_t func)
        : _x(x), _y(y), _op(op), _callback(func)
    {
    }

    // 该函数是消费任务的打印信息
    std::string operator()()
    {
        int result = _callback(_x, _y, _op);
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = %d", _x, _op, _y, result);
        return buffer;
    }

// 该函数是生产任务的打印信息

    std::string toTaskString()
    {
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = ?", _x, _op, _y);
        return buffer;
    }

private:
    int _x;
    int _y;
    char _op;
    func_t _callback;
};






完整代码(含存储线程) 

里面含有 BlockQueue.hpp  MainCp.cc  Task.hpp(并且由详细的注释)

// BlockQueue.hpp

#pragma once

#include <iostream>
#include <pthread.h>
#include <queue>
#include <string>
#include <unistd.h>
#include <sys/types.h>
#include <cstdio>

const int gmaxcap = 5;

template <class T>
class BlockQueue
{
public:
   // 构造函数 主要完成阻塞队列的大小、锁、条件变量的初始化
    BlockQueue(const int &maxcap = gmaxcap) // 给一个缺省值(默认为gmaxcap)
    : _maxcap(maxcap)
    {
        // 都是局部的
        pthread_mutex_init(&_mutex, nullptr);
        pthread_cond_init(&_pcond, nullptr);
        pthread_cond_init(&_ccond, nullptr);
    }

    // 向队列里面放数据
    void push(const T &in) // 输入型参数, const &
    {
        // 加锁
        pthread_mutex_lock(&_mutex);

        // 1、判断
        // 细节2:充当条件判断的语法必须是while,不能是if
        while (is_full()) // 如果队列中满的条件满足了,就不能生产了
        {
            // 细节1:pthread_cond_wait这个函数的第二个参数,必须是我们正在使用的互斥锁!

            // 因为如果队列为满那么对应进来的线程将等待(被挂起)
            // 由于自身已经拥有锁的缘故,锁就不会被释放了
            // 将第二个参数的锁传过去的作用就是,如果该线程被挂起
            // 那么对应的锁是会被释放的,以便于后边的线程可以申请锁成功

            // a、pthread_cond_wait:该函数调用的时候,会以原子性的方式,将锁释放,并将自己挂起
            // b、pthread_cond_wait:该函数在被唤醒返回的时候,会自动的重新获取你传入的锁
            pthread_cond_wait(&_pcond, &_mutex); // 因为我们的生产条件不满足,无法生产,我们的生产者进行等待
        }

        // 2、当走到这里一定是没有满的
        // 将需要放入的数据push进队列
        _q.push(in);

        // 3、绝对能保证,阻塞队列里面一定有数据,因此将消费者进行唤醒
        // 细节3:pthread_cond_signal:这个函数,可以放在临界区内部,也可以放在外部
        pthread_cond_signal(&_ccond); // 这里可以有一定的策略(比如高于多少数据再消费等等)
        
        // 解锁
        pthread_mutex_unlock(&_mutex);
    }


    // 向队列里面拿数据
    void pop(T *out) // 输出型参数:*, //输入型参数:&
    {
        // 为保证数据的安全,肯定是先加锁
        pthread_mutex_lock(&_mutex);
        // 1、判断
        while (is_empty()) // 如果队列中为空,就不能消费了
        {
            // 由于该函数可能调用失败,所以需要进行while循环以防调用失败后就直接向后执行了
            pthread_cond_wait(&_ccond, &_mutex);
        }
        // 2、走到这里我们能保证,一定不为空

        // 拿到头部结点
        *out = _q.front();

        // 将该数据pop掉
        _q.pop();

        // 3、绝对能保证,阻塞队列里面,至少有一个空的位置,因此将生产者进行唤醒
        pthread_cond_signal(&_pcond); // 这里可以有一定的策略(比如低于多少数据再生产等等)
        pthread_mutex_unlock(&_mutex);
    }

    // 出作用域由于自动调用析构函数,因此自动销毁
    ~BlockQueue()
    {
        pthread_mutex_destroy(&_mutex);

        pthread_cond_destroy(&_pcond);
        pthread_cond_destroy(&_ccond);
    }

private:
    // 判断队列是否为空
    bool is_empty()
    {
        return _q.empty();
    }

    // 判断队列是否为满
    bool is_full()
    {
        return _q.size() == _maxcap;
    }

    


private:

    // 定义一个队列
    std::queue<T> _q;

    int _maxcap; // 表示队列的上限

    pthread_mutex_t _mutex;// 这个阻塞队列一定是临界资源(因此需要锁)

    pthread_cond_t _pcond; // 生产者对应的条件变量

    pthread_cond_t _ccond; // 消费者对应的条件变量
};

// MainCp.cc
#include "BlockQueue.hpp"
#include "Task.hpp"
#include <time.h>

// 创建一个类
// 里面包含了BlockQueue类型的对象
// C:计算
// S:存储
template <class C, class S>
class BlockQueues
{
public:
    BlockQueue<C> *c_bq;
    BlockQueue<S> *s_bq;
};

// 消费线程的消费动作
void *consumer(void *bq_)
{
    // 先把传入的参数强转成BlockQueues<CalTask, SaveTask> *  类型的
    // 然后再指向自己的成员
    BlockQueue<CalTask> *bq = (static_cast<BlockQueues<CalTask, SaveTask> *>(bq_))->c_bq;

    BlockQueue<SaveTask> *save_bq = (static_cast<BlockQueues<CalTask, SaveTask> *>(bq_))->s_bq;

    while (true)
    {
        // 消费活动 
        // int data;
        CalTask t;
        bq->pop(&t);
        std::string result = t(); // 任务非常耗时!! 也是有可能的
        std::cout << "cal thread, 完成计算任务:" << result << " ... done" << std::endl;

        // // 调用SaveTask类中有参的构造函数来初始化对象save
        // SaveTask save(result, Save);
        // // 将savepush到save_bq存储队列里面
        // save_bq->push(save);

        // std::cout << "cal thread, 推送存储任务完成..." << std::endl;

        // sleep(1);
    }

    return nullptr;
}

// 生产线程的生产动作
void *prodecter(void *bq_)
{
    BlockQueue<CalTask> *bq = (static_cast<BlockQueues<CalTask, SaveTask> *>(bq_))->c_bq;
    while (true)
    {
        // 生产活动,从数据库?从网络,从外设??拿来的用户数据!!

        // 在这里x不可能为0,因此计算/和%的时候不需要考虑x为0的情况
        int x = rand() % 10 + 1; // 在这里我们先用随机数,构建一个数据
        int y = rand() % 5;

        int operCode = rand() % oper.size();
        // 定义一个Task对象
        CalTask t(x, y, oper[operCode], mymath);
        bq->push(t);
        std::cout << "prodecter thread, 生产计算任务:" << t.toTaskString() << std::endl;
        sleep(1);
    }

    return nullptr;
}

void *saver(void *bqs_)
{
    BlockQueue<SaveTask> *save_bq = (static_cast<BlockQueues<CalTask, SaveTask> *>(bqs_))->s_bq;

    while (true)
    {
        SaveTask t;
        save_bq->pop(&t);

        // 仿函数调用了Save方法
        // 因此保存了任务
        t();

        std::cout << "save thread, 保存任务完成..." << std::endl;
    }
}

int main()
{
    // 生成随机数种子:srand(time(nullptr));
    srand((unsigned long)time(nullptr) ^ getpid());

    BlockQueues<CalTask, SaveTask> bqs;

    // 为了让两个线程看到同一块资源
    bqs.c_bq = new BlockQueue<CalTask>();
    bqs.s_bq = new BlockQueue<SaveTask>();

    // 定义线程
    pthread_t c[2], p[3], s;

    // 创建消费线程
    pthread_create(c, nullptr, consumer, &bqs);
    pthread_create(c + 1, nullptr, consumer, &bqs);
    // 创建生产线程
    pthread_create(p, nullptr, prodecter, &bqs);
    pthread_create(p + 1, nullptr, prodecter, &bqs);
    pthread_create(p + 2, nullptr, prodecter, &bqs);
    // 保存一个线程
    // pthread_create(&s, nullptr, saver, &bqs);

    // 等待线程
    pthread_join(c[0], nullptr);
    pthread_join(c[1], nullptr);
    pthread_join(p[0], nullptr);
    pthread_join(p[1], nullptr);
    pthread_join(p[2], nullptr);
    // pthread_join(s, nullptr);

    delete bqs.c_bq;
    delete bqs.s_bq;
    return 0;
}

// Task.hpp

#pragma once

#include <iostream>
#include <functional>
#include <string>
#include <cstdio>

const std::string oper = "+-*/%";

int mymath(int x, int y, char op)
{
    int result = 0;
    switch (op)
    {
    case '+':
        result = x + y;
        break;
    case '-':
        result = x - y;
        break;
    case '*':
        result = x * y;
        break;

    case '/':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x / y;
    }
    break;
    case '%':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x % y;
    }
    break;
    default:
        break;
    }

    return result;
}

// 计算数据的类
class CalTask
{

    using func_t = std::function<int(int, int, char)>;
    // typedef std::function<int(int, int)> func_t;

public:
    CalTask()
    {
    }

    CalTask(int x, int y, char op, func_t func)
        : _x(x), _y(y), _op(op), _callback(func)
    {
    }

    // 该函数是消费任务的打印信息
    std::string operator()()
    {
        int result = _callback(_x, _y, _op);
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = %d", _x, _op, _y, result);
        return buffer;
    }

    // 该函数是生产任务的打印信息

    std::string toTaskString()
    {
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = ?", _x, _op, _y);
        return buffer;
    }

private:
    int _x;
    int _y;
    char _op;
    func_t _callback;
};

// 存储数据的类
class SaveTask
{
    typedef std::function<void(const std::string &)> func_t;

public:
    SaveTask()
    {
    }

    SaveTask(const std::string &message, func_t func)
        : _message(message), _func(func)
    {
    }

    // 其本质就是将任务存储到文件当中 -- 调用的是Save方法
    void operator()()
    {
        _func(_message);
    }

private:
    std::string _message;
    func_t _func;
};

void Save(const std::string &message)
{
    const std::string target = "./log.txt";
    // c_str() 函数可以将 const string* 类型 转化为 const char* 类型
    // 因为在c语言中没有string类型,必须通过string类对象的成员函数 c_str() 把 string 转换成c中的字符串样式
    FILE *fp = fopen(target.c_str(), "a+");
    if (!fp)
    {
        std::cerr << "fopen err" << std::endl;
        return;
    }
    fputs(message.c_str(), fp);

    fputs("\n", fp);
    fclose(fp);
}


信号量

1、先发现我们之前写的代码不足的地方。



// 加锁
        pthread_mutex_lock(&_mutex);

        while (is_full()) // 如果队列中满的条件满足了,就不能生产了
        {

            pthread_cond_wait(&_pcond, &_mutex); // 因为我们的生产条件不满足,无法生产,我们的生产者进行等待
        }

       
        _q.push(in);


        pthread_cond_signal(&_ccond); // 这里可以有一定的策略(比如高于多少数据再消费等等)
        
        // 解锁
        pthread_mutex_unlock(&_mutex);

 关于临界资源

1.一个线程,在操作临界资源的时候,必须临界资源是满足条件的!
2.可是,公共资源是否满足生产或者消费条件,我们无法直接得知【我们不能事前得知【在没有访问之前,无法得知】】
3.只能先加锁,再检测(while),再操作,再解锁。

因为你要检测,本质:也是在访问临界资源!

总结

因为我们在操作临界资源的时候,有可能不就绪,但是,我们无法提前得知,所以,只能先加锁,再检测,根据检测结果,决定下一步怎么走!

只要我们对资源进行整体加锁,就默认了,我们对这个资源整体使用。

实际情况可能存在:
一份公共资源,但是允许同时访问不同的区域!

无论谁想访问这一份公共资源 -- 必须先申请信号量!
只要申请信号量成功,那么就一定保证会有一个位置为你预留。

程序员编码保证不同的线程可以并发访问公共资源的不同区域!

信号量的概念

a.信号量本质是一把计数器 -- 衡量临界资源中资源数量多少的计数器


b.只要拥有信号量,就在未来一定能够拥有临界资源的一部分。

申请信号量的本质

对临界资源中特定小块资源的  预订机制 -> 有可能,我们在访问真正的临界资源之前,我们其实就可以提前知道临界资源的使用情况!!!

申请信号量的情况

只要申请成功,就一定有你的资源。
只要申请失败,就说明条件不就绪,你只能等!!

因此在申请资源之前就不需要在判断了!!!

由于多个线程要访问临界资源中的某一区域,多个线程必须得先看到信号量,那么可以推断出,信号量本身必须是公共资源。

信号量作为计数器的操作

sem --;  --- 申请资源 --- 必须保证操作的原子性  --  P


sem ++;  --- 归还资源 --- 必须保证操作的原子性 -- V

信号量核心操作: PV原语(原是原子性,语是语句)

信号量相关函数

初始化信号量

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

参数:

pshared:0表示线程间共享,非零表示进程间共享
value:信号量初始值

销毁信号量

int sem_destroy(sem_t *sem);


等待信号量

功能:

等待信号量,会将信号量的值减1

int sem_wait(sem_t *sem); //P()


发布信号量

功能:

发布信号量,表示资源使用完毕,可以归还资源了。将信号量值加1。

int sem_post(sem_t *sem);// V()

基于RingQueue的生产者消费者模型

引入环形队列

 生产和消费在什么情况下可能访问同一个位置

1.空的时候
2.满的时候
3.其他情况,生产者和消费者,根本访问的就是不同的区域!

 举个例子

把生产者和消费者比作两个小朋友在这个循环队列里面放苹果和拿苹果,一个小朋友只放苹果,一个小朋友只拿苹果。

当然,倘若盘子里面没苹果了,拿苹果那个小朋友肯定不能再拿了,除了让放苹果的小朋友进行放苹果。

倘若这个循环队列里面苹果放满了,放苹果的小朋友肯定不能再放了,除了让拿苹果的小朋友进行拿。

循环队列里面中盘子的情况 

 a.盘子全为空
两个小朋友站在一起:让谁先运行呢?(生产者)

b.盘子上全都是苹果(满)
我们两个站在一起:让谁先运行呢?(消费者)

c.其他情况,两个小朋友在的是不同的位置!

在环形队列中,大部分情况下,单生产和单消费是可以并发执行的!只有在满,或者空的时候,才有互斥和同步问题!!  

为了完成唤醒队列cp问题,我们要做的核心工作是什么?

1.你不能超过我
2.我不能把你套一个圈以上
3.我们两个什么情况会在一起


信号量是用来衡量临界资源中资源数量的

1.对于生产者而言,看中的是什么?

队列中的剩余空间 --- 空间资源定义一个信号量

2.对于消费者而言,看中的是什么?

放入队列中的数据!--- 数据资源定义一个信号量

生产者而言

prodocter_sem:10

// 申请成功,你就可以继续向下运行
// 申请失败,当前执行流,阻塞在申请处
P(producter_sem);


// 从事生产活动 -- 把数据放入到队列中

V(comsumer_sem); 

消费者而言

comsumer_sem: 0


P(comsumer_sem);

// 从事消费活动


V(producter_sem);

总结 

为满的时候,生产和消费同时到来

1、生产者无法到临界区来,因为它申请信号量无法成功

2、生产者和消费者同时来的时候,一定能保证消费者先消费


未来,生产和消费的位置我们要想清楚

1.其实就是队列中的下标
2.一定是两个下标(生产者一个下标,消费者一个下标,他们互不影响)
3.为空或者为满,下标相同

环形队列的实现(代码)

代码包含main.cc RingQueue.hpp Task.hpp  (里面有详细注释)

// main.cc 
#include "RingQueue.hpp"
#include <pthread.h>
#include <sys/types.h>
#include <unistd.h>
#include <cstdlib>
#include <ctime>
#include "Task.hpp"

std::string SelfName()
{
    char name[128];
    snprintf(name, sizeof(name), "thread[0x%x]", pthread_self());
    return name;
}

void *ProductorRoutine(void *rq)
{
    RingQueue<Task> *ringqueue = static_cast<RingQueue<Task> *>(rq);

    while (true)
    {
        // // sleep(3);
        // // version1
        // int data = rand() % 10 + 1;
        // ringqueue->Push(data);
        // std::cout << "生产完成,生产的数据是:" << data << std::endl;
        // // sleep(1);

        // version2
        // 构建or获取一个任务
        int x = rand() % 20;

        int y = rand() % 10;

        char op = oper[rand() % oper.size()];
        Task t(x, y, op, mymath);// 生产是要花费时间的
        // 生产任务
        ringqueue->Push(t);
        // 输出提示
        std::cout << SelfName() << ", 生产者派发了一个任务:" << t.toTaskString() << std::endl;
        // sleep(2);
    }
}
void *ConsumerRoutine(void *rq)
{
    RingQueue<Task> *ringqueue = static_cast<RingQueue<Task> *>(rq);

    while (true)
    {
        // // version1
        // int data;
        // ringqueue->Pop(&data);
        // std::cout << "消费完成,消费的数据时:" << data << std::endl;
        // sleep(1);

        // version2
        Task t;
        // 消费任务
        ringqueue->Pop(&t);

        std::string result = t(); // 消费是要花费时间的

        std::cout << SelfName() << ", 消费者消费了一个任务:" << result << std::endl;
    }
}

int main()
{
    // 埋下随机数种子
    srand((unsigned int)time(nullptr) ^ getpid() ^ pthread_self());

    // RingQueue<int> *rq = new RingQueue<int >();
    RingQueue<Task> *rq = new RingQueue<Task>();

    // 单生产,但消费,多生产,多消费 -->
    // 只要保证,最终进入临界区的是一个生产,一个消费就行!

    // 多生产,多消费的意义?
    pthread_t p[4], c[8];

    for (int i = 0; i < 4; i++)
    {
        pthread_create(p + i, nullptr, ProductorRoutine, rq);
    }

    for (int i = 0; i < 8; i++)
    {
        pthread_create(c + i, nullptr, ConsumerRoutine, rq);
    }

    for (int i = 0; i < 4; i++)
    {
        pthread_join(p[i], nullptr);
    }

    for (int i = 0; i < 8; i++)
    {
        pthread_join(c[i], nullptr);
    }

    // pthread_create(&p, nullptr, ProductorRoutine, rq);
    // pthread_create(&c, nullptr, ConsumerRoutine, rq);

    // pthread_join(p, nullptr);
    // pthread_join(c, nullptr);

    return 0;
}

// RingQueue.hpp
#pragma once

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

static const int gcap = 5;

template <class T>
class RingQueue
{
private:
    void P(sem_t &sem)
    {
        // 等待信号量,会将信号量的值减1
        int n = sem_wait(&sem);
        assert(n == 0);
        (void)n;
    }
    void V(sem_t &sem)
    {
        // 发布信号量,表示资源使用完毕,可以归还资源了。将信号量值加1。
        int n = sem_post(&sem);
        assert(n == 0);
        (void)n;
    }

public:
    // 信号量的初始化
    RingQueue(const int &cap = gcap)
        : _queue(cap), _cap(cap)
    {
        int n = sem_init(&_spaceSem, 0, _cap);
        assert(n == 0);
        n = sem_init(&_dataSem, 0, 0);
        assert(n == 0);

        _productorStep = _consumerStep = 0;

        pthread_mutex_init(&_pmutex, nullptr);
        pthread_mutex_init(&_cmutex, nullptr);
    }

    void Push(const T &in)
    {

        // ?:先加锁,后申请信号量,还是先申请信号量,再加锁?

        // 空间资源--
        P(_spaceSem); // 申请到了空间信号量,意味着,我一定能进行正常的生产

        pthread_mutex_lock(&_pmutex);

        // 环形队列生产者下标++
        _queue[_productorStep++] = in;

        // 将下标取模一下,以防超过队列的长度
        _productorStep %= _cap;

        pthread_mutex_unlock(&_pmutex);

        // 数据资源++
        V(_dataSem);
    }

    void Pop(T *out)
    {

        // 数据资源--
        P(_dataSem); // 申请到了数据信号量,意味着,我一定能进行正常的消费

        pthread_mutex_lock(&_cmutex);
        
        // 环形队列消费者下标++
        *out = _queue[_consumerStep++];

        // 将下标取模一下,以防超过队列的长度
        _consumerStep %= _cap;

        pthread_mutex_unlock(&_cmutex);

        // 空间资源++
        V(_spaceSem);
    }

    ~RingQueue()
    {
        sem_destroy(&_spaceSem);
        sem_destroy(&_dataSem);

        // 销毁锁
        pthread_mutex_destroy(&_pmutex);
        pthread_mutex_destroy(&_cmutex);
    }

private:
    std::vector<T> _queue;
    int _cap;
    sem_t _spaceSem; // 生产者 想生产,看中的是什么资源呢? 空间资源
    sem_t _dataSem;  // 消费者 想消费, 看中的是什么资源呢? 数据资源

    int _productorStep;
    int _consumerStep;

    // 定义锁变量
    pthread_mutex_t _pmutex;
    pthread_mutex_t _cmutex;
};


// Task.hpp
#pragma once

#include <iostream>
#include <functional>
#include <string>
#include <cstdio>

const std::string oper = "+-*/%";

int mymath(int x, int y, char op)
{
    int result = 0;
    switch (op)
    {
    case '+':
        result = x + y;
        break;
    case '-':
        result = x - y;
        break;
    case '*':
        result = x * y;
        break;

    case '/':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x / y;
    }
    break;
    case '%':
    {
        if (y == 0)
        {
            std::cerr << "mod zero error!" << std::endl;
            result = -1;
        }
        else
            result = x % y;
    }
    break;
    default:
        break;
    }

    return result;
}

// 计算数据的类
class Task
{

    using func_t = std::function<int(int, int, char)>;
    // typedef std::function<int(int, int)> func_t;

public:
    Task()
    {
    }

    Task(int x, int y, char op, func_t func)
        : _x(x), _y(y), _op(op), _callback(func)
    {
    }

    // 该函数是消费任务的打印信息
    std::string operator()()
    {
        int result = _callback(_x, _y, _op);
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = %d", _x, _op, _y, result);
        return buffer;
    }

    // 该函数是生产任务的打印信息

    std::string toTaskString()
    {
        char buffer[64];
        snprintf(buffer, sizeof(buffer), "%d %c %d = ?", _x, _op, _y);
        return buffer;
    }

private:
    int _x;
    int _y;
    char _op;
    func_t _callback;
};



本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/590484.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

从零开始搭建一个moveit2简单机械臂模型

文章目录 前言一、设计一个简单机械臂二、构造创建文件关系CMakeLists.txt 修改增加如下&#xff1a;package.xml 修改增加如下&#xff1a;urdf.rviz 全文如下&#xff1a;demo.launch.py 全文如下&#xff1a; launch rviz构造link构造joint 总结 前言 在网上搜了许多文章&a…

游戏互动,用Python点燃【儿童节】的欢乐!

当孩子们踏入人生的旅途时&#xff0c;他们需要的并不仅仅是学习知识&#xff0c;更需要的是在快乐的氛围中成长。六一儿童节即将来临&#xff0c;让我们用Python代码为孩子们送去一份特别的礼物吧&#xff01; 在本篇文章中&#xff0c;我会带领大家一起探索如何利用Python代…

php中文字符串提取方法,preg_replace 和preg_match_all区别

在php中&#xff0c;可以利用以下两种函数来只提取字符串的中文字符 preg_replace()函数 preg_match_all()函数 方法1&#xff1a;使用preg_match_all()函数 preg_match_all()函数配合正则表达式“/[\x{4e00}-\x{9fff}]/u”可以过滤字符串&#xff0c;只获取中文字符。 会…

chatgpt赋能python:Python中[:3]的用法介绍

Python中[:3]的用法介绍 Python是一种高级编程语言&#xff0c;经常被用于数据科学、机器学习、人工智能和Web应用程序开发。在Python中&#xff0c;有许多有用的编程技巧和语法&#xff0c;其中之一就是[:3]。 什么是[:3]&#xff1f; 在Python中&#xff0c;[:3]是一种称为…

研发工程师玩转Kubernetes——使用Ingress进行路由

依据微服务理念&#xff0c;我们希望每个独立的功能由一个服务支持。比如有两个接口&#xff1a;http://www.xxx.com/plus和http://www.xxx.com/minus&#xff0c;前者由一个叫plus-service的服务支持&#xff0c;后者由一个叫minus-service的服务支持。这样就需要一个路由层&a…

华为OD机试真题B卷 Java 实现【查找两个字符串a,b中的最长公共子串】,附详细解题思路

一、题目描述 查找两个字符串a,b中的最长公共子串。若有多个,输出在较短串中最先出现的那个。 注:子串的定义:将一个字符串删去前缀和后缀(也可以不删)形成的字符串。请和“子序列”的概念分开! 数据范围:字符串长度1≤length≤300 。 二、输入描述 输入两个字符串…

牛客网刷题学习SQL(五)

SQL25 查找山东大学或者性别为男生的信息 分析&#xff1a; 查看学校为山东大学或者性别为男性的用户的device_id、gender、age和gpa数据&#xff0c;结果不去重。 山东大学 --》 where university“山东大学” 男性—》where gender “male” 结果不去重 所以上面不能使用or&…

改进的yolo目标检测(yolo创新与改进)

目标检测是计算机视觉领域中的一个重要问题,它需要从图像或视频中检测出物体的位置和类别。近年来,深度学习技术在目标检测领域取得了显著的进展,其中一个重要的方法是基于YOLO(You Only Look Once)算法的目标检测。 YOLO算法的优点是速度快,但是在检测小物体和密集物体…

SAP-MM-发票-采购附加成本处理简介

一&#xff0e;采购附加成本处理&#xff1a; 原材料的采购成本包括采购成本&#xff08;采购单价*采购数量&#xff09;和相关采购附加成本&#xff08;运输费、保险费、报关费、仓储费、滞期费、租船费、码头费及代理费等费用&#xff09;&#xff0c;对于采购附加成本主要有…

覆盖标准(白盒、黑盒和灰盒)

覆盖标准(白盒、黑盒和灰盒) 覆盖标准Coverage Criteria 覆盖标准采用软件的抽象表示并将其划分为可测试的功能。 每个功能构成了测试需求的基础——需要由软件的测试套件进行测试的东西。 当测试套件的一个测试用例满足测试要求时&#xff0c;我们说测试要求被覆盖。测试套件…

四、机器人整体结构的稳定性

结构的稳定性是指结构在外界载荷作用下&#xff0c;能否维持自己的形状和位置。如果结构在外界载荷作用下能够维持自己的形状和位置&#xff0c;则称为稳定&#xff1b;如果结构在外界载荷作用下无法维持自己的形状和位置&#xff0c;则称为不稳定。 结构的稳定性是一个相对概念…

管理系统总结(前端:Vue-cli, 后端Jdbc连接mysql数据库,项目部署tomcat里)

根据所学的知识, 写一个管理系统, 顺便总结一些知识点 准备: 前端用vue-cli的框架, 后端用jdbc连接数据库, 项目部署tomcat服务器来完成交互 ●前端的vue-cli框架搭建可以看 点击跳转 的第二小结 ●后端的tomcat在idea里的相关的配置与集成,可以看 点击跳跃 文章目录 一、 前段…

机智云物联网低功耗转接板GE211+机智云APP遥控灯

要实现硬件的智能化&#xff0c;除了硬件本身外&#xff0c;还需要实现&#xff1a;智能云平台、手机 APP、联网模块&#xff0c;每 一个领域都需要专业的团队来支撑。机智云提供完整的解决方案&#xff0c;让厂商或开发者只需要专 注于自身产品硬件。以最小的成本和风险实现硬…

【网络】路由器和无线路由器就这么配置

目录 &#x1f352;常见的接入互联网方式 &#x1f353;WAN配置 &#x1f353;LAN口配置 &#x1f353;WLAN配置 &#x1f353;WLAN安全 &#x1f352;路由设备管理 &#x1f353;路由器内部组件 &#x1f353;Cisco路由器的启动过程 &#x1f353;基础命令 &#x1f34e;show …

数据库中的DDL、DQL、DML、DCL 和 TCL 命令

数据库中的DDL、DQL、DML、DCL 和 TCL 命令 SQLDDL&#xff08;Data Definition Language&#xff09;数据库定义语言DML&#xff08;Data Manipulation Language&#xff09;数据操纵语言TCL&#xff08;Transaction Control Language&#xff09;事务控制语言DQL (Data Query…

UEFI开发环境搭建(Windows)

重拾UEFI学习。 第一步是搭建开发环境&#xff0c;记录如下&#xff1a; 1. 安装开发工具 Visual Studio 2017 python/ASL/NASM 安装到如下目录&#xff1a; c:\Python310 c:\ASL c:\NASM 更新系统变量Path: 新建系统变量PYTHON_HOME 下载EDK2 创建工作目录&#xff…

一个技巧,让ChatGPT学会复杂编程,编程水平逼近人类程序员!

夕小瑶科技说 原创 作者 | 智商掉了一地、Python 随着 AIGC 技术迈出了一大步&#xff0c;ChatGPT 等聊天机器人被频繁地使用在生活和工作中的各个场景。想象一下&#xff0c;当你写代码陷入没有头绪的境地或者无法解决 Bug 时&#xff0c;这种基于大型语言模型&#xff08;LL…

ROS:发布者Publisher的编程实现(C++)

目录 一、话题模型二、创建功能包三、创建Publisher代码四、编译代码五、运行 一、话题模型 图中&#xff0c;我们使用ROS Master管理节点。 有两个主要节点&#xff1a; Publisher&#xff0c;名为Turtle Velocity&#xff08;即海龟的速度&#xff09; Subscriber&#xff0c…

STM32H723ZGT6 LAN8720A LWIP

Stm32CubeMX 版本&#xff1a;6.8.1 硬件库版本&#xff1a;STM32Cube FW_H7 V1.11.0 usart.c#include <stdio.h> #if 1//标准库需要的支持函数 struct __FILE { int handle; }; FILE __stdout; //定义_sys_exit()以避免使用半主机模式 void _…

设计模式(二):创建型之工厂方法和抽象工厂模式

设计模式系列文章 设计模式(一)&#xff1a;创建型之单例模式 设计模式(二)&#xff1a;创建型之工厂模式 目录 一、设计模式分类二、概述三、简单工厂模式1、结构2、实现3、扩展&#xff1a;静态工厂 四、工厂方法模式1、结构2、 实现3、优缺点 五、抽象工厂模式1、结构2、实…