Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
复制标题
协调模型和语言 - 第 24 届 IFIP WG 6.1 国际会议，COORDINATION 2022，作为第 17 届国际分布式计算技术联合会会议的一部分举行，DisCoTec 2022，意大利卢卡，2022 年 6 月 13-17 日，会议记录
DOI：
10.1007/978-3-031-08143-9_9
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Bocchi L
中科院分区：
文献类型：
--
作者：
Bocchi L
现有的并发进程分析模型倾向于关注失效-停止故障，其中进程正在工作或永久停止，并且它们的状态(工作/停止)是已知的。事实上，系统经常受到灰色故障的影响：潜在的、可能是暂时的、可能以微妙的方式影响系统的故障，这些故障可能会导致重大问题，如崩溃、有限的可用性或过载。我们引入了一个基于参与者的灰色故障系统模型，该模型基于两个相互关联的层次：一个参与者模型，给出一个离散时间的异步进程演算；一个故障模型，它表示可以注入系统的故障模式。我们的故障模型不仅包括故障停止节点和链路故障，还包括灰色故障，这些故障可能是局部的，也可能是暂时性的。我们给出了一种基于弱倒钩互模拟的行为等价关系，用于比较系统的故障恢复能力，并在此基础上定义了可靠系统的一些期望性质。通过这样做，我们将检查系统的可靠性属性的问题归结为检查互模拟的问题。
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and may affect the system in subtle ways that later lead to major issues, such as crashes, limited availability or overload. We introduce a model of actor-based systems with grey failures, based on two interlinked layers: an actor model, given as an asynchronous process calculus with discrete time, and a failure model that represents failure patterns that can be injected into the system. Our failure model captures not only fail-stop node and link failures, but also grey failures, which might be partial or transient.We give a behavioural equivalence relation based on weak barbed bisimulation to compare systems on the basis of their ability to recover from failures, and on this basis we define some desirable properties of reliable systems. By doing so, we reduce the problem of checking reliability properties of systems to the problem of checking bisimulation.