Zum Inhalt springen

Reversibles Computing

aus Wikipedia, der freien Enzyklopädie

Vorlage:HinweisbausteinDer Begriff Rechnerreversibilität oder englisch Reversible 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.<ref name=":0">{{#invoke:Vorlage:Literatur|f}}</ref>

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.<ref name=":0" />

Neumann-Landauer-Grenze

{{#if: Landauer-Prinzip|{{#ifexist:Landauer-Prinzip|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

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 <math>\Delta S = k \cdot \ln(2)</math> (mit k der Boltzmannkonstante). Die Entropiereduktion wiederum verlangt, dass eine Wärmemenge von mindestens <math>Q = ST = kT \cdot \ln(2)</math> abgegeben wird. Diese unterste Grenze für die Energie, die pro logischer Operation in modernen Computern eingesetzt wird, heißt Neumann-Landauer-Grenze (nach Rolf Landauer und John von Neumann).

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 Reversible Computing bis heute nur zu Forschungszwecken verwendet.

Nachteile

Da bei reversibler Logik keine Informationen vernichtet werden dürfen, müssen alle bei Berechnungen entstehenden zusätzlichen Bits (Zwischenergebnisse) gespeichert werden.

Praktische Anwendung

Eine Umsetzung des Prinzips eines solchen Rechners wird bereits verfolgt. Vaire Computing, ein britisches Start-Up, arbeitet an einem klassischen Arithmetik-Prozessor, der zu Energie-Rückgewinnung auf der Basis des reversiblen Rechnens in der Lage sein soll. Der Prozessor verwendet herkömmliche CMOS-Logik.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Dina Genkina|Dina Genkina: }}{{#if:|{{#if:Reversible computing escapes the lab|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Reversible computing escapes the lab}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://spectrum.ieee.org/reversible-computing%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Reversible computing escapes the lab}}}}|[{{#invoke:URLutil|getNormalized|1=https://spectrum.ieee.org/reversible-computing}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Reversible computing escapes the lab}}}}]}}{{#if:| ({{{format}}}{{#if:IEEE Spectrum2025-01-02{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://spectrum.ieee.org/reversible-computing%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://spectrum.ieee.org/reversible-computing}}%7C%7C}}}}{{#if:Reversible computing escapes the lab|{{#if:{{#invoke:WLink|isValidLinktext|1=Reversible computing escapes the lab|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: IEEE Spectrum| IEEE Spectrum{{#if: 2025-01-02|,|{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2025-01-02| {{#if:{{#invoke:DateTime|format|2025-01-02|noerror=1}}
            |{{#invoke:DateTime|format|2025-01-02|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2025-01-02|class=Zitationswartung}} }}{{#if: |,|{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2025-01-02IEEE Spectrum|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:496244||(?)}}}}}}{{#if: 2025-02-18|;}}}}{{#if: 2025-02-18| {{#if:2025-01-02IEEE Spectrum{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2025-02-18 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2025-02-18|class=Zitationswartung}} }} {{#invoke:DateTime|format|2025-02-18|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:IEEE Spectrum2025-01-02{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2025-01-02{{#if: 2025-02-18 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://spectrum.ieee.org/reversible-computing
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://spectrum.ieee.org/reversible-computing
      | {{#if:{{#invoke:URLutil|isWebURL|https://spectrum.ieee.org/reversible-computing}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://spectrum.ieee.org/reversible-computing Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://spectrum.ieee.org/reversible-computing
       | {{#if:{{#invoke:URLutil|isWebURL|https://spectrum.ieee.org/reversible-computing}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://spectrum.ieee.org/reversible-computing }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://spectrum.ieee.org/reversible-computing
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://spectrum.ieee.org/reversible-computing
      | {{#if:{{#invoke:URLutil|isWebURL|https://spectrum.ieee.org/reversible-computing}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://spectrum.ieee.org/reversible-computing Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://spectrum.ieee.org/reversible-computing
       | {{#if:{{#invoke:URLutil|isWebURL|https://spectrum.ieee.org/reversible-computing}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://spectrum.ieee.org/reversible-computing }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Weblinks

Einzelnachweise

<references />