linux 进程同步中的信号量

本贴最后更新于 2230 天前,其中的信息可能已经天翻地覆

ps:这篇博文主要是来记录在学校中学习的信号量机制的,哈哈哈:joy:

信号量机概念是由荷兰科学家 Dijkstr 引入,值得一提的是,它提出的 Dijksrtr 算法解决了最短路径问题。

      信号量又称为信号灯,它是用来协调不同进程间的数据对象的,而最主要的应用是共享内存方式的进程间通信。本质上,信号量是一个计数器,它用来记录对某个资源(如共享内存)的存取状况,信号量是一个特殊的变量,并且只有两个操作可以改变其值:等待(wait)与信号(signal)。

 

因为在 Linux 与 UNIX 编程中,"wait"与"signal"已经具有特殊的意义了(暂不知这特殊意义是啥),所以原始概念:

    用于等待(wait)的 P(信号量变量) ;
    用于信号(signal)的 V(信号量变量) ;

这两字母来自等待(passeren:通过,如同临界区前的检测点)与信号(vrjgeven:指定或释放,如同释放临界区的控制权)的荷兰语。

 

P 操作 负责把当前进程由运行状态转换为阻塞状态,直到另外一个进程唤醒它。

操作为:申请一个空闲资源(把信号量减 1),若成功,则退出;若失败,则该进程被阻塞;

 

V 操作 负责把一个被阻塞的进程唤醒,它有一个参数表,存放着等待被唤醒的进程信息。

操作为:释放一个被占用的资源(把信号量加 1),如果发现有被阻塞的进程,则选择一个唤醒之。 

补充:查看共享信息的内存的命令是 ipcs [-m|-s|-q] (全部的话是 ipcs -a) ;查看共享信息的内存的命令是 ipcs [-m|-s|-q]。

示例代码:

//testsem.c  主程序,使用PV操作实现三个进程的互斥
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <errno.h>

#define SEMPERM 0600
#define TRUE 1
#define FALSE 0
typedef union _semun {
  int val;
  struct semid_ds *buf;
  ushort *array;
} semun;


void handlesem(key_t skey);
int initsem(key_t semkey);
int p(int semid);
int v(int semid);

main()
{
  key_t semkey=0x400;
  int i;
  for (i=0;i<3;i++)
  {
    if (fork()==0)           //父进程负责产生3个子进程
      handlesem(semkey);  //子进程中才执行handlesem,做完后就exit。
  }
}

void handlesem(key_t skey)
{
  int semid;
  pid_t pid=getpid();
  
  if ((semid=initsem(skey))<0)
    exit(1);
  printf("进程 %d 在临界资源区之前 \n",pid);
  p(semid);                                      //进程进入临界资源区,信号量减少1
  printf("进程 %d 在使用临界资源时,停止10s \n",pid);

  /*in real life do something interesting */
  sleep(10);
  printf("进程 %d 退出临界区后 \n",pid);

  v(semid);                                //进程退出临界资源区,信号量加1

  printf("进程 %d 完全退出\n",pid);
  exit(0);
}

int initsem(key_t semkey)
{
   int status=0,semid;                    //信号量标识符semid
  if ((semid=semget(semkey,1,SEMPERM|IPC_CREAT|IPC_EXCL))==-1)
  {
    if (errno==EEXIST)               //EEXIST:信号量集已经存在,无法创建
      semid=semget(semkey,1,0);      //创建一个信号量
  }
  else
  {
    semun arg;
    arg.val=1;                                        //信号量的初值
    status=semctl(semid,0,SETVAL,arg);      //设置信号量集中的一个单独的信号量的值。
  }
  if (semid==-1||status==-1)
  {
    perror("initsem failed");
    return(-1);
  }
  /*all ok*/
  return(semid);
}


int p(int semid)
{
  struct sembuf p_buf;

  p_buf.sem_num=0;
  p_buf.sem_op=-1;        //信号量减1,注意这一行的1前面有个负号
  p_buf.sem_flg=SEM_UNDO;
  
  //p_buf = {0,-1,SEM_UNDO};
  if (semop(semid, &p_buf, 1)==-1)   
  {
    perror("p(semid)failed");
    exit(1);
  }
  return(0);
}


int v(int semid)
{
  struct sembuf v_buf;

  v_buf.sem_num=0;
  v_buf.sem_op=1;    //信号量加1
  v_buf.sem_flg=SEM_UNDO;
  
  if (semop(semid, &v_buf, 1)==-1)
  {
    perror("v(semid)failed");
    exit(1);
  }
  return(0);
}

