1

这是我的问题

我知道两个没有死锁的状态机的痕迹。

我想知道痕迹(我不知道结构),如果组合没有死锁。

任何要知道的定理是可能知道的吗?

4

1 回答 1

0

如果您确实在处理组合(使用初始参数运行机器 A,然后使用 A 的最终参数作为初始参数运行机器 B),那么组合中的死锁必然会在 A 或 B 中发生。

它不会发生在 A 中(因为如果 B 不存在,它也会发生),并且它不会发生在 B 中(因为那时,如果 A 不存在并且您对 B 使用相同的初始参数,它也会发生)。因此,基于 A 和 B 无死锁的初始假设,它们的组成也是如此。

于 2010-11-29T14:47:54.907 回答