Linux系统编程——进程同步与互斥：System V 信号量

2024-03-24 21:48
文章标签 linux 系统 互斥 编程 信号量 system 进程同步

本文主要是介绍Linux系统编程——进程同步与互斥：System V 信号量，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

信号量概述

信号量广泛用于进程或线程间的同步和互斥，信号量本质上是一个非负的整数计数器，它被用来控制对公共资源的访问。


编程时可根据操作信号量值的结果判断是否对公共资源具有访问的权限，当信号量值大于 0 时，则可以访问，否则将阻塞。PV 原语是对信号量的操作，一次 P 操作使信号量减１，一次 V 操作使信号量加１。


在实际应用中两个进程间通信可能会使用多个信号量，因此 System V 的信号量以集合的概念来管理，具体操作和 Posix 信号量大同小异，详情请点此链接：http://blog.csdn.net/tennysonsky/article/details/46496201。


信号量集合数据结构：struct semid_ds，此数据结构中定义了整个信号量集的基本属性。

/* Obsolete, used only for backwards compatibility and libc5 compiles */
struct semid_ds
{struct ipc_perm	sem_perm;		/* permissions .. see ipc.h */__kernel_time_t	sem_otime;		/* last semop time */__kernel_time_t	sem_ctime;		/* last change time */struct sem	*sem_base;		/* ptr to first semaphore in array */struct sem_queue *sem_pending;		/* pending operations to be processed */struct sem_queue **sem_pending_last;	/* last pending operation */struct sem_undo	*undo;			/* undo requests on this array */unsigned short	sem_nsems;		/* no. of semaphores in array */
};

信号量数据结构：struct sem，此数据结构中定义了信号量的基本属性。

/* One semaphore structure for each semaphore in the system. */
struct sem
{int	semval;		/* current value *信号量的值*/int	sempid;		/* pid of last operation *最后一个操作信号量的进程号*/struct list_head sem_pending; /* pending single-sop operations */
};


System V 信号量基本操作

使用 shell 命令操作信号量：

查看信号量：ipcs -s

删除信号量：ipcrm -s semid


以下函数所需头文件如下：

#include <sys/types.h>

#include <sys/ipc.h>

#include <sys/sem.h>


1）创建信号量集合

int semget(key_t key, int nsems, int semflg);

功能：

创建或打开一个信号量集合，该集合中可以包含多个信号量。

参数：

key：进程间通信键值，通过调用 ftok() 函数得到的键值，详情请点此链接：http://blog.csdn.net/tennysonsky/article/details/46331643。

nsems：创建的信号量的个数。如果只是访问而不创建则可以指定该参数为 0，一旦创建了该信号量，就不能更改其信号量个数，只要不删除该信号量，重新调用该函数创建该键值的信号量，该函数只是返回以前创建的值，不会重新创建。

semflg：标识函数的行为及信号量的权限，其取值如下：

IPC_CREAT：创建信号量。
IPC_EXCL：检测信号量是否存在。
位或权限位：信号量位或权限位后可以设置信号量的访问权限，格式和 open 函数的 mode_ t 一样（open() 的使用请点此链接），但可执行权限未使用。

返回值：

成功：信号量集标识符

失败：返回 -1


2）控制信号量集合、信号量

int semctl(int semid, int semnum, int cmd, ...);

功能：

对信号量集合以及集合中的信号量进行操作。

参数：

semid：信号量集标识符。

semnum：集合中信号量的序号，指定对哪个信号量操作， 只对几个特殊的 cmd 操作有意义。

cmd：信号量控制类型。semctl() 函数可能有3个参数，也可能有4个参数，参数的个数由 cmd 决定。当有4个参数时，第4个参数为联合体：

union semun{int			val;	/*信号量的值*/struct semid_ds *buf;	/*信号量集合信息*/unsigned short  *array;/*信号量值的数组*/struct seminfo  *__buf;/*信号量限制信息*/
};
cmd 的取值如下：

