【Linux】POSIX版本 信号量

目录

信号量的基本操作

基于信号量和环形队列的生产消费模型

之前我们在System V版本的进程间通信说过信号量，这里我们说的是POSIX（Portable Operating System Interface for uniX  可移植操作系统接口）版本的并且会说的更加详细

我们之前对于信号量也有一定的理解，我们说它就是要给计数器，用来记录所需资源的数量，因为这个计数器是被多个线程所共享的，所以它本身就是共享资源，为了保证共享资源的安全，所以我们说PV（对计数器--和++）操作是原子的

今天我们还是想用信号量实现生产消费模型，之前我们使用阻塞队列当作生产者和消费者之间的缓冲区，并且这个阻塞队列同时只允许一个线程进入，我们就可以把阻塞队列认为成只有一个位置的信号量，也就是计数器为一

可实际上计数器不一定为一，它可以很大，那么此时我们应该用什么去充当存放任务的容器呢？我们可以选用环形队列，那么我们首先就需要了解一些环形队列的性质，比如我们有p（producer）和c（consumer），它们分别位于环形队列的某一位置，我们可以知道，队列为空和为满时，p、c位于同一位置，也就是说，如果p、c位于不同位置，那么环形队列一定既不为空，也不为满。这时是不是就不会像阻塞队列一样只同时允许一个线程进入了呢，而是一个生产者和一个消费者可以同时进入环形队列。因为不为空不为满时它们一定访问的是不同的位置。这样生产和消费就可以实现真正的并发；如果为空时就让生产者先跑；为满时就让消费者先跑。

也就是说：生产者不能套消费者圈，消费者不能超过生产者

那么我们如何实现上面的东西呢？就是基于信号量

信号量的基本操作

我们需要首先创建一个信号量，就用创建变量的形式去创建就可以

其次要对信号量进行初始化

man sem_init

第二个参数给0，第三个参数是想让计数器是几就填几

申请出信号量要对信号量进行PV操作

man sem_wait

man sem_post

最后要销毁信号量

man sem_destroy

以上就是关于信号量的一些操作，下面我们就实现基于信号量和环形队列的生产消费模型

基于信号量和环形队列的生产消费模型

//Main.cc

#include"RingQueue.hpp"
#include"Task.hpp"
#include"MyThread.hpp"
using namespace MyThread;
#include<vector>
#include<unistd.h>
using namespace std;
void Producercode(RingQueue<Task_t>*prq,string name)
{
    while(1)
    {
        sleep(1);
        prq->Enqueue(print);
        cout<<name<<" produce a task"<<endl;
    }

}
void Consumercode(RingQueue<Task_t>*prq,string name)
{
    sleep(10);
    while(1)
    {
        sleep(1);
        Task_t t;
        prq->Pop(&t);
        cout<<name<<" get a task...";
        t();
    }
}
void InitProducer(vector<Thread<RingQueue<Task_t>*>>&threads,int num,RingQueue<Task_t>*prq)
{
    for(int i=1;i<=num;i++)
    {
        string name="producer thread-"+to_string(i);
        threads.emplace_back(Producercode,prq,name);
    }

}
void InitConsumer(vector<Thread<RingQueue<Task_t>*>>&threads,int num,RingQueue<Task_t>*prq)
{
    for(int i=1;i<=num;i++)
    {
        string name="consumer thread-"+to_string(i);
        threads.emplace_back(Consumercode,prq,name);
    }
}
void StartAll(vector<Thread<RingQueue<Task_t>*>>&threads)
{
    for(auto&e:threads)
    e.start();
}
void WaitAll(vector<Thread<RingQueue<Task_t>*>>&threads)
{
    for(auto&e:threads)
    e.join();
}
int main()
{
    RingQueue<Task_t> rq(5);
    vector<Thread<RingQueue<Task_t>*>>threads;//要把环形队列指针传给各个线程
    InitProducer(threads,3,&rq);
    InitConsumer(threads,4,&rq);

    StartAll(threads);
    WaitAll(threads);



    return 0;
}

//RingQueue.hpp

#include <iostream>
#include <vector>
#include <semaphore.h>
#include <pthread.h>
template <class T>
class RingQueue
{
public:
    RingQueue(int cap = 10)
        : _ring_queue(cap), _cap(cap), _producer_step(0), _consumer_step(0)
    {
        sem_init(&_room_sem, 0, _cap);
        sem_init(&_data_sem, 0, 0);
        pthread_mutex_init(&_producer_mutex, nullptr);
        pthread_mutex_init(&_consumer_mutex, nullptr);
    }
    void Enqueue(const T &in)
    {
        sem_wait(&_room_sem);//对空间进行--操作（P操作）
        pthread_mutex_lock(&_producer_mutex);//加锁为了只允许一个生产者进入
        _ring_queue[_producer_step++]=in;
        _producer_step%=_cap;
        pthread_mutex_unlock(&_producer_mutex);
        sem_post(&_data_sem);//对数据进行++操作（V操作）
    }
    void Pop(T *out)
    {
        sem_wait(&_data_sem);
        pthread_mutex_lock(&_consumer_mutex);
        *out=_ring_queue[_consumer_step++];
        _consumer_step%=_cap;
        pthread_mutex_unlock(&_consumer_mutex);
        sem_post(&_room_sem);
    }
    ~RingQueue()
    {
        sem_destroy(&_room_sem);
        sem_destroy(&_data_sem);
        pthread_mutex_destroy(&_producer_mutex);
        pthread_mutex_destroy(&_consumer_mutex);
    }

private:
    std::vector<T> _ring_queue;
    int _cap;
    // 生产者和消费者的下标
    int _producer_step;
    int _consumer_step;

    sem_t _room_sem; // 生产者关心
    sem_t _data_sem; // 消费者关心

    pthread_mutex_t _producer_mutex; // 生产者之间去竞争锁，竞争锁成功进入环形队列
    pthread_mutex_t _consumer_mutex;
};

//MyThread.hpp

#pragma once
#include <iostream>
#include <string>
#include <functional>
#include <pthread.h>
using namespace std;

namespace MyThread
{
    template<class T>
    using fun_t = function<void(T,string)>;

    template <class T>
    class Thread
    {
    private:
        void excute()
        {
            _func(_pdata,_name);
        }

    public:
        Thread(fun_t<T> func, T pdata, const string&name="noname")
            : _func(func), _pdata(pdata), _name(name), _stop(true) {}

        static void *threadrun(void *args)//如果不是静态，会有this指针
        {
            Thread<T> *ptr = reinterpret_cast<Thread<T> *>(args);
            ptr->excute();
            return nullptr;
        }

        bool start()
        {
            int n = pthread_create(&_id, nullptr, threadrun, this);//把this当参数传过去
            if (n == 0)
            {
                _stop = false;
                return true;
            }
            else
            {
                return false;
            }
        }
        void join()
        {
            if (!_stop)
            {
                pthread_join(_id, nullptr);
            }
        }
        void detach()
        {
            if (!_stop)
            {
                pthread_detach(_id);
            }
        }
        void stop()
        {
            _stop = true;
        }

    private:
        pthread_t _id;
        string _name;
        bool _stop;
        fun_t<T> _func;
        T _pdata;
    };
}

//makefile

cp:Main.cc
	g++ -o $@ $^ -std=c++11 -lpthread
.PHONY:clean
clean:
	rm -f cp
//task.hpp

#include<iostream>
#include<functional>
using std::cout;
using std::endl;
using Task_t=std::function<void()>;
void print()
{
    cout<<"I am a task..."<<endl;
}