有限状態マシンとデッドロック

Question

これは私の問題です

デッドロックのない2つの状態マシンの痕跡を知っています。

デストラクションフリーであれば、トレース（私は構造を知らない）と知りたいです。

これは知ることができますか？

Answer 1

実際に構成（マシンAを初期パラメータで実行し、次にマシンBを最終パラメータAを初期パラメータとして使用して）を実行している場合、構成内のデッドロックは必ずAまたはBのいずれかで発生します。

これはAで起こることはできません（Bが存在しない場合にも起こります）.Bではこのことが起こりません（Aが存在せず、B ）。したがって、AおよびBがデッドロックフリーであるという初期の仮定に基づいて、その構成も同様である。