Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
这是我的问题
我知道两个没有死锁的状态机的痕迹。
我想知道痕迹(我不知道结构),如果组合没有死锁。
任何要知道的定理是可能知道的吗?
如果您确实在处理组合(使用初始参数运行机器 A,然后使用 A 的最终参数作为初始参数运行机器 B),那么组合中的死锁必然会在 A 或 B 中发生。
它不会发生在 A 中(因为如果 B 不存在,它也会发生),并且它不会发生在 B 中(因为那时,如果 A 不存在并且您对 B 使用相同的初始参数,它也会发生)。因此,基于 A 和 B 无死锁的初始假设,它们的组成也是如此。