Engineering
Engineering, 04.09.2021 08:50, lilisncz

. 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

answer
Answers: 3

Other questions on the subject: Engineering

image
Engineering, 03.07.2019 14:10, aliceohern
The y form of iron is known as: a) ferrite b) cementite c) perlite d) austenite
Answers: 3
image
Engineering, 04.07.2019 19:20, sashajayne8260
Determine the stoichiometric and actual air-fuel ratios and the mole flue gas composition for combustion with 15% excess air for raw indiana, pennsylvania raw coal.
Answers: 3
image
Engineering, 04.07.2019 19:20, lovenahofer
Apreheater involves the use of condensing steam at 100°c on the inside of a bank of tubes to heat air that enters at 1 atm and 25°c. the air moves at 5 m/s in cross flow over the tubes. each tube is 1 m long and has an outside diameter of 10 mm. what is the minimum value of nl needed to achieve an outlet temperature of t 75 c? what is the corresponding pressure drop across the tube bank?
Answers: 3
image
Engineering, 06.07.2019 03:10, brookealexis5768
Oxygen at 300 kpa and 400 k is in a closed system with an initial volume of 0.1 m3. is now compressed in a polytropic process, with exponent of n 1.2, to a temperature of 500 k. calculate: a) the boundary work done during the compression, in kj b) the heat transfer during the compression, in kj
Answers: 3
Do you know the correct answer?
. The following program is a mutual exclusion protocol for two processes due to Pnueli [1]. There is...

Questions in other subjects:

Konu
Mathematics, 03.02.2020 03:52
Konu
History, 03.02.2020 03:52