Operating System Exercises - Chapter 3 Sol
Operating System Exercises - Chapter 3 Sol
Operating System Exercises - Chapter 3 Sol
CHAPTER
Processes
Practice Exercises
into the set. This process takes a little more time than on systems with
one set of registers, depending on how a replacement victim is selected.
3.3 When a process creates a new process using the fork() operation, which
of the following state is shared between the parent process and the child
process?
a. Stack
b. Heap
c. Shared memory segments
Answer: Only the shared memory segments are shared between the
parent process and the newly forked child process. Copies of the stack
and the heap are made for the newly created process.
3.4 Again considering the RPC mechanism, consider the “exactly once” se-
mantic. Does the algorithm for implementing this semantic execute cor-
rectly even if the “ACK” message back to the client is lost due to a network
problem? Describe the sequence of messages and whether "exactly once"
is still preserved.
Answer: The “exactly once” semantics ensure that a remore procedure
will be executed exactly once and only once. The general algorithm for
ensuring this combines an acknowledgment (ACK) scheme combined
with timestamps (or some other incremental counter that allows the
server to distinguish between duplicate messages).
The general strategy is for the client to send the RPC to the server along
with a timestamp. The client will also start a timeout clock. The client
will then wait for one of two occurrences: (1) it will receive an ACK from
the server indicating that the remote procedure was performed, or (2) it
will time out. If the client times out, it assumes the server was unable
to perform the remote procedure so the client invokes the RPC a second
time, sending a later timestamp. The client may not receive the ACK for
one of two reasons: (1) the original RPC was never received by the server,
or (2) the RPC was correctly received —and performed —by the server
but the ACK was lost. In situation (1), the use of ACKs allows the server
ultimately to receive and perform the RPC. In situation (2), the server will
receive a duplicate RPC and it will use the timestamp to identify it as a
duplicate so as not to perform the RPC a second time. It is important to
note that the server must send a second ACK back to the client to inform
the client the RPC has been performed.
3.5 Assume that a distributed system is susceptible to server failure. What
mechanisms would be required to guarantee the “exactly once” seman-
tics for execution of RPCs?
Answer: The server should keep track in stable storage (such as a
disk log) information regarding what RPC operations were received,
whether they were successfully performed, and the results associated
with the operations. When a server crash takes place and a RPC message
is received, the server can check whether the RPC had been previously
performed and therefore guarantee “exactly once” semanctics for the
execution of RPCs.