Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6612
Title: Programming with Shared Bulletin Boards in Asynchronus Distributed Systems
Authors: Birman, Kenneth P.
Joseph, Thomas A.
Schmuck, Frank B.
Stephenson, Patrick
Keywords: computer science
technical report
Issue Date: Aug-1986
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR86-772
Abstract: We consider loosely coupled distributed computing systems in which processes interact through shared resources, which are modeled as bulletin boards. The first part of the paper formalizes the notion of consistent behavior when unreliable processes concurrently access a bulletin board. This model is interesting both as a tool for showing the correctness of a board implementation and also because it provides a mechanism for reasoning about consistency in distributed systems, which was previously lacking. The remainder of the paper discusses software techniques for implementing consistent bulletin boards in a network of processors lacking shared memory. Applications for our approach range from asynchronous interprocess communication to mechanisms for achieving mutual exclusion, deadlock detection and for building distributed database systems.
URI: http://hdl.handle.net/1813/6612
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
86-772.pdf3.11 MBAdobe PDFView/Open
86-772.ps731.8 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us