COMP10052-AAAF-2010-ExamplesClass-1

In the absence of event synchronizafon and signicant

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: our PING may be answered by different machines/processes in different invocaFons). D is not certain either (in the case of PING, the informaFon being exchanged is always the same). In the absence of event synchronizaFon and significant latency being incurred by remote method invocaFons, any interleaving is possible. Consider, by enumeraFon, all the possible interleavings and the final values of x and y: (1, 2, 3) implies x = 0 y =  ­2 (1, 3, 2) implies x = 0 y =  ­3 (2, 1, 3) implies x = 0 y =  ­2 (2, 3, 1) implies x = 0 y =  ­2 (3, 1, 2) implies x = 0 y =  ­3 (3, 2, 1) implies x = 0 y =  ­3 The value of y is not determined because different interleavings lead to different values of y at the end of the block, but the same is not true of x: it end with the same value no ma`er the interleaving. Note that you could have concluded the fact about the final value of x irrespecFve of the iniFal values and of the possible interleavings, because x is assigned only once and by a value that is not changed insi...
View Full Document

Ask a homework question - tutors are online