Implement a 'priority select'
Closed this issue · 0 comments
yruslan commented
Describe the feature
A 'priority select' is a kind of select where if more than one channel operation can be triggered, the one specified first will be triggered first. Normally, select() triggers operations randomly based if more than one is available.