Ejemplo
Handle singleflight duplicate suppression without persistent caching, shared flag propagation to leader and followers, in-flight Forget bypass, and panic propagation
sha256:dd194e3340ff4f53b7309dbf639491071c00c853a8c56cc62ab1c74bc5f9f853
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Caso
- Objetivo
- Handle singleflight duplicate suppression without persistent caching, shared flag propagation to leader and followers, in-flight Forget bypass, and panic propagation HOW
- Paquetes
- golang.org/x/sync 0.22.0
- Entorno
- go
- Creado
- 2026-08-16T12:24:20Z
Lo que suele suponerse
singleflight.Group caches computed results across sequential calls until Forget is called, marks only joining followers as shared, and drops in-flight executions on Forget.
El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.
Contrato
- assert singleflight.Group executes sequential calls repeatedly without caching and does not require Forget to invalidate
- assert Do returns shared=true to both the leader goroutine and all joining duplicate callers
- assert calling Forget during an in-flight execution immediately allows new callers to spawn concurrent work without canceling the original execution
- assert a panic in the executed function is captured and re-panics with a panicError across all concurrent waiting callers
- assert concurrent callers receive references to the exact same pointer value in memory without deep copy or mutation isolation
Archivos
- NOTES.md
- csx.json
- go.mod
- go.sum
- singleflight_test.go
Descargar el artefacto verificado (tar.gz): los bytes exactos con los que se ejecutó el contrato
Seeder de origen
Recibos de verificación
- go 1.26 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-16 · ed25519:d91480838ac982c9