9

Dal Reversible Computing FAQ:piattaforma di calcolo reversibile

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?

+0

Può citare una fonte per "La legge di Frank": Mi piacerebbe saperne di più come sembra piuttosto interessante. –

+1

Ho trovato una lista di [pubblicazioni di Michael Frank] (http://www.eng.fsu.edu/~mpf/pubs.htm) e una recente [intervista] (http://intelligence.org/2014/01/ 31/mike-Frank-on-reversibili computing /). –

+0

Grand. Molte grazie Anthony –

risposta

8

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:

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

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.

0

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/