Smadar Levy

Learn More
<i>Mutual exclusion</i> is a fundamental coordination problem. Over the last 20 years, shared-memory mutual exclusion research focuses on <i>local-spin</i> algorithms and uses the <i>remote memory references</i> (RMRs) metric. To ensure the correctness of concurrent algorithms in general, and mutual exclusion algorithms in particular, it is often required(More)
  • 1