asyncio-Abbruch: Aufräumen durchführen, ohne CancelledError zu verschlucken

Worum es geht

Pythons asyncio-Dokumentation empfiehlt try/finally für das Aufräumen und generell die Weitergabe von CancelledError nach expliziter Behandlung. Sie warnt, dass TaskGroup- und Timeout-Mechanismen Abbruch intern nutzen und sich falsch verhalten können, wenn eine Coroutine ihn verschluckt. Abbruch ist deshalb Teil des Aufgabenvertrags, nicht bloss ein weiterer Fehler, der in ein gewöhnliches Ergebnis verwandelt wird. Python asyncio tasks

Warum es wichtig ist

Ein Agent kann einen breiten Recovery-Zweig hinzufügen, um einen Worker am Laufen zu halten, und dabei versehentlich verhindern, dass dessen besitzende Stelle ihn stoppen kann. Ein erwarteter Operationsfehler von einer Anfrage zur Beendigung der Aufgabe trennen. Die vorgeschlagene Prüfung verfolgt den Abbruch von der übergeordneten Anfrage über das Aufräumen bis zum für die aufrufende Stelle sichtbaren Ergebnis.

So wird es angewendet

• Jeden Exception-Handler um erwartete Arbeit herum finden und feststellen, welcher davon den Abbruch behandelt. Festhalten, ob die Coroutine ihn weitergibt, umwandelt oder absichtlich unterdrückt.
• Die Ressourcenfreigabe in einen finally-Block oder einen passenden asynchronen Kontextmanager legen. Das Aufräumen fokussiert halten und festlegen, was geschieht, wenn das Aufräumen selbst fehlschlägt oder abgebrochen wird.
• Wird CancelledError ausdrücklich abgefangen, um zusätzliche Arbeit zu verrichten, ihn danach normalerweise erneut auslösen. Unterdrückung als bewusste Designentscheidung behandeln, die ein dokumentiertes Protokoll auf Ebene der besitzenden Stelle erfordert.
• Testfälle vorschlagen, die vor der Beschaffung, während einer erwarteten Operation und nach teilweisem Fortschritt abbrechen. Den Ressourcenzustand und das Endergebnis der Aufgabe prüfen, statt nur festzustellen, dass eine Protokollzeile erschienen ist.
• Die Coroutine innerhalb ihrer echten TaskGroup oder ihres Timeout-Kontexts testen, damit Wechselwirkungen mit dem übergeordneten Geltungsbereich sichtbar werden.

Stolpersteine

Abbruch macht bereits festgeschriebene externe Nebeneffekte nicht rückgängig. Aufräumen macht eine Wiederholung auch nicht automatisch sicher. Shielding oder das Manipulieren des Abbruchzustands nicht einfach verwenden, um ein unbequemes Timeout zu verbergen; für eine bewusste Unterdrückung den Vertrag der genauen asyncio-Version konsultieren. Für diesen Artikel wurde kein Abbruchtest ausgeführt, und die Methode verspricht keine sofortige Beendigung beliebigen blockierenden Codes.