运行结果:
1png

2png

3png

相关说明
(一)系统调用函数 semget()
函数原型:int semget(key_t key,int nsems,int semflg);

功能描述: 创建一个新的信号量集,或者存取一个已经存在的信号量集。

当调用 semget 创建一个信号量时,他的相应的 semid_ds 结构被初始化。ipc_perm 中各个量被设置为相应
值:
        sem_nsems 被设置为 nsems 所示的值;    
        sem_otime 被设置为 0; 
        sem_ctime 被设置为当前时间

参数介绍:
         key:所创建或打开信号量集的键值,键值是 IPC_PRIVATE,该值通常为 0,创建一个仅能被进程进程给我的信号量, 键值不是 IPC_PRIVATE,我们可以指定键值,例如 1234;也可以一个 ftok()函数来取得一个唯一的键值。
         nsems:创建的信号量集中的信号量的个数,该参数只在创建信号量集时有效。
         semflg:调用函数的操作类型,也可用于设置信号量集的访问权限,两者通过 or 表示:

                有 IPC_CREAT,IPC_EXCL 两种:

IPC_CREAT 如果信号量不存在,则创建一个信号量,否则获取。

IPC_EXCL 只有信号量不存在的时候,新的信号量才建立,否则就产生错误。

返回值说明:
如果成功,则返回信号量集的 IPC 标识符,其作用与信息队列识符一样。
如果失败,则返回-1,errno 被设定成以下的某个值
EACCES:没有访问该信号量集的权限
EEXIST:信号量集已经存在,无法创建
EINVAL:参数 nsems 的值小于 0 或者大于该信号量集的限制;或者是该 key 关联的信号量集已存在,并且 nsems
大于该信号量集的信号量数
ENOENT:信号量集不存在,同时没有使用 IPC_CREAT
ENOMEM :没有足够的内存创建新的信号量集
ENOSPC:超出系统限制

每个信号量都有一些相关值:

      semval 信号量的值,一般是一个正整数,它只能通过信号量系统调用 semctl 函数设置,程序无法直接对它进行修改。

      sempid 最后一个对信号量进行操作的进程的 pid.

      semcnt 等待信号量的值大于其当前值的进程数。

      semzcnt 等待信号量的值归零的进程数。

 
(二)信号量的控制 semctl()
原型:int semctl(int semid,int semnum,int cmd,union semun ctl_arg); 
参数介绍: semid 为信号量集引用标志符,即 semget 的返回值。 

               semnum 第二个参数是信号量数目;

               cmd 表示调用该函数执行的操作,其取值和对应操作如下:

标准的 IPC 函数

(注意在头文件 <sys/sem.h> 中包含 semid_ds 结构的定义)

IPC_STAT 把状态信息放入 ctl_arg.stat 中

IPC_SET 用 ctl_arg.stat 中的值设置所有权/许可权

IPC_RMID 从系统中删除信号量集合

单信号量操作

(下面这些宏与 sem_num 指定的信号量合 semctl 返回值相关)

GETVAL 返回信号量的值(也就是 semval)

SETVAL 把信号量的值写入 ctl_arg.val 中

GETPID 返回 sempid 值

GETNCNT 返回 semncnt(参考上面内容)

GETZCNT 返回 semzcnt(参考上面内容)

全信号量操作

GETALL 把所有信号量的 semvals 值写入 ctl_arg.array

SETALL 用 ctl_arg.array 中的值设置所有信号量的 semvals

 

参数 arg 代表一个 union 的 semun 的实例。semun 是在 linux/sem.h 中定义的:

union semun {
int val; //执行 SETVAL 命令时使用
struct semid_ds *buf; //在 IPC_STAT/IPC_SET 命令中使用
unsigned short *array; //使用 GETALL/SETALL 命令时使用的指针
}

联合体中每个成员都有各自不同的类型,分别对应三种不同的 semctl 功能,如果 semval 是 SETVAL.则使用的将是 ctl_arg.val.

。     

功能:smctl 函数依据 command 参数会返回不同的值。它的一个重要用途是为信号量赋初值,因为进程无法直接对信号量的值进行修改。

(三)信号量操作 semop 函数
在 Linux 下,PV 操作通过调用 semop 函数来实现,也只有它能对 PV 进行操作

调用原型:int semop(int semid,struct sembuf*sops,unsign ednsops);

