Will there be any starvation due to below synchronization mechanism ?

Question

If a synchronization mechanism satisfies Bounded Waiting but no Progress and also it is a busy waiting solution so will there be any starvation ?

Answer 1

Yes, there can be. Busy waiting doesn't help for starvation freedom. Bounded waiting + progress ensures no starvation, but just bounded waiting alone doesn't ensure no starvation.

Bounded Waiting: "After a process made a request to enter its critical section and before it is granted the permission to enter, there exists a bound on the number of turns that other processes are allowed to enter"

So, bounded waiting condition is not violated during a deadlock, but progress is not made and starvation freedom may not be there for some process.

See below link for more such properties.

http://www.csl.mtu.edu/cs3331.ck/common/05-Sync-Basics.pdf

Comments

Sir , Agree that there are finite number of processes which can enter so that implies that after some amount of time , the original process would get the chance to enter into Critical section and hence there will be no starvation .

---

Deadlock can happen- bounded wait can still be satisfied.

---

Thank you @Arjun @radha gogia. This discussion has cleared many doubts. and that pdf is awesome. 

Answer 2

Bounded waiting:The process won't wait for infinite time for resource.

No progress:Due to other processes the current process may not get the chance

Busy waiting solution:But the process will continue to check for opportunity.

When you combine these 3 there may b starvation I think.Because in starvation the process will wait for an arbitrary time.Everything depends on the synchronisation mechanism.