本文详细解析了信号量的基本原理及其在多个经典场景中的应用，包括《越狱》寄信、家庭吃水果等例子，并介绍了Linux POSIX信号量的相关概念。
本文将阐述一下信号量的作用及经典例子，当中包括“《越狱》寄信”，“家庭吃水果”，“五子棋”，“接力赛跑”，“读者写者”，“四方恋爱”等
首先，讲 semWait操作(P操作)和semSignal操作(V操作)的一些基本原则。(接下来同意称为P，V操作)
1. P操作，s - -，if(s<0)阻塞自己
2. V操作，s++，if(s<=0)唤醒一个其他进程
3. P，V操作时原语(通俗讲，就是执行PV操作时时不能被打打断的)
4. P，V操作总是成对出现的。P:资源申请/分配；V操作：资源的释放
一般每个进程的PV操作代码：
s = ？ //根据资源数进行初始化
P(s)
临界区
V(s)
一.《越狱》寄信
题目描述：
T-boy给brad送信，Mike给Lincon送信，但他们送信收信都通过同一个树洞。
解答：
信号量：
Lincon： 是否有Mike的信，s1 = 0
Brad： 是否有T-boy的信，s2 = 0
Mike和T-boy： 树洞是否为空，s3 = 1
Mike: T-boy: Lincon: Brad:
write() write() P(s1) P(s2)
P(s3) P(s3) getit() getit()
putit() putit() V(s3) V(s3)
V(s1) V(s2) readit() readit()
二. 家庭吃水果(对第一题的扩充，不同的只是现在资源比之前多了，变成了3个)
解答：
信号量：
儿子： 是否有苹果，s1 = 0
女儿： 是否有桔子，s2 = 0
爸妈： 是否可以放水果，s3 = 3
爸: 妈: 儿子: 女儿:
makeit() makeit() P(s1) P(s2)
P(s3) P(s3) getit() getit()
putit() putit() V(s3) V(s3)
V(s1) V(s2) eatit() eatit()
三. 五子棋
题目描述：白子和黑子各有32个，黑子先行，怎样设置信号量，才能黑子先行，且是交替下子
解答：
信号量：
白子可下吗？ s1 = 0
黑子可下吗？ s2 = 1
白 黑
for(i=0;i<32;i++){ for(i=0;i<32;i++){
取子 取子
P(s1) P(s2)
放白子 放黑子
V(s2) V(s1)
} }
四.接力赛跑
题目描述：四个人进行接力赛跑，要求使用信号量的方法使得跑的顺序是P1->P2->P3->P4
解答：
信号量：
s2：2号接棒 0
s3：3号接棒 0
s4：4号接棒 0
P1 P2 P3 P4
P(s2) P(s3) P(s4)
run run run run
V(s2) V(s3) V(s4)
接上篇的信号量经典例题，其中包括“读者写者”，“过独木桥”，“公交车”，“四方恋爱”等
一. 读者写着问题(这里有很多种情况)：
(1)读者优先
题目描述：有一本书，有多个读者和写者，读写互斥，写写互斥。当多个读者可以同时读，即当有读者在读这本书时，其他的读者也可以进来读，但写者就不能进来写。
解答：
信号量：
w：可写否：1
nReader：读者数 ：0
mutex：读者之间的“互斥”，进出的先后顺序而已：1
写者： 读者
P(w) P(mutex)
写 nReader ++
V(w) if(nReader == 1)//第一个读者
P(w) //堵塞写者
V(mutex)
读
P(mutex)
nReader - -
if(nReader==0)//最后一个读者
V(w) //唤醒写者
V(mutex)
(2)写者优先
题目描述：有一本书，有多个读者和写者，读写互斥，写写互斥，不同的是只要有写者等，后续读者必须等待在写者后面
w：可写否：1
nReader：读者数 ：0
mutex：读者之间的“互斥”，进出的先后顺序而已：1
s：用于封锁后续读者 ：1
写者： 读者
P(s)
P(s) P(mutex)
P(w) nReader ++
写 if(nReader == 1)//第一个读者
V(w) P(w) //堵塞写者
V(s) V(mutex)
V(s)
读
P(mutex)
nReader - -
if(nReader==0)//最后一个读者
V(w) //唤醒写者
V(mutex)
二.过独木桥
题目描述：
桥单向通行，分别从西到东和从东到西
解答：
信号量：
s ： 表示桥可用？ ：1
nw ： 东向西人数 ：0
ne ： 西向东人数 ： 0
m1： 互斥对nw的修改 ：1
m2： 互斥对ne的修改 ：1
ToWest ToEast
P(m1) P(m2)
nw++ ne ++
if(1==nw) if(1==ne)
P(s) P(s)
V(m1) V(m2)
cross the bridge to west cross the bridge to east
P(m1) P(m2)
nw-- ne - -
if(0==nw) if(0==ne)
V(s) V(s)
V(m1) V(m2)
三.四方恋爱
题目描述：有两男两女，男士送女士玫瑰，女士送男士手表。一一对应，每个只能连接一个
解答：
(1)老师答案
信号量：
m1：互斥女士之间的收花送表行为：1
m2：互斥男士之间的收表送花行为：1
s1：有花？ 0
s2：有表？ 0
女士 男士
P(s1) P(m2)
P(m1) 送花
收花 V(s1)
送表 P(s2)
V(s2) 手表
V(m1) V(m2)
恋爱 恋爱
(2)自己的答案
四个分别是李四(男)，张三(男)，嘻嘻(女)，哈哈(女)
信号量：
g1：是否有表收 ：0
g2：是否有玫瑰收：0
s1：是否可以送表：1
s2：是否可以送玫瑰：1
note：这里只运行一次的，不能够循环
李四 张三 嘻嘻 哈哈
P(s2) P(s2) P(s1) P(s1)
sendRose() sendRose sendWatch sendWath
V(g2) V(g2) V(g1) V(g1)
P(g1) P(g1) P(g2) P(g2)
getWatch getWatch getRose getRose
V(s1) V(s1) V(s2) V(s2)
ps:这个解答我逻辑上想了一下，没有错误，但我一个同学说实际上载机器上跑时好像有问题，自己就没想明白，请高手指教了
linux POSIX 信号量介绍
信号量一．什么是信号量信号量的使用主要是用来保护共享资源,使得资源在一个时刻只有一个进程(线程)使用.多线程可以同时运行多个线程函数完成功能,但是对于共享数据如果不加以锁定,随意改变共享数据的值会发生 ...
linux Posix 信号量 一
信号量是一种用于提供不同进程间或一个给定进程的不同线程间同步手段的原语. linux提供两种信号量,“内核信号量”和“用户态进程信号量”,“用户态信号量”又分为“Posix”,“System V”信号 ...
linux Posix 信号量 二
一.Posix信号量 1.Posix信号量分为两种: 1. 有名信号量:使用Posix IPC名字标识(有名信号量总是既可用于线程间的同步,又可以用于进程间的同步) 2. 内存信号量:存放在共 ...
linux POSIX信号量
POSIX信号量机制是3种IPC机制之一,3种IPC机制源于POSIX.1的实时扩展. 创建一个新的命名信号量或者使用一个现有信号量 #include #include ...
Linux进程同步之POSIX信号量
POSIX信号量是属于POSIX标准系统接口定义的实时扩展部分.在SUS(Single UNIX Specification)单一规范中,定义的XSI IPC中也同样定义了人们通常称为System V ...
Linux多线程实践(5) --Posix信号量与互斥量解决生产者消费者问题
Posix信号量 Posix 信号量 有名信号量 无名信号量 sem_open sem_init sem_close sem_destroy sem_unlink sem_wait sem_post ...
linux c编程：Posix信号量
POSIX信号量接口,意在解决XSI信号量接口的几个不足之处: POSIX信号量接口相比于XSI信号量接口,允许更高性能的实现. POSIX信号量接口简单易用:没有信号量集,其中一些接口模仿了我们熟悉 ...
第三十九章 POSIX信号量与互斥锁
POSIX信号量相关函数 sem_open 功能: initialize and open a named semaphore 原型: sem_t *sem_open(const char *name ...
随机推荐
手把手教你学会 Emacs 定制
Table of Contents 1 前言 2 配置Emacs 2.1 设置界面 2.2 全屏以及最大化 2.3 设置周边 2.4 显示时间设置 2.5 设置日历 2.6 设置符合个人的操作习惯 2 ...
Windows phone 8 学习笔记(1) 触控输入(转)
Windows phone 8 的应用 与一般的Pc应用在输入方式上最大的不同就是:Windows phone 8主要依靠触控操作.因此在输入方式上引入一套全新的触控操作方式,我们需要重新定义相关的事 ...
分享一个客户端程序(winform)自动升级程序,思路+说明+源码
做winform的程序,不管用没用过自动更新,至少都想过自动更新是怎么实现的. 我这里共享一个自动更新的一套版本,给还没下手开始写的人一些帮助,也希望有大神来到,给指点优化意见. 本初我是通过sock ...
CAS实现单点登录方案(SSO完整版)
一.简介 1.cas是由耶鲁大学研发的单点登录服务器 2.本教材所用环境 Tomcat7.2 JDK1.7 CAS Service 版本 cas-server-3.4.8-release CAS ...
FusionCharts参数说明-----3D饼图属性(Pie3D.swf )
animation 是否显示加载图表时的动画 palette 内置的图表样式,共5个 paletteColors 自定义图表元素颜色(为多个,如过过少会重复) showAboutMenuItem 右键 ...
noip 2015 提高组
算是填个坑吧 , QwQ Day 1 第一题很水,就是考代码能力 ,直接贴代码. #include #include #include ...
c#文件管理
Directory类-------目录管理 Directory.CreateDirectory(_Path); bool IsExit=Directory.Exists(_Path); Directo ...
nodejs和ionic小助手
nodejs已经安装完成的情况下,安装ionic小助手 win+r打开cmd. 命令: 1.node -v(查看版本信息) 2.npm -v(查看版本信息) 3.npm install -g cnpm ...
python 字符串格式化，使用f前缀
格式化一般用%,但后来推荐用format format有进步,可以用索引或者名字,但仍然没有很方便和快捷 # logger.debug('{} {} {} {} {} {}'.format(metho ...
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
