.png){kind=icon}
返回
Reversible CSP Computations
.png){kind=icon}
OA
AI
DOI：10.1109/TPDS.2021.3051747.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic because re-running the program forwards may not lead to that state of interest. Reversibility of sequential programs has been well studied and a strong theoretical basis exists. Contrarily, reversibility of concurrent programs is still very young, especially in the practical side. For instance, in the particular case of the Communicating Sequential Processes (CSP) language, reversibility is practically missing. In this article, we present a new technique, including its formal definition and its implementation, to reverse CSP computations. Most of the ideas presented can be directly applied to other concurrent specification languages such as Promela or CCS, but we center the discussion and the implementation on CSP. The technique proposes different forms of reversibility, including strict reversibility and causal-consistent reversibility. On the practical side, we provide an implementation of a system to reverse CSP computations that is able to highlight the source code that is being executed in each forwards/backwards computation step, and that has been optimized to be scalable to real systems.
Keyword:
Synchronization
Syntactics
Semantics
History
Standards
Data structures
Debugging
Concurrent programming
tracing
debugging aids
code inspections and walkthroughs
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6
论文数:
5.2K
被引数:
1.1W
机构
引用论文
Task- and stimulus-related cortical networks in language production: Exploring similarity of MEG- and fMRI-derived functional connectivity.png)
NeuroImageOAAI
NeuroImageIF0
OAAI分享收藏Digital camera-based spectral estimation in open environment based on imaging condition correction
OAAI
OAAI分享收藏Pituitary Ring Sign Plus Sphenoid Sinus Mucosal Thickening: Neuroimaging Signs of Pituitary ApoplexyOAAI
OAAI分享收藏
查看更多内容