Multi-agent Collaboration with State Management
Dieser Beitrag stellt STORM vor, ein zustandsorientiertes Management-Framework, das Multi-Agenten-Interaktionen vermittelt, um Code-Konflikte zum Zeitpunkt des Schreibens zu erkennen und zu lösen, und das auf Coding-Benchmarks traditionelle Baselines zur Arbeitsbereichsisolation deutlich übertrifft, während es konsistente Ansichten der gemeinsamen Codebasis gewährleistet.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Das große Problem: Der „Küchen-Albtraum"
Stellen Sie sich eine belebte Restaurantküche vor, in der vier Köche (KI-Agenten) versuchen, gemeinsam eine riesige, komplexe Mahlzeit zuzubereiten. Sie arbeiten alle an denselben Zutaten und denselben Töpfen.
Bei der alten Methode (genannt GitWorktree) gibt der Küchenchef jedem Koch seine eigene, separate, private Küche.
- Koch A macht eine Sauce in Küche A.
- Koch B macht eine Suppe in Küche B.
- Sie sehen nie, was die anderen tun.
Wenn sie fertig sind, versucht der Chef, alles in einen einzigen riesigen Topf zu kombinieren. Katastrophe! Koch A hat Salz in die Sauce gegeben, aber Koch B hat Salz in die Suppe gegeben, und nun ist das kombinierte Gericht zu salzig. Oder noch schlimmer: Koch A hat die Form des Löffels verändert, den Koch B benötigte. Sie müssen Stunden damit verbringen, das Chaos nach dem Kochen zu reparieren. Dies wird „post-hoc merge" (nachträgliche Zusammenführung) genannt, ist teuer und scheitert oft.
Die neue Lösung: STORM (Der „intelligente Küchenmanager")
Die Autoren schlagen ein neues System namens STORM vor. Anstatt den Köchen private Küchen zu geben, arbeiten alle in einer gemeinsamen Küche, aber mit einem sehr klugen Manager, der ihnen über die Schultern schaut.
So funktioniert STORM mit drei einfachen Regeln:
1. Die „Frische-Zutat"-Regel (Lokale Zustandskonsistenz)
Im alten System könnte ein Koch eine Tüte Mehl greifen, anfangen zu mischen und dann feststellen, dass ein anderer Koch das Mehl, während er nicht hinsah, durch Zucker ersetzt hat.
- STORMs Lösung: Bevor ein Koch etwas in einen Topf gießen darf (eine Datei schreibt), prüft der Manager: „Hat jemand die Zutaten berührt, die Sie gerade verwenden?"
- Wenn die Antwort Nein lautet, kocht der Koch weiter.
- Wenn die Antwort Ja lautet (jemand anderes hat das Mehl verändert), stoppt der Manager den Koch sofort. Der Koch muss sich das neue Mehl ansehen und sein Mischen mit den korrekten Zutaten von vorne beginnen. Dies verhindert die „salzige Suppe"-Katastrophe, bevor sie passiert.
2. Das „Zettel auf der Theke"-System (Intent-Annotationen)
Manchmal müssen zwei Köche am selben Topf arbeiten. Im alten System könnten sie versehentlich die Notizen des anderen überschreiben.
- STORMs Lösung: Köche müssen einen Zettel auf die Theke kleben (eine „Intent-Annotation"), auf dem steht: „Ich füge hier Knoblauch hinzu, weil das Rezept ihn benötigt."
- Wenn der nächste Koch den Topf betrachtet, sieht er den Zettel. Er weiß: „Ah, Koch A kümmert sich um den Knoblauch, also berühre ich diesen Teil nicht", oder „Ich sehe, Koch A hat Knoblauch hinzugefügt, also muss ich meine Gewürze anpassen." Dies ermöglicht die Koordination, ohne dass sie ständig anhalten und sprechen müssen.
3. Die „Sofortige Ablehnung" (Konfliktkontrolle zum Schreibzeitpunkt)
Im alten System würden die Köche ihre Gerichte fertigstellen, und dann würde der Manager feststellen, dass Suppe und Sauce nicht zusammenpassen. Das Reparieren war dann ein Albtraum.
- STORMs Lösung: Wenn ein Koch versucht, etwas hineinzugießen, das mit dem, was bereits im Topf ist, kollidiert, sagt der Manager sofort „STOPP!". Der Koch verschwendet keine Zeit damit, ein Gericht fertigzustellen, das weggeworfen wird. Er erhält den aktualisierten Topf, korrigiert seinen Plan und versucht es sofort erneut.
Was passierte bei den Tests?
Die Forscher testeten dies an zwei Arten von „Kochherausforderungen":
- Commit0: Eine Herausforderung, um kaputten Code in bestehenden Softwarebibliotheken zu reparieren (wie das Reparieren eines kaputten Rezeptbuchs).
- PaperBench: Eine Herausforderung, komplexe wissenschaftliche Forschungsarbeiten von Grund auf neu zu erstellen (wie das Nachkochen eines Michelin-Sterne-Menüs aus einer Beschreibung).
Die Ergebnisse:
- Bessere Ergebnisse: Das STORM-Team kochte viel bessere Mahlzeiten als die Teams mit „privaten Küchen". Bei der Software-Herausforderung verbesserten sie ihre Erfolgsrate um fast 19 Punkte. Bei der Forschungs-Herausforderung erzielten sie ebenfalls höhere Werte.
- Günstiger und schneller: Da sie keine Zeit damit verbrachten, am Ende riesige Chaos zu reparieren, verbrauchten sie tatsächlich weniger Geld und Zeit pro erfolgreichem Gericht.
- Skalierbarkeit: Wenn Sie dem System mit „privaten Küchen" mehr Köche (Agenten) hinzufügen, wird es chaotisch und scheitert. Aber mit STORM machte das Hinzufügen weiterer Köche die Küche effizienter, da der Manager Konflikte sofort erkannte und es allen ermöglichte, parallel zu arbeiten, ohne das System zum Absturz zu bringen.
Das Fazit
Das Papier argumentiert, dass das Verwalten des Zustands (Nachverfolgen, wer was und wann geändert hat) wichtiger ist als die Isolierung des Arbeitsbereichs (jedem einen eigenen Raum zu geben).
Stellen Sie es sich wie ein Gruppenprojekt vor:
- Alte Methode: Jeder arbeitet an seinem eigenen Laptop und versucht dann, seine Dateien in letzter Minute zusammenzuführen. Es ist ein Chaos.
- STORM-Methode: Alle arbeiten am selben Dokument, aber das System pausiert Sie automatisch, wenn jemand anderes den Absatz bearbeitet, den Sie gerade ansehen, und zwingt Sie, zu aktualisieren und erneut zu lesen, bevor Sie tippen.
Das Ergebnis ist ein Team, das schneller arbeitet, weniger Fehler macht und ein viel besseres Endergebnis liefert.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.