Channel receive flow control deadlocks after initial credit window
Channel receive flow control deadlocks after initial credit window: a task in LegoFlow-SWE (Harbor dataset). When a channel receiver consumes items, the sender’s credit is not reliably replenished, causing the stream to stall once the initial credit budget is exhausted. Short streams (fewer items…
The task
When a channel receiver consumes items, the sender’s credit is not reliably replenished, causing the stream to stall once the initial credit budget is exhausted. Short streams (fewer items than the initial window) appear to work, but longer streams block permanently after the sender runs out of credit.
Part of Lego-X/LegoFlow-SWE.