Asynchrone Programmausführung (APE) in Solana (APE)

Autor: Toly, Solana Labs Joint Quelle: X,@aeyakovenko Übersetzung: Shan Ouba, Bit Chain Vision Reich

In Solana ist die staatliche Organisation ein Aufbewahrungsspeicher von Flat Schlüssel, und das Programm führt den Aktualisierungswert in diesem Staat aus, einschließlich wichtiger Stimmrechtsverfahren für den Konsens.Der Hauptzweck der asynchronen Ausführung besteht darin, die Stimmenverfahren unabhängig von allen anderen Programmen zu ermöglichen.Um dieses Ziel immer zu erreichen, müssen wir mehrere wichtige Prinzipien sicherstellen.

Ausführungsdomäne

Die Ausführungsdomäne ist eine Reihe von Verfahren und ihre Betriebsschlüssel und -werte, die während der Ausführung voneinander unabhängig sind.Die Ausführungsdomäne kann auf verschiedenen Themen und Kernen ausgeführt werden und wird zu verschiedenen Zeiten auf verschiedenen Maschinen abgeschlossen.Wichtig ist, dass eine Ausführungsdomäne (z. B. Domäne a) keinen Wert in einer anderen Domäne (z. B. Domäne B) lesen oder schreiben kann.Die Domäne kann jedoch während der Ausführung einer Domäne in einem konsistenten Zustand geteilt werden.Ein Protokoll ist erforderlich, um den Zustand zwischen dem Feld zu synchronisieren und die Bewegung von Schlüssel und Wert zu fördern.

Die Zahl der Transaktionsgebühren bestimmt die Domäne der Transaktionsausführung.

Schlüsseldomäne: VED und UED

In Solana konzentrieren wir uns hauptsächlich auf zwei Domänen: Voting Execution Domain (VED) und Benutzerausführungsdomäne (UED).Ziel ist es, die Überprüfungen zu ermöglichen, bevor alle Benutzerprogramme durchgeführt werden.

VED -Komponente

• Systemprogramm: Für die Übertragung

• Variable des Abstimmungsprogramms System: Abstimmungsprogrammsystemvariable für die Abstimmung

• Wählen: Kernverfahren.Dieses Programm ist statisch und konsequent und muss in UED und VED verfügbar sein.

• Wahlbehörde: Konto mit dem Wahlrecht

• Wahlgebührzahlung: Konten, die verwandte Gebühren für die Abstimmung zahlen

• Kostenzahlerfonds: Kann verwendet werden, um SOL auf das aktualisierte Konto von VED zu verschieben

• Alle anderen Konten werden in UED platziert

Berechnen Sie den VED -Zustand

Berechnen Sie in der BYE-Grenze zwischen N-1 und N den VED-Status der N+1-Domäne zur Laufzeit.Diese Berechnung muss vor der Epoche abgeschlossen sein.UED-Berechnungen müssen nach Abschluss der ERA N-1 beginnen.

Standard im VED -Status

• Wahlkonto: Paket von mehr als 5000 Sol und aktivem Zustand.

• Kostenzahler und Stimmberechtigungen, Ausgabenzahlerfonds: Mit dem obigen Abstimmungskonto verbunden.

• Das neu erstellte Abstimmungskonto wurde zunächst als aktiv eingerichtet.Benutzer müssen diese Konten aktivieren.Benutzer können das Konto einstellen und das Konto wird in N+1 ERA aus dem VED -Status entfernt.

Fonds in VED bewegen

Die im Abstimmungskonto angegebenen Fondskonten können verwendet werden, um die Mittel in VED zu verschieben.Nach der Aktualisierung der Zahlungskosten auf dem Stimmrechtskonto bleibt der aktuelle Ausgaben -Zahlerfonds vor dem Ende der nächsten Ära aktiv.Sobald die re -kalkulierte VED -Aktivierung ist, wird der neue Kostenzahlungsfonds in den VED -Staat eingeht und kann verwendet werden, um der Kostenzahlung zusätzliche SOL hinzuzufügen.Der alte Kostenzahlungsfonds wird in den UED -Staat eingetragen, sodass die Fonds im UED auf das Konto übertragen werden können.

Obwohl es mit dem Ausgabenzahler zusammengeführt werden kann, um die Anzahl der für jede Abstimmung verwendeten Unterschriften zu minimieren, wird die Kostenzahlung in der Regel auf den gleichen Wert wie die Stimmberechtigungen festgelegt. und ued.

Universelle Ausführungsdomäne

Die obige Methode richtet sich sehr auf Abstimmungsverfahren.Diese Methode kann weiter in die Ausführungsdomäne einer beliebigen Zahl gefördert werden.Konto verfolgt die Ausführungsdomäne, die sie zugeordnet sind, genau wie das Betriebssystemverwaltungsprogramm VMID auf der physischen Seite verfolgt.Für dieses spezielle Projekt ist ein kleiner Teil der Zuordnung nützlich:

• RX-EUT: Lesen und führen Sie in UED aus

• Rx-uge-ved: Lesen und ausführen in UED und VED

• RW-ved: Lesen und schreiben in VED

• RW-EUT: Lesen und schreiben Sie in UED

Da das Konto in mehreren Domänen nicht gleichzeitig lesen und schreiben kann, ist eine andere Zuordnung ungültig.

