synchronisation

Question

How to differentiate between deadlock and progress in synchronisation?

Answer 1

Consider a traffic jam where no vehicle is moving. This is analogous to a deadlock. Now consider a traffic situation where some vehicles are moving but you are unable to move. Here you are not progressing.

So deadlock is a system property and progress is for each process. A system satisfies progress property when every process has progress eventually. So a system with deadlock won't satisfy progress but a system may not have deadlock even when some of the processes are not progressing.

Comments

i think u r definig bounded wait here.

i think if atleast one process is runnning then it implyees progress......correct me if wrong