|
|
|
|
|
|
by tialaramex
1132 days ago
|
|
|
If you must make progress locally (not just globally) the guarantee you need is wait freedom which is even stronger than lock freedom. (All wait free algorithms are lock free because necessarily if every thread is guaranteed to eventually make progress then overall progress is definitely made) |
|
|