存在不可改变环境动作时的稳定化与容错

我们关注在存在{\em 不可改变环境动作}的情况下向已有并发协议添加容错的问题。此类不可改变动作由于若干原因在实践中出现。一个实例包括仅能修订组件/进程的子集而其他组件/进程必须保持原样的情况。另一实例包括信息物理系统（cyber-physical systems），其中修订物理组件可能不受期望或不可能。这些动作与故障的不同之处在于它们同时是{\em 辅助性的}和{\em 破坏性的}，而故障仅是破坏性的。例如，如果这些动作是物理组件的一部分，其执行对于系统的正常运行至关重要。然而，它们可能破坏其他组件为处理故障所采取的行动。而且，通常可以假设故障动作将停止足够长时间以使程序取得进展。在此上下文中这种假设是不可能的。我们给出了用于添加稳定化容错、故障安全容错与掩蔽容错的算法。有趣的是，我们观察到先前用于添加稳定化容错与掩蔽容错的方法在此上下文中不能轻易扩展。然而，我们发现添加这些级别的容错的总体复杂度仍保持在 P 中（在程序的状态空间中）。我们也证明了我们的算法是可靠且完备的。