- -

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Show full item record

Lanese, I.; Palacios, A.; Vidal, G. (2021). Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundamenta Informaticae. 178(3):229-266. https://doi.org/10.3233/FI-2021-2005

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/183893

Files in this item

Item Metadata

Title: Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
Author: Lanese, Ivan Palacios, Adrián Vidal, Germán
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When ...[+]
Subjects: Concurrency , Logging , Causal-consistent , Debugging , Reversible computing
Copyrigths: Reserva de todos los derechos
Source:
Fundamenta Informaticae. (issn: 0169-2968 )
DOI: 10.3233/FI-2021-2005
Publisher:
IOS Press
Publisher version: https://doi.org/10.3233/FI-2021-2005
Project ID:
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-104735RB-C41/ES/SAFER-UPV: ANALISIS Y VALIDACION DE SOFTWARE Y RECURSOS WEB/
info:eu-repo/grantAgreement/Unión Europea//COST action IC1405//Reversible computation - extending horizons of computing/
info:eu-repo/grantAgreement/Agence Nationale de la Recherche, Francia//ANR-18-CE25-0007//DCore - Causal Debugging for Concurrent Systems/
info:eu-repo/grantAgreement/AEI//TIN2016-76843-C4-1-R//METODOS RIGUROSOS PARA EL INTERNET DEL FUTURO/
info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//PROMETEO%2F2019%2F098//DEEPTRUST/
Thanks:
This work has been partially supported by the COST Action IC1405 on Reversible Computation extending horizons of computing. The first author has also been partially supported by INdAM - GNCS 2020 project Sistemi Reversibili ...[+]
Type: Artículo

recommendations

 

This item appears in the following Collection(s)

Show full item record