There are a small fixed number of "wait objects". A wait object holds a value called "todw". A BWAIT key designates a wait object.

See (p2,waitc) for a way to get many keys to wait on.

BWAIT(0;==>c;) returns with c=0. It never returns much later than when the real clock exceeds todw of the wait object, and it seldom returns earlier. If there is already a domain waiting on the designated wait object, the return is immediate with c=1. {The waiting domain will not be paged out.}

BWAIT(1,tod;==>;) causes todw of the designated wait object to be set to tod. Tod is 64 bits long.

Programing notes:

Design Note: