可逆计算平台

Question

来自可逆计算常见问题解答：

要实现给定比特耗散率的最大计算性能，通常需要显式可逆性，不仅在最低级别，而且在计算的所有级别--在设备、电路、体系结构、语言和算法中(一个强猜想，但尚未正式证明的结果--称为Frank's Law)。

据我所知，当比特被归零时，能量就会丢失。如果软件和硬件平台具有逆转逻辑操作的能力，就可以减少热量的产生。

是否有任何支持可逆计算的编程平台(库、运行时、语言和编译器)？

Answer 1

是的，至少在研究中有一些可逆的编程语言。

我对这个领域也很感兴趣，我收集了一些指点。这两篇论文很酷：

• 可逆程序设计语言的原理
• 一种可逆程序设计语言及其可逆自解释器

那些我还没读过的(但在我的待办事项清单中)似乎很有趣：

• 信息效应
• 可逆语法描述.统一解析和漂亮打印
• 一种用于可逆计算的内射语言

黑客新闻上也有这条线。

关于双向转换(代码、模型、数据结构等)有更丰富的文献，这在某种程度上与可逆计算有关。

Answer 2

据我所知，对于真正可逆的计算，我们需要在可逆计算机上运行算法。引用以下链接：

可逆计算机：所有芯片和电路在不向周围传递热量或从周围传输热量的情况下执行可逆功能的计算机。上世纪90年代，麻省理工学院( MIT )的一个小组制造了初步硬件，证明这种“绝热”计算是可能的。

参考文献：http://energy.mit.edu/news/energy-efficient-computing/

Answer 3

Prolog中的可逆解析器和其他语言有不同的实现。因为Prolog允许可逆计算，所以可以实现Prolog中Janus编程语言的解释器。