![subject](/tpl/images/cats/User.png)
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
![ansver](/tpl/images/cats/User.png)
Answers: 3
Another question on Engineering
![question](/tpl/images/cats/User.png)
Engineering, 04.07.2019 18:10
Aplate clutch has a single pair of mating friction surfaces 250-mm od by 175-mm id. the mean value of the coefficient of friction is 0.30, and the actuating force is 4 kn. a) find the maximum pressure and the torque capacity using the uniform-wear model. b) find the maximum pressure and the torque capacity using the uniform-pressure model.
Answers: 3
![question](/tpl/images/cats/User.png)
Engineering, 04.07.2019 18:10
Which one from below is not one of the reasons of planning failures? (clo3) a)-planner is careless. b-planner spend less time in the field but more time on the desk c)-planner is not qualified d)-planner does not have sufficient time to properly plan
Answers: 3
![question](/tpl/images/cats/User.png)
Engineering, 04.07.2019 18:10
Awall of 0.5m thickness is to be constructed from a material which has average thermal conductivity of 1.4 w/mk. the wall is to be insulated with a material having an average thermal conductivity of 0.35 w/mk so that heat loss per square meter shall not exceed 1450 w. assume inner wall surface temperature of 1200°c and outer surface temperature of the insulation to be 15°c. calculate the thickness of insulation required.
Answers: 3
![question](/tpl/images/cats/User.png)
Engineering, 04.07.2019 18:20
Vibration monitoring this technique uses the noise or vibration created by mechanical equipment and in seme cases by plant systems to detemine their actual condtion. a)- true b)- false
Answers: 2
You know the right answer?
. The following program is a mutual exclusion protocol for two processes due to Pnueli [1]. There is...
Questions
![question](/tpl/images/cats/obshestvoznanie.png)
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/en.png)
English, 30.01.2021 02:00
![question](/tpl/images/cats/en.png)
![question](/tpl/images/cats/istoriya.png)
History, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/en.png)
English, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/himiya.png)
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/en.png)
![question](/tpl/images/cats/mat.png)
Mathematics, 30.01.2021 02:00
![question](/tpl/images/cats/en.png)
English, 30.01.2021 02:00
![question](/tpl/images/cats/mat.png)
![question](/tpl/images/cats/obshestvoznanie.png)
Social Studies, 30.01.2021 02:00