Was ist über die Wirksamkeit von zuverlässigem Computing bekannt?

14

Wie gut wurde das folgende Problem in TCS untersucht? (Ich entschuldige mich, wenn das Problem vage klingt!)

Bei einem Modell der Berechnung MC (Turing - Maschine, Cellular Automata, Kolmogorov-Uspenskii Maschine ... etc.) und ein Modell von Lärm , der die Berechnung von MC beeinflussen könnte, ist es eine Möglichkeit der Rückgewinnung von den Fehlern , die durch dieses Geräusch verursacht ein effektiver Weg? Nehmen wir zum Beispiel an, dass eine Art von Geräusch eine Turing-Maschine M beeinflusst. Könnte man eine Turing-Maschine M 'entwickeln, die M ohne größere Kosten simuliert und zuverlässig ist (was bedeutet, dass M' gegenüber diesem Geräusch tolerant ist)?

Es scheint, dass einige Berechnungsmodelle dabei besser sind als andere: z. B. zellulare Automaten. Irgendwelche Ergebnisse, wenn das Rauschen durch ein gegnerisches Modell ersetzt wird?

Entschuldigung für den Tag! Ich habe nicht genug Reputation, um ein geeignetes Tag zu platzieren (zuverlässiges Computing, fehlertolerantes Computing ... usw.)

user2471
quelle
5
Ich denke, Sie fragen sich im Wesentlichen, was auf dem Gebiet der fehlertoleranten Datenverarbeitung getan wird.
Tsuyoshi Ito

Antworten:

14

Während es einige Techniken gibt, die auf Fehlertoleranz für alle Modelle angewendet werden können, hängt die Widerstandsfähigkeit eines Rechenmodells gegenüber Fehlertoleranz vom Modell ab. Zum Beispiel hat Peter Gacs eine Menge Forschung mit Fehlertoleranz für zellulare Automaten betrieben, und er zeigt, dass Sie (mit viel Arbeit) fehlertolerante zellulare Automaten erstellen können.

Von Neumann hat bewiesen, dass Sie durch die Verwendung von Redundanz einen zuverlässigen Computer aus unzuverlässigen Komponenten erstellen können, indem Sie nur den logarithmischen Overhead verwenden.

Für Quantenberechnung können Quantenschaltungen fehlertolerant mit polylogarithmischen Overhead (hergestellt werden - Overhead, wo Sie den richtigen Wert zu finden , c offen ist nach wie vor). Eine weitere offene Frage für die Quantenberechnung ist, ob die adiabatische Quantenberechnung auf physikalisch vertretbare Weise fehlertolerant gemacht werden kann (physikalisch vertretbar bedeutet, dass die Methode möglicherweise zu einem skalierbaren adiabatischen Quantencomputer führt Temperatur auf 0, wenn die Größe der Berechnung größer wird).Logcnc

Peter Shor
quelle
Danke Peter! Ich denke, Gacs hat es geschafft, ein äußerst kompliziertes Gehäuse in einer Dimension zu bauen, das Fehlertoleranz aufweist ( siehe cs.bu.edu/faculty/gacs/papers/long-ca-ms.pdf ). Wie bei Von Neumann ist der logarithmische Aufwand bei der Anzahl der Komponenten oder den Drähten in jeder Komponente?
user2471
Für von Neumann sollte es möglich sein, es so oder so zu arrangieren. Ich glaube, er hat tatsächlich über die Anzahl der Komponenten gesprochen. Für das eindimensionale Gacs-Ergebnis weist es einige Aspekte der Fehlertoleranz auf, aber ich würde es nicht als echte Fehlertoleranz bezeichnen.
Peter Shor
Warum würden Sie Gacs 1-dimensionales Beispiel nicht als fehlertolerant bezeichnen?
user2471
Ich habe wahrscheinlich falsch geschrieben. Das eindimensionale Beispiel von Gacs kann sich ein Bit merken. Dies ist möglicherweise fehlertoleranter Speicher, aber keine fehlertolerante Berechnung. Wenn ich mich richtig erinnere, bleibt dieses 1-Bit im Beispiel von Gacs nicht wirklich an der gleichen Stelle, sondern wird von einer ständig wachsenden Anzahl von Zellen codiert.
Peter Shor
Ich kann mich irren, aber verwendet Gacs nicht eine gewisse Rechenzeit für die verschlüsselten Daten (ohne jedes Mal dekodieren / kodieren zu müssen)? ref cs.bu.edu/faculty/gacs/papers/long-ca-ms.pdf Abschnitt 5.2 Speicherung und Berechnung von Informationen in verschiedenen Dimensionen
user2471
2

