Semaphores and Precedence Constraints. The following pair of processes shares a common variable X. Statements within a process are executed sequentially, but statements in process A may execute in any...

1) Order of execution:A1 A2 B1 B2

a. 11

b. 10

c. 5

d. 6

2) Order of execution:B1 A1 B2 A2

a. 11

b. 20

c. 10

d. 6

Extracted text: Semaphores and Precedence Constraints. The following pair of processes shares a common variable X. Statements within a process are executed sequentially, but statements in process A may execute in any order with respect to statements in process B. shared var X: integer = 5; {initialized to 5} Process A Process B int Y; int Z; A1: Y= X* 2; X = Y A2: В1: Z-D X+13; B2: X = Z; Determine the value of X when statements from A and B are interleaved with the following sequence of execution: