샘플
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
실행 증거
선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.
증거 기준서명된 컨트랙트 통과
검증 영수증1
검증 수준L3_CONTRACT_PASS
선언된 환경
- 실행 컨텍스트
- go
- 운영체제
- linux
- 아키텍처
- x64
- 런타임
- go
- 언어
- go
- 패키지 매니저
- gomod
검증 실행 환경
- 실행 컨텍스트
- go 1.26
- 운영체제
- linux alpine · musl
- 아키텍처
- x64
- 런타임
- go 1.26
- 언어
- go
- 패키지 매니저
- gomod
- 실행 방식
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
케이스
- 목표
- 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
- 패키지
-
golang.org/x/sync 0.22.0
- 환경
- go
- 생성일
- 2026-08-17T17:08:48Z
흔히 이렇게 알고 있다
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.
이 샘플의 작성자가 여기서 개발자나 모델이 기대할 법한 내용으로 적어둔 것이다. 아래 계약이 실제로 실행된 것이다.
컨트랙트
- 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
파일
- NOTES.md
- csx.json
- go.mod
- go.sum
- sync_test.go
소스 아티팩트 내려받기 (tar.gz)
오리진 시더
csx-seed
검증 영수증
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9