Ich denke, die Arbeit im Zusammenhang mit der Selbststabilisierung entspricht dem Geist Ihrer Frage.

Ein selbststabilisierendes System beseitigt jegliche Beschädigung des Arbeitsspeichers.

Jukka Suomela
quelle
2

Die Frage lautet: "Gibt es eine Möglichkeit, die durch [Quanten-] Rauschen verursachten Fehler effektiv zu beheben?" und Peter Shors Antwort deckt bewundernswerterweise einen effektiven Weg zur Beantwortung dieser Frage ab, nämlich den Entwurf fehlertoleranter Quantencomputer.

Ein alternativer effektiver Weg ist in der Ingenieurpraxis weit verbreitet. Wir begründen: "Wenn das Rauschen so groß ist, dass keine Quantenberechnung möglich ist, kann die Systemdynamik möglicherweise mit klassischen Ressourcen in P simuliert werden."

Mit anderen Worten, wir können uns häufig "auf effektive Weise von Rauschen erholen", indem wir erkennen, dass das Rauschen einen wichtigen Dienst für uns darstellt, indem wir den Rechenaufwand für die Simulation sowohl klassischer als auch quantischer Systeme exponentiell reduzieren.

Die Literatur zu geräuschzentrierten Ansätzen für dynamische Simulationen ist umfangreich und wächst. Eine neuere Referenz, deren Theoreme sowohl physikalisch motiviert als auch erfreulich streng sind und die viele Verweise auf die breitere Literatur enthält, sind Plenio und Virmanis obere Schranken für Fehlertoleranzschwellen von verrauschten Clifford-basierten Quantencomputern (arXiv: 0810.4340v1).

Klassische Dynamiker verwenden eine ganz andere Sprache, in der Geräuschmechanismen unter dem technischen Namen Thermostate bekannt sind . Das Verständnis der molekularen Simulation von Frenkel und Smit : von Algorithmen zu Anwendungen (1996) bietet eine grundlegende mathematische Einführung.

Wenn wir klassische Thermostate und Quantenthermostate in die Sprache der geometrischen Dynamik übertragen, stellen wir (nicht überraschend) fest, dass klassische Methoden und Quantenthermostate zur Nutzung von Rauschen zur Steigerung der Simulationseffizienz im Wesentlichen identisch sind. dass ihre jeweiligen Literaturen so selten aufeinander verweisen, ist größtenteils ein Unfall der Geschichte, der durch notatorische Hindernisse gestützt wurde.

Weniger streng, aber allgemeiner beleuchten die obigen Ergebnisse die Ursprünge der Quanteninformationstheorie einer heuristischen Regel, die von Chemikern, Physikern und Biologen weit verbreitet ist und die jedes klassische oder Quantensystem, das sich in dynamischem Kontakt mit einem Thermalbad befindet, wahrscheinlich kennt sich mit Rechenressourcen in P für alle praktischen Zwecke (FAPP) als simulierbar erweisen.

Die Ausnahmen zu dieser sowohl klassischen als auch quantalen Heuristik stellen wichtige offene Probleme dar. Ihre Zahl nimmt von Jahr zu Jahr auffallend ab; Die alle zwei Jahre stattfindende kritische Bewertung der Strukturvorhersage (CASP) liefert ein objektives Maß für diese Verbesserung.

Die fundamentalen Grenzen dieses lärmgetriebenen, jahrzehntelangen Fortschritts in der Simulationsfähigkeit von "More than Moore" sind derzeit nur unzureichend bekannt. Es erübrigt sich zu erwähnen, dass unser stetig verbessertes Verständnis dieser Grenzen uns auf lange Sicht dem Aufbau von Quantencomputern näher bringen wird, während dieses Wissen uns auf kurze Sicht bei der effizienten Simulation von Systemen hilft, die keine Quantencomputer sind. In jedem Fall sind es gute Nachrichten.

John Sidles
quelle
2

Es sieht so aus, als wäre Gacs auf dem Weg, eine fehlertolerante Turing-Maschine zu bauen. Schauen Sie sich dies an: http://arxiv.org/abs/1203.1335