• Programm: Es kann nur als RX-Ehe oder RX-Ehe-Veded, dh lesbar und ausführbar in Benutzern oder zwei Domänen, abgebildet werden, kann aber nicht geschrieben werden.Jede Transaktion, die das Programm enthält, muss fehlschlagen.

• Konto: Nur MAP oder RW-EUT kann nur zugeordnet werden.

System-Snapshot Konfigurieren Sie das Abstimmungsprogramm und das Systemprogramm auf RX-EUT-VED.Das Systemprogramm bietet VED- und Mobile -Schnittstellen von VED ein Systemkonto und ein Abstimmprogrammkonto.Das tatsächliche Update erfordert weiterhin eine vollständige Ära, um zu aktivieren.

Nur wenn sich das Programm des Eigentümers in der Zieldomäne befindet, kann das Konto zwischen den Domänen wieder aufgenommen werden.Daher können sich nur Stimmprogramm- und Systemprogrammkonten zwischen VED und UED bewegen.

Nach der Verwendung der allgemeinen Methode ist kein explizites Konto für die Kostenzahlungsfonds erforderlich.Entwickler können jedes Systemkonto zwischen VED und UED wiederherstellen, um Fonds zwischen Domänen zu verschieben.

Berechnen Sie VED Hash

Nach Empfang des Blocks führt der Knoten alle Transaktionen aus.Der Prozess ist wie folgt:

• Die Ausführung beinhaltet nur Transaktionen mit VED -Konten.

• Die Transaktion der VED -Kostenzahlung, aber ein gemischtes Konto ist fehlgeschlagen.

• Überspringen Sie alle anderen Transaktionen.

Das generierte VED -Status -Update wird verwendet, um den Bank -Hash zu berechnen, dh VED -Hash.Überprüfungen können jetzt mit VED -Hash anstelle des alten Bank -Hash -Hash wählen.Wenn es seit der letzten Abstimmung der Gabel ein UED -Hash -Update gibt, werden der Hash und der Slot in die Abstimmung aufgenommen.

Berechnen Sie UED -Hash

Nach Erhalt des Blocks verarbeitet der Knoten alle Transaktionen:

• Die nicht in VED befindlichen Konten werden als Teil von UED angesehen.

• Die Ausführung beinhaltet nur Transaktionen mit UED -Konten.

• Die Transaktion mit UED -Kostenzahlungen, aber ein gemischtes Konto ist fehlgeschlagen.

• Überspringen Sie alle anderen Transaktionen.

Das generierte UED -Statusaktualisierung wird verwendet, um den Bank -Hash, den UED -Hash, zu berechnen.

Ultimativ

Der endgültige Sex bleibt unverändert.

Transaktionsausführungsstatuscode

Die Nebenwirkungen der asynchronen Ausführung werden bei der Abstimmung möglicherweise nicht sofort erkannt.Wenn 1/3 oder mehr Verifizierer unterschiedliche UED -Hash einreichen, müssen alle Knoten die Bestätigung und Abstimmung einstellen und die Betreiber warnen.

Um den Statuscode zu erhalten, muss die RPC -API -Anforderung den Benutzern ermöglichen, die durch dieselbe UED -Hash -Beobachtung beobachtete Verpfändung anzugeben.Der Ausführungszustand kann als ExecutionStatus (Signature, Pledge = x) ausgedrückt werden, wobei x 0 oder ein bestimmter Standardwert sein kann.In den Einstellungen mehrerer Knoten und Clients ist der X -Wert für 0 akzeptabel, was den Benutzern das nicht bestätigte und unmögliche Vertrauen bringt.

Nicht -bestimmtes ist der einzige Fehler, der vor der Rückgabe des Statuscode für bestätigte Transaktionen an den Benutzer erkannt werden muss.

Anführer und Blockgeneration

Führungskräfte müssen in der Lage sein, unmittelbar nach Abschluss des VED Blöcke zu erstellen.Dies bedeutet, dass der Führer einen Teil des Staates und unvollständige Informationen über jede UED -Kostenzahlung hat.

• Führungskräfte führen die VED -Domäne nur für die Blöcke aus, die sie erstellt haben

• UED -Laden muss die ungültige Kostenzahlung überspringen

Funktionale Aktivierung von Stimmrechten

Das Abstimmungsprogramm muss konzipiert sein, wenn die VED -Abstimmung die Epoch -Grenze überschreiten kann, wenn die Funktion aktiviert wird, und die Zeit anderer Transaktionen betreibt, die mit dem Abstimmungsprogramm in der UED in Kontakt stehen.

vergeben

Nur in Veds Abstimmungskonten sollte belohnt werden.

bestrafen

Alle Abstimmungskonten sind das Risiko, bestraft zu werden, unabhängig davon, ob sie aktiv oder ved sind.

Globales Takt -Update

Die Taktsystemvariable wird durch Abstimmung aktualisiert.Die alternative Methode sollte verwendet werden.Im Gegenteil, jeder Blockführer kann die Uhr auf 1 Sekunde nach vorne bewegen.Mindestens 40%des Netzwerks benötigen Bösartigkeit, und die Uhren können schneller als die tatsächliche Zeit wachsen.Die Uhr kann auch für 400 Millisekunden -Standardeinstellungen vorwärts gehen.Unter der Annahme der Drift von 50 Millisekunden müssen nur 12,5%der Führungskräfte die Uhr anpassen, um die Synchronisation aufrechtzuerhalten.