Hello..
Here is a very interesting paper:
Are Lock-Free Concurrent Algorithms Practically Wait-Free?
This paper suggests a simple solution to this problem. We show that, for
a large class of lock- free algorithms, under scheduling conditions
which approximate those found in commercial hardware architectures,
lock-free algorithms behave as if they are wait-free. In other words,
programmers can keep on designing simple lock-free algorithms instead of
complex wait-free ones, and in practice, they will get wait-free progress.
Read more here:
https://arxiv.org/abs/1311.3200
Thank you,
Amine Moulay Ramdane.