Linguistic support of receptionists for shared resources

Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper addresses linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the sequential stored-program and the object-oriented models of computation. We show how receptionists can be used to regulate the use of shared resources by scheduling their access and providing protection against unauthorized or accidental access. A shared financial account is an example of the kind of resource that needs a receptionist. Issues involved in the implementation of scheduling policies for shared resources are also addressed. The modularity problems involved in implementing servers which multiplex the use of physical devices illustrate how delegation aids in the implementation of parallel problem solving systems for communities of actors.

Original languageEnglish (US)
Title of host publicationSeminar on Concurrency
EditorsGlynn Winskel, Stephen D. Brookes, Andrew William Roscoe
PublisherSpringer
Pages330-359
Number of pages30
ISBN (Print)9783540156703
DOIs
StatePublished - 1985
Externally publishedYes
EventSeminar on Semantics of Concurrency, 1984 - Pittsburgh, United States
Duration: Jul 9 1984Jul 11 1984

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume197 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherSeminar on Semantics of Concurrency, 1984
Country/TerritoryUnited States
CityPittsburgh
Period7/9/847/11/84

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Linguistic support of receptionists for shared resources'. Together they form a unique fingerprint.

Cite this