一种参与者模型与灰色故障模型
形式语言与自动机理论
2024-02-14 v4
摘要
现有的用于分析并发过程的模型往往侧重于失效-停止故障，即进程要么正常工作要么永久停止，且其状态（工作/停止）已知。事实上，系统经常受到灰色故障的影响：这些故障是潜在的、可能是瞬态的，并可能以微妙的方式影响系统，随后导致重大问题（例如崩溃、可用性受限、过载）。我们引入了一种带灰色故障的基于参与者的系统模型，该模型基于两个相互关联的层：一个参与者模型，给出为带离散时间的异步进程演算；以及一个表示要注入系统的故障模式的故障模型。我们的故障模型不仅捕获失效-停止的节点和链路故障，还捕获灰色故障（例如部分、瞬态）。我们给出了基于弱 barb 互模拟的行为等价关系，以根据系统从故障中恢复的能力来比较系统，并基于此定义了可靠系统的一些理想属性。通过这样做，我们将检查系统可靠性属性的问题归约为检查互模拟的问题。
引用
@article{arxiv.2210.17508,
title = {A model of actors and grey failures},
author = {Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea},
journal= {arXiv preprint arXiv:2210.17508},
year = {2024}
}