Cargando…

Global Reproducibility Through Local Control for Distributed Active Objects

Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transit...

Descripción completa

Detalles Bibliográficos
Autores principales: Tveito, Lars, Johnsen, Einar Broch, Schlatte, Rudolf
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418128/
http://dx.doi.org/10.1007/978-3-030-45234-6_7
_version_ 1783569631462555648
author Tveito, Lars
Johnsen, Einar Broch
Schlatte, Rudolf
author_facet Tveito, Lars
Johnsen, Einar Broch
Schlatte, Rudolf
author_sort Tveito, Lars
collection PubMed
description Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transitions at so-called stable states during execution; i.e., states in which local execution depends on interaction with the environment. The paper formalizes trace recording and replay for a basic active object language, to show that such local traces suffice to obtain global reproducibility of runs; during replay different objects may operate fairly independently of each other and in parallel, yet a program under replay has guaranteed deterministic outcome. We then show that the method extends to the other forms of non-determinism as found in richer active object languages. Following the proposed method, we have implemented a tool to record and replay runs, and to visualize the communication and scheduling decisions of a recorded run, for Real-Time ABS, a formally defined, rich active object language for modeling timed, resource-aware behavior in distributed systems.
format Online
Article
Text
id pubmed-7418128
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-74181282020-08-11 Global Reproducibility Through Local Control for Distributed Active Objects Tveito, Lars Johnsen, Einar Broch Schlatte, Rudolf Fundamental Approaches to Software Engineering Article Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transitions at so-called stable states during execution; i.e., states in which local execution depends on interaction with the environment. The paper formalizes trace recording and replay for a basic active object language, to show that such local traces suffice to obtain global reproducibility of runs; during replay different objects may operate fairly independently of each other and in parallel, yet a program under replay has guaranteed deterministic outcome. We then show that the method extends to the other forms of non-determinism as found in richer active object languages. Following the proposed method, we have implemented a tool to record and replay runs, and to visualize the communication and scheduling decisions of a recorded run, for Real-Time ABS, a formally defined, rich active object language for modeling timed, resource-aware behavior in distributed systems. 2020-03-13 /pmc/articles/PMC7418128/ http://dx.doi.org/10.1007/978-3-030-45234-6_7 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Tveito, Lars
Johnsen, Einar Broch
Schlatte, Rudolf
Global Reproducibility Through Local Control for Distributed Active Objects
title Global Reproducibility Through Local Control for Distributed Active Objects
title_full Global Reproducibility Through Local Control for Distributed Active Objects
title_fullStr Global Reproducibility Through Local Control for Distributed Active Objects
title_full_unstemmed Global Reproducibility Through Local Control for Distributed Active Objects
title_short Global Reproducibility Through Local Control for Distributed Active Objects
title_sort global reproducibility through local control for distributed active objects
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418128/
http://dx.doi.org/10.1007/978-3-030-45234-6_7
work_keys_str_mv AT tveitolars globalreproducibilitythroughlocalcontrolfordistributedactiveobjects
AT johnseneinarbroch globalreproducibilitythroughlocalcontrolfordistributedactiveobjects
AT schlatterudolf globalreproducibilitythroughlocalcontrolfordistributedactiveobjects