Deadlock vs. Mutual Xclusion

Question

S1. All synchronisation mechanisms that Do not Prevent Deadlock, guarantee mutual exclusion.

S2. All synchronisation mechanisms that guarantee mutual exclusion and prevent deadlock will prevent starvation.

a) s1 is only correct statement

b) s2 is only correct statement

c) both are correct

d) none of these

Comments

arjun sir needed here.

---

Option D is correct 
S1-  Vsyn_mech(Do_not_prevent_deadlock(syn_mech)--->gureenties _mututalexlusion(syn_mech))

lock variable : F->F  so true 
strict alteration : F->T so true 
interest variable : T->T so true 
petersons solution : F->T so true 
TSL: F->T:

counting semaphore : T->F       False 
this makes statement false 

S2-   Vsyn_mech(prevent_deadlock(syn_mech)  /\  gureenties _mututalexlusion(syn_mech)--->prevent_starvation(syn_mech))

petersons solution :(T/\T)->F    False

Answer 1

d.

1. Because for preventing deadlock one of the 4 conditions should not be satisfied. It should not be necessarily mutual exclusion.

2. Because for preventing deadlock after mutual exclusion you need to have at least one of the three conditions not to be satisfied for deadlock. But starvation is possible when that condition is not preemption. Meaning if we allow preemption then there is the possibility of the starvation. so it doesnot necessarily prevent starvation.

Please correct me if wrong

Comments

i think u  misinterpreted the question

Answer 2

what is answer for this?

Answer 3

option a .

S1– ”Do not prevent deadlock” means deadlock is occuring here which imply all conditions are satisfied here means guranteed mutual exclusion. s1 is True

S2 – Deadlock freedom does not imply starvation freedom means there can be starvation even if there is no chances of deadlock. example semaphore solution. s2 is false