How can I check lock-free (lock-free) algorithms?

Asked

Viewed 31 times

1

Is there any tool/process/methodology available to prove that a competing program but that does not use Locks in its critical regions is correct?

parallelism competition
No answers

Browser other questions tagged parallelism competition

You are not signed in. Login or sign up in order to post.