Academic Journal
A model of actors and grey failures
| Title: | A model of actors and grey failures |
|---|---|
| Authors: | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
| Source: | Logical Methods in Computer Science, Vol 19, Issue 4 (2023) |
| Publisher Information: | Logical Methods in Computer Science e.V., 2023. |
| Publication Year: | 2023 |
| Collection: | LCC:Logic LCC:Electronic computers. Computer science |
| Subject Terms: | computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95 |
| Description: | 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, 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 to inject in the system. Our failure model captures not only fail-stop node and link failures, but also grey failures (e.g., partial, 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. |
| Document Type: | article |
| File Description: | electronic resource |
| Language: | English |
| ISSN: | 1860-5974 |
| Relation: | https://lmcs.episciences.org/10238/pdf; https://doaj.org/toc/1860-5974 |
| DOI: | 10.46298/lmcs-19(4:13)2023 |
| Access URL: | https://doaj.org/article/88d897bd45574091bd5d70f01b84f34d |
| Accession Number: | edsdoj.88d897bd45574091bd5d70f01b84f34d |
| Database: | Directory of Open Access Journals |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/lmcs-19(4:13)2023 |