Q18-b

MCQMarks unknown

The functionality of atomic TEST-AND-SET assembly language instruction is given by the following C function int TEST-AND-SET (int *x) { int y; A1: y=*x; A2: *x=1; A3: return y; }

(A)

Complete the following C functions for implementing code for entering and leaving critical sections on the above TEST-AND-SET instruction. int mutex=0; void enter-cs() { while(......................); } void leave-cs() { .........................; }

(B)

Is the above solution to the critical section problem deadlock free and starvation-free?

(C)

For the above solution, show by an example that mutual exclusion is not ensured if TEST-AND-SET instruction is not atomic?

Loading…