Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Bakery Algorithms Uri Abraham
 

Summary: Bakery Algorithms
Uri Abraham
Department of Mathematics
Ben Gurion University
Beer-Sheva, Israel
abraham@indigo.bgu.ac.il
May 18, 2001
Abstract
An approach to proving higher level properties of distributed pro-
tocols is suggested here in which a proof consists of two stages: In
the higher-level stage, abstract properties of system executions are as-
sumed and their desired consequences are proved. At the lower-level
stage these abstract properties are shown to hold in every execution
of the protocol.
The paper studies the Bakery Algorithm of Lamport and some
variants (these are all mutual exclusion protocols), and its main con-
tribution is a protocol which is similar to the Bakery Algorithm but
only uses bounded values. Another variant uses local clocks to co-
ordinate the protocol's execution, and conditions on the clocks are
determined that suĂce for the protocol's correctness.

  

Source: Abraham, Uri - Departments of Computer Science & Mathematics, Ben-Gurion University

 

Collections: Mathematics; Computer Technologies and Information Sciences