通过变更传播与调整解决运行时配置变更的不一致性

系统配置可在运行时被修改，以使系统适应其环境变化或进行微调。例如，系统管理员可修改配置中的若干实体/属性以改善错误恢复与系统可用性。然而，这些着眼于微调可用性的变更可能违反配置中捕获的某些全局系统约束，从而破坏配置一致性、系统属性与操作。这通常是由于管理员所执行的变更为局部性的，其未意识到所有与所修改实体/属性相关联的实体/属性。本文提出一种在运行时补全此类局部变更集以解决由这些局部变更引发的不一致性的方法。该调整方法包括刻画相关实体/属性并修改之以重建配置一致性。我们依据系统约束，遵循配置实体间的相互影响，传播配置中的变更来实现这一点。我们旨在最小化补充性修改，以控制变更传播的副作用，因为我们面向高可用系统领域。