linux应用 进程间通信之信号量(System V)

1、定义

System V 信号量是一种用于进程间同步和互斥的机制,它是 System V IPC(Inter-Process Communication,进程间通信)机制的一部分。信号量通常用于控制对共享资源的访问,以避免竞争条件(race condition)和数据不一致性。

一般来说,System V 信号量常用于以下场景:

  • 进程同步:多个进程需要协调执行顺序,例如在生产者-消费者问题中,生产者和消费者需要同步对共享缓冲区的访问。
  • 资源互斥:多个进程需要互斥地访问共享资源,例如文件、打印机、设备等。
  • 进程间通信:信号量也可以用于进程间的通信,通过信号量的值来进行信息传递。:

优点:

  • 高效性:信号量是一种轻量级的同步机制,适用于对共享资源的快速访问和控制。
  • 多种同步操作:信号量支持多种同步操作,包括 P(等待)操作和 V(释放)操作,可以灵活地控制对资源的访问。
  • 可扩展性:信号量可以用于控制多个资源的访问,适用于复杂的同步和互斥场景。

缺点:

  • 复杂性:与其他进程间通信机制相比,信号量的使用可能更为复杂,容易出现死锁等问题。

重要概念:

  • P 操作:P 操作用于请求进入临界区(临界区是一段代码,一次只允许一个进程进入执行)。如果信号量的值大于 0,那么执行 P 操作会将信号量的值减 1,并允许进程进入临界区执行。如果信号量的值已经为 0,那么执行 P 操作的进程会被阻塞,直到信号量的值变为非零为止。
  • V 操作:V 操作用于离开临界区。执行 V 操作会将信号量的值加 1。如果有其他进程因为执行 P 操作而被阻塞,那么执行 V 操作会唤醒其中一个被阻塞的进程。

2、常用接口介绍

2.1 编程常用接口和数据结构

2.1.1 ftok函数

ftok函数用于生成一个System V IPC对象(如消息队列、共享内存等)的key。它将pathname和proj_id组合起来,生成一个唯一的key,用于标识一个System V IPC对象。

key_t ftok(const char *pathname, int proj_id);
  • 入参:pathname是一个路径名,proj_id是一个用户指定的整数。
  • 返回值:返回一个基于pathname和proj_id生成的key。
2.1.2 semget函数

semget 用于创建一个新的信号量集或者获取一个已存在的信号量集。

int semget(key_t key, int nsems, int semflg);
  • 入参:key用于标识信号量集的键值,通常使用 ftok 函数生成,nsems信号量集中包含的信号量数量,semflg:用于指定信号量的权限和标志,通常使用 IPC_CREAT 来创建一个新的信号量集。
  • 返回值:返回一个信号量集的标识符(semid)。
2.1.3 semctl函数

semctl 用于对信号量集进行控制操作,比如初始化、获取值、设置值、删除等。

int semctl(int semid, int semnum, int cmd, ...);
  • 入参:semid信号量集的标识符,semnum信号量的索引,通常为 0,cmd:控制命令,用于指定要进行的操作,比如 SETVAL 用于设置信号量的值,... 根据不同的命令,可能会有额外的参数。
  • 返回值:根据不同的命令,返回不同的值。

cmd取值如下:

  • GETVAL:获取信号量的值
  • SETVAL:设置信号量的值
  • GETPID:获取上次执行 semop 操作的进程ID
  • GETNCNT:获取当前等待信号量值增加的进程数
  • GETZCNT:获取当前等待信号量值减少的进程数
  • GETALL:获取所有信号量的值
  • SETALL:设置所有信号量的值
  • IPC_RMID:删除信号量

当第三个参数为 SETVAL 时,需要第四个参数,第四个参数是一个 union semun 结构体类型的变量,用于指定要设置的信号量的值。

当第三个参数为 SETALL 时,需要第四个参数,第四个参数是一个指向 short 类型数组的指针,数组的长度等于信号量集中的信号量数量,用于指定要设置的所有信号量的值。

2.1.4 semop函数

semop 用于执行对信号量的操作,比如等待(P操作)和释放(V操作)。

int semop(int semid, struct sembuf *sops, unsigned nsops);
  • 入参:semid信号量集的标识符,sops指向一个 sembuf 结构体数组的指针,每个 sembuf 结构体描述了一个操作,nsops:sops 数组中结构体的数量。
  • 返回值:成功返回 0,失败返回 -1。
