可逆计算平台

Question

从可逆计算常见问题解答:

对于给定的比特耗散速率实现最大可能的计算性能通常需要显着的可逆性,不仅在最低级别,而且在所有级别的计算中 - 在设备,电路,架构,语言和算法中(强烈推测,但不是但正式证明了结果 - 称之为弗兰克法则.

据我了解,当位为零时会产生能量损失.如果软件和硬件平台具有反转逻辑操作的能力,则可以减少热量产生.

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

Answer 1

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

我也在这个领域感兴趣,我收集了一些指针.这两篇论文很酷:

那些我尚未阅读的(但在我的待办事项列表中)并且看起来很有趣:

黑客新闻也有这个帖子.

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