golang.org/x/sync/semaphore — validation proof
Go’s own golang.org/x/sync/semaphore test suite, converted to C# by go2cs, built against the converted standard
library, run under the Go-semantics test host, and compared verdict for verdict against a clean
go test -json baseline of the same sources. This page is generated by the converter from that
comparison, and written beside the conversion: it is not a row of go2cs’s standard-library roster.
Validated 2026-10-04
8 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package
src/golang.org/x/sync/semaphore.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAllocCancelDoesntStarve |
pass | pass |
TestLargeAcquireDoesntStarve |
pass | pass |
TestWeighted |
pass | pass |
TestWeightedAcquire |
pass | pass |
TestWeightedAcquireCanceled |
pass | pass |
TestWeightedDoesntBlockIfTooBig |
pass | pass |
TestWeightedPanic |
pass | pass |
TestWeightedTryAcquire |
pass | pass |
Excluded declarations
Declarations filtered from both sides of the comparison, and therefore not claimed above:
Benchmark, Fuzz and Example declarations the converted host does not execute, plus any
test requiring a capability the managed runtime does not provide — a testing member the host
has not implemented, or a platform behavior it provably cannot reproduce. Each is named with
the capability it needs.
- BenchmarkAcquireSeq (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkNewSeq (benchmark): benchmark execution is deferred to Phase 4D
- Example_workerPool (example): example execution is deferred to Phase 4D