Question: what are the necessary and sufficient conditions for deadlock to occur?
Answer: Necessary conditions A deadlock situation on a resource can arise if and only if all of the following conditions hold simultaneously in a system: Mutual exclusion: At least one resource must be held in a non-shareable mode. Otherwise, the processes would not be prevented from using the resource when necessary.