2.1.5 struct sembuf
struct sembuf {unsigned short sem_num;  // 信号量在信号量集中的索引short sem_op;             // 操作值,可以是正数(V操作)或负数(P操作)short sem_flg;            // 操作标志位,可以使用 IPC_NOWAIT 等标志
};
sem_op sem_flg 结果影响
正数执行 V(释放)操作,增加信号量的值。如果信号量的值非负,就会唤醒等待该信号量的进程。操作成功返回,否则返回失败。
负数执行 P(等待)操作,减少信号量的值。如果信号量的值小于 0,就会阻塞等待直到信号量的值变为非负。操作成功返回,否则返回失败。
0执行 Z(等待直到值为 0)操作,等待信号量的值变为 0。如果信号量的值不为 0,就会阻塞等待。操作成功返回,否则返回失败。
任意IPC_NOWAIT如果操作无法立即进行,就会立即返回,而不是阻塞等待。如果操作成功返回,否则返回失败。
任意SEM_UNDO系统会跟踪对信号量的修改,并在进程终止时撤销这些修改,以防止进程异常终止导致信号量的值不一致。如果操作成功返回,否则返回失败。
2.1.6 union semun
union semun {int val;              // 用于设置单个信号量的值struct semid_ds *buf; // 用于获取或设置信号量集的属性unsigned short *array; // 用于设置所有信号量的值
} arg;struct semid_ds {struct ipc_perm sem_perm; // 信号量集的权限信息time_t sem_otime; // 上次操作时间time_t sem_ctime; // 上次修改时间unsigned short sem_nsems; // 信号量集中的信号量数量
};struct ipc_perm {key_t key; // IPC 对象的键值uid_t uid; // 所有者的用户IDgid_t gid; // 所有者的组IDuid_t cuid; // 创建者的用户IDgid_t cgid; // 创建者的组IDmode_t mode; // 权限
};

2.2 控制台常用命令

2.2.1 ipcs

ipcs命令用于显示系统中的IPC资源信息,包括消息队列、共享内存和信号量。-s选项表示只显示信号量的信息:

ipcs -s
2.2.2 ipcrm

ipcrm命令用于删除指定的 IPC 对象,包括信号量:

ipcrm -s <semid>

3、编程示例

测试代码如下:

#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <string.h>
#include <sys/msg.h>
#include <unistd.h>
#include <fcntl.h>
#include <time.h>#define SEM_FILE_PATH "/home/sem"
#define INIT_NUM 2// 打印时分秒的宏        
#define PRINT_MIN_SEC() do { \time_t t = time(NULL); \struct tm *tm_ptr = localtime(&t); \printf("%02d:%02d:%02d:", tm_ptr->tm_hour, tm_ptr->tm_min, tm_ptr->tm_sec); \} while (0)int main(int argc, char *argv[]) 
{key_t key;int semid;struct sembuf sops = {0};// 文件不存在则创建文件if (-1 == access(SEM_FILE_PATH, F_OK)){system("touch "SEM_FILE_PATH);}// 获取keyif((key = ftok(SEM_FILE_PATH, 'a')) < 0){return 0;}// 创建一个信号量集semid = semget(key, 1, IPC_CREAT | 0666); // 命令行参数 // 第一个参数      P表示P操作 V表示V操作 I表示设置初始值为INIT_NUM D表示删除if (argc != 2) {printf("Usage: %s P|V|I|D", argv[0]);return 0;}if (!strcmp(argv[1], "P")){PRINT_MIN_SEC();printf("*****P Opt*****\n");sops.sem_num = 0;sops.sem_op = -1; // P 操作sops.sem_flg = 0;semop(semid, &sops, 1); // 执行 P 操作PRINT_MIN_SEC();printf("!!!Inter P Zero!!!\n");} else if (!strcmp(argv[1], "V")) {PRINT_MIN_SEC();printf("*****V Opt*****\n");sops.sem_num = 0;sops.sem_op = 1; // V 操作sops.sem_flg = 0;semop(semid, &sops, 1); // 执行 V 操作} else if (!strcmp(argv[1], "I")) {PRINT_MIN_SEC();printf("*****Init Opt*****\n");// 设置信号量的值union semun {int val;struct semid_ds *buf;unsigned short *array;} arg;arg.val = INIT_NUM;semctl(semid, 0, SETVAL, arg);} else if (!strcmp(argv[1], "D")) {PRINT_MIN_SEC();printf("*****Delete Opt*****\n");semctl(semid, 0, IPC_RMID);} else{printf("Usage: %s P|V|I|D", argv[0]);return 0;}// 执行完操作后打印状态struct semid_ds seminfo;semctl(semid, 0, IPC_STAT, &seminfo);PRINT_MIN_SEC();printf("SME Value: %d\n", semctl(semid, 0, GETVAL));PRINT_MIN_SEC();printf("SME Mode: %o\n", seminfo.sem_perm.mode);PRINT_MIN_SEC();printf("SME Create User ID: %d\n", seminfo.sem_perm.uid);return 0;
}

