piattaforma di calcolo reversibile

Question

Dal Reversible Computing FAQ:

raggiungere il rendimento di calcolo massimo possibile per un dato tasso di bit dissipazione richiede in genere non reversibilità esplicito solo a livello più basso, ma a tutti i livelli di informatica- -in dispositivi, circuiti, architetture, lingue e algoritmi (un forte congetturato, ma non ancora formalmente provato, chiamarlo legge di Frank).

Come ho capito, l'energia viene persa viene generata quando i bit vengono azzerati. La produzione di calore può essere ridotta se la piattaforma software e hardware è in grado di invertire le operazioni logiche.

Esiste una piattaforma di programmazione (libreria, runtime, lingua e compilatore) che supporti il ​​calcolo reversibile?

Answer 1

Sì, ci sono alcuni linguaggi di programmazione reversibili, almeno nella ricerca.

Sono anche interessato a questo campo e ho una raccolta di alcuni suggerimenti. Questi due documenti sono piuttosto fresco:

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

Quelli che non ho ancora letto (ma sono nella mia lista delle cose da fare) e sembrano interessanti:

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

C'è anche this thread sulle notizie di hacker.

C'è una letteratura più ricca sulle trasformazioni bidirezionali (di codice, modelli, struttura dati, ecc.), Che è in qualche modo correlata al calcolo reversibile.

Answer 2

Per quanto ho capito, per un computing veramente reversibile, avremo bisogno di eseguire algoritmi su un computer reversibile. Basta citare il seguente link:

Computer reversibile: Un computer in cui tutti i chip e i circuiti svolgono funzioni reversibili senza trasferimento di calore verso o dall'ambiente circostante. Negli anni '90, un gruppo del MIT ha costruito un hardware preliminare che dimostrava la possibilità di un calcolo "adiabatico".

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