operating system

Question

meeting progress implies solution is deadlock free? (true / false)

Comments

it is defined that "$deadlock\rightarrow \overline{progression}$"

$\Rightarrow$ $\overline{deadlock}+\overline{progress}$

$\Rightarrow$ $\overline{deadlock}+\overline{1}$ // since system is progressive

$\Rightarrow$ $\overline{deadlock}$ //no deadlock

this means that meeting progress implies system is deadlock free

---

Progress means atleast one is still running.

 Progress is  No deadlock . (direct)

Deadlock is not progress . (contrapositive)

if direct is true then contrapossitive is true.

---

Wow nice way to explain @nitish