返回值:0,如果成功。-1,如果失败:errno=E2BIG(nsops 大于最大的 ops 数目)
EACCESS(权限不够)
EAGAIN(使用了 IPC_NOWAIT,但操作不能继续进行)
EFAULT(sops 指向的地址无效)
EIDRM(信号量集已经删除)
EINTR(当睡眠时接收到其他信号)
EINVAL(信号量集不存在,或者 semid 无效)
ENOMEM(使用了 SEM_UNDO,但无足够的内存创建所需的数据结构)
ERANGE(信号量值超出范围)

参数介绍:

第一个参数 semid 是信号量集合标识符,它可能是从前一次的 semget 调用中获得的。

第二个参数是一个 sembuf 结构的数组,每个 sembuf 结构体对应一个特定信号的操作,sembuf 结构在,<sys/sem.h> 中定义

struct sembuf{
usign short sem_num;/信号量索引/
short sem_op;/要执行的操作/
short sem_flg;/操作标志/
}

sem_num 存放集合中某一信号量的索引,如果集合中只包含一个元素,则 sem_num 的值只能为 0。


Sem_op 取得值为一个有符号整数,该整数实际给定了 semop 函数将完成的功能。包括三种情况:

      如果 sem_op 是负数,那么信号量将减去它的值,对应于 p()操作。这和信号量控制的资源有关。如果没有使用 IPC_NOWAIT,那么调用进程将进入睡眠状态,直到信号量控制的资源可以使用为止。

      如果 sem_op 是正数,则信号量加上它的值。对应于 v()操作。这也就是进程释放信号量控制的资源。

      最后,如果 sem_op 是 0,那么调用进程将调用 sleep(),直到信号量的值为 0。这在一个进程等待完全空闲的资源时使用。


sem_flag 是用来告诉系统当进程退出时自动还原操作,它维护着一个整型变量 semadj(信号灯的计数器),可设置为 IPC_NOWAIT 或 SEM_UNDO 两种状态。只有将 sem_flg 指定为 SEM_UNDO 标志后,semadj (所指定信号量针对调用进程的调整值)才会更新,即减去减去 sem_num 的值。 此外,如果此操作指定 SEM_UNDO,系统更新过程中会撤消此信号灯的计数(semadj)。此操作可以随时进行---它永远不会强制等待的过程。调用进程必须有改变信号量集的权限。

 

第三个参数是 sembuf 组成的数组中索引。参数 sops 指向由 sembuf 组成的数组,结构数组中的一员。

