| Actor Model Later History |
Article Index for Actor Model |
Website Links For Actor |
Information AboutActor Model Later History |
| CATEGORIES ABOUT ACTOR MODEL LATER HISTORY | |
| actor model | |
|
POWER OF THE ACTOR MODEL Investigations began into the basic power of the Actor model. Hewitt {Link without Title} noted that because of the use of Arbiters that the Actor model was more powerful than Logic Programming (see Indeterminacy In Computation ). A family of Prolog -like concurrent message passing systems using unification of shared variables and data structure streams for messages were developed by Keith Clark , Herve Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, ''etc.'' Some of these authors made claims that these systems were based on mathematical logic. However, like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to indeterminacy in the ordering of messages in streams that was similar to the indeterminacy in arrival ordering of messages sent to Actors. Consequently Carl Hewitt and Gul Agha {Link without Title} concluded that that the Prolog-like concurrent systems were neither deductive nor logical. They were not deductive because computational steps did not follow deductively from their predecessors and they were not logical because no system of mathematical logic was capable of deriving the facts of subsequent computational situations from their predecessors COMPOSITIONALITY Compositionality concerns composing systems from subsystems. Issues of compositionality had proven to be serious limitations for previous theories of computation including the Lambda Calculus and Petri Nets . ''E.g.,'' two lambda expressions are not a lambda expression and two Petri nets are not a Petri net and cannot influence each other. In his doctoral dissertation Gul Agha addressed issues of compositionality in the Actor model. Actor ''configurations'' have ''receptionists'' that can receive messages from outside and may have the addresses of the receptionists of other Actor configurations. In this way two Actor configurations can be composed into another configuration whose subconfigurations can communicate with each other. Actor configurations have the advantage that they can have multiple Actors (''i.e.'' the receptionists) which receive messages from outside without the disadvantage of having to poll to get messages from multiple sources (see Issues With Getting Messages From Multiple Channels ). OPEN SYSTEMS Carl Hewitt {Link without Title} pointed out that Openness was becoming a fundamental challenge in software system development. Open distributed systems are required to meet the following challenges: ; Monotonicity : Once something is published in an open distributed system, it cannot be taken back. ; Pluralism : Different subsystems of an open distributed system include heterogeneous, overlapping and possibly conflicting information. There is no central arbiter of truth in open distributed systems. ; Unbounded nondeterminism : Asynchronously, different subsystems can come up and go down and communication links can come in and go out between subsystems of an open distributed system. Therefore the time that it will take to complete an operation cannot be bounded in advance (see Unbounded Nondeterminism ). ; Inconsistency : Large distributed systems are inevitably inconsistent concerning their information about the information system interactions of their human users Carl Hewitt and Jeff Inman worked to develop semantics for Open Systems to address issues that had arisen in Distributed Artificial Intelligence. Carl Hewitt and Carl Manning [1994 reported on the development of Participatory Semantics for Open Systems. COMPUTER ARCHITECTURES Researchers at Caltech under the leadership of Chuck Seitz developed the Cosmic Cube which was one of the first message-passing Actor architectures. Subsequently at MIT researchers under the leadership of Bill Dally developed the J Machine . ATTEMPTS TO RELATE ACTOR SEMANTICS TO ALGEBRA AND LINEAR LOGIC Honda and Mario Tokoro 1991 , Meseguer 1992 , Montanari and Carolyn Talcott 1998 , Gaspari and G. Zavattaro 1999 have attempted to relate Actor semantics to algebra. Also Darlington and Y. K. Guo 1994 have attempted to relate linear logic to Actor semantics. However, none of the above formalisms addresses the crucial property of guarantee of service (see Unbounded Nondeterminism ). RECENT DEVELOPMENTS Recent developments in the Actor model have come from several sources. Hardware development is furthering both local and nonlocal massive concurrency. Local concurrency is being enabled by new hardware for 64-bit many-core microprocessors, multi-chip modules, and high performance interconnect. Nonlocal concurrency is being enabled by new hardware for wired and wireless broadband packet switched communications. Both local and nonlocal storage capacities are growing exponentially. These hardware developments pose enormous modelling challenges. Hewitt 2006a, 2006b is attempting to use the Actor model to address these challenges. REFERENCES
|
|
|