【Linux】POSIX 信号量

news/2024/11/14 1:47:23/

文章目录

  • POSIX 信号量
    • 信号量的原理
    • 信号量的概念
    • 信号量的接口
    • 二元信号量实战
    • 基于环形队列的生产消费模型

POSIX 信号量

信号量的原理

  • 我们将可能会被多个执行流同时访问的资源叫做临界资源,当我们仅用一个互斥锁对临界资源进行保护时,相当于我们把这块临界资源看作一个整体,同一时刻只允许一个执行流对这块临界资源进行访问。但是实际上我们可以将这块临界资源分割成多个区域,当多个执行流访问临界资源时,如果这些执行流访问的是临界资源的不同区域,那么就不会出现数据不一致问题

信号量的概念

信号量本质是一个计数器,是描述临界资源中资源数目的计数器,信号量能够以更细的粒度对临界资源进行管理。每个执行流在进入临界区之前都应该先申请信号量,申请成功就有了操作特定区域临界资源的权限,当操作完毕后就释放信号量

信号量的操作有两种: P操作(申请)和V操作(释放),PV操作都是原子操作

多个执行流为了争夺访问临界资源的权限会竞争式申请信号量,因此信号量会被多个执行流同时访问的,也就是信号量本身就是临界资源。信号量的PV操作必须是原子操作,所以信号量PV操作不能描述成简单的对全局变量++,--

信号量本质是计数器,但不意味着只有计数器,信号量还包括一个等待队列

信号量的接口

初始化信号量

int sem_init(sem_t *sem, int pshared, unsigned int value);
  • sem : 需要初始化的信号量
  • pshared : 传入0值表示线程间共享,传入非零值表示进程间共享
  • value : 信号量的初始值(计数器的初始值)
  • 成功返回0,失败返回-1

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

销毁信号量

int sem_destroy(sem_t *sem);
  • sem : 需要销毁的信号量
  • 销毁信号量成功返回0, 失败返回-1

等待信号量(申请信号量)

int sem_wait(sem_t *sem);
int sem_trywait(sem_t *sem);
  • sem: 需要等待的信号量
  • 等待信号量成功返回0,信号量的值减一。等待信号量失败返回-1,信号量的值保持不变

发布信号量(释放信号量)

int sem_post(sem_t *sem);
  • sem: 需要发布的信号量
  • 发布信号量成功返回0,信号量+1,发布失败返回-1,信号量值不变

二元信号量实战

信号量本质就是一个计数器,如果将信号量的初始值设置为1,那么该信号量叫做二元信号量

// 封装信号量
#pragma once 
#include <iostream>
#include <unistd.h>
#include <semaphore.h>
using namespace std;class clx_sem{
public:clx_sem(int num) {sem_init(&_sem, 0, num);}~clx_sem(){sem_destroy(&_sem);}void P(){sem_wait(&_sem);}void V(){sem_post(&_sem);}
private:sem_t _sem;
};
#include "clx_semaphore.hpp"
#include <pthread.h>#define THREAD_NUM 5clx_sem sem(1);
int ticket_count = 1000;void* Routine(void* arg) {char* msg = (char*)arg;while (true) {sem.P();if (ticket_count > 0) {usleep(1000);ticket_count -= 1;cout << msg << " get a ticket ," << " ticket_count = " << ticket_count << endl;sem.V();}else {sem.V();break;}}std::cout << msg << "quit ... " << std::endl;free(msg);return (void*)0;
}void semaphore_test() {// 创建5个线程模拟抢票动作pthread_t tids[THREAD_NUM];for (int i = 0; i < THREAD_NUM; i++) {char* buffer = (char*)malloc(64);sprintf(buffer, "thread %d", i);pthread_create(tids + i, NULL, Routine, (void*)buffer);}for (int i = 0; i < THREAD_NUM; i++){pthread_join(tids[i], NULL);}
}int main(){semaphore_test();return 0;
}

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

在生产者消费者模型中,生产者关注的是空间资源,消费者关注的是数据资源。我们可以使用信号量来描述环形队列中的空间资源和数据资源。

  • 对于生产者来说,生产者每次生产数据前都需要先申请空间信号量,若空间信号量不为0,则申请成功,生产者可以进行生产操作。如果空间信号量值为0,则申请失败,生产者会被放入空间信号量的阻塞队列中进行等待,直到环形队列中有新的空间后再被唤醒
  • 对于消费者来说,消费者每次消费数据前都需要先申请数据信号量,若数据信号量不为0,则申请陈工,消费者可以进行消费操作。如果数据信号量为0,则申请失败,消费者会被放入数据信号量的阻塞队列中进行等待,直到唤醒队列中有新的空间后再被唤醒
