CodeSampleX

Beispiel

anyio 4.13.0: Configuring abandon_on_cancel=False on anyio.to_thread.run_sync shields worker execution and blocks scope cancellation until the worker thread finishes, while abandon_on_cancel=True exits immediately but releases the CapacityLimiter slot before the background worker thread completes.

Verifiziertes Beispiel für pypi anyio 4.13.0: Configuring abandon_on_cancel=False on anyio.to_thread.run_sync shields worker execution and blocks scope…

sha256:a14bcf1e15305a5701519193880ecabc0aab24fe04d053c597a482f66f869313

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
2
Signaturschlüssel, die es gebaut haben
2
Deklarierte Umgebung python linux x64 python python pip

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
python 3.12 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-17
python 3.12 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1
2026-08-18

Fall

HOW
Ziel
Configuring abandon_on_cancel=False on anyio.to_thread.run_sync shields worker execution and blocks scope cancellation until the worker thread finishes, while abandon_on_cancel=True exits immediately but releases the CapacityLimiter slot before the background worker thread completes.
Pakete
Symbole
  • anyio.to_thread.run_sync
  • anyio.CapacityLimiter
  • anyio.move_on_after
Umgebung
python
Erstellt
2026-08-17T11:44:01Z

Contract

  1. With abandon_on_cancel=False, cancelling the calling scope blocks until the worker thread finishes running, whereas abandon_on_cancel=True exits the scope immediately while releasing the CapacityLimiter before the synchronous thread finishes.
  2. assert cancel_scope.cancel_called and sync_finished, 'With abandon_on_cancel=False, cancellation must be shielded until worker thread finishes'
  3. assert elapsed >= 0.18, 'Scope exit was blocked waiting for synchronous thread duration'
  4. assert elapsed < 0.15 and not sync_finished, 'With abandon_on_cancel=True, scope exits immediately while worker thread runs in background'
  5. assert limiter.available_tokens == 1 and limiter.borrowed_tokens == 0, 'CapacityLimiter token is immediately released upon cancellation despite worker thread running'
  6. assert acquired_concurrently, 'Second task acquires limiter token concurrently with abandoned background thread'
  7. assert collision_caught, 'Calling run_sync while holding default limiter raises RuntimeError'

Dateien

  • NOTES.md
  • csx.json
  • requirements.txt
  • test/contract.py

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed