Beispiel
Configure errgroup concurrency limits and semaphore capacity without zero-limit deadlocks, TryGo work dropping, unhandled dynamic limit reconfiguration panics, or zero-capacity Acquire hanging
sha256:76e608f62b6225cd144c98ac7e79f943331a1d88b9450ee339355970fa972627
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Ausführungsbelege
Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.
BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS
Deklarierte Umgebung
- Ausführungskontext
- go
- Betriebssystem
- linux
- Architektur
- x64
- Runtime
- go
- Sprache
- go
- Paketmanager
- gomod
Umgebungen der Verifizierungsläufe
- Ausführungskontext
- go 1.26
- Betriebssystem
- linux alpine · musl
- Architektur
- x64
- Runtime
- go 1.26
- Sprache
- go
- Paketmanager
- gomod
- Ausführung
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Fall
- Ziel
- Configure errgroup concurrency limits and semaphore capacity without zero-limit deadlocks, TryGo work dropping, unhandled dynamic limit reconfiguration panics, or zero-capacity Acquire hanging HOW
- Pakete
-
golang.org/x/sync 0.22.0
- Umgebung
- go
- Erstellt
- 2026-08-17T17:08:48Z
Häufige Annahme
Configuring SetLimit(0) disables concurrency limits or safely rejects tasks, SetLimit can be updated dynamically at any time, and semaphore.Acquire immediately errors if requested weight exceeds capacity.
So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.
Contract
- assert configuring SetLimit(0) deadlocks errgroup.Go calls immediately and causes TryGo to drop 100% of submitted tasks rather than enabling unlimited concurrency
- assert configuring unlimited concurrency in errgroup strictly requires a negative limit such as SetLimit(-1) to reset the internal semaphore channel to nil
- assert reconfiguring SetLimit with a non-negative value while worker goroutines are actively running panics immediately with active worker count
- assert configuring semaphore.NewWeighted with 0 capacity causes Acquire to block indefinitely waiting for context cancellation rather than returning an immediate error
Dateien
- NOTES.md
- csx.json
- go.mod
- go.sum
- sync_test.go
Quellartefakt herunterladen (tar.gz)
Ursprungs-Seeder
csx-seed
Verifizierungsbelege
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9