ダイニング哲学者の問題 - 明確化が必要

Question

最近読んだのは このウィキペディアの記事 Dining Philosophers の問題に関しては、Chandy と Misra の解決策がよくわかりません。

記事によると、「フォークを持つ哲学者がリクエストメッセージを受け取るとき、彼はそれがきれいであればフォークを保持しますが、それが汚れているときにそれを放棄します。」この質問の文脈では、彼が食べている場合はそれを渡し、まだ食べ始めていない場合はそれを維持します。

シナリオによれば、ダーティとはどういう意味ですか？スレッドは実行中ですか、それとも放棄されましたか?

Answer 1

汚れは、それが中断することができますので、処理が開始されたことを意味します。

次の2本のフォークを持っている場合は、

そして、あなただけで処理することができます。

Answer 2

ダーティは「アイドル状態」または「利用可能であった」を意味し、クリーンは「要求しなければならなかった」または「プリエンプトされた」を意味するようです。

それは、彼がフォークを拾った場合 (フォークが欲しいときにフォークを争わなかった) は「汚れている」、要求しなければならなかった場合は「きれい」、初期状態が汚れていると述べています。

• 空いているフォークを手に取る => フォークが汚れている => 掃除し、求められたらあきらめます。

• 利用可能なフォークがない => リクエストする必要があります => クリーニングされた状態で届きます。

という組織パターンを思い出します。 割り込みを中断しないでください.