Jedes Computersystem, ob biologisch oder synthetisch, von Zellen über Gehirne bis hin zu Laptops, hat Kosten. Dabei handelt es sich nicht um den Preis, der leicht zu erkennen ist, sondern um Energiekosten, die mit der für die Ausführung eines Programms erforderlichen Arbeit und der dabei abgeführten Wärme verbunden sind.
Forscher am Santa Fe Institute und anderswo haben Jahrzehnte damit verbracht, eine thermodynamische Berechnungstheorie zu entwickeln, aber frühere Arbeiten zu den Energiekosten konzentrierten sich auf grundlegende symbolische Berechnungen – wie das Löschen eines einzelnen Bits –, die nicht ohne weiteres auf weniger vorhersehbare Berechnungen übertragbar sind. reale Computerszenarien.
In einem Papier veröffentlicht In Körperliche Untersuchung X, ein Quartett aus Physikern und Informatikern, erweitert die moderne Theorie der Thermodynamik der Berechnung. Durch die Kombination von Ansätzen aus der statistischen Physik und der Informatik führen die Forscher mathematische Gleichungen ein, die die minimalen und maximalen vorhergesagten Energiekosten von Rechenprozessen aufzeigen, die auf Zufälligkeit basieren, einem leistungsstarken Werkzeug in modernen Computern.
Das Framework bietet insbesondere Einblicke in die Berechnung von Energiekostengrenzen für Rechenprozesse mit unvorhersehbarem Ende. Beispiel: Ein Münzwurfsimulator kann angewiesen werden, den Münzwurf zu stoppen, sobald er 10 Mal „Kopf“ erreicht hat. In der Biologie kann es sein, dass eine Zelle die Produktion eines Proteins einstellt, sobald es bei einer anderen Zelle eine bestimmte Reaktion hervorruft. Die „Stoppzeiten“ dieser Prozesse bzw. die Zeit, die erforderlich ist, um das Ziel erstmals zu erreichen, können von Versuch zu Versuch unterschiedlich sein. Der neue Rahmen bietet eine einfache Möglichkeit, die Untergrenzen der Energiekosten in solchen Situationen zu berechnen.
Die Forschung wurde von SFI-Professor David Wolpert, Gonzalo Manzano (Institut für interdisziplinäre Physik und komplexe Systeme, Spanien), Édgar Roldán (Institut für Theoretische Physik, Italien) und SFI-Absolvent Gülce Kardes (CU Boulder) durchgeführt. Die Studie deckt eine Möglichkeit auf, die energetischen Kosten beliebiger Rechenprozesse zu senken. Beispiel: Ein Algorithmus, der in einer Datenbank nach dem Vor- oder Nachnamen einer Person sucht, stoppt möglicherweise die Ausführung, wenn er einen der beiden findet, aber wir wissen nicht, welchen er gefunden hat.
„Viele Rechenmaschinen haben, wenn man sie als dynamische Systeme betrachtet, die Eigenschaft, dass man, wenn man von einem Zustand in einen anderen springt, wirklich nicht in nur einem Schritt zum ursprünglichen Zustand zurückkehren kann“, sagt Kardes.
Wolpert begann vor etwa einem Jahrzehnt mit der Erforschung von Möglichkeiten, Ideen aus der statistischen Nichtgleichgewichtsphysik auf die Berechnungstheorie anzuwenden. Computer seien ein System außerhalb des Gleichgewichts, sagt er, und die stochastische Thermodynamik biete Physikern die Möglichkeit, Systeme außerhalb des Gleichgewichts zu untersuchen. „Wenn man diese beiden zusammennimmt, scheint es, als würden alle möglichen Feuerwerkskörper herauskommen, ganz im SFI-Stil“, sagt er.
In aktuellen Studien, die den Grundstein für dieses neue Papier legten, führten Wolpert und Kollegen die Idee der „Mismatch-Kosten“ ein, oder ein Maß dafür, um wie viel die Kosten einer Berechnung die Landauer-Grenze überschreiten. Dieser 1961 vom Physiker Rolf Landauer vorgeschlagene Grenzwert definiert die minimale Wärmemenge, die erforderlich ist, um Informationen in einem Computer zu ändern. Wolpert sagt, dass die Kenntnis der Mismatch-Kosten als Grundlage für Strategien zur Senkung der Gesamtenergiekosten eines Systems dienen könnte.
Auf der anderen Seite des Atlantiks haben die Co-Autoren Manzano und Roldán ein Werkzeug aus der Finanzmathematik entwickelt – die Martingaltheorie –, um das thermodynamische Verhalten kleiner fluktuierender Systeme zu Stoppzeiten zu untersuchen. Roldán et. al.s „Martingales für Physiker“ hat dazu beigetragen, den Weg für erfolgreiche Anwendungen eines solchen Martingal-Ansatzes in der Thermodynamik zu ebnen.
Wolpert, Kardes, Roldán und Manzano erweitern diese Werkzeuge von der stochastischen Thermodynamik über die Berechnung von Fehlanpassungskosten bis hin zu häufigen Rechenproblemen in ihnen PRX Papier.
Zusammengenommen weisen ihre Forschungen auf einen neuen Weg hin, um die niedrigste Energie zu finden, die für die Berechnung in jedem System benötigt wird, unabhängig davon, wie es implementiert ist. „Es deckt eine ganze Reihe neuer Probleme auf“, sagt Wolpert.
Es könnte auch eine sehr praktische Anwendung haben, indem es neue Wege aufzeigt, um die Datenverarbeitung energieeffizienter zu gestalten. Die National Science Foundation schätzt, dass Computer zwischen 5 % und 9 % des weltweit erzeugten Stroms verbrauchen, aber bei den derzeitigen Wachstumsraten könnten es bis 2030 20 % sein.
Frühere Arbeiten von SFI-Forschern deuten jedoch darauf hin, dass moderne Computer völlig ineffizient sind: Biologische Systeme hingegen sind etwa 100.000 Mal energieeffizienter als von Menschen gebaute Computer. Wolpert sagt, dass eine der Hauptmotivationen für eine allgemeine thermodynamische Berechnungstheorie darin besteht, neue Wege zu finden, um den Energieverbrauch realer Maschinen zu reduzieren.
Beispielsweise könnte ein besseres Verständnis darüber, wie Algorithmen und Geräte Energie für bestimmte Aufgaben nutzen, auf effizientere Computerchip-Architekturen hinweisen. Derzeit, sagt Wolpert, gibt es keinen klaren Weg, physische Chips herzustellen, die Rechenaufgaben mit weniger Energie ausführen können.
„Solche Techniken könnten eine Taschenlampe durch die Dunkelheit sein“, sagt er.
Mehr Informationen:
Gonzalo Manzano et al., Thermodynamik von Berechnungen mit absoluter Irreversibilität, unidirektionalen Übergängen und stochastischen Berechnungszeiten, Körperliche Untersuchung X (2024). DOI: 10.1103/PhysRevX.14.021026