Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Programming with Shared Bulletin Boards in Asynchronus Distributed Systems

Programming with Shared Bulletin Boards in Asynchronus Distributed Systems

File(s)
86-772.ps (731.8 KB)
86-772.pdf (3.04 MB)
Permanent Link(s)
https://hdl.handle.net/1813/6612
Collections
Computer Science Technical Reports
Author
Birman, Kenneth P.
Joseph, Thomas A.
Schmuck, Frank B.
Stephenson, Patrick
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.

Date Issued
1986-08
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR86-772
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance