multithreading - 食事の哲学者の問題 - 明確化が必要

Question

最近、食事の哲学者の問題に関するこのウィキペディアの記事を読みましたが、チャンディ/ミスラの解決策についてはよくわかりません。

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

シナリオによると、Dirty とはどういう意味ですか? スレッドは実行中ですか、それとも降伏しましたか?

score 2 · Accepted Answer

ダーティとは、処理が開始されたために中断される可能性があることを意味します。

また、フォークが2つある場合にのみ処理できます。

score 0 · Accepted Answer

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

フォークを手に取った場合は「ダーティ」であり (必要なときにフォークが競合していなかった場合)、フォークを要求しなければならない場合は「クリーン」であり、初期状態はダーティであると表示されます。

Don't Interrupt an Interrupt という組織パターンを思い出します。

2 に答える 2