Reversibles Computing

Der Begriff Rechnerreversibilität oder englisch Reversibles Computing bezeichnet eine Architektur für Computer, die (wenigstens näherungsweise) reversibel ist, bei deren Berechnungen also aus dem Endresultat auch der Anfangszustand wiederhergestellt werden könnte.

Wichtigste Motivation für die Forschung an reversiblen Rechnerarchitekturen ist der Wunsch, die theoretische Grenze der Energieeffizienz der heutigen Rechnerarchitektur zu umgehen. Dies ist insbesondere im Hinblick auf den Bau von Quantencomputern interessant, da bei diesen die Wärmeentwicklung irreversibler logischer Schaltungen zu Fehlfunktionen führen würde.

Neumann-Landauer-Grenze

Die heutige Rechnerarchitektur basiert auf irreversibler Logik. Dies bedeutet, dass bei der Durchführung logischer Operationen Information verloren geht. So hat ein einfaches AND zum Beispiel zwei Inputsignale aber nur ein Outputsignal. Es geht also ein Bit verloren und die Anzahl möglicher logischer Zustände reduziert sich von 4 auf 2.

Behandelt man logische Zustände wie physikalische, so gelten für sie die Regeln der Thermodynamik. Also führt eine Reduktion der Anzahl Zustände von 4 auf 2 zu einer Reduktion der Entropie um $\Delta S = k \cdot \ln(2)$ (mit k der Boltzmannkonstante). Die Entropiereduktion wiederum verlangt, dass eine Wärmemenge von mindestens $Q = ST = kT \cdot \ln(2)$ abgegeben wird. Diese unterste Grenze für die Energie, die pro logische Operation in modernen Computern eingesetzt wird, heißt Neumann-Landauer-Grenze (nach Rolf Landauer und John von Neumann).

Logische Zustände wie physikalische zu behandeln, ist nicht so abwegig, da logische Zustände durch physikalische repräsentiert werden müssen.

Reversible logische Prozesse

Logische Operationen müssen nicht irreversibel sein. Man kann reversible logische Operationen definieren und wie Landauer gezeigt hat, sind logisch reversible Prozesse immer auch physikalisch reversibel (Landauersches Prinzip).

Insbesondere lässt sich zeigen, dass sich alle logischen Operationen als Verknüpfung von reversiblen Operationen darstellen lassen. Theoretisch lässt sich also auch mit reversibler Logik ein Computer bauen. Zudem existieren viele Publikationen von zum Teil namhaften Autoren, die Konzepte und Mechanismen zu diesem Thema behandeln. Trotzdem wird reversibles Computing bis heute nur zu Forschungszwecken verwendet.

Nachteile

Da bei reversibler Logik die Information erhalten bleiben muss, entsteht bei einer Berechnung eine große Menge zusätzlicher Bits, die gespeichert werden müssen.

Weblink

Two Types of Mechanical Reversible Logic