GETVAL：获取信号量的值。此时函数有3个参数。semctl() 函数的返回值即为信号量的值。

SETVAL：设置信号量的值。此时函数有4个参数。第4个参数为联合体中的val，其值为信号量的值。 

IPC_STAT：获取信号量集合的信息。此时函数有4个参数。第4个参数为联合体中的__buf。

IPC_SET：设置信号量集合的信息。此时函数有4个参数。第4个参数为联合体中的__buf。

IPC_RMID：删除信号量集。此时函数有3个参数,第2个参数semnum不起作用。

GETALL：获取所有信号量的值。此时函数有4个参数，第2个参数semnum不起作用。第4个参数为联合体中的array，其值为用来存放所有信号量值的数组的首地址。

SETALL：设置所有信号量的值 。参数说明同上。

IPC_INFO：获取信号量集合的限制信息。此时函数有4个参数，第2个参数semnum不起作用。第4个参数为联合体中的__buf。

GETPID：获取信号的进程号，即最后操作信号量的进程。此时函数有3个参数。semctl() 函数的返回值即为信号的进程号。

GETNCNT：获取等待信号的值递增的进程数。此时函数有3个参数。semctl() 函数的返回值即为进程数。

GETZCNT：获取等待信号的值递减的进程数。此时函数有3个参数。semctl() 函数的返回值即为进程数。

返回值：

成功：0

失败：-1


3）操作信号量

int semop(int semid, struct sembuf *sops, unsigned nsops);

功能：

操作信号量，主要进行信号量加减操作。

参数：

semid：信号量集标识符。
sops：操作信号量的结构体（struct sembuf）数组的首地址( 结构体定义在 sys/sem.h )，此结构体中的数据表明了对信号量进行的操作。

struct sembuf{unsigned short  sem_num;	/*信号量的序号*/short       sem_op;		/*信号量的操作值*/short       sem_flg;	/*信号量的操作标识*/
};

结构体成员使用说明如下：

sem_num：信号量集中信号量的序号

sem_op 取值如下：

sem_op > 0：信号量的值在原来的基础上加上此值。

sem_op < 0：如果信号量的值小于 semop 的绝对值，则挂起操作进程。如果信号量的值大于等于 semop 的绝对值，则信号量的值在原来的基础上减去 semop 的绝对值。

sem_op = 0：对信号量的值进行是否为 0 测试。若为 0 则函数立即返回，若不为 0 则阻塞调用进程。

sem_flag 取值如下： 

IPC_NOWAIT：在对信号量的操作不能执行的情况下使函数立即返回。

SEM_UNDO：当进程退出后，该进程对信号量进行的操作将被撤销。

nsops：操作信号量的结构体数组中元素的个数。

返回值：

成功：0

失败：-1


使用示例

示例一：

#include <sys/types.h>
#include <sys/sem.h>
#include <sys/ipc.h>
#include <stdlib.h>
#include <stdio.h>int main(int argc, char *argv[])
{key_t key;//创建key值key = ftok(".", 'a');if(key == -1){perror("ftok");}//查看信号量system("ipcs -s");int semid;//1: 创建的信号量的个数semid = semget(key, 1, IPC_CREAT|0666); //创建信号量if(semid == -1){perror("semget");}system("ipcs -s"); //查看信号量//删去信号量// 0: 代表对第0个信号量进行操作// IPC_RMID：删除信号量集semctl(semid, 0, IPC_RMID);system("ipcs -s"); //查看信号量return 0;
}


运行结果如下：



