Reversibles Computing

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.

Inhaltsverzeichnis

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


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Quantenschaltung — Mit Quantenschaltung wird in der Quanteninformatik ein abstraktes Modell für Quantencomputer bezeichnet. Die darin stattfindende Berechnung ist eine Folge von Quantengattern, welche reversible Transformationen auf dem quantenmechanischen… …   Deutsch Wikipedia

  • Fredkin Gate — Das Fredkin Gate ist eine von Edward Fredkin erfundene Schaltung, die für reversibles Computing verwendet wird. Der Input wie auch der Output bestehen aus 3 Bits. Ist das erste Bit 1, werden die anderen beiden miteinander vertauscht. Wenn nicht… …   Deutsch Wikipedia

  • Fredkin-Gate — Eingänge Ausgänge C I1 I2 C O1 O2  0   0   0   0   0   0  0 0 1 0 0 1 …   Deutsch Wikipedia

  • Automate cellulaire — À gauche, une règle locale simple : une cellule passe d un état (i) au suivant (i+1) dans le cycle d états dès que i+1 est présent dans au moins 3 cellules voisines. À droite, le résultat (complexe) de l application répétée de cette règle… …   Wikipédia en Français

  • Automate Cellulaire — À gauche, une règle locale simple : une cellule passe d un état (i) au suivant (i+1) dans le cycle d états dès que i+1 est présent dans au moins 3 cellules voisines. À droite, le résultat (complexe !) de l application répétée de cette… …   Wikipédia en Français

  • Automates cellulaires — Automate cellulaire À gauche, une règle locale simple : une cellule passe d un état (i) au suivant (i+1) dans le cycle d états dès que i+1 est présent dans au moins 3 cellules voisines. À droite, le résultat (complexe !) de l… …   Wikipédia en Français

  • Porte de Toffoli — En informatique, la porte de Toffoli (également CCNOT porte), inventée par Tommaso Toffoli, est une porte logique universelle réversible, ce qui signifie que n importe quel circuit réversible peut être construite à partir de portes de Toffoli.… …   Wikipédia en Français

  • Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… …   Wikipédia en Français

  • Approche ecologique de la perception visuelle — Approche écologique de la perception visuelle L approche écologique de la perception (et en particulier visuelle) a été proposée par James J. Gibson et fonde son analyse de la perception sur les rapports entre l animal et l environnement. Cette… …   Wikipédia en Français

  • Approche Écologique De La Perception Visuelle — L approche écologique de la perception (et en particulier visuelle) a été proposée par James J. Gibson et fonde son analyse de la perception sur les rapports entre l animal et l environnement. Cette approche se veut en rupture avec le… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”