运行程序时根据命令行参数的不同执行不同操作:P表示P操作 V表示V操作 I表示设置初始值为INIT_NUM D表示删除,首先执行初始化,并查询:

代码中P操作执行sops.sem_op = -1,初始值为2可以满足两次P操作,第三次P操作进入阻塞:

另起一个终端执行V操作,此时第三次P操作可以获取到信号量完成后续:

测试删除:

4、总结

本文阐述了进程间通信之信号量(System V)的定义,列举了编程中使用的接口和linux命令,编写了测试用例测试相关功能。

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

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

相关文章

2.9日学习打卡----初学RabbitMQ(四)

2.9日学习打卡 一.RabbitMQ 死信队列 在MQ中&#xff0c;当消息成为死信&#xff08;Dead message&#xff09;后&#xff0c;消息中间件可以将其从当前队列发送到另一个队列中&#xff0c;这个队列就是死信队列。而在RabbitMQ中&#xff0c;由于有交换机的概念&#xff0c;实…

每日五道java面试题之java基础篇(一)

第一题 什么是java? PS&#xff1a;碎怂 Java&#xff0c;有啥好介绍的。哦&#xff0c;⾯试啊。 Java 是⼀⻔⾯向对象的编程语⾔&#xff0c;不仅吸收了 C语⾔的各种优点&#xff0c;还摒弃了 C⾥难以理解的多继承、指针等概念&#xff0c;因此 Java 语⾔具有功能强⼤和简单易…

【Linux系统 04】OpenEuler配置

目录 一、镜像文件下载 二、配置静态IP 三、启动SSH连接 四、免密登录 五、安装常用软件 一、镜像文件下载 官方下载地址&#xff1a;openEuler下载 | 欧拉系统ISO镜像 | openEuler社区官网 选择一个版本&#xff0c;lopenEuler通常有两种版本&#xff1a; 创新版&…

vtkActor 设置特定图层 显示及置顶显示

问题&#xff0c;有时我们需要显示某个 Actor 在相机最前面&#xff0c;可以遮盖后面的物体;显示在顶层有点不准确&#xff1b;因为这个还相机位置也有关系&#xff1b; 这里讲三种情况&#xff1a; 1. 设置 Mapper 顶层&#xff0c;尝试了一下&#xff0c;可以用于某些场景&…

Redis 双写一致性

问题&#xff1a;redis 作为缓存&#xff0c;mysql 的数据如何与 redis 进行同步呢&#xff1f;&#xff08;双写一致性&#xff09; 双写一致性是指当修改了数据库的数据也要同时更新缓存的数据&#xff0c;缓存和数据库的数据要保持一致。 读操作&#xff1a;缓存命中&…

深入探究 HTTP 简化:httplib 库介绍

✏️心若有所向往&#xff0c;何惧道阻且长 文章目录 简介特性主要类介绍httplib::Server类httplib::Client类httplib::Request类httplib::Response类 示例服务器客户端 总结 简介 在当今的软件开发中&#xff0c;与网络通信相关的任务变得日益普遍。HTTP&#xff08;Hypertext…

备战蓝桥杯---数学基础2

学了常见的筛法&#xff0c;让我们看个题&#xff1a; 首先&#xff0c;我们知道欧拉筛复杂度为nlognlogn,这题可以承受&#xff0c;但是空间上存不了&#xff0c;而如果我们枚举1--n^1/2&#xff0c;复杂度不允许。 其实在枚举的方法中&#xff0c;我们只需找出有无在【2&…

JavaScript脚本:async,defer

&#x1f9d1;‍&#x1f393; 个人主页&#xff1a;《爱蹦跶的大A阿》 &#x1f525;当前正在更新专栏&#xff1a;《VUE》 、《JavaScript保姆级教程》、《krpano》、《krpano中文文档》 ​ ​ ✨ 前言 JavaScript 脚本 是 web 开发中的重要组成部分&#xff0c;用于为网…

vtk三维场景基本要素 灯光、相机、颜色、纹理映射 简介

