A method is wait-free if it guarantees that every call finishes its execution in a finite number of steps (i. e. even if one thread is stuck on execution, other threads don't wait while it completes).
Questions tagged [wait-free]
17 questions
0
votes
1 answer
How to check what progress guarantee a concurrent program follows?
I was working on some concurrent programs for the past few weeks and was wondering if there is any tool that can automatically detect what type of progress condition its operations guarantees, that is whether it is wait-free, lock-free or…
kishoredbn
- 2,007
- 4
- 28
- 47
0
votes
2 answers
Wait-free queue implementation in JAVA
I've been trying to use already written Wait-free queue by Alex Kogan and Erez Petrank taken from here, but faced the problem. I can't understand that exactly thread ID need to be used in que() and deque() methods on page 5 and 7:
void enq(int…
Rocketq
- 5,423
- 23
- 75
- 126