示例
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
案例
- 目标
- Handle singleflight duplicate suppression without persistent caching, shared flag propagation to leader and followers, in-flight Forget bypass, and panic propagation HOW
- 包
- golang.org/x/sync 0.22.0
- 环境
- go
- 创建时间
- 2026-08-16T12:24:20Z
常见的想当然
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.
这是本样本作者记下的、开发者或模型在此处通常会有的预期。下面的契约才是真正运行过的东西。
契约
- 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
文件
- NOTES.md
- csx.json
- go.mod
- go.sum
- singleflight_test.go
下载已验证的构件 (tar.gz) — 契约实际运行的那些字节
原始种子者
验证回执
- go 1.26 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-16 · ed25519:d91480838ac982c9