internal/sync — validation proof
Go’s own internal/sync 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 — it is the evidence behind the internal/sync row in
Validated Test Packages.
Validated 2026-09-22 · converter c6fdbe73c
106 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package
src/core/internal/sync.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestConcurrentCache |
pass | pass |
TestHashTrieMap |
pass | pass |
TestHashTrieMap/All |
pass | pass |
TestHashTrieMap/Clear |
pass | pass |
TestHashTrieMap/Clear/Concurrent |
pass | pass |
TestHashTrieMap/Clear/Simple |
pass | pass |
TestHashTrieMap/CompareAndDelete |
pass | pass |
TestHashTrieMap/CompareAndDelete/All |
pass | pass |
TestHashTrieMap/CompareAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMap/CompareAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMap/CompareAndDelete/Iterate |
pass | pass |
TestHashTrieMap/CompareAndDelete/Multiple |
pass | pass |
TestHashTrieMap/CompareAndDelete/One |
pass | pass |
TestHashTrieMap/CompareAndSwap |
pass | pass |
TestHashTrieMap/CompareAndSwap/All |
pass | pass |
TestHashTrieMap/CompareAndSwap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMap/CompareAndSwap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMap/CompareAndSwap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMap/CompareAndSwap/Multiple |
pass | pass |
TestHashTrieMap/CompareAndSwap/One |
pass | pass |
TestHashTrieMap/LoadAndDelete |
pass | pass |
TestHashTrieMap/LoadAndDelete/All |
pass | pass |
TestHashTrieMap/LoadAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMap/LoadAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMap/LoadAndDelete/Iterate |
pass | pass |
TestHashTrieMap/LoadAndDelete/Multiple |
pass | pass |
TestHashTrieMap/LoadAndDelete/One |
pass | pass |
TestHashTrieMap/LoadEmpty |
pass | pass |
TestHashTrieMap/LoadOrStore |
pass | pass |
TestHashTrieMap/Swap |
pass | pass |
TestHashTrieMap/Swap/All |
pass | pass |
TestHashTrieMap/Swap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMap/Swap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMap/Swap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMap/Swap/Multiple |
pass | pass |
TestHashTrieMap/Swap/One |
pass | pass |
TestHashTrieMapBadHash |
pass | pass |
TestHashTrieMapBadHash/All |
pass | pass |
TestHashTrieMapBadHash/Clear |
pass | pass |
TestHashTrieMapBadHash/Clear/Concurrent |
pass | pass |
TestHashTrieMapBadHash/Clear/Simple |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/All |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/Iterate |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/Multiple |
pass | pass |
TestHashTrieMapBadHash/CompareAndDelete/One |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/All |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/Multiple |
pass | pass |
TestHashTrieMapBadHash/CompareAndSwap/One |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/All |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/Iterate |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/Multiple |
pass | pass |
TestHashTrieMapBadHash/LoadAndDelete/One |
pass | pass |
TestHashTrieMapBadHash/LoadEmpty |
pass | pass |
TestHashTrieMapBadHash/LoadOrStore |
pass | pass |
TestHashTrieMapBadHash/Swap |
pass | pass |
TestHashTrieMapBadHash/Swap/All |
pass | pass |
TestHashTrieMapBadHash/Swap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapBadHash/Swap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapBadHash/Swap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMapBadHash/Swap/Multiple |
pass | pass |
TestHashTrieMapBadHash/Swap/One |
pass | pass |
TestHashTrieMapTruncHash |
pass | pass |
TestHashTrieMapTruncHash/All |
pass | pass |
TestHashTrieMapTruncHash/Clear |
pass | pass |
TestHashTrieMapTruncHash/Clear/Concurrent |
pass | pass |
TestHashTrieMapTruncHash/Clear/Simple |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/All |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/Iterate |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/Multiple |
pass | pass |
TestHashTrieMapTruncHash/CompareAndDelete/One |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/All |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/Multiple |
pass | pass |
TestHashTrieMapTruncHash/CompareAndSwap/One |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/All |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/Iterate |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/Multiple |
pass | pass |
TestHashTrieMapTruncHash/LoadAndDelete/One |
pass | pass |
TestHashTrieMapTruncHash/LoadEmpty |
pass | pass |
TestHashTrieMapTruncHash/LoadOrStore |
pass | pass |
TestHashTrieMapTruncHash/Swap |
pass | pass |
TestHashTrieMapTruncHash/Swap/All |
pass | pass |
TestHashTrieMapTruncHash/Swap/ConcurrentSharedKeys |
pass | pass |
TestHashTrieMapTruncHash/Swap/ConcurrentUnsharedKeys |
pass | pass |
TestHashTrieMapTruncHash/Swap/ConcurrentUnsharedKeysWithDelete |
pass | pass |
TestHashTrieMapTruncHash/Swap/Multiple |
pass | pass |
TestHashTrieMapTruncHash/Swap/One |
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.
- BenchmarkHashTrieMapLoad (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadLarge (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadOrStore (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadOrStoreLarge (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkHashTrieMapLoadSmall (benchmark): benchmark execution is deferred to Phase 4D