Trident: Efficient Load Verification for Yoked Surface Codes using a Three-Level Memory Hierarchy

Quantencomputer versprechen, Probleme zu lösen, die für klassische Maschinen derzeit unmöglich sind, von der Entwicklung neuer Medikamente bis hin zum Knacken komplexer Codes. Die Bausteine dieser Maschinen, bekannt als Qubits, sind jedoch unglaublich zerbrechlich. Sie verlieren ihre Informationen fast augenblicklich durch winzige Störungen aus der Umgebung. Um sie nutzbar zu machen, müssen Wissenschaftler sie in eine schützende mathematische Schicht namens Fehlerkorrektur einhüllen. Dieser Prozess beinhaltet das Gruppieren vieler unzuverlässiger physischer Qubits zu einem einzigen, stabilen „logischen“ Qubit, das lange genug überleben kann, um echte Arbeit zu verrichten. Die am häufigsten verwendete Methode für diesen Schutz, bekannt als Surface-Code, ist effektiv, aber in Bezug auf die Hardware unglaublich teuer; sie erfordert fast tausend physische Qubits, um nur ein einziges logisches Qubit zu erzeugen. Um Quantencomputer praktikabel zu machen, haben Forscher eine effizientere Speichermethode namens Yoked Surface Code entwickelt. Diese Technik ermöglicht es einem einzelnen Hardwareblock, viel mehr logische Qubits zu halten, indem sie eine geschickte Anordnung von Prüfungen nutzt, vergleichbar mit einem Sicherheitsnetz. Doch diese Effizienz hat einen verborgenen Preis: Das Bewegen von Daten in und aus diesem Speicher ist langsam und riskant, was einen Engpass erzeugt, der den gesamten Computer verlangsamt.

Ein Team von Forschern der Georgia Tech und der Northwestern University hat diesen Engpass identifiziert und eine Lösung namens Trident vorgeschlagen. In ihren Simulationen fanden sie heraus, dass die aktuelle Art und Weise, Daten aus diesen effizienten Speicherblöcken abzurufen, den Computer dazu zwingt, eine lange Pause einzulegen, um zu verifizieren, ob die Daten korrekt angekommen sind. Dieser Verifizierungsschritt nimmt den weitaus größten Teil der Zeit ein, die mit dem Warten auf den Speicher verbracht wird, wodurch die leistungsstarken Rechenteile der Maschine untätig bleiben. Die Forscher entdeckten, dass die effizienten Speicherblöcke zwar großartig darin sind, Daten zu halten, aber zu langsam sind, wenn der Computer diese Daten schnell abrufen muss. Umgekehrt ist eine einfachere, weniger effiziente Version des Speichers schnell zugänglich, nimmt aber zu viel Platz ein, wenn sie für alles verwendet wird. Die Erkenntnis des Teams war, ein dreistufiges Speichersystem zu bauen, das das Beste aus beiden Welten kombiniert. Sie fügten eine kleine, schnelle Zwischenschicht zwischen dem Hauptprozessor und dem großen Speicherbank hinzu. Diese mittlere Schicht fungiert wie ein Zwischenlager für die Daten, die der Computer wahrscheinlich als Nächstes benötigen wird, wodurch er den langsamen, schweren Verifizierungsprozess die meiste Zeit über umgehen kann.

Die Forscher testeten zwei verschiedene Wege, dieses neue dreistufige System zu verwalten. Der erste Ansatz, den sie „demand-driven“ (bedarfsgesteuert) nennen, funktioniert wie ein Standard-Computer-Cache. Er beobachtet, welche Daten das Programm verwendet, und hält die am häufigsten benötigten Elemente in der schnellen mittleren Schicht. Der zweite Ansatz, genannt „prefetch-driven“ (vorab abrufgesteuert), ist proaktiver. Er sagt voraus, welche Daten als Nächstes benötigt werden, und bewegt sie in die schnelle Schicht, noch bevor der Computer danach fragt. In ihren Simulationen machte der bedarfsgesteuerte Ansatz den Quantencomputer etwa 2,8-mal schneller als den aktuellen Standard. Der vorab abrufgesteuerte Ansatz war sogar noch effektiver und steigerte die Geschwindigkeit um das 4,2-fache. Diese Gewinne sind signifikant, da der aktuelle Standard durch eine Verifizierungsverzögerung begrenzt ist, die 178 Zyklen dauert, während das neue System diese Wartezeit auf einen Bruchteil davon reduziert. Die Forscher merkten an, dass der Computer 5,7-mal schneller liefe, wenn man diese Verzögerung vollständig eliminieren könnte, und ihr neues Design bringt sie fast an dieses Ziel.

