Actor Model of Computation for Scalable Robust Information Systems

Carl Hewitt (1)

1 MOHC - Met Office Hadley Centre

The Actor Model is a mathematical theory that treats “Actors” as the universal conceptual primitives of digital computation. Hypothesis: All physically possible computation can be directly implemented using Actors. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. The advent of massive concurrency through client-cloud computing and many-core computer architectures has galvanized interest in the Actor Model. Message passing using types is the foundation of system communication: •Messages are the unit of communication •Types enable secure communication with any Actor When an Actor receives a message, it can concurrently: •send messages to (unforgeable) addresses of Actors that it has; •create new Actors; •for an exclusive Actor, designate how to handle the next message it receives.

Mots clés: ActorScript; Concurrency; Actor; Actor Model

Domaines: Histoire et perspectives sur les mathématiques [math.HO]; Mathématiques générales [math.GM]; Logique [math.LO]

Carl Hewitt. Actor Model of Computation for Scalable Robust Information Systems: One computer is no computer in IoT. Inconsistency Robustness, 2015, 978-1-84890-159-9. ⟨hal-01163534v3⟩