102清大计系 chiuchang PTT批踢踢实业坊

楼主: chiuchang (precious simple) 2020-01-25 12:28:29

https://i.imgur.com/scH11KL.jpg
请教一下各位 6.a怎么画呢我画出来感觉怪怪的需不需要考虑count这个资源呢

作者: mistel (Mistel) 2020-01-25 12:41:00

R1.wait就相当于在测试能不能取得修改count的权力了吧

作者: DLHZ ( ) 2020-01-25 12:44:00

r1 wait后但过不了if那段变成自己也卡在r2 wait

作者: panyasan (=w=) 2020-01-25 12:46:00

同问,如果不算count,这样RAG画出来似乎没有cycle？

楼主: chiuchang (precious simple) 2020-01-25 13:08:00

我在板上看到有人这样画 R2跟count之间的那个边应该不对吧不应该有资源与资源的边

作者: mistel (Mistel) 2020-01-25 14:39:00

但是没有cycle则没有deadlock，所以感觉像楼上这张图这样画...

楼主: chiuchang (precious simple) 2020-01-25 18:38:00

是啊...所以这样应该是对的吗

作者: DLHZ ( ) 2020-01-26 15:31:00

这样呢？虽然R2并没有真的被P2 hold 但实际上等到P2 拿到R1进来后R2才会放出来应该也可以解释成P2是hold R2?

楼主: chiuchang (precious simple) 2020-01-26 20:55:00

D大我画的跟你一样耶

继续阅读