Reversing an Imperative Concurrent Programming Language
Reversing an Imperative Concurrent Programming Language
复制标题
逆转命令式并发编程语言
DOI：
10.48550/arxiv.2205.01171
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
I. Ulidowski
中科院分区：
文献类型：
--
作者：
James Hoey;I. Ulidowski
我们介绍了一种颠倒命令式并发程序执行的方法。给定一个不可逆程序，我们描述了产生两个版本的过程。第一个执行正向执行并保存反转所需的信息。第二种方法使用保存的信息来模拟反转。我们建议使用标识符来克服逆转并发程序的挑战。我们证明这种可逆性是正确的，表明初始程序状态被恢复，并且所有保存的信息都被使用(无垃圾)。
We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two versions. The first performs forward execution and saves information necessary for reversal. The second uses this saved information to simulate reversal. We propose using identifiers to overcome challenges of reversing concurrent programs. We prove this reversibility to be correct, showing that the initial program state is restored and that all saved information is used (garbage-free).
线性时间可逆自解释器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
横山哲郎;ロバートグリュック
通讯作者：
ロバートグリュック
影响因子：
0.7
作者：
Robert Glueck;Tetsuo Yokoyama
通讯作者：
Tetsuo Yokoyama