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, 04.07.2019 18:10, ahmedeldyame
Aloaded platform of total mass 500 kg is supported by a dashpot and by a set of springs of effective stiffness 72 kn/m. it is observed that when the platform is depressed through a distance x = 12.5 cm below its equilibrium position and then released without any initial velocity; it reaches its equilibrium position in the shortest possible time without overshoot. find the position and velocity of the loaded platform 0.10 sec. after its release. if a further load of 400 kg is added to the platform, find, i) the frequency of damped vibrations, and i) the amplitude of vibration after 2 complete oscillations, given that the initial amplitude is 15 cm.
Answers: 1
image
Engineering, 04.07.2019 18:10, heidiburgos1own6c0
Fluids at rest possess no flow energy. a)- true b)- false
Answers: 3
image
Engineering, 04.07.2019 18:10, namira16
Which of the following controllers anticipates the future from the slope of errors over time? a)-proportional b)-on/off c)-integral d)-derivative.
Answers: 2
image
Engineering, 04.07.2019 18:10, krystabrewer3
What are the two (02) benefits, which may result from a successful implementation of preventive maintenance (pm) program in an organization? (clo3)a)- lean manufacturing b)-overlapping responsibilities c)-the planner is not qualified d)-accurate contractor information e)-reduction in equipment redundancies f)-accurate stores information
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: