#self doubt

Question

if there is a deadlock then mutual exclusion or progress or bound wait or circular wait can be there.

but if there is no mutual exclusion or any one of the other properties is not satisfied then deadlock will not be there.

is the above statement correct?

Answer 1

If there is a deadlock, then it is guaranteed that mutual exclusion, hold-and-wait, No-premption & circular wait all must be there.

If any of these 4 is missing then we can say that there is no deadlock kn the system.

 

So, conclusion is if either mutual exclusion or hold-and-wait or No-premption or Circular wait is missing, there is no deadlock in the system.

 

So, above statement is correct.