第四次尝试
在第三次尝试中,一个进程在不知道另一个进程状态的情况下设置其状态。出现死锁是因为每个进程都坚持其权利进入其临界区;没有机会从这个位置后退。我们可以尝试以一种使每个进程更加尊重的方式解决这个问题:每个进程设置其flag以表明其进入其临界区的意愿,但准备将flag重置以推迟另一个进程,如图5.1d所示。
这接近于一个正确的解决方案,但仍然存在缺陷。相互排斥仍然是有保证的,使用了与第三次尝试的讨论类似的推理。但是,请考虑以下事件的顺序:
P0 sets flag[0] to true.
Pl sets flag[1] to true.
P0 checks flag[1] .
Pl checks flag[0] .
P0 sets flag[0] to false .
Pl sets flag[1] to false .
P0 sets flag[0] to true .
Pl sets flag[1] to true .
这个序列可以无限期地扩展,并且两个进程都不能进入其关键部分。严格地说,这不是死锁,因为两个进程的相对速度的任何变化都将打破这个循环,并允许一个进程进入临界区。这种情况被称为活栓。回想一下,当一组进程希望进入它们的临界区,但没有一个进程能够成功时,就会发生死锁。有了活栓,可能会有成功的执行序列,但也可以描述一个或多个执行序列,其中没有进程进入其临界区。
尽管刚才描述的情况不太可能持续很长时间,但这仍然是一种可能的情况。因此,我们拒绝第四次尝试。
在第三次尝试中,一个进程在不知道另一个进程状态的情况下设置其状态。出现死锁是因为每个进程都坚持其权利进入其临界区;没有机会从这个位置后退。我们可以尝试以一种使每个进程更加尊重的方式解决这个问题:每个进程设置其flag以表明其进入其临界区的意愿,但准备将flag重置以推迟另一个进程,如图5.1d所示。
这接近于一个正确的解决方案,但仍然存在缺陷。相互排斥仍然是有保证的,使用了与第三次尝试的讨论类似的推理。但是,请考虑以下事件的顺序:
P0 sets flag[0] to true.
Pl sets flag[1] to true.
P0 checks flag[1] .
Pl checks flag[0] .
P0 sets flag[0] to false .
Pl sets flag[1] to false .
P0 sets flag[0] to true .
Pl sets flag[1] to true .
这个序列可以无限期地扩展,并且两个进程都不能进入其关键部分。严格地说,这不是死锁,因为两个进程的相对速度的任何变化都将打破这个循环,并允许一个进程进入临界区。这种情况被称为活栓。回想一下,当一组进程希望进入它们的临界区,但没有一个进程能够成功时,就会发生死锁。有了活栓,可能会有成功的执行序列,但也可以描述一个或多个执行序列,其中没有进程进入其临界区。
尽管刚才描述的情况不太可能持续很长时间,但这仍然是一种可能的情况。因此,我们拒绝第四次尝试。
“那到底谁是对的?——活下来的人”
“声名!充其量不过是场误会。但我不会摆出一副鄙视它的高姿态。它也是人的一种记号,不会比他们的漠然、比友谊或比憎恨来得重要或不重要”
“人本身并没有什么价值。他不过是一种无止尽的可能性”
“人类所有的不幸皆来自于他们不说简单的言语”
“人们总是想把我们推进他们的结论里。他们如果对你有所评断,背后一定有他们自己理念上的盘算”
“当混账是很累的。但不想当混账会更累。这就是为什么所有的人都很累,因为大家都有点混账”
“根本无法判定每个人的话中有多少是真实,又有多少是出于恐惧”
梁老师是看破红尘的得道高人 眼里都是慈悲 就像开悟后的悉达多 浑身散发着希望的光辉
而加缪是冷脸刺客 就看不得那些欲盖弥彰的荒谬 见一个挑破一个 直至触及赤裸真相时他又收走剑锋 献上对生命本身最大的热忱
灯塔长明啊
“声名!充其量不过是场误会。但我不会摆出一副鄙视它的高姿态。它也是人的一种记号,不会比他们的漠然、比友谊或比憎恨来得重要或不重要”
“人本身并没有什么价值。他不过是一种无止尽的可能性”
“人类所有的不幸皆来自于他们不说简单的言语”
“人们总是想把我们推进他们的结论里。他们如果对你有所评断,背后一定有他们自己理念上的盘算”
“当混账是很累的。但不想当混账会更累。这就是为什么所有的人都很累,因为大家都有点混账”
“根本无法判定每个人的话中有多少是真实,又有多少是出于恐惧”
梁老师是看破红尘的得道高人 眼里都是慈悲 就像开悟后的悉达多 浑身散发着希望的光辉
而加缪是冷脸刺客 就看不得那些欲盖弥彰的荒谬 见一个挑破一个 直至触及赤裸真相时他又收走剑锋 献上对生命本身最大的热忱
灯塔长明啊
记得几年前的某个节日 他说 你想要什么礼物 我说我想要xx 他立刻给我下单了 我反问他 你想要什么礼物呢 他回答说 我只要你快快乐乐 他好像总是能满足我奇奇怪怪的要求和尊重我的每个决定 很少很少拒绝我 几乎没有要求过我任何 会担心我有没有吃饱 钱够不够花 也很期待我的进步 总是希望我开心 但是正如他所说的 我们的目标并不一致 后来分分合合我们终于分手了 再也没联系过 我们都有了新的生活 我也花了很长时间接受了我们没办法携手同行的事实 但已经过去很多年了 被他改变的那一部分我 代替他 永远伴我成长 很暖 是我为数不多的恋爱里 想到这个人就觉得无论他做了怎样的事情 都没办法恨他讨厌他 可能这是白月光的存在吧 我会被真正的真诚和温柔治愈打动 能不能被坚定的选择 对我来说没那么重要 因为我们不能忤逆自我 如果你需要从这个人身上得到什么 期待他按照你的期待行动 而付出自己的感情 精力 那么这不是爱 是欲望
为什么突然想到他呢 因为打开了ipad 浏览器里还是几年前他工作使用过的痕迹 想到了那年的圣诞 是我们的唯一一个圣诞 他握着我的手插在他的口袋里 他的口袋真的好暖 甚至很心动 真是奇怪的浪漫
想起那些散过的步 给我做的每一顿饭 一起吹过的风 促膝长谈的夜光 流过的眼泪 这么回头一看 好像是我逝去的青春吧
我们都还会再爱一些人 还会分享一些月色 也会直接表达自己的感情 但是再也不会任性了 爱是希望对方快乐 而不是束缚 勒索 施压
为什么突然想到他呢 因为打开了ipad 浏览器里还是几年前他工作使用过的痕迹 想到了那年的圣诞 是我们的唯一一个圣诞 他握着我的手插在他的口袋里 他的口袋真的好暖 甚至很心动 真是奇怪的浪漫
想起那些散过的步 给我做的每一顿饭 一起吹过的风 促膝长谈的夜光 流过的眼泪 这么回头一看 好像是我逝去的青春吧
我们都还会再爱一些人 还会分享一些月色 也会直接表达自己的感情 但是再也不会任性了 爱是希望对方快乐 而不是束缚 勒索 施压
✋热门推荐