Operator: wait

Operator Overview:

This is a slightly extended wait operator, which counts the number of "wait cycles" that have passed since it was first selected. (The count is incremented by one on each DC.) This allows us to notice the passage of time while waiting.

Operator Proposal:

It is currently only proposed when the task is wait-for-cdc, because the rest of the time the NTD has something useful to do.

Operator Application:

Just increments the count and reconsiders itself.

Operator Reconsider:

Reconsidered whenever proposed. The key is what makes it not get selected again -- and that just requires having some other operator available, because wait is not only worst, but worse than all other acceptable operators.