示例二：

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <stdlib.h>
#include <stdio.h>/*解决编译出错的问题*/
#define IPC_INFO 3int main(int argc, char *argv[])
{key_t key;//创建key值key = ftok(".", 'a');if(key == -1){perror("ftok");}system("ipcs -s"); //查看信号量int semid;//1: 创建的信号量的个数semid = semget(key, 1, IPC_CREAT|0666);//创建信号量if(semid == -1){perror("semget");}system("ipcs -s"); //查看信号量struct seminfo buf;/*//struct seminfo相关成员struct seminfo {int semmap;int semmni;int semmns;int semmnu;int semmsl;int semopm;int semume;int semusz;int semvmx;int semaem;};*///IPC_INFO：获取信号量集合的限制信息。//此时函数有4个参数，第2个参数semnum不起作用。semctl(semid, 0, IPC_INFO, &buf);printf("buf.semmni = %d\n", buf.semmni);printf("buf.semmns = %d\n", buf.semmns);printf("buf.semmnu = %d\n", buf.semmnu);printf("buf.semmsl = %d\n", buf.semmsl);printf("buf.semopm = %d\n", buf.semopm);printf("buf.semume = %d\n", buf.semume);printf("buf.semusz = %d\n", buf.semusz);printf("buf.semvmx = %d\n", buf.semvmx);printf("buf.semaem = %d\n", buf.semaem);//删去信号量// 0: 代表对第0个信号量进行操作// IPC_RMID：删除信号量集semctl(semid, 0, IPC_RMID);system("ipcs -s"); //查看信号量return 0;
}

运行结果如下：



示例三：

#include <sys/types.h>
#include <sys/sem.h>
#include <sys/ipc.h>
#include <stdlib.h>
#include <stdio.h>int main(int argc, char *argv[])
{key_t key;//创建key值key = ftok(".", 'a');if(key == -1){perror("ftok");}//查看信号量system("ipcs -s");int semid;//1: 创建的信号量的个数semid = semget(key, 1, IPC_CREAT|0666); //创建信号量if(semid == -1){perror("semget");}system("ipcs -s"); //查看信号量int ret;/*//SETVAL: 设置信号量的值。此时函数有4个参数。第4个参数为联合体中的val，其值为信号量的值。 union semun{int			val;		//信号量的值struct semid_ds *buf;	//信号量集合信息unsigned short  *array;	//信号量值的数组struct seminfo  *__buf;	//信号量限制信息};*/ret = semctl(semid, 0, SETVAL, 20);if(ret == -1){perror("semctl");}//GETVAL：获取信号量的值。函数返回值即为信号量的值。ret = semctl(semid, 0, GETVAL);if(ret == -1){perror("semctl");}printf("ret = %d\n", ret);// 0: 代表对第0个信号量进行操作// IPC_RMID：删除信号量集semctl(semid, 0, IPC_RMID);system("ipcs -s");return 0;
}

运行结果如下：



示例四：

#include <sys/types.h>
#include <sys/sem.h>
#include <sys/ipc.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>int main(int argc, char *argv[])
{key_t key;//创建key值key = ftok(".", 'a');if(key == -1){perror("ftok");}//查看信号量system("ipcs -s");int semid;//2: 创建的信号量的个数semid = semget(key, 2, IPC_CREAT|0666); //创建信号量if(semid == -1){perror("semget");}system("ipcs -s"); //查看信号量int ret;unsigned short sem_arry[2] = {30,20};/*//SETALL: 设置所有信号量的值。此时函数有4个参数，第2个参数semnum不起作用。第4个参数为联合体中的array，其值为用来存放所有信号量值的数组的首地址。union semun{int			val;		//信号量的值struct semid_ds *buf;	//信号量集合信息unsigned short  *array;	//信号量值的数组struct seminfo  *__buf;	//信号量限制信息};*/ret = semctl(semid, 0, SETALL, sem_arry);if(ret == -1){perror("semctl");}bzero(sem_arry, sizeof(sem_arry));//GETALL：获取所有信号量的值。此时函数有4个参数，第2个参数semnum不起作用。第4个参数为联合体中的array，其值为用来存放所有信号量值的数组的首地址。ret = semctl(semid, 0, GETALL, sem_arry);if(ret == -1){perror("semctl");}printf("sem_arry[0] = %d\n", sem_arry[0]);printf("sem_arry[1] = %d\n", sem_arry[1]);// IPC_RMID：删除信号量集semctl(semid, 0, IPC_RMID);system("ipcs -s");return 0;
}

