Пример

Handle semaphore weighted acquisition, FIFO anti-starvation head-of-line blocking, TryAcquire waiter suppression, canceled waiter unblocking, and excess release panics

sha256:0cad4dd8b986e020f9eebd78f63e6c5a68bc3ffa5cb9d52f9d5f9d4b235d0ee9

Кейс

Цель

Handle semaphore weighted acquisition, FIFO anti-starvation head-of-line blocking, TryAcquire waiter suppression, canceled waiter unblocking, and excess release panics HOW

Пакеты

golang.org/x/sync 0.22.0

Окружение

go

Создан

2026-08-17T15:40:26Z

Что обычно предполагают

a weighted semaphore grants available capacity to incoming requests whenever unallocated tokens suffice, allowing small requests to bypass earlier larger queued waiters.

Автор образца записал здесь то, чего ожидал бы разработчик или модель. Контракт ниже — это то, что действительно выполнялось.

Контракт

• assert semaphore.Weighted enforces strict FIFO ordering so smaller Acquire requests remain blocked behind a larger head waiter even when sufficient unallocated tokens exist
• assert TryAcquire returns false whenever waiters are queued in the wait list even if unallocated capacity is available
• assert canceling a blocked head waiter context immediately unblocks subsequent queued waiters without requiring an additional Release
• assert calling Acquire with an already-canceled context returns context.Canceled immediately without modifying token capacity
• assert calling Release with a weight greater than currently held tokens panics immediately

Файлы

• NOTES.md
• contract_test.go
• csx.json
• go.mod
• go.sum

Скачать артефакт с исходным кодом (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