Reversible Machine Code and Its Abstract Processor Architecture
Reversible Machine Code and Its Abstract Processor Architecture
复制标题
可逆机器码及其抽象处理器体系结构
DOI：
10.1007/978-3-540-74510-5_9
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
T. Yokoyama
中科院分区：
文献类型：
--
作者：
Holger Bock Axelsen;R. Glück;T. Yokoyama
提出并形式化了一种可逆抽象机器体系结构及其可逆机器码。为了使机器码可逆，底层控制逻辑和每条指令都必须是可逆的。基于可逆更新的概念，我们证明了一类通用的机器指令集是可逆的。该演示是抽象的，可以作为一系列可逆处理器设计的指导方针。通过实例，说明了本文形式化的抽象机器体系结构的编程原理。
A reversible abstract machine architecture and its reversible machine code are presented and formalized. For machine code to be reversible, both the underlying control logic and each instruction must be reversible. A general class of machine instruction sets was proven to be reversible, building on our concept of reversible updates. The presentation is abstract and can serve as a guideline for a family of reversible processor designs. By example, we illustrate programming principles for the abstract machine architecture formalized in this paper.