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.