The Mailbox Problem
We propose and solve a synchronization problem called the mailbox problem, motivated by the interaction between devices and processor in a computer. In this problem, a postman delivers letters to the mailbox of a housewife and uses a flag to signal a non-empty mailbox. The wife must remove all letters delivered to the mailbox and should not walk to the mailbox if it is empty. We present algorithms and an impossibility result for this problem.
KeywordsShared Variable Synchronization Problem Atomic Step Impossibility Result Liveness Property
Unable to display preview. Download preview PDF.
- 7.Lamport, L.: The + cal algorithm language (July 2006), http://research.microsoft.com/users/lamport/tla/pluscal.html (The page can also be found by searching the Web for the 25-letter string obtained by removing the “-” from uid-lamportpluscalhomepage)
- 10.Saltzer, J.H.: Traffic control in a multiplexed computer system. Technical Report Project MAC Technical Report MAC-TR-30, M.I.T (June 1966)Google Scholar