Accession Number : ADA157917


Title :   Actors: A Model of Concurrent Computation in Distributed Systems.


Descriptive Note : Doctoral thesis,


Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB


Personal Author(s) : Agha,G A


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a157917.pdf


Report Date : Jun 1985


Pagination or Media Count : 203


Abstract : A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors is constrained only by the availability of hardware resources and by the logical dependence inherent in the computation. Unlike dataflow and functional programming, however, actors are dynamically reconfigurable and can model shared resources with changing local state. Concurrency is spawned in actors using asynchronous message-passing, pipelining, and the dynamic creation of actors. The author defines an abstract actor machine and provide a minimal programming language for it. A more expressive language, which includes higher level constructs such as delayed and eager evaluation, can be defined in terms of the primitives. Examples are given to illustrate the ease with which concurrent data and control structures can be programmed. This thesis deals with some central issues in distributed computing. Specifically, problems of divergence and deadlock are addressed. Additional keywords: Object oriented programming; Semantics.


Descriptors :   *DISTRIBUTED DATA PROCESSING , *COMPUTER PROGRAMMING , CONTROL , COMPUTATIONS , MODELS , DISTRIBUTION , PROGRAMMING LANGUAGES , SEMANTICS , STRUCTURES , THESES , SHARING , RESOURCES


Subject Categories : Computer Programming and Software
      Computer Systems


Distribution Statement : APPROVED FOR PUBLIC RELEASE