Foundations of Generalized Reversible Computing
Foundations of Generalized Reversible Computing
复制标题
广义可逆计算的基础
DOI：
10.1007/978-3-319-59936-6_2
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Frank
中科院分区：
文献类型：
--
作者：
M. Frank
计算中的信息损失意味着由于朗道原理的能量耗散。因此，增加在给定能量预算内可以完成的有用计算工作量最终将需要增加我们的计算技术避免信息丢失的程度，即，在逻辑上是可逆的。但是，逻辑可逆性的传统定义实际上比避免信息丢失和能量耗散所必需的限制性更大。因此，传统上被视为可逆逻辑的原子元素的操作，例如Toffoli门，并不是可以用于可逆硬件设计的最简单的原语。可以说，可逆计算的完整理论框架应该为实际工程提供一个更通用、更简洁的基础。为此，我们使用一个严格的定量制定的兰道尔的原则，发展理论ofGeneralized可逆计算（GRC），它精确地描述了计算的最低要求，以避免信息丢失和随之而来的能量耗散，显示出更广泛的计算范围，事实上，可逆比传统的可逆计算理论所承认的。本文总结了GRC理论的基础，并简要介绍了它的一些应用。
Information loss from a computation implies energy dissipation due to Landauer’s Principle. Thus, increasing the amount of useful computational work that can be accomplished within a given energy budget will eventually require increasing the degree to which our computing technologies avoid information loss,i.e., are logically reversible. But the traditional definition of logical reversibility is actually more restrictive than is necessary to avoid information loss and energy dissipation due to Landauer’s Principle. As a result, the operations that have traditionally been viewed as the atomic elements of reversible logic, such as Toffoli gates, are not really the simplest primitives that one can use for the design of reversible hardware. Arguably, a complete theoretical framework for reversible computing should provide a more general, parsimonious foundation for practical engineering. To this end, we use a rigorous quantitative formulation of Landauer’s Principle to develop the theory ofGeneralized Reversible Computing(GRC), which precisely characterizes the minimum requirements for a computation to avoid information loss and the consequent energy dissipation, showing that a much broader range of computations are, in fact, reversible than is acknowledged by traditional reversible computing theory. This paper summarizes the foundations of GRC theory and briefly presents a few of its applications.