Einer der beeindruckendsten Aspekte dieser Lösung ist, wie wenig zusätzliche Hardware sie erfordert. Die neue mittlere Schicht ist klein, hält nur eine Handvoll Datenelemente und erhöht die Anzahl der benötigten physischen Qubits um weniger als fünf Prozent. Dies ist ein entscheidendes Detail, da Quantenhardware schwierig und teuer zu bauen ist. Die Forscher zeigten, dass sie durch das Hinzufügen dieser winzigen, schnellen Schicht nahezu 74 Prozent der Leistung eines theoretischen „perfekten“ Systems erreichen können, das nur die schnelle, aber platzintensive Speichermethode verwendet. Das bedeutet, dass sie die Geschwindigkeitsvorteile des schnellen Speichers erhalten, ohne den massiven Preis an physischem Raum zu zahlen. Die Studie bestätigte auch, dass dieser Geschwindigkeitszuwachs nicht zu Lasten der Genauigkeit geht; tatsächlich ist der Computer, da er seine Aufgaben schneller erledigt, weniger anfällig für die Akkumulation von Fehlern im Laufe der Zeit, was die Endergebnisse zuverlässiger macht.

Die Arbeit stützt sich auf eine spezifische Art von Speicherarchitektur, bei der der Computer einen dedizierten Bereich für Berechnungen und einen separaten Bereich für die Speicherung hat. Im aktuellen zweistufigen Design muss der Computer, wenn er ein Stück Datensatz aus dem Speicher benötigt, diesen zuerst in den Berechnungsbereich bewegen. Da die Speichermethode, die zur Effizienzsteigerung genutzt wird, während dieses Vorgangs jedoch nicht perfekt sicher ist, muss der Computer anhalten und jedes einzelne Stück der Daten prüfen, um sicherzustellen, dass sie nicht korrumpiert wurden. Diese Prüfung ist so zeitaufwendig, dass sie den gesamten Prozess dominiert. Die Forscher fanden heraus, dass die einfachere, schnellere Speichermethode diese lange Prüfung nicht erfordert, da ihre Struktur es ermöglicht, die Verifizierung gleichzeitig mit dem Datentransfer durchzuführen. Durch die Platzierung einer kleinen Menge dieses schnellen Speichers in der Mitte der Hierarchie kann das System die aktivsten Daten in einer Zone halten, in der sie sofort abgerufen werden können. Wenn der Computer Daten benötigt, die sich nicht in dieser schnellen Zone befinden, bewegt das System sie zuerst dorthin, wobei die langsame Verifizierungszeit oft hinter anderen Aufgaben verborgen wird.

Die Simulationen deckten ein breites Spektrum komplexer Quantenprogramme ab, einschließlich solcher, die für Chemie-Simulationen und Kryptographie verwendet werden. In jedem Fall übertraf die neue dreistufige Hierarchie das aktuelle zweistufige Design. Die vorab abrufgesteuerte Methode war besonders effektiv für Programme, die Daten in unvorhersehbaren Mustern abrufen, wo die einfachere bedarfsgesteuerte Methode Schwierigkeiten hatte, die richtigen Daten in der schnellen Zone zu halten. Die Forscher beobachteten, dass das Vorab-Abrufsystem in der Lage war, die Verifizierungsverzögerung für über 90 Prozent der Datenanfragen zu verbergen, was den Speicherzugriff für die überwiegende Mehrheit der Operationen effektiv instantan erscheinen ließ. Dies deutet darauf hin, dass der Engpass nicht nur eine geringfügige Unannehmlichkeit, sondern eine fundamentale Einschränkung des aktuellen Designs ist, die durch ein intelligenteres Layout überwunden werden kann.

Obwohl die Ergebnisse vielversprechend sind, bleiben sie im Bereich der Simulation. Die Forscher verwendeten ein detailliertes Modell davon, wie sich diese Quantencomputer verhalten würden, wobei sie die Zeit für den Datentransfer und die Wahrscheinlichkeit von Fehlern berücksichtigten. Sie haben keine physische Maschine gebaut, um dies zu testen, aber das Modell basiert auf etablierten Prinzipien der Funktionsweise dieser Codes. Die Studie schließt explizit die Idee aus, dass der einfache Ersatz des gesamten langsamen Speichers durch schnellen Speicher eine praktikable Lösung sei, da die Hardwarekosten zu hoch wären. Stattdessen argumentiert die Arbeit, dass ein hybrider Ansatz der einzig praktikable Weg nach vorne ist. Die Ergebnisse legen nahe, dass die Zukunft des fehlertoleranten Quantencomputings möglicherweise nicht in der Erfindung eines neuen Typs von Fehlerkorrekturcode liegt, sondern in der Neugestaltung der Organisation dieser bestehenden Codes in einer Speicherhierarchie. Durch das Hinzufügen einer kleinen, strategischen Geschwindigkeitsschicht haben die Forscher gezeigt, dass es möglich ist, das volle Potenzial dieser Maschinen freizusetzen, ohne eine massive Zunahme der physischen Ressourcen zu erfordern.