[27] in 6.033-lab
Re: lab2 questions
daemon@ATHENA.MIT.EDU (Constantine P. Sapuntzakis)
Sun Mar 30 18:11:03 1997
To: David C Zhang <davidz@MIT.EDU>
Cc: 6.033-lab@MIT.EDU
In-Reply-To: Your message of "Sun, 30 Mar 1997 16:30:38 EST."
<199703302130.QAA05659@ASHLAND.MIT.EDU>
Date: Sun, 30 Mar 1997 18:13:04 EST
From: "Constantine P. Sapuntzakis" <csapuntz@MIT.EDU>
> 1) the spec of rpc() states
> Effects: See definition of RPC above. Does not return until the reply
> has been received and acknowledged.
>
> in my design, the client does not acknowledge the reply, but rather just
> takes it and leaves. The server remembers the reply, and repeats it if the
> client resends the request (in case the reply was lost).
This is an error in the spec. You can strike out the words "and
acknowledged" in the Effects: clause.
-Costa
