Bounded Batch Arbiter
Gap acceptance: this group finishes, new arrivals hold.
A turn opens once batchSize people are waiting, or once the one at the head has waited maxWait; it then admits only those already queued when it opened, so a stream of arrivals cannot extend one turn indefinitely. That bound is the whole of the discipline, and it is the one that behaves like a real crossing with a warden on it.
Parameters
batch Size
how many waiting people open a turn
max Wait
how long the first of them will wait before a turn opens regardless
Properties
Functions
Link copied to clipboard
May a pedestrian step onto the crossing now?
Link copied to clipboard
Should the crossing be held shut against vehicles?
Link copied to clipboard
When the crossing should ask again even though nothing has happened.
Link copied to clipboard
Told that a turn has ended, so a discipline with a memory can advance it.