整理自_linux 进程同步之信号量:http://www.cnblogs.com/LZYY/p/3453582.html

  • Linux

    Linux 是一套免费使用和自由传播的类 Unix 操作系统,是一个基于 POSIX 和 Unix 的多用户、多任务、支持多线程和多 CPU 的操作系统。它能运行主要的 Unix 工具软件、应用程序和网络协议,并支持 32 位和 64 位硬件。Linux 继承了 Unix 以网络为核心的设计思想,是一个性能稳定的多用户网络操作系统。

    943 引用 • 943 回帖

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • 友情链接

    确认过眼神后的灵魂连接,站在链在!

    24 引用 • 373 回帖
  • RESTful

    一种软件架构设计风格而不是标准,提供了一组设计原则和约束条件,主要用于客户端和服务器交互类的软件。基于这个风格设计的软件可以更简洁,更有层次,更易于实现缓存等机制。

    30 引用 • 114 回帖 • 2 关注
  • 新人

    让我们欢迎这对新人。哦,不好意思说错了,让我们欢迎这位新人!
    新手上路,请谨慎驾驶!

    52 引用 • 228 回帖
  • Kafka

    Kafka 是一种高吞吐量的分布式发布订阅消息系统,它可以处理消费者规模的网站中的所有动作流数据。 这种动作(网页浏览,搜索和其他用户的行动)是现代系统中许多功能的基础。 这些数据通常是由于吞吐量的要求而通过处理日志和日志聚合来解决。

    36 引用 • 35 回帖
  • danl
    132 关注
  • 强迫症

    强迫症(OCD)属于焦虑障碍的一种类型,是一组以强迫思维和强迫行为为主要临床表现的神经精神疾病,其特点为有意识的强迫和反强迫并存,一些毫无意义、甚至违背自己意愿的想法或冲动反反复复侵入患者的日常生活。

    15 引用 • 161 回帖
  • 自由行
    10 关注
  • 博客

    记录并分享人生的经历。

    273 引用 • 2388 回帖
  • GitLab

    GitLab 是利用 Ruby 一个开源的版本管理系统,实现一个自托管的 Git 项目仓库,可通过 Web 界面操作公开或私有项目。

    46 引用 • 72 回帖
  • 工具

    子曰:“工欲善其事,必先利其器。”

    286 引用 • 729 回帖
  • Jenkins

    Jenkins 是一套开源的持续集成工具。它提供了非常丰富的插件,让构建、部署、自动化集成项目变得简单易用。

    53 引用 • 37 回帖
  • ZeroNet

    ZeroNet 是一个基于比特币加密技术和 BT 网络技术的去中心化的、开放开源的网络和交流系统。

    1 引用 • 21 回帖 • 638 关注
  • GitHub

    GitHub 于 2008 年上线,目前,除了 Git 代码仓库托管及基本的 Web 管理界面以外,还提供了订阅、讨论组、文本渲染、在线文件编辑器、协作图谱(报表)、代码片段分享(Gist)等功能。正因为这些功能所提供的便利,又经过长期的积累,GitHub 的用户活跃度很高,在开源世界里享有深远的声望,并形成了社交化编程文化(Social Coding)。

    209 引用 • 2031 回帖
  • 安装

    你若安好,便是晴天。

    132 引用 • 1184 回帖
  • HHKB

    HHKB 是富士通的 Happy Hacking 系列电容键盘。电容键盘即无接点静电电容式键盘(Capacitive Keyboard)。

    5 引用 • 74 回帖 • 471 关注
  • Dubbo

    Dubbo 是一个分布式服务框架,致力于提供高性能和透明化的 RPC 远程服务调用方案,是 [阿里巴巴] SOA 服务化治理方案的核心框架,每天为 2,000+ 个服务提供 3,000,000,000+ 次访问量支持,并被广泛应用于阿里巴巴集团的各成员站点。

    60 引用 • 82 回帖 • 595 关注
  • 黑曜石

    黑曜石是一款强大的知识库工具,支持本地 Markdown 文件编辑,支持双向链接和关系图。

    A second brain, for you, forever.

    15 引用 • 122 回帖
  • 正则表达式

    正则表达式(Regular Expression)使用单个字符串来描述、匹配一系列遵循某个句法规则的字符串。

    31 引用 • 94 回帖
  • Spring

    Spring 是一个开源框架,是于 2003 年兴起的一个轻量级的 Java 开发框架,由 Rod Johnson 在其著作《Expert One-On-One J2EE Development and Design》中阐述的部分理念和原型衍生而来。它是为了解决企业应用开发的复杂性而创建的。框架的主要优势之一就是其分层架构,分层架构允许使用者选择使用哪一个组件,同时为 JavaEE 应用程序开发提供集成的框架。

    944 引用 • 1459 回帖 • 17 关注
  • 30Seconds

    📙 前端知识精选集,包含 HTML、CSS、JavaScript、React、Node、安全等方面,每天仅需 30 秒。

    • 精选常见面试题,帮助您准备下一次面试
    • 精选常见交互,帮助您拥有简洁酷炫的站点
    • 精选有用的 React 片段,帮助你获取最佳实践
    • 精选常见代码集,帮助您提高打码效率
    • 整理前端界的最新资讯,邀您一同探索新世界
    488 引用 • 384 回帖 • 8 关注
  • 职场

    找到自己的位置,萌新烦恼少。

    127 引用 • 1705 回帖 • 1 关注
  • App

    App(应用程序,Application 的缩写)一般指手机软件。

    91 引用 • 384 回帖
  • 深度学习

    深度学习(Deep Learning)是机器学习的分支,是一种试图使用包含复杂结构或由多重非线性变换构成的多个处理层对数据进行高层抽象的算法。

    53 引用 • 40 回帖 • 2 关注
  • Chrome

    Chrome 又称 Google 浏览器,是一个由谷歌公司开发的网页浏览器。该浏览器是基于其他开源软件所编写,包括 WebKit,目标是提升稳定性、速度和安全性,并创造出简单且有效率的使用者界面。

    62 引用 • 289 回帖 • 1 关注
  • GitBook

    GitBook 使您的团队可以轻松编写和维护高质量的文档。 分享知识,提高团队的工作效率,让用户满意。

    3 引用 • 8 回帖 • 4 关注
  • 域名

    域名(Domain Name),简称域名、网域,是由一串用点分隔的名字组成的 Internet 上某一台计算机或计算机组的名称,用于在数据传输时标识计算机的电子方位(有时也指地理位置)。

    43 引用 • 208 回帖
  • abitmean

    有点意思就行了

    29 关注