Jones is running a collection of processes p1 p2 pN . Each process pi contains a variable vi . She wishes to determine whether all the variables v1 v2 vN course of the execution.

(i) Jones’ processes run in a synchronous system. She uses a monitor process to determine whether the variables were ever equal. When should the application processes communicate with the monitor process, and what should their messages contain?
(ii) Explain the statement possibly ( v1= v2 = =vN ). How can Jones determine
whether this statement is true of her execution?


(i) communicate new value when local variable vi changes;
with this value send: current time of day C(e) and vector timestamp V(e) of the event of the change, e.
(ii) possibly (...): there is a consistent, potentially simultaneous global state in which the given predicate is true. Monitor process takes potentially simultaneous events which correspond to a consistent state, and checks
predicate v1 =

v2 = =

vN .
Simultaneous: estimate simultaneity using bound on clock synchronization and upper limit on message propagation time, comparing values of C.
Consistent state: check vector timestamps of all pairs of potentially simultaneous events ei , ej : check Vei i Vej i .

Computer Science & Information Technology

You might also like to view...

Different sorting algorithms on a particular array produce the same result; the choice of algorithm affects ________ of the program that implements the algorithm.

a. only the run time b. the run time and the memory use c. only the memory use d. neither the run time nor the memory use

Computer Science & Information Technology

Technology adapted from copiers is used to produce printed output using a(n) ________ printer

Fill in the blank(s) with correct word

Computer Science & Information Technology

YouTube is a popular ________ website

Fill in the blank(s) with correct word

Computer Science & Information Technology

Which of the following will invalid entries in the GRUB2 configuration cause?

A. kernel warning automatically skipping invalid entries B. kernel panic and halt the system C. kernel error with confirmation to skip invalid entries D. no error, automatically skipping invalid entries until a valid entry is found

Computer Science & Information Technology