process synchronization

Question

1.Does starvation-freedom imply deadlock-freedom?

2. Does starvation-freedom imply bounded-waiting?

3. Does bounded-waiting imply starvation-freedom?

4. Does bounded-waiting AND deadlock-freedom imply starvation-freedom?

5.does no bounded waiting imply starvation?

Comments

deadlock=> starvation ; so if there is no starvation then no deadlock

About bounded waiting and starvation i'm confuse , have to explore...

as per my knowledge bounded waiting is also called as No-starvation condition ...

but https://wiki.vis.ethz.ch/Summary_Concepts_of_Concurrent_Computation_2010

this baffled me....

---

1. Yes
2. No
3. No
4. Yes
5. No

let me know if any answer is incorrect.

---

Hello manu

answers are least concern , explanation most albeit.

answers are T,F,F,T,F  as per my attached link.

---

thanks, yes, starvation freedom implies deadlock freedom

---

 Rupendra Choudhary

bounded waiting:(number of turns)
After a process made a request to enter its CS and before it is granted the permission to enter ,there exists a bounds on the number of turns that other process are allowed to enter

starvation:long waiting time 

No prgress means starvation but no bounded waiting ----> starvation we cant  say anything 

Answer 1

1.Does starvation-freedom imply deadlock-freedom? 

yes

2.Does starvation-freedom imply bounded-waiting?

No

3.Does bounded-waiting imply starvation-freedom?

No

 4.Does bounded-waiting AND deadlock-freedom imply starvation-freedom?

Yes

5.does no bounded waiting imply starvation?

NO

if there is a deadlock bounded waiting can possible ,but progress cant So deadlock means :No progress

Progress and Bounded waiting are independent of each other

progress+bounded waiting---->starvation freedom

Comments

 @set2018

Can you give any example for 3rd point where bounded wait is there but also starvation exists.?

---

@rahul sharma 5 @set2018

Deadlock $\rightarrow$ No progress $\checkmark$

Does:

Progress $\rightarrow$ No deadlock $?$

---

Edit: Understood.