Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)

Author Rob van Glabbeek



PDF
Thumbnail PDF

File

LIPIcs.CONCUR.2018.3.pdf
  • Filesize: 156 kB
  • 1 pages

Document Identifiers

Author Details

Rob van Glabbeek
  • Data61, CSIRI, Sydney, Australia

Cite As Get BibTex

Rob van Glabbeek. Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/LIPIcs.CONCUR.2018.3

Abstract

A mutual exclusion algorithm is called speed independent if its correctness does not depend on the relative speed of the components. Famous mutual exclusion protocols such as Dekker's, Peterson's and Lamport's bakery are meant to be speed independent.
In this talk I argue that speed-independent mutual exclusion may not be implementable on standard hardware, depending on how we believe reading and writing to a memory location is really carried out. It can be implemented on electrical circuits, however.
This builds on previous work showing that mutual exclusion cannot be accurately modelled in standard process algebras.

Subject Classification

ACM Subject Classification
  • Theory of computation → Concurrency
Keywords
  • Mutual exclusion
  • speed independence
  • concurrent reading and writing
  • liveness
  • justness

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail