以下の相互排他問題のアルゴリズムは、相互排除特性を満たしていません。それはデッドロック、飢えを満たしていますか?また、競合がなくても正しく動作していますか?クリティカルセクション2回目の試行ですか?
int p=1;
int q=1;
process P process Q
while(true){ while(true){
a1 : nonCriticallSection1; a2 : nonCriticallSection1;
b1 : while (q !=1){ do nothing} b2 : while (p !=1){ do nothing}
c1 : p=0; c2 : q=0;
d1 : critical section d2 : critical section
e1 : p=1; e2 : q=1;
} }
end P; end Q;
宿題の場合は、「宿題」タグを追加してください。また、あなたの質問を明確にしてください、私はどのように "デッドロックを満たす"か分からない。 – thiton