[理工] 101台大计系

楼主: kaidi620 (万能屎哥)   2019-01-21 16:41:15
小弟想请教几个问题
https://imgur.com/VOFSNZi
(A) 不懂为什么B会造成死结
我的理解:
设有P1 P2 P3 =>P1先wait(acct1) 其他P2 P3被锁住
=>P1执行完amount[acct1]和amount[acct2]
=>解开acct2 但P2 P3还是被锁住
=>解开acct1 P2 P3一起进入使用变量
=>race condition
是这样吗 但它却是说会造成deadlock 请问大大可以解释一下吗
然后这个程式码 也会造成 race condition吗?
(B)也可以帮我解释一下吗 附上解答
https://imgur.com/HdX1Zw4
作者: z3588191   2019-01-21 17:18:00
解答上的例子是说P1持A P2持B 互相等待=>deadlock一次只request一个就可以y拿掉hold-and-wait
楼主: kaidi620 (万能屎哥)   2019-01-21 18:11:00
这个是板上大神的答案 其实我也不知道对不对 因为前面几也有些没正确 我想问一下 那我的逻辑有问题吗这样是否会造成 race condition呢
作者: z3588191   2019-01-21 18:18:00
一般来说v()应该是atomic所以你的例子的P2P3不会同时进我是没想到有race condition的例子
楼主: kaidi620 (万能屎哥)   2019-01-21 19:53:00
抱歉 不太懂 atonic是什么意思 请大神可以解释一下吗
作者: A4P8T6X9 (残废的名侦探)   2019-01-22 08:07:00
atomic 就是该操作做完前不会换人做。
楼主: kaidi620 (万能屎哥)   2019-01-22 13:52:00
谢谢两位大神 那我懂了

Links booklink

Contact Us: admin [ a t ] ucptt.com