最病 A Actor Model D Actor model is a mathematical model of concurrent computation that treats actors as the universa primitives of concurrent digital computation a in response to a message that it receives, an actor can make local decisions create more actors send more messages, and determine how to respond to the next message received Institute of Computer Software 2021/1/27 Nanjing University
Actor Model Actor model is a mathematical model of concurrent computation that treats "actors" as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions, create more actors, send more messages, and determine how to respond to the next message received. 2021/1/27 Institute of Computer Software Nanjing University 26
最病 A Actor Model Everything is an object a Philosophy: Everything is an actor a Characterized by a inherent concurrency of computation within and among actors a dynamic creation of actors a inclusion of actor addresses in messages interaction only through direct asynchronous message passing with no restriction on message arrival order Institute of Computer Software 2021/1/27 Nanjing University
Actor Model Philosophy: Everything is an actor! Characterized by inherent concurrency of computation within and among actors dynamic creation of actors inclusion of actor addresses in messages interaction only through direct asynchronous message passing with no restriction on message arrival order 2021/1/27 Institute of Computer Software Nanjing University 27 Everything is an object!
最病 A Actor Model a An actor is a computational entity that in response to a message it receives, can concurrent a send a finite number of messages to other actors a create a finite number of new actors a designate the behavior to be used for the next message If receives. a There is no assumed sequence to the above actions and they could be carried out in parallel Institute of Computer Software 2021/1/27 Nanjing University
Actor Model An actor is a computational entity that, in response to a message it receives, can concurrently: send a finite number of messages to other actors; create a finite number of new actors; designate the behavior to be used for the next message it receives. There is no assumed sequence to the above actions and they could be carried out in parallel. 2021/1/27 Institute of Computer Software Nanjing University 28
Actor Model (mail queue n+1 specify .. replacement Communications among actors occur asynchronously create actors 1|2 (mail queue n|n+1 Recipients of messages are identified by address, sometimes called"mailing address ETH Chair of Software Engineerin P. Eugster
2021/1/27 Institute of Computer Software Nanjing University 29 2021/1/27 Institute of Computer Software Nanjing University Communications among actors occur asynchronously Recipients of messages are identified by address, sometimes called "mailing address
最病 E o Evaluation a Rather rudimentary mechanism n Explicit message passing not unified with object/methods mode u No inheritance 口 Asynchr。 noUs message passing a How to implement queries, i.e. invocations with replies Especial with fifo a Unbounded queues n Sometimes one would like to reason about a larger code portion in sequential case a Requires mechanism on top of only asynchronous invocations Institute of Computer Software 2021/1/27 Nanjing University
Evaluation Rather rudimentary mechanism Explicit message passing not unified with object/methods model No inheritance Asynchronous message passing How to implement queries, i.e., invocations with replies? Especially with FIFO? Unbounded queues? Sometimes one would like to reason about a larger code portion in sequential case Requires mechanism on top of only asynchronous invocations 2021/1/27 Institute of Computer Software Nanjing University 30