Flash Speed Questions

The solution time is much shorter than you think.

. the following program is a mutual exclusion protocol for two processes due to pnueli [1]. there is a single shared variable s which is either 0 or 1, and initially 1. besides, each process has a local boolean variable y that initially equals 0. the program text for process pi (i = 0, 1) is as follows: loop forever do begin l1: noncritical section l2: (yi, s) := (1, i); l3: wait until ((y1?i = 0) ? (s ? i)); l4: critical section l5: yi := 0 end. here, the statement (yi, s) := (1, i); is a multiple assignment in which variable yi := 1 and s := i is a single, atomic step. please answer following questions: a) define the program graph of a process in pnueli’s algorithm. b) determine the transition system for each process. c) construct their parallel composition. d) check whether the algorithm ensures mutual exclusion. e) check whether the algorithm ensures starvation freedom. f) the last two questions may be answered by inspecting the transition system Get the answer
Category: ecology | Author: Abraham Uilleam

## Related Questions

##### . the following shows a feedback control system where the height of th
geography5 Minutes ago
##### . the graph below shows the relationship between the number of calorie
ecology7 Minutes ago
##### . the graph g(x) is shown in the figure above. if h(x) = -9(x) + 1, w
science12 Minutes ago

Sagi Boris 55 Minutes ago

. the height of a plant is 8 more inches than twice the height of a plant last month. the plant is 32 inches this month. what is the height of the pla

## geography

Mona Eva 1 Hours ago

. the length of a micrometer is approximately 0.00003937 inch. how would you express this in scientific notation?

## ecology

Sarah Aksinia 1 Hours ago

. the length of a rectangular garden is three feet less than twice its width. if the perimeter of the garden is 42 feet, what are its dimensions?