Deadlock implies No Progress (in process synchronization) ?

Question

Hi Guys,

Deadlock implies no progress. This statement is mentioned at many places. But i just want to verify my reasoning with respect to Progress definition 

Progress

If no process is executing in its critical section and some processes wish to enter their critical sections, then only those processes that are not executing in their remainder section can participate in deciding which will enter its critical section next, and this selection cannot be postponed indefinitely.

Let us assume that deadlock is Livelock which is very much possible. So in case of Livelock only process which want to enter in the critical section are participating but selection is postponed indefinitely. I think this is the only reason for saying progress condition is not satisfied in case of Deadlock. 

If my reasoning is not complete or incorrect then please notify. It will be a great help.

Comments

Even if there is no livelock, the progress condition is not satisfied if there is a deadlock. As the processes that can determine which process to enter next are blocked & as a result of which they postpone that decision indefinitely.

Deadlock $\rightarrow$ No progess

Deadlock $\rightarrow$ Starvation

---

ABove Discussion might be helpfull

https://www.facebook.com/groups/gateoverflow/1361237214081485/?comment_id=1362293157309224&notif_id=1590580204384497&notif_t=group_comment