Posts by Weslley Torres • 11 points

• 1

  votes

  0

  answers

  31

  views

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

  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

  asked 7 years, 8 months ago Weslley Torres 11