文档章节

互斥那点事儿(下)

tobe的呓语
 tobe的呓语
发布于 10/22 11:13
字数 1356
阅读 1648
收藏 18

上篇的链接在这里哦:互斥那点事儿(上)

“我找到好办法了!”

没有想到,说话的人竟然是磁盘!

进程调度器瑟瑟的说:“你有方法?还是算了吧,我怕用你的方法操作系统要乱套了。”

磁盘委屈的道:“不就是刚刚冤枉你了吗,这么小气干什么!再说了,这个方法不是我想出来的,是我从文件里找到的。”

操作系统挑了挑眉毛:“哦?你找到什么文件了,让大家也瞅瞅?”

磁盘嗡嗡的转起来,很快就把文件取出来了。

“当当当当~ 这可是大师 Dijkstra 的论文,他引入了一个全新的变量类型——信号量(semaphore)。然后还为信号量设置了两种操作,P(proberen,检测) 和 V(verhogen,增量) 。”

”说清楚点啊,信号量是怎么个用法啊?“进程急切的问道。

“别急,让我接着看。。。Dijkstra 提出,P操作是检测信号量是否为正值,如果不是,就阻塞调用进程。 V操作能唤醒一个阻塞进程,让他恢复执行 。具体点的话就是这样: “

// S 为信号量
P(s):
{
S = S - 1
if (S < 0)
	{
		调用该 P 操作的进程阻塞,并插入相应的阻塞队列;
	}
}
// S 为信号量
V(s):
{
S = S + 1
if (S <= 0)
	{
		从等待信号量 S 的阻塞队列里唤醒一个进程;
	}
}

内存仔细看了代码,说:”这个实现也要求是原子操作诶,Dijkstra 这个方法很有趣啊。“

进程蒙圈了:“我怎么完全看不懂啊?内存你给我讲讲呗。”

“好,我就用最简单的一组线程举例子了:

// 线程 A,B,C , S = 1
...
P(S) 		//S = S - 1  若 S < 0 ,阻塞等待
购票操作
V(S)		//S = S + 1  若 S <= 0, 表明有线程阻塞了,得唤醒其中一个 
...

这里的 「购票操作」 就是我们要保护的临界区,我们要保证一次只能有一个线程进入。那我们就把 S 的初始值设为 1 。当线程 A 第一个调用 P(S) 后,S 的值就变成了 0 ,A 成功进入临界区。在 A 出临界区之前,线程 B 如果调用 P(S), S 就变成 -1 ,满足 S < 0 的判断条件,线程 B 就被阻塞了。等 A 调用 V(S) 后,S 的值又变成 0 ,满足 S <= 0,就会把线程 B 唤醒,B 就能进入临界区了。“

进程恍然大悟:“原来是这样,看起来和二元锁差不多啊,但是不用忙等待了。”

内存神秘一笑:“信号量能做的可不止这些,你想想看,要是我把 S 的初始值设为 2 ,会发生什么?”

“一次能有两个线程访问临界区!”进程这次反应快多了:“也就是说 S 的初始值可以控制有多少个线程进入临界区,太厉害了!”

tobe 注:从信号量的值能看出还有多少个进程能进入临界区,如果为负数,表明有 x 个进程因为调用 P(S) 而被阻塞

“没错,所以说信号量是一个很灵活的并发机制。而且信号量还有另一个厉害的用处:

你看这两个进程有什么特别的地方?“

“emmmm,这个嘛,进程 P2 的 V 操作居然放在 P 操作的前面,而且两个操作的信号量还不是同一个。”

“没错,这样使用信号量,能让两个进程做到同步。你看,如果 P1 运行到 P(S1),他是不是会阻塞?”

进程认真一看,说:“没错诶,S1 初始值是 0,P1 肯定得停在这一句。让我再看看,,,如果 P1 想接着运行,就得等 P2 调用 V(S1) 把他唤醒。”

“是的,这就是同步——运行快的 P1 必须在这里停下来等 P2 运行到指定位置。两个进程的执行顺序就是这样:

也就是说 x 最终的值必然是 30,而不可能是 20。在信号量的帮助下,这两个进程达成了同步。“

进程由衷的感叹:“信号量实在是太强大了!咱们以后就用信号量来解决互斥的问题吧!”