#pragma once 
#include <iostream>
#include <vector>
#include <semaphore.h>
#include <unistd.h>
using namespace std;#define QUEUE_CAPACITY 8template<typename T>
class RingQueue{
public:static RingQueue<T>* GetInstance(int _cap = QUEUE_CAPACITY);~RingQueue();void Push(const T& task);void Pop(T* task);
private:RingQueue(int _capacity);
private:static RingQueue<T>* instance;vector<T> rique;int capacity;int pro_pos;int con_pos;sem_t blank_sem;sem_t data_sem;
};template<typename T>
RingQueue<T>* RingQueue<T>::instance = nullptr;template<typename T>
RingQueue<T>* RingQueue<T>::GetInstance(int _cap) {if (instance == nullptr) {instance = new RingQueue<T>(_cap);}return instance;
}template<typename T>
RingQueue<T>::RingQueue(int _capacity) :capacity(_capacity), pro_pos(0), con_pos(0)
{rique.resize(_capacity, T());sem_init(&blank_sem, 0, _capacity);sem_init(&data_sem, 0, 0);
}template<typename T>
RingQueue<T>::~RingQueue() {sem_destroy(&blank_sem);sem_destroy(&data_sem);
} // 生产者向环形队列中插入数据
template<typename T>
void RingQueue<T>::Push(const T& task) {sem_wait(&blank_sem);rique[pro_pos] = task;sem_post(&data_sem);pro_pos += 1;pro_pos %= capacity;
}template<typename T>
void RingQueue<T>::Pop(T* task) {sem_wait(&data_sem);*task = rique[con_pos];sem_post(&blank_sem);con_pos += 1;con_pos %= capacity;
}
#include "RingQueue.h"
#include <pthread.h>
#include <time.h>void* Producer(void* arg) {RingQueue<int>* rq = (RingQueue<int>*)arg;while (true) {sleep(1);int data = rand() % 100 + 1;rq->Push(data);cout << "Producer: " << data << endl;}
}void* Consumer(void* arg){RingQueue<int>* rq = (RingQueue<int>*)arg;while (true) {sleep(1);int data = 0;rq->Pop(&data);cout << "Consumer " << data << endl;}
}int main(){srand((unsigned int)time(nullptr));pthread_t producer, consumer;RingQueue<int>* rq = RingQueue<int>::GetInstance(8);pthread_create(&producer, NULL, Producer, (void*)rq);pthread_create(&consumer, NULL, Consumer, (void*)rq);pthread_join(producer, NULL);pthread_join(consumer, NULL);delete rq;return 0;
}

参考文章「2021dragon」的原创文章信号量
原文链接:https://blog.csdn.net/chenlong_cxy/article/details/123167179


http://www.ppmy.cn/news/782217.html

相关文章

mac清理存储空间的其他

前言&#xff1a;mac使用一段时间后&#xff0c;程序会产生一系列的缓存文件&#xff0c;导致储存空间越来越小&#xff1b;其中储存空间-其他&#xff0c;常规免费清理软件无法清理&#xff0c;需前往Library文件夹手动清理。 正文&#xff1a;储存空间-其他&#xff0c;所占…

MacBook入门之——清理磁盘空间

一 概述 Mac使用一段时间后&#xff0c;尤其是安装过软件开发工具(Xcode)和视频软件(腾讯视频等)&#xff0c;磁盘空间被大量占用使用一般的磁盘清理软件又无法清除本文介绍使用第三方磁盘整理软件&#xff0c;清理磁盘空间 二 Disk Inventory X 2.1 软件下载地址 Disk Inve…

SpringBoot通过获取请求参数或者Headers上的特殊标识实现i18n国际化

实现效果 我们大部分都是把i18n的标识放在Headers上面&#xff1b;而把标识放在参数上的话比较少&#xff0c;放参数上的话一般是在使用a标签下载某些文件不好配置请求头的时候才使用上 配置在Headers上面&#xff1a; 配置在params上面&#xff1a; 配置代码&#xff1a; /**…

Mac 下清理硬盘空间大小 很实用哦

硬盘空间是大家最头痛的一个问题&#xff0c;大家在硬盘空间变小的时候怎么腾空间的呢&#xff1f;下面绿茶小编为大家分享7个mac系统释放空间的高级方法&#xff0c;大家赶紧来收了&#xff01; mac系统释放硬盘空间方法&#xff1a; 方法一&#xff1a;删除Emacs——可以节省…

如何在Mac上清理磁盘空间?这些方法你用过了吗

Mac电脑设备使用久了&#xff0c;可能会保存特别多的无用文件&#xff0c;那么Mac磁盘空间将会面临不够用的情况。那么该如何在Mac上清理磁盘空间&#xff1f; 如何在Mac上清理磁盘空间&#xff1f; 1、卸载长期不使用的应用 卸载长期不使用的应用程序可以清理出一部分磁盘空间…

如何在Mac上清理磁盘空间?这些方法你必须要懂

对于Mac用户来说&#xff0c;清理磁盘往往是一件比较头疼的事情。看着爆满的磁盘空间又无从下手&#xff0c;只能忍痛删掉喜欢的音乐、视频或者是不常用的软件。实际上&#xff0c;清理Mac磁盘空间只需要使用以下几种清理磁盘空间方法即可释放你Mac的内存空间&#xff0c;作为一…

Mac空间清理

工作用的MacBook的磁盘空间只有128G&#xff0c;三天两头的收到系统“您的磁盘几乎已满”的提示。用了CleanMyMac 3&#xff0c;但是也仅仅只能清理一些皮毛&#xff0c;腾出2&#xff0c;3G的空间。其实&#xff0c;如果你用XCode的话&#xff0c;你会发现它才是罪魁祸首&…

跟着这份清理教程,帮你的 Mac 腾出更多储存空间

你是否有过这样的经历&#xff1a;明明感觉电脑里什么都没装&#xff0c;macOS 却弹出了储存空间不足的警告。就算你忍痛删掉了一些个人文件&#xff0c;也只释放出了几百 MB 空间&#xff0c;警示框如催命符般持续弹出。 为了解决这一问题&#xff0c;在掏钱购买顶配 iMac Pro…