Explanation : Given,
if TS(T2) <TS(T1) then
T1 is killed
else T2 waits.
- T1 holds a lock on the resource R
- T2 has requested a conflicting lock on the same resource R
According to algo, TS(T2) <TS(T1) then T1 is killed else T2 will wait. So in both cases neither deadlock will happen nor starvation.
Therefore, option A is correct