运行结果如下：



示例五：

//此范例使用信号量来同步共享内存的操作
#include <stdio.h> 
#include <sys/types.h> 
#include <sys/ipc.h> 
#include <sys/sem.h> 
#include <sys/shm.h>
#include <unistd.h>
#include <sys/wait.h>#define SHM_KEY 0x33 
#define SEM_KEY 0x44 union semun 
{ int val; struct semid_ds *buf; unsigned short *array; 
}; int P(int semid) 
{ struct sembuf sb;/*//操作信号量的结构体struct sembuf{unsigned short  sem_num;//信号量的序号short       sem_op;		//信号量的操作值short       sem_flg;	//信号量的操作标识};	*/sb.sem_num = 0; sb.sem_op = -1;//SEM_UNDO：当进程退出后，该进程对信号量进行的操作将被撤销。sb.sem_flg = SEM_UNDO; //操作1个信号量if(semop(semid, &sb, 1) == -1){ perror("semop"); return -1; } return 0; 
} int V(int semid) 
{ struct sembuf sb;/*//操作信号量的结构体struct sembuf{unsigned short  sem_num;//信号量的序号short       sem_op;		//信号量的操作值short       sem_flg;	//信号量的操作标识};	*/sb.sem_num = 0; sb.sem_op = 1;//SEM_UNDO：当进程退出后，该进程对信号量进行的操作将被撤销。sb.sem_flg = SEM_UNDO; //操作1个信号量if(semop(semid, &sb, 1) == -1){ perror("semop"); return -1; } return 0; 
} int main(int argc, char **argv) 
{pid_t pid; int i, shmid, semid; int *ptr = NULL; union semun semopts; /*union semun{int			val;		//信号量的值struct semid_ds *buf;	//信号量集合信息unsigned short  *array;	//信号量值的数组struct seminfo  *__buf;	//信号量限制信息};*///创建一块共享内存, 存一个int变量if ((shmid = shmget(SHM_KEY, sizeof(int), IPC_CREAT | 0600)) == -1) { perror("msgget"); return -1;} //将共享内存映射到进程, fork后子进程可以继承映射ptr = (int *)shmat(shmid, NULL, 0);if (ptr == (int *)-1) { perror("shmat");return -1;}*ptr = 0; //赋值为0// 创建一个信号量用来同步共享内存的操作 if ((semid = semget(SEM_KEY, 1, IPC_CREAT | 0600)) == -1) { perror("semget"); return -1;} //初始化信号量  semopts.val = 1; if (semctl(semid, 0, SETVAL, semopts) < 0) { perror("semctl"); return -1;} if ((pid = fork()) < 0) { //创建进程perror("fork");_exit(0);}else if (pid == 0){ // Child// 子进程对共享内存加1 for (i = 0; i < 100000; i++) { P(semid); (*ptr)++; V(semid); printf("child: %d\n", *ptr); } } else { //Parent// 父进程对共享内存减1 for (i = 0; i < 100000; i++) { P(semid); (*ptr)--; V(semid); printf("parent: %d\n", *ptr); } //如果子进程结束，回收其资源wait(NULL);//如果同步成功, 共享内存的值为0 printf("finally: %d\n", *ptr); } return 0; 
}

运行结果如下：



本教程示例代码下载请点此链接：http://download.csdn.net/detail/tennysonsky/9029479

这篇关于Linux系统编程——进程同步与互斥：System V 信号量的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/842890。

相关文章

Linux使用nload监控网络流量的方法

Linux使用nload监控网络流量的方法

《Linux使用nload监控网络流量的方法》Linux中的nload命令是一个用于实时监控网络流量的工具,它提供了传入和传出流量的可视化表示,帮助用户一目了然地了解网络活动,本文给大家介绍了Linu... 目录简介安装示例用法基础用法指定网络接口限制显示特定流量类型指定刷新率设置流量速率的显示单位监控多个
阅读更多...
ElasticSearch+Kibana通过Docker部署到Linux服务器中操作方法