user8719
quelle
1

Quantum Computing-Modelle befassen sich explizit mit Rauschen und Methoden, um Berechnungen gegenüber Fehlern, die durch diesen Vektor verursacht werden, unempfindlich zu machen. Quantum Computing kann kurioserweise vorwärts und rückwärts ausgeführt werden (aufgrund der QM-Hadamard-Transformationen und der zeitlichen Unabhängigkeit des Hamilton-Operators). "Uncomputing" ist eine Technik, mit der solche Fehler aufgehalten werden.

Auf "echten" Computern - Enterprise-Servern - ist die Wahrscheinlichkeit gering, dass ein Teil des Arbeitsspeichers falsch gelesen wird. Die Theorie der Fehlererkennung und -korrektur von Codes kann auf Maschinenwortebene angewendet werden, um solche 1-Bit-Fehler zu erkennen und zu beheben (ohne großen Overhead). Tatsächlich fordern viele Unternehmensserver mit kritischen Vorgängen ein kleines Paritätsbit für jedes Wort RAM an.

Obwohl dies alles andere als ein Beweis ist, scheint es mir, dass Standard-Fehlerkorrektur-Codierschemata für fast alle theoretischen Automaten (zelluläre Automaten sind verdächtig) mit nur polynomieller (in der Tat linearer?) Verlangsamung verwendet werden könnten.

Ross Snider
quelle
Es gibt durchaus Rechenmodelle, bei denen eine willkürliche Fehlerkorrektur nicht möglich ist (dh bei denen ein Fehlertoleranzsatz nicht bewiesen werden kann). Ist das nicht der Grund, warum wir selten mehr analoge Computer studieren?
Artem Kaznatcheev
5
Analoge Computer sind perfekt in der Lage, fehlertolerant zu rechnen, aber soweit ich weiß, nur durch Simulation digitaler Computer (oder haben Sie gedacht, dass Ihr Computer tatsächliche Bits enthält und keine Elektronen und Spannungen?).
Peter Shor
Lassen Sie mich einen Vorbehalt zu meinem vorherigen Kommentar hinzufügen. Ich bin mir sicher, dass es möglich ist, ein eingeschränktes Modell für analoge Berechnungen zu erstellen, bei denen Fehlertoleranz nicht möglich ist. Daher hat Artem in der Tat einen guten Standpunkt zur Fehlertoleranz, der nicht für alle Berechnungsmodelle gilt.
Peter Shor
1
Sowohl auf klassischer als auch auf Quantenebene ist kein Computerdesign fehlertolerant gegenüber allen Klassen von Rauschen, Ungenauigkeit und Instabilität. Darüber hinaus liefert die Technikgeschichte zahlreiche Beispiele, bei denen die Versorgung der Natur mit Geräuschmechanismen unterschätzt wurde. Die von Wikipedia gehostete 56-Punkte-Liste der Plasma-Instabilitäten ist eine einseitige Zusammenfassung, warum die Fusionskraft-Roadmaps der 1950er bis 1990er Jahre zu kurz gekommen sind. Angesichts der Verschmelzung der klassischen und der Quantenberechnungsarchitektur in den kommenden Jahrzehnten wird es von großem Interesse sein, zu beobachten, wie die Liste der bekannten Rausch-, Ungenauigkeits- und Instabilitätsmechanismen wächst.
John Sidles
1

Es gibt einige Arbeiten an sogenannten "belastbaren" Datenstrukturen und Algorithmen (Suchbäume, Zähler, Wörterbuch). Das Modell ist das eines RAM mit der Annahme, dass bis zukBits können jederzeit von einem Gegner geändert werden. Ständig können viele Register vom Gegner nicht geändert werden. Abhängig vom Parameterkkönnen Sie Algorithmen erhalten, die immer noch korrekt funktionieren und von denen die Laufzeit abhängt k ist besser als laufen kunabhängige Kopien eines Algorithmus. Ein kürzlich eingeladener Vortrag von G. Italiano sollte einen Überblick geben: Ausfallsichere Algorithmen und Datenstrukturen (Ich habe diesen Artikel gerade erst gefunden und selbst noch nicht gelesen, bin aber zuversichtlich, dass er ein guter Hinweis ist).

Riko Jacob
quelle