I have 4 questions regarding relation between starvation and bounded waiting.
1.Does starvation-freedom imply deadlock-freedom?
definition of starvation free is
Freedom from Starvation -:Every thread that attempts to acquire the lock eventually succeeds
Freedom from Deadlock -:for some thread attempts to acquire the lock, then some thread (not necessarily the thread referred to in the if statement; emphasis added) will succeed in acquiring the lock.
So, I can state that starvation-freedom imply deadlock-freedom
2.Does starvation-freedom imply bounded-waiting?
Starvation free implies that every thread that will attempt to acquire lock will succeed.
On the other hand
Bounded wait insures that there exists a bound, or limit, on the number of times other processes are allowed to enter their critical sections after a process has made request to enter its critical section and before that request is granted.
Which implies that there must not be any starvation.
Am i correct? But the explanation is here confuses me.