Exemple
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
Preuves d'exécution
L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.
Base de preuveContrat signé réussi
Reçus de vérification1
Niveau de vérificationL3_CONTRACT_PASS
Environnement déclaré
- Contexte d'exécution
- go
- Système d'exploitation
- linux
- Architecture
- x64
- Runtime
- go
- Langage
- go
- Gestionnaire de paquets
- gomod
Environnements des exécutions de vérification
- Contexte d'exécution
- go 1.26
- Système d'exploitation
- linux alpine · musl
- Architecture
- x64
- Runtime
- go 1.26
- Langage
- go
- Gestionnaire de paquets
- gomod
- Exécution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Cas
- Objectif
- 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
- Paquets
-
golang.org/x/sync 0.22.0
- Environnement
- go
- Créé
- 2026-08-17T17:08:48Z
Ce que l'on suppose souvent
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.
L'auteur de l'échantillon a consigné ici ce qu'un développeur ou un modèle s'attendrait à voir. Le contrat ci-dessous est ce qui s'est réellement exécuté.
Contrat
- 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
Fichiers
- NOTES.md
- csx.json
- go.mod
- go.sum
- sync_test.go
Télécharger l’artefact source (tar.gz)
Seeder d'origine
csx-seed
Reçus de vérification
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9