ElasticSearch+Kibana通过Docker部署到Linux服务器中操作方法

《ElasticSearch+Kibana通过Docker部署到Linux服务器中操作方法》本文介绍了Elasticsearch的基本概念,包括文档和字段、索引和映射,还详细描述了如何通过Docker... 目录1、ElasticSearch概念2、ElasticSearch、Kibana和IK分词器部署
阅读更多...
Linux流媒体服务器部署流程

Linux流媒体服务器部署流程

《Linux流媒体服务器部署流程》文章详细介绍了流媒体服务器的部署步骤,包括更新系统、安装依赖组件、编译安装Nginx和RTMP模块、配置Nginx和FFmpeg,以及测试流媒体服务器的搭建... 目录流媒体服务器部署部署安装1.更新系统2.安装依赖组件3.解压4.编译安装（添加RTMP和openssl模块
阅读更多...
linux下多个硬盘划分到同一挂载点问题

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理（LVM）来实现,首先,需要将物理存储设备（如硬盘分区）创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多
阅读更多...
在不同系统间迁移Python程序的方法与教程

在不同系统间迁移Python程序的方法与教程

《在不同系统间迁移Python程序的方法与教程》本文介绍了几种将Windows上编写的Python程序迁移到Linux服务器上的方法,包括使用虚拟环境和依赖冻结、容器化技术（如Docker）、使用An... 目录使用虚拟环境和依赖冻结1. 创建虚拟环境2. 冻结依赖使用容器化技术（如 docker）1. 创
阅读更多...
linux进程D状态的解决思路分享

linux进程D状态的解决思路分享

《linux进程D状态的解决思路分享》在Linux系统中,进程在内核模式下等待I/O完成时会进入不间断睡眠状态（D状态）,这种状态下,进程无法通过普通方式被杀死,本文通过实验模拟了这种状态,并分析了如... 目录1. 问题描述2. 问题分析3. 实验模拟3.1 使用losetup创建一个卷作为pv的磁盘3.
阅读更多...
CentOS系统Maven安装教程分享

CentOS系统Maven安装教程分享

《CentOS系统Maven安装教程分享》本文介绍了如何在CentOS系统中安装Maven,并提供了一个简单的实际应用案例,安装Maven需要先安装Java和设置环境变量,Maven可以自动管理项目的... 目录准备工作下载并安装Maven常见问题及解决方法实际应用案例总结Maven是一个流行的项目管理工具
阅读更多...
Linux环境变量&&进程地址空间详解

Linux环境变量&&进程地址空间详解

《Linux环境变量&&进程地址空间详解》本文介绍了Linux环境变量、命令行参数、进程地址空间以及Linux内核进程调度队列的相关知识,环境变量是系统运行环境的参数,命令行参数用于传递给程序的参数,... 目录一、初步认识环境变量1.1常见的环境变量1.2环境变量的基本概念二、命令行参数2.1通过命令编程
阅读更多...
Linux之进程状态&&进程优先级详解

Linux之进程状态&&进程优先级详解

《Linux之进程状态&&进程优先级详解》文章介绍了操作系统中进程的状态,包括运行状态、阻塞状态和挂起状态,并详细解释了Linux下进程的具体状态及其管理,此外,文章还讨论了进程的优先级、查看和修改进... 目录一、操作系统的进程状态1.1运行状态1.2阻塞状态1.3挂起二、linux下具体的状态三、进程的
阅读更多...
Linux编译器--gcc/g++使用方式

Linux编译器--gcc/g++使用方式

《Linux编译器--gcc/g++使用方式》文章主要介绍了C/C++程序的编译过程,包括预编译、编译、汇编和链接四个阶段,并详细解释了每个阶段的作用和具体操作,同时,还介绍了调试和发布版本的概念... 目录一、预编译指令1.1预处理功能1.2指令1.3问题扩展二、编译（生成汇编）三、汇编（生成二进制机器语
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2