Previous | Next --- Slide 20 of 31
Back to Lecture Thumbnails

I could not get this starvation point made in the note. Can someone explain this to me ?


@sam This definition says that some thread is guaranteed to make progress. If you have n threads, the first n-1 threads can always make progress while the nth threads sits lonely waiting to make progress but its chance to make progress never comes.


If you want guaranteed per-thread progress in addition to system-wide progress, you want a wait-free data structure.