A source process communicates with a sink process by writing messages to a
finite queue. The source process determines whether the finite queue is
full. If the source process determines that the finite queue is full, the
finite queue is emptied and a refresh-all message is written to the
finite the queue. When the sink process reads a refresh-all message from
the finite queue, the sink process performs a refresh-all operation in
which a refresh operation is performed for each member of a set of
objects.