tobe 注:在 Linux 里提供了信号量互斥量(也就是二元锁)这两种主要机制实现互斥,不过 Linux 的信号量功能要比文章里讲得复杂得多,「UNIX 环境高级编程」这本书里写到「。。。三种特性造成了这种并非必要的复杂性」,对于一般的互斥操作,还是建议使用互斥锁(当然是阻塞而非忙等待)。稍微复杂点的锁还有「读写锁」,以后有机会再讲吧~

觉得我写的还不错的话,就点个赞吧!

如果本文对你有帮助,欢迎关注我的公众号 tobe的呓语 ,带你深入计算机的世界~ 公众号后台回复关键词【计算机】有惊喜哦~

© 著作权归作者所有

tobe的呓语
粉丝 49
博文 11
码字总数 22359
作品 0
西安
私信 提问
加载中

评论(4)

make_money
make_money
棒耶!
FrendLin
FrendLin
上下篇章应该要把上篇链接同放文内
tobe的呓语
tobe的呓语 博主
谢谢提醒,刚刚补上了😄
紫电清霜
紫电清霜
学习中~
我的友情链接

新浪硬件 3GP手机视频下载 btchina seven 陈皓的个人专栏 《Java程序员,上班那点事儿》的那点事儿 李天平 Java究竟怎么玩 豆子空间 子 孑 xql888 ITMOV旗舰 Simon Xiao 肖舸的blog 我的数据...

leizhimin
2017/11/22
0
0
【Maven 那点事儿】中的图是拿什么画的呀

@黄勇 你好,想跟你请教个问题: 【Maven 那点事儿】中的图http://my.oschina.net/huangyong/blog/194583是拿什么画的呀?

bopjiang
2014/12/12
181
0
System.IO系列:局域网内多线程使用命名管道在进程之间通信实例

有关管道的基本用法请看System.IO之使用管道在进程间通信 (System.IO.Pipes使用)。 本文介绍命名管道使用实例,文中例子是几个客户端都通过一台服务器获得新生成的int类型id。 服务器端功能...

长平狐
2012/06/08
266
0
使用 CXF 开发 REST 客户端调用问题

@黄勇 你好,想跟你请教个问题: Web Service 那点事儿(4)—— 使用 CXF 开发 REST 客户端调用出现异常: javax.ws.rs.NotAuthorizedException: HTTP 401 Unauthorized 好像是没有授权认证!...

simplehpt
2015/02/13
1K
0
我的友情链接

51CTO博客开发 马哥教育 itnihao的运维技术博客 虚拟的现实 实践检验真理 运维笔记 斩月 峰云,就她了。 Linux SA John 聆听未来 linux&python my life for my wife 吟—技术交流 滴水穿石孙...

xiaofengge315
2017/11/22
0
0

没有更多内容

加载失败,请刷新页面

加载更多

ZetCode 绘图教程

来源:ApacheCN ZetCode 翻译项目 译者:飞龙 协议:CC BY-NC-SA 4.0 贡献指南 本项目需要校对,欢迎大家提交 Pull Request。 请您勇敢地去翻译和改进翻译。虽然我们追求卓越,但我们并不要求...

ApacheCN_飞龙
34分钟前
4
0
==和equals的区别是什么?

== 是关系运算符,equals() 是方法,结果都返回布尔值 Object 的 == 和 equals() 比较的都是地址,作用相同 == 作用: 基本类型,比较值 引用类型,比较内存地址 不能比较没有父子关系的两个...

ConstXiong
52分钟前
4
0
Spring-Framework 目录

ls spring-orm/src/main/java/org/springframework/orm/hibernate5/ ObjectRetrievalFailureException.java jpa/ ......

MtrS
今天
6
0
大学慕课

Visual C,Turbo C,Dev C的关系 不管是 Visual C、Turbo C 还是 Dev C,本质都是C语言,不存在高下之分。 三种叫法不同是因为 C 语言在三种不同的开发环境中拥有一些不同的开发习惯的区别。...

电子197徐泽彬
今天
5
0
GC偏方 强行fullgc

转自 https://www.jianshu.com/p/be5389ca93f7 FullGC这么恐怖,有办法缓解么,或者说尽量避免它在白天,甚至业务高峰期出现?有!笔者给你分享一个歪门邪道,不记得是多少年前,在哪里道听途...

os_m
今天
5
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部