flush – abort a message
When the response to a request is no longer needed, such as when
a user interrupts a process doing a
request is sent to the server to purge the pending response.
The message being flushed is identified by
The semantics of
depends on messages arriving in order.
The server should answer the
If it recognizes
as the tag of a pending transaction, it should abort any pending response
and discard that tag.
In either case, it should respond with an
can never be responded to by an
The server may respond to the pending request before
responding to the
It is possible for a client to send multiple
messages for a particular pending request. Each
must contain as
the tag of the pending request (not a previous
be received for a pending request, they must be answered in
for any of the multiple
implies an answer for all previous ones. Therefore, should
a server receive a request and then multiple flushes for that
request, it need respond only to the last flush.
When the client sends a
it must wait to receive the corresponding
for subsequent messages.
If a response to the flushed request is received before the
the client must honor the response
as if it had not been flushed,
since the completed request may signify a state change in the server.
may have created a file and
may have allocated a fid.
If no response is received before the
the flushed transaction is considered to have been canceled,
and should be treated as though it had never been sent.
Several exceptional conditions are handled correctly by the above specification:
sending multiple flushes for a single tag,
flushing after a transaction is completed,
and flushing an invalid tag.