3) There are 3 standard goals to the 2-process mutual exclusion problem: Goal 1: Mutual exclusion...

Transcribed Image Text:

3) There are 3 standard goals to the 2-process mutual exclusion problem: Goal 1: Mutual exclusion is guaranteed Goal 2: Deadlock cannot occur. Goal 3: Indefinite postponement cannot occur. Attempted Solution: common variables: flag1, flag2 (both initially false) Process 1 while (true) { while (flag2); //empty body flagl Critical section; true; flagl = false; Noncritical section; } Process 2 while (true) { flag2 = true; while (flagl); //empty body Critical section; flag2 = false; Noncritical section; } For the above solution, a) Select one goal that is not satisfied and provide an execution sequence that violates the goal. b) Select one goal that is satisfied and give a brief explanation that justifies why the goal is met for all possible execution sequences. 3) There are 3 standard goals to the 2-process mutual exclusion problem: Goal 1: Mutual exclusion is guaranteed Goal 2: Deadlock cannot occur. Goal 3: Indefinite postponement cannot occur. Attempted Solution: common variables: flag1, flag2 (both initially false) Process 1 while (true) { while (flag2); //empty body flagl Critical section; true; flagl = false; Noncritical section; } Process 2 while (true) { flag2 = true; while (flagl); //empty body Critical section; flag2 = false; Noncritical section; } For the above solution, a) Select one goal that is not satisfied and provide an execution sequence that violates the goal. b) Select one goal that is satisfied and give a brief explanation that justifies why the goal is met for all possible execution sequences.

Answer rating: 100% (QA)

a Goal 3 Indefinite postponement cannot occur Execution sequence that violates Goal 3 1 Process 1 se... View the full answer