整理一下VTK 三维场景基本要素&#xff0c;后面会一一进行整理&#xff1b; 1. 灯光 vtkLight 剧场里有各式各样的灯光&#xff0c;三维渲染场景中也一样&#xff0c;可以有多个灯光存在。灯光和相机 是三维渲染场景必备的要素&#xff0c;vtkRenderer会自动创建默认的灯光和…

基于查询模板的知识图谱问答系统

目录 前言1 知识图谱问答系统的两个核心问题1.1 问句的表示与语义理解1.2 知识库的映射和匹配 2 问答基本流程2.1 模板生成2.2 模板实例化2.3 查询排序和结果获取 3 模板自动生成3.1 quint方法3.2 对齐任务 4 基于查询模板的知识图谱问答系统优缺点4.1 系统的优点4.2 系统的缺点…

阿里云游戏服务器租用费用价格组成,费用详单

阿里云游戏服务器租用价格表&#xff1a;4核16G服务器26元1个月、146元半年&#xff0c;游戏专业服务器8核32G配置90元一个月、271元3个月&#xff0c;阿里云服务器网aliyunfuwuqi.com分享阿里云游戏专用服务器详细配置和精准报价&#xff1a; 阿里云游戏服务器租用价格表 阿…

gem5学习(19):gem5内存系统——The gem5 Memory System

目录 一、Model Hierarchy 二、CPU 三、Data Cache Object 四、Tags & Data Block 五、MSHR and Write Buffer Queues 六、Memory Access Ordering 七、Coherent Bus Object 八、Simple Memory Object 九、Message Flow 1、Memory Access Ordering&#xff08;re…

C++ shell - 在线 C++ 编译器

C shell - 在线 C 编译器 1. C shell2. Example program3. Options4. ExecutionReferences 1. C shell C Shell v2 https://cpp.sh/ https://cpp.sh/about.html C Shell v2, free online compiler, proudly uses emscripten to compile your code. emscripten is a clang-ba…

【计算机网络】Web HTTP

Web和HTTP HTTP 超文本传输协议 HyperText Transfer Protocol HTTP使用TCP作为支撑传输协议 由一个客户程序和一个服务器程序实现一些常见名词。。。无状态协议 stateless protocol 不保存关于客户的任何信息非持续/持续链接 non-persistent con…

【数据结构】双向链表(链表实现+测试+原码)

前言 在双向链表之前&#xff0c;如果需要查看单链表来复习一下&#xff0c;链接在这里&#xff1a; http://t.csdnimg.cn/Ib5qS 1.双向链表 1.1 链表的分类 实际中链表的结构非常多样&#xff0c;以下情况组合起来就有8种链表结构&#xff1a; 1.1.1 单向或者双向 1.1.2 …

【开源】JAVA+Vue.js实现车险自助理赔系统

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 数据中心模块2.2 角色管理模块2.3 车辆档案模块2.4 车辆理赔模块2.5 理赔照片模块 三、系统设计3.1 用例设计3.2 数据库设计3.2.1 角色表3.2.2 车辆表3.2.3 理赔表3.2.4 理赔照片表 四、系统展示五、核心代码5.1 查询车…

MySQL篇----第二十篇

系列文章目录 文章目录 系列文章目录前言一、NULL 是什么意思二、主键、外键和索引的区别?三、你可以用什么来确保表格里的字段只接受特定范围里的值?四、说说对 SQL 语句优化有哪些方法?(选择几条)前言 前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍…

Nginx实战:1-安装搭建

目录 前言 一、yum安装 二、编译安装 1.下载安装包 2.解压 3.生成makefile文件 4.编译 5.安装执行 6.执行命令软连接 7.Nginx命令 前言 nginx的安装有两种方式&#xff1a; 1、yum安装&#xff1a;安装快速&#xff0c;但是无法在安装的时候带上想要的第三方包 2、…

微软 CMU - Tag-LLM:将通用大语言模型改用于专业领域

文章目录 一、前言二、主要内容三、总结 &#x1f349; CSDN 叶庭云&#xff1a;https://yetingyun.blog.csdn.net/ 一、前言 论文地址&#xff1a;https://arxiv.org/abs/2402.05140 Github 地址&#xff1a;https://github.com/sjunhongshen/Tag-LLM 大语言模型&#xff08…

MYSQL分区NOW()不支持

传说同事写个复杂的SQL代码,跑一次需要7-10秒, 复杂如上,我也懒得去分析 IF IF IF是怎么回事了! 发现此表是分区表,后面要求加上了分区时间,以便利用到分区裁剪技术. 因为需求是查近10天来到期还款的人和金额.就是今天应该还款的人, 一般还款周期是7天. 给个10天的范围挺可以的…