Nonatomic dual bakery algorithm with bounded tokens

DOI10.1007/S00236-011-0132-0MaRDI QIDQ766163zbMATH OpenOpenAlexFDO

Authors Alex A. Aravind, W. H. Hesselink

Publication date 23 March 2012

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://pure.rug.nl/ws/files/2523090/2011ActaInfAravind.pdf

zbMATH Keywords

mutual exclusionbounded sizefirst-come-first-servenonatomic shared variables

Mathematics Subject Classification ID

Distributed algorithms (68W15) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2089981
• A queue based mutual exclusion algorithm
• The \(k\)-bakery, local-spin \(k\)-exclusion using non-atomic reads and writes
• scientific article; zbMATH DE number 2080925
• scientific article; zbMATH DE number 1696665

Cites work

• scientific article; zbMATH DE number 4082934 (Why is no real title available?)
• scientific article; zbMATH DE number 2080925 (Why is no real title available?)
• scientific article; zbMATH DE number 2089981 (Why is no real title available?)
• A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables
• A challenge for atomicity verification
• A fine-grained solution to the mutual exclusion problem
• A new solution of Dijkstra's concurrent programming problem
• A new solution to the critical section problem
• A queue based mutual exclusion algorithm
• Bounded time-stamps
• Myths about the mutual exclusion problem
• Nonatomic mutual exclusion with local spinning
• On interprocess communication. I: Basic formalism
• The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
• The existence of refinement mappings
• The mutual exclusion problem

Cited in

(6)

• Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
• Logical classification of distributed algorithms (Bakery algorithms as an example)
• Highly-fair bakery algorithm using symmetric tokens
• Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
• Towards an automatic proof of the bakery algorithm
• A queue based mutual exclusion algorithm

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Nonatomic dual bakery algorithm with bounded tokens

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766163)