plataforma de computación reversible

Question

Desde el Reversible Computing FAQ:

Lograr el máximo rendimiento computacional posible que un determinada tasa de disipación de bits requiere generalmente la reversibilidad explícito no sólo en el nivel más bajo, pero en todos los niveles de INFORMATICA- -en dispositivos, circuitos, arquitecturas, lenguajes y algoritmos (un resultado fuertemente contorsionado , pero aún no probado formalmente, llámalo Frank's Law).

Según tengo entendido, la energía que se pierde se genera cuando los bits se ponen a cero. La producción de calor puede reducirse si la plataforma de software y hardware tiene la capacidad de invertir las operaciones lógicas.

¿Hay alguna plataforma de programación (biblioteca, tiempo de ejecución, lenguaje y compilador) que admita la informática reversible?

Answer 1

Sí, hay algunos lenguajes de programación reversibles, al menos en la investigación.

También estoy interesada en este campo, y tengo una colección de algunos consejos. Estos dos documentos son bastante buenos:

• Principles of a reversible programming language
• A reversible programming language and its invertible self-interpreter

Aquellos que no he leído todavía (pero están en mi lista de tareas) y parecen interesantes:

• information effects
• Invertible Syntax Descriptions-Unifying Parsing and pretty printing
• An Injective Language for Reversible Computation

También hay this thread de noticias de hackers.

Hay una literatura más rica en transformaciones bidireccionales (de código, modelos, estructura de datos, etc.), que en cierta medida está relacionada con la informática reversible.

Answer 2

Por lo que entiendo, para una computación verdaderamente reversible, necesitaremos ejecutar algoritmos en una computadora reversible. Simplemente citando el siguiente enlace:

Computadora reversible: Una computadora en la que todos los chips y circuitos realizan funciones reversibles sin transferencia de calor hacia o desde sus alrededores. En la década de 1990, un grupo en el MIT construyó hardware preliminar que demostraba la posibilidad de una computación "adiabática".

Ref:http://energy.mit.edu/news/energy-efficient-computing/