※ 引述《work76 (work)》之銘言：
: do {
: flag[i] = true;
: while (flag[j]);
: cs
: flag[i]=false;
: rs
: } (1);
: 知道這個程式結果會
: 一、滿足互斥(為什麼，可以幫忙解釋一下嗎?)
同時有兩個 process 進入CS會什麼矛盾現象?
: 二、process不滿足
: 因為Pi和Pj都為真，都無法進入導致deadlock.
progress
: 三、bounded waiting滿足(為什麼，可以幫忙解釋一下嗎?)
這個例子的 waiting process 最多只需等待1個process 完成 CS
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.115.222.93