演えんじ员模型がた

在ざい電腦でんのう科學かがく中なか，演えんじ員いん模型もけい（英語えいご：Actor model）是ぜ一いち種しゅ並行へいこう運算うんざん上うえ的てき模型もけい。「演えんじ員いん」是ぜ一種程式上的抽象概念，被ひ視し為ため並行へいこう運算うんざん的てき基本きほん單元たんげん：當とう一個演員接收到一則訊息，它可以做出で一いち些決策さく、建立こんりゅう更さら多た的てき演えんじ員いん、傳送でんそう更さら多た的てき訊息、決定けってい要よう如何いか回答かいとう接せっ下か來らい的てき訊息。演えんじ员可以修改あらため它们自己じこ的てき私有しゆう状じょう态，但ただし是これ只ただ能のう通どおり过消息いき间接的てき相互そうご影かげ响（避免了りょう基もと于锁的てき同どう步ふ）。

演えんじ員いん模型もけい在ざい1973年ねん於Carl Hewitt、Peter Bishop及Richard Steiger的てき論文ろんぶん中ちゅう提出ていしゅつ。它已经被用作ようさく并发计算的てき理り论理解りかい框かまち架か和わ并发系けい统的てき实际实现基もと础。演えんじ员模型がた和わ其他类似工作こうさく的てき关系讨论可か见于演えんじ员模型がた和わ进程演算えんざん。

基本きほん概念がいねん

演えんじ员模型がた推崇的てき哲学てつがく是ぜ“一切皆是演员”，这与面めん向こう对象编程的てき“一切いっさい皆みな是ぜ对象”类似。

演えんじ员是一个运算实体，响应接收せっしゅう到いた的てき消息しょうそく，相互そうご间是并发的てき：

• 发送有限ゆうげん数量すうりょう的てき消息しょうそく给其他た演えんじ员；
• 创建有限ゆうげん数量すうりょう的てき新しん演えんじ员；
• 指定してい接收せっしゅう到いた下しも一个消息时要用到的行为。

以上いじょう动作不ふ含有がんゆう顺序执行的てき假かり设，因いん此可以并行进行。

发送者しゃ与あずか已やめ发送通信つうしん的てき解かい耦，是ぜ演えんじ员模型がた的てき根本こんぽん优势，演えんじ员模型がた启用了りょう异步通信つうしん并将控ひかえ制せい结构当とう作さく消息しょうそく传递的てき模も式しき。

消息しょうそく接收せっしゅう者しゃ是ぜ通どおり过地址し区分くぶん的てき，有ゆう时也被ひ称しょう作さく“邮件地ち址し”。因よし此演员只能のう和わ它拥有ゆう地ち址し的てき演えんじ员通信つうしん。它可以通过接收せっしゅう到いた的てき信しん息いき获取地ち址し，或ある者もの获取它创建けん的てき演えんじ员的地ち址し。

演えんじ员模型がた的てき特とく征せい是ぜ，演えんじ员内部ぶ或ある相互そうご之の间的计算本ほん质上是ぜ并发性せい的てき，演えんじ员可以动态创建けん，演えんじ员地址し包含ほうがん在ざい消息しょうそく中ちゅう，交互こうご只ただ有ゆう通どおり过直接的ちょくせつてき异步消息しょうそく传递通信つうしん，不ふ限きり制せい消息しょうそく到いた达的顺序。

历史

主しゅ条目じょうもく：演えんじ员模型がた历史

演えんじ员模型がた受到了りょうLisp、Simula、Smalltalk-72、基もと于权限げん的てき系けい统和わ分ぶん组交换的てき影かげ响。其发展てん“受到由よし几十、几百、甚至几千个独立微处理机构成的高度并行计算机つくえ器き的てき前景ぜんけい所しょ推动，其中的てき每まい个处理り机つくえ都と有ゆう自己じこ局部きょくぶ内ない存そん和わ通信つうしん处理器き，它们通どおり过高性能せいのう网络进行通信つうしん。”此后随ずい着ぎ采さい用よう多核たかく和わ众核计算机つくえ架か构的大だい规模并发计算的てき出で现，人にん们已经重新しん燃もえ起おこり了りょう对演员模型がた的てき兴趣。

在ざいHewitt、Bishop和わSteiger的てき1973年刊ねんかん物ぶつ之の后きさき，Irene Greif在ざい1975年ねん博士はかせ论文中ちゅう，为演员模型がた开发出で了りょう一いち种操作そうさ语义。Henry Baker和かずHewitt在ざい1977年ねん发表了りょう演えんじ员系统的公理こうり法ほう则。其他主要しゅよう的てき里程りてい碑ひ包括ほうかつ：William Clinger的てき1981年ねん学位がくい论文，它介入かいにゅう了りょう基もと于幂域的てき指ゆび称しょう语义；还有Gul Agha的てき1985年ねん学位がくい论文，它进一步发展出基于transition的てき语义模型もけい，从而补充了りょうClinger的てき模型もけい。这些工作こうさく促成そくせい了りょう演えんじ员模型がた理り论的てき全面ぜんめん发展。

主要しゅよう的てき软件实现工作こうさく，由ゆかり麻あさ省しょう理工りこう学院がくいん的てき消息しょうそく传递语义小しょう组完成かんせい，其成员包括ほうかつRuss Atkinson、Giuseppe Attardi、Henry Baker、Gerry Barber、Peter Bishop、Peter de Jong、Ken Kahn、Henry Lieberman、Carl Manning、Tom Reinhardt、Richard Steiger和わDan Theriault。分ぶん别由加州かしゅう理工りこう学院がくいん的てきChuck Seitz和わ麻あさ省しょう理工りこう学院がくいん的てきBill Dally领导的てき研究けんきゅう小しょう组，致力于构造づくり新しん的てき计算机つくえ架か构，用よう以进一步发展演员模型中的消息传递。有ゆう关工作こうさく详见演えんじ员模型がた实现。

演えんじ员模型がた的てき研究けんきゅう，已やめ经开展てん于加州かしゅう理工りこう学院がくいん、京都大学きょうとだいがく、微ほろ电子及计算さん机つくえ技わざ术公司こうし、MIT人工じんこう智能ちのう实验室しつ、斯坦福ぶく国こく际研究所けんきゅうじょ、斯坦福ぶく大学だいがく、伊い利り诺伊大学だいがく厄やく巴ともえ纳-香こう槟分校こう、巴ともえ黎はじむ第だい六ろく大学だいがく、比ひ萨大学がく、东京大学だいがく米澤よねざわ研究けんきゅう室しつ、荷に兰数学がく和わ计算机つくえ科学かがく研究けんきゅう学会がっかい和かず其他一いち些地方ちほう。

使用しよう演えんじ员模型がた编程

一些编程语言使用了演员模型或变种。这些语言包括ほうかつ：

早期そうき的てき演えんじ员模型がた编程语言

• Act 1，2，3
• Acttalk
• Ani
• Cantor
• Rosette

后きさき期き的てき演えんじ员模型がた编程语言

• ABCL
• AmbientTalk
• Axum
• CAL演えんじ员语言げん
• D
• E
• Elixir
• Encore
• Erlang
• Fantom
• Humus
• Io
• Pony
• Ptolemy计划
• P
• P#
• Rebeca
• Reia
• Rust
• SALSA
• Scala
• Scratch
• TNSDL

演えんじ员模型がた库及框かまち架か

演えんじ员模型がた库及框かまち架か，允まこと许用户在没ぼつ有ゆう内ない置おけ演えんじ员模型がた的てき语言中ちゅう进行编程。这些框かまち架か包括ほうかつ：

名称めいしょう	状じょう态	最新さいしん发行	许可证	语言
ReActed	活かつ跃	2022-11-30	Apache 2.0	Java
Acteur	活かつ跃	2020-04-16	Apache-2.0 / MIT	Rust
Bastion	活かつ跃	2020-08-12	Apache-2.0 / MIT	Rust
Actix	活かつ跃	2019-05-30	MIT	Rust
Aojet	活かつ跃	2016-10-17	MIT	Swift
Actor	活かつ跃	2017-03-09	MIT	Java
Actor4j	活かつ跃	2020-01-31	Apache 2.0	Java
Actr	活かつ跃	2019-04-09	Apache 2.0	Java
Vert.x	活かつ跃	2018-02-13	Apache 2.0	Java, Groovy, Javascript, Ruby, Scala, Kotlin, Ceylon
ActorFx	不ふ活かつ跃	2013-11-13	Apache 2.0	.NET
Akka	活かつ跃	2022-09-06	Apache 2.0	Java and Scala
Akka.NET	活かつ跃	2020-08-20	Apache 2.0	.NET
Apache Pekko	活かつ跃	2023-07-26	Apache 2.0	Java and Scala
Remact.Net	不ふ活かつ跃	2016-06-26	MIT	.NET, Javascript
Ateji PX	不ふ活かつ跃	?	?	Java
czmq	活かつ跃	2016-11-10	MPL-2	C
F# MailboxProcessor	活かつ跃	同どう于F# (内うち建けん核心かくしん库)	Apache License	F#
Korus	活かつ跃	2010-02-04	GPL 3	Java
Kilim	活かつ跃	2018-11-09	MIT	Java
ActorFoundry (基もと于Kilim)	不ふ活かつ跃	2008-12-28	?	Java
ActorKit	活かつ跃	2011-09-13	BSD	Objective-C
Cloud Haskell	活かつ跃	2015-06-17	BSD	Haskell
CloudI	活かつ跃	2023-10-27	MIT	ATS, C/C++, Elixir/Erlang/LFE, Go, Haskell, Java, Javascript, OCaml, Perl, PHP, Python, Ruby
Clutter	活かつ跃	2017-05-12	LGPL 2.1	C, C++ (cluttermm), Python (pyclutter), Perl (perl-Clutter)
NAct	不ふ活かつ跃	2012-02-28	LGPL 3.0	.NET
Nact	活かつ跃	2018-06-06	Apache 2.0	JavaScript/ReasonML
Retlang	不ふ活かつ跃	2011-05-18	New BSD	.NET
JActor	不ふ活かつ跃	2013-01-22	LGPL	Java
Jetlang	活かつ跃	2013-05-30	New BSD	Java
Haskell-Actor	不ふ活かつ跃？	2008	New BSD	Haskell
GPars	活かつ跃	2014-05-09	Apache 2.0	Groovy
OOSMOS	活かつ跃	2019-05-09	GPL 2.0和かず商しょう业(双そう许可证)	C. C++ friendly
Panini	活かつ跃	2014-05-22	MPL 1.1	自己じこ的てき编程语言
PARLEY	不ふ活かつ跃？	2007-22-07	GPL 2.1	Python
Peernetic	活かつ跃	2007-06-29	LGPL 3.0	Java
PostSharp	活かつ跃	2014-09-24	商しょう业 / Freemium	.NET
Pulsar	活かつ跃	2016-07-09	New BSD	Python
Pulsar	活かつ跃	2016-02-18	LGPL/Eclipse	Clojure
Pykka	活かつ跃	2019-05-07	Apache 2.0	Python
Termite Scheme	不ふ活かつ跃？	2009-05-21	LGPL	Scheme (Gambit实现)
Theron	不ふ活かつ跃	2014-01-18	MIT	C++
Thespian	活かつ跃	2020-03-10	MIT	Python
Quasar	活かつ跃	2018-11-02	LGPL/Eclipse	Java
Libactor	不ふ活かつ跃？	2009	GPL 2.0	C
Actor-CPP	活かつ跃	2012-03-10	GPL 2.0	C++
S4	不ふ活かつ跃	2012-07-31	Apache 2.0	Java
C++ Actor Framework (CAF)	活かつ跃	2020-02-08	Boost Software License 1.0 and BSD 3-Clause	C++11
Celluloid	活かつ跃	2018-12-20	MIT	Ruby
LabVIEW Actor Framework	活かつ跃	2012-03-01	National Instruments SLA	LabVIEW
LabVIEW Messenger Library	活かつ跃	2021-05-24	BSD	LabVIEW
Otavia	活かつ跃	2024-01-02	Apache 2.0	Scala
Orbit	活かつ跃	2019-05-28	New BSD	Java
QP框かまち架か	活かつ跃	2019-05-25	GPL 2.0和かず商しょう业(双そう许可证)	C and C++
libprocess	活かつ跃	2013-06-19	Apache 2.0	C++
SObjectizer	活かつ跃	2021-12-28	New BSD	C++11
rotor	活かつ跃	2022-04-23	MIT License	C++17
Orleans	活かつ跃	2023-07-11	MIT License	C#/.NET
Skynet	活かつ跃	2016-07-11	MIT License	C/Lua
Reactors.IO	活かつ跃	2016-06-14	BSD License	Java/Scala
libagents	活かつ跃	2020-03-08	Free software license	C++11
Proto.Actor	活かつ跃	2021-01-05	Free software license	Go, C#, Python, JavaScript, Java, Kotlin
FunctionalJava	活かつ跃	2018-08-18	BSD 3-Clause	Java
Riker	活かつ跃	2019-01-04	MIT License	Rust
Comedy	活かつ跃	2019-03-09	EPL 1.0	JavaScript
VLINGO XOOM Actors	活かつ跃	2023-02-15	Mozilla Public License 2.0	Java, Kotlin, JVM languages, C# .NET
wasmCloud	活かつ跃	2021-03-23	Apache 2.0	WebAssembly (Rust, TinyGo, Zig, AssemblyScript)
ray	活かつ跃	2020-08-27	Apache 2.0	Python
DOTNETACTORS	活かつ跃	2021-06-14	MIT	.NET, C#, Azure Service Bus
go-actor	活かつ跃	2022-08-16	GPL 3.0	Golang
Sento	活かつ跃	2022-11-21	Apache 2.0	Common Lisp
Xcraft Goblins	活かつ跃	2022-08-30	MIT	JavaScript
Tarant	活かつ跃	2023-04-17	MIT	Typescript, Javascript

注意ちゅうい这里没ぼつ有ゆう列れつ出で全部ぜんぶ框かまち架か和わ库。

并发编程语言用例ようれい

尽つき管かんErlang语言设计者しゃ并未如此表ひょう述じゅつ，因いん其进程间通信つうしん是ぜ通どおり过无共享とおる异步消息しょうそく传递系けい统运作さく，它一般被引证为采用演员模型的典型代表之一。在ざいErlang中なか，所有しょゆう进程都みやこ有一ゆういち个自己じこ的てき“邮箱”，它是从其他た进程已やめ经发送过来而仍未み被ひ消けし费的消息しょうそく的てき队列。进程使用しようreceive原はら语来检索匹ひき配はい预期模も式しき的てき消息しょうそく。一个消息处理例程针对每个模式依次测试这些消息，直ちょく到いた其中有ちゅうう一いち个匹配はい。在ざい消息しょうそく被ひ消けし费并从邮箱ばこ中ちゅう移うつり除じょ之の时进程ほど恢复执行。消息しょうそく可か以包含ほうがん任にん何なんErlang结构，包括ほうかつ原始げんし类型（整数せいすう，浮点数すう、字じ符ふ、原子げんし）、元もと组、列れつ表ひょう和わ函数かんすう。

下面かめん例れい子こ展示てんじ了りょうErlang对分布ぶんぷ式しき进程的てき内ない建けん支持しじ：

% 建立こんりゅう一个进程并启用函数web:start_server(Port, MaxConnections)
ServerProcess = spawn(web, start_server, [Port, MaxConnections]),

% 在ざい机つくえ器きRemoteNode上じょう建立こんりゅう一个远程进程并启用函数web:start_server(Port, MaxConnections)
RemoteProcess = spawn(RemoteNode, web, start_server, [Port, MaxConnections]),

% (异步的てき)发送消息しょうそく到いたServerProcess。消息しょうそく包含ほうがん一いち个元组，它具有ぐゆう原子げんし"pause"和わ数すう"10"。
ServerProcess ! {pause, 10},

% 接收せっしゅう发给这个进程的てき消息しょうそく
receive
    a_message -> do_something;
    {data, DataContent} -> handle(DataContent);
    {hello, Text} -> io:format("Got hello message: ~s", [Text]);
    {goodbye, Text} -> io:format("Got goodbye message: ~s", [Text])
end.

原型げんけい的てき演えんじ员编程ほど语言

主しゅ条目じょうもく：演えんじ员模型がた实现

Hewitt在ざい2006年ねん发表了りょう一个原型的演员编程语言，用意ようい在ざい于直接ちょくせつ表ひょう达演员行为的重要じゅうよう方面ほうめん。消息しょうそく采さい用よう如下表示法ひょうじほう：

<标签>[<元素げんそ>₁ ... <元素げんそ>_n]

编程语言的てき语义是ぜ通どおり过将每ごと个程序じょ构造确定为有自己じこ行ぎょう为的演えんじ员来定てい义的。执行是ぜ通どおり过在执行期き间让Eval消息しょうそく在ざい程ほど序じょ构造之の间传递来建けん模も的てき。

环境演えんじ员

每まい个Eval消息しょうそく都と有ゆう一个充当环境的演员的地址，它能够进行ぎょう标识符ふ与あずか值的绑定（binding）。environment演えんじ员是不可ふか变的（immutable），也就是ぜ不ふ变更的てき。

• 当とう一いち个environment演えんじ员收到いたRequest[Bind[identifier value] customer]的てき时候，建立こんりゅう一个新的环境演员environment’发送给customer，使つかい得とく这个新しん环境演えんじ员收到いたRequest[Lookup[identifier’] customer’]的てき时候，如果identifier同どう于identifier’，则发送给customer’一いち个Returned[value]，否いや则发送给environment一いち个Request[Lookup[identifier’] customer’]。
• 当とう一いち个environment演えんじ员收到いたRequest[Bind[<模も式しき> String] customer]的てき时候，如果此<模も式しき>形かたち如Request[msg[paramerer] customer]，匹ひき配はい于String形かたち如Request[msg[argument] customer]，则建立こんりゅう一个新的环境演员environment’发送给customer，使つかい得とく这个新しん环境演えんじ员收到いたRequest[Lookup[parameter’] customer’]的てき时候，如果parameter’同どう于parameter，则发送给customer’一いち个Returned[argument]，否いや则发送给customer一いち个Thrown[NotFound[<模も式しき>]]。
• 当とう一いち个environment演えんじ员收到いたRequest[Bind[identifier(parameter) value] customer]的てき时候，建立こんりゅう一个新的环境演员environment’发送给customer，使つかい得とく这个新しん环境演えんじ员收到いたRequest[Lookup[identifier’(argument)] customer’]的てき时候，如果identifier同どう于identifier’，则建立こんりゅう一个新的环境演员environment’’，发送给customer’一いち个Returned[value]和わ一いち个Returned[environment’’]，否いや则发送给environment一いち个Request[Lookup[identifier’(argument)] customer’]。这个新しん环境演えんじ员environment’’在ざい收おさむ到いたRequest[Lookup[parameter’] customer’]的てき时候，如果parameter’同どう于parameter，则发送给customer’一いち个Returned[argument]，否いや则发送给environment’一いち个Request[Lookup[parameter’] customer’]。

上述じょうじゅつ环境演えんじ员建造けんぞう在ざいEmptyEnvironment演えんじ员之上じょう，它在接收せっしゅう到いたRequest[Lookup[identifier] customer]的てき时候，发送给customer一いち个Thrown[NotFound[identifier]]。当とう它收到いたBind请求的てき时候，EmptyEnvironment表おもて现的如同上述じょうじゅつ环境演えんじ员。

表おもて达式

原型げんけい语言有ゆう如下种类的てき表ひょう达式，这里的てき通信つうしん包括ほうかつRequest[...]、Returned[...]和わThrown[...]，这里的てき消息しょうそく包括ほうかつEval[...]、Bind[...]和わLookup[...]：

<标识符ふ>

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，发送给environment一いち个Request[Lookup[<标识符ふ>] customer]。

send <接收せっしゅう者しゃ> <通信つうしん>

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，建立こんりゅう一个新演员evalCustomer₁，发送给<接收せっしゅう者しゃ>一いち个Request[Eval[environment] evalCustomer₁]，使つかい得とく

在ざいevalCustomer₁收おさむ到いた通信つうしんReturned[theRecipient]的てき时候，建立こんりゅう一个新演员evalCustomer₂，发送给<通信つうしん>一いち个Request[Eval[environment] evalCustomer₂]，使つかい得とく

在ざいevalCustomer₂收おさむ到いた通信つうしんReturned[theCommunication]的てき时候，发送给theRecipient一いち个theCommunication。

<接收せっしゅう者しゃ>.<消息しょうそく>

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，建立こんりゅう一个新演员evalCustomer₁，发送<接收せっしゅう者しゃ>一いち个Request[Eval[environment] evalCustomer₁]，使つかい得とく

在ざいevalCustomer₁收おさむ到いた通信つうしんReturned[theRecipient]的てき时候，建立こんりゅう一个新演员evalCustomer₂，发送给<消息しょうそく>一いち个Request[Eval[environment] evalCustomer₂]，使つかい得とく

在ざい evalCustomer₂收おさむ到いた通信つうしんReturned[theMessage]的てき时候，发送给theRecipient一いち个Request[theMessage customer]。

receiver ... <模も式しき>_i <表おもて达式>_i ...

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，发送给customer一个新演员theReceiver，使つかい得とく

在ざいtheReceiver收おさむ到いた通信つうしん内容ないようcom的てき时候，建立こんりゅう一个新演员bindingCustomer，并发送给environment一いち个Request[Bind[<模も式しき>_i com] bindingCustomer]，而且

1. 如果bindingCustomer收おさむ到いたReturned[environment’]，发送给<表おもて达式>_i一いち个Request[Eval[environment’]]
2. 不ふ然しか如果bindingCustomer收おさむ到いたThrown[...]，尝试<模も式しき>_i+1。

behavior ... <模も式しき>_i <表おもて达式>_i ...

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，发送给customer一个新演员theReceiver，使つかい得とく

在ざいtheReceiver收おさむ到いたRequest[message customer’]的てき时候，建立こんりゅう一个新演员bindingCustomer，并发送给environment一いち个Request[bind[<模も式しき>_i message] customer’]，而且

1. 如果bindingCustomer收おさむ到いたReturned[environment’]，发送给<表おもて达式>_i一いち个Request[Eval[environment’] customer’]
2. 不ふ然しか如果bindingCustomer收おさむ到いたThrown[...]，尝试<模も式しき>_i+1。

{<表おもて达式>₁, <表おもて达式>₂}

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，发送给<表おもて达式>₁一いち个Request[Eval[environment]]，而且并发的てき发送给<表おもて达式>₂一いち个Request[Eval[environment] customer]。

let <标识符ふ> = <表おもて达式>_值 in <表おもて达式>_体からだ

在ざい收おさむ到いたmessage[Eval[environment] customer]的てき时候，建立こんりゅう一个新演员evalCustomer，并发送给<表おもて达式>_值一いち个Request[Eval[environment] evalCustomer]。

在ざいevalCustomer收おさむ到いたReturned[theValue]的てき时候，建立こんりゅう一个新演员bindingCustomer，并发送给environment一いち个Request[bind[<标识符ふ> theValue] bindingCustomer]。

在ざいbindingCustomer收おさむ到いたReturned[environment’]的てき时候，发送给<expression>_体からだ一いち个Request[Eval[environment’] customer]。

serializer <表おもて达式>

在ざい收おさむ到いたRequest[Eval[environment] customer]的てき时候，发送给customer一いち个Returned[theSerializer]，这里的てきtheSerializer是ぜ新しん演えんじ员，使つかい得とく发送到いたtheSerializer的てき通信つうしん按FIFO次序じじょ由行よしゆき为演员处理り，行ぎょう为演员初始はじめ是これ<表おもて达式>.Eval[environment]，而且

在ざいtheSerializer收おさむ到いた通信つうしん内容ないようcom的てき时候，建立こんりゅう一个新演员customer’，发送给行为演员一个Request[com customer’]，使つかい得とく

在ざいcustomer’收おさむ到いたReturned[value]和わReturned[theNextBehavior]的てき时候，Returned[value]被ひ发送给customer，而theNextBehavior被ひtheSerializer用作ようさく下か次じ通信つうしん的てき行ぎょう为演员。

例れい子こ程ほど序じょ

下面かめん是ぜ简单的てき存そん储单元もと格かく（cell）的てき例れい子こ脚本きゃくほん（script），它可以包含ほうがん任にん何なに演えんじ员地址し：

Cell ≡

receiver

Request[Create[initial] customer]

send customer Returned[serializer ReadWrite(initial)]

上述じょうじゅつ脚本きゃくほん将しょう建立こんりゅう一个存储单元格，它采用よう的てき行ぎょう为ReadWrite定てい义如下か：

ReadWrite(contents) ≡

behavior

Request[read[] customer]

{send customer Returned[contents], Returned[ReadWrite(contents)]}

Request[write[x] customer]

{send customer Returned[], Returned[ReadWrite(x)]}

例れい如，下しも列れつ表ひょう达式建立こんりゅう一いち个单元もと格かくx，具有ぐゆう初はつ始はじめ内容ないよう5，并接着せっちゃく并发的てき向こう它写值7和わ9。

let x = Cell.Create[5] in {x.write[7], x.write[9], x.read[]}

上述じょうじゅつ表ひょう达式的てき值是5、7或ある9。

影かげ响

演えんじ员模型がた在ざい并发计算的てき理り论发展てん和わ实践软件开发中なか都と有ゆう影かげ响。

理り论

演えんじ员模型がた影かげ响了πぱい-演算えんざん和かず随ずい后きさき的てき进程演算えんざん的てき发展。在ざいRobin Milner的てき图灵奖获奖演说中，他た写うつし到いた：

纯lambda演算えんざん现在只ただ使用しよう两种东西来らい建造けんぞう：项和变量。我わが们在进程演算えんざん上じょう也能实现同どう样的经济性せい吗？Carl Hewitt凭もたれ借か其演员模型がた，很久以前いぜん就应对了这个挑战；他た宣告せんこく了りょう值、在ざい值上的てき算さん子こ和わ进程，都と应该是ぜ同一どういつ种东西にし：即そく演えんじ员。

这个目め标打动了我わが，因いん为它蕴涵了りょう表ひょう达式有ゆう着ぎ同どう质性和かず完かん整せい性せい ... 但ただし是ぜ很久以后我わが才ざい明白めいはく了りょう如何いか依よ据すえ代数だいすう演算えんざん来らい达成这个目め标 ...

因いん此本着ぎHewitt的てき精神せいしん，我わが们的第一步だいいっぽ，就是要求ようきゅう由よし项指示しじ或ある由よし名字みょうじ访问的てき所有しょゆう东西，包括ほうかつ值、寄よせ存そん器き、算さん子こ、进程、对象，都みやこ是ただし同どう一いち种东西にし；它们都と应当是ぜ进程。

实践

演えんじ员模型がた在ざい商しょう业实践中已やめ经有了りょう巨大きょだい的てき影かげ响。例れい如，Twitter将はた演えんじ员用于可伸しん缩性应用。还有，Microsoft在ざい其开发的异步代理だいり库中使用しよう了りょう演えんじ员模型がた。

参まいり见

• 数かず据すえ流りゅう程ほど编程
• 并行编程模型もけい
• 输入/输出自しゅつじ动机
• 科学かがく共同きょうどう体たい隐喻

延伸えんしん阅读

• Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems （页面存そん档备份，存そん于互联网档案あん馆）. MIT Press 1985.
• Paul Baran. On Distributed Communications Networks IEEE Transactions on Communications Systems. March 1964.
• William A. Woods. Transition network grammars for natural language analysis （页面存そん档备份，存そん于互联网档案あん馆） CACM. 1970.
• Carl Hewitt. Procedural Embedding of Knowledge In Planner （页面存そん档备份，存そん于互联网档案あん馆） IJCAI 1971.
• G.M. Birtwistle, Ole-Johan Dahl, B. Myhrhaug and Kristen Nygaard. SIMULA Begin Auerbach Publishers Inc, 1973.
• Carl Hewitt, et al. Actor Induction and Meta-evaluation Conference Record of ACM Symposium on Principles of Programming Languages, January 1974.
• Carl Hewitt, Behavioral Semantics of Nonrecursive Control Structure （页面存そん档备份，存そん于互联网档案あん馆） Proceedings of Colloque sur la Programmation, April 1974.
• Irene Greif and Carl Hewitt. Actor Semantics of PLANNER-73 （页面存そん档备份，存そん于互联网档案あん馆） Conference Record of ACM Symposium on Principles of Programming Languages. January 1975.
• Carl Hewitt. How to Use What You Know （页面存そん档备份，存そん于互联网档案あん馆） IJCAI. September, 1975.
• Alan Kay and Adele Goldberg. Smalltalk-72 Instruction Manual. Xerox PARC Memo SSL-76-6. May 1976.
• Edsger Dijkstra. A discipline of programming Prentice Hall. 1976.
• Carl Hewitt and Henry Baker Actors and Continuous Functionals Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1–5, 1977.
• Carl Hewitt and Russ Atkinson. Synchronization in Actor Systems Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1977
• Carl Hewitt and Russ Atkinson. Specification and Proof Techniques for Serializers （页面存そん档备份，存そん于互联网档案あん馆） IEEE Journal on Software Engineering. January 1979.
• Ken Kahn. A Computational Theory of Animation （页面存そん档备份，存そん于互联网档案あん馆） MIT EECS Doctoral Dissertation. August 1979.
• Carl Hewitt, Beppe Attardi, and Henry Lieberman. Delegation in Message Passing Proceedings of First International Conference on Distributed Systems Huntsville, AL. October 1979.
• Nissim Francez, C.A.R. Hoare, Daniel Lehmann, and Willem-Paul de Roever. Semantics of nondetermiism, concurrency, and communication Journal of Computer and System Sciences. December 1979.
• George Milne and Robin Milner. Concurrent processes and their syntax JACM. April 1979.
• Daniel Theriault. A Primer for the Act-1 Language MIT AI memo 672. April 1982.
• Daniel Theriault. Issues in the Design and Implementation of Act 2 （页面存そん档备份，存そん于互联网档案あん馆） MIT AI technical report 728. June 1983.
• Henry Lieberman. An Object-Oriented Simulator for the Apiary Conference of the American Association for Artificial Intelligence, Washington, D. C., August 1983
• Carl Hewitt and Peter de Jong. Analyzing the Roles of Descriptions and Actions in Open Systems （页面存そん档备份，存そん于互联网档案あん馆） Proceedings of the National Conference on Artificial Intelligence. August 1983.
• Carl Hewitt and Henry Lieberman. Design Issues in Parallel Architecture for Artificial Intelligence MIT AI memo 750. Nov. 1983.
• C.A.R. Hoare. Communicating Sequential Processes （页面存そん档备份，存そん于互联网档案あん馆） Prentice Hall. 1985.
• Carl Hewitt. The Challenge of Open Systems Byte. April 1985. Reprinted in The foundation of artificial intelligence: a sourcebook Cambridge University Press. 1990.
• Carl Manning. Traveler: the actor observatory ECOOP 1987. Also appears in Lecture Notes in Computer Science, vol. 276.
• William Athas and Charles Seitz Multicomputers: message-passing concurrent computers （页面存そん档备份，存そん于互联网档案あん馆） IEEE Computer August 1988.
• William Athas and Nanette Boden Cantor: An Actor Programming System for Scientific Computing in Proceedings of the NSF Workshop on Object-Based Concurrent Programming. 1988. Special Issue of SIGPLAN Notices.
• Jean-Pierre Briot. From objects to actors: Study of a limited symbiosis in Smalltalk-80 （页面存そん档备份，存そん于互联网档案あん馆） Rapport de Recherche 88-58, RXF-LITP, Paris, France, September 1988
• William Dally and Wills, D. Universal mechanisms for concurrency （页面存そん档备份，存そん于互联网档案あん馆） PARLE 1989.
• W. Horwat, A. Chien, and W. Dally. Experience with CST: Programming and Implementation PLDI. 1989.
• Carl Hewitt. Towards Open Information Systems Semantics Proceedings of 10th International Workshop on Distributed Artificial Intelligence. October 23–27, 1990. Bandera, Texas.
• Akinori Yonezawa, Ed. ABCL: An Object-Oriented Concurrent System MIT Press. 1990.
• K. Kahn and Vijay A. Saraswat, "Actors as a special case of concurrent constraint (logic) programming", in SIGPLAN Notices, October 1990. Describes Janus.
• Carl Hewitt. Open Information Systems Semantics Journal of Artificial Intelligence. January 1991.
• Carl Hewitt and Jeff Inman. DAI Betwixt and Between: From "Intelligent Agents" to Open Systems Science （页面存そん档备份，存そん于互联网档案あん馆） IEEE Transactions on Systems, Man, and Cybernetics. Nov./Dec. 1991.
• Carl Hewitt and Gul Agha. Guarded Horn clause languages: are they deductive and Logical? International Conference on Fifth Generation Computer Systems, Ohmsha 1988. Tokyo. Also in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991.
• William Dally, et al. The Message-Driven Processor: A Multicomputer Processing Node with Efficient Mechanisms （页面存そん档备份，存そん于互联网档案あん馆） IEEE Micro. April 1992.
• S. Miriyala, G. Agha, and Y.Sami. Visualizing actor programs using predicate transition nets （页面存そん档备份，存そん于互联网档案あん馆） Journal of Visual Programming. 1992.
• Carl Hewitt and Carl Manning. Negotiation Architecture for Large-Scale Crisis Management AAAI-94 Workshop on Models of Conflict Management in Cooperative Problem Solving. Seattle, WA. Aug. 4, 1994.
• Carl Hewitt and Carl Manning. Synthetic Infrastructures for Multi-Agency Systems Proceedings of ICMAS '96. Kyoto, Japan. December 8–13, 1996.
• S. Frolund. Coordinating Distributed Objects: An Actor-Based Approach for Synchronization MIT Press. November 1996.
• W. Kim. ThAL: An Actor System for Efficient and Scalable Concurrent Computing （页面存そん档备份，存そん于互联网档案あん馆） PhD thesis. University of Illinois at Urbana Champaign. 1997.
• Jean-Pierre Briot. Acttalk: A framework for object-oriented concurrent programming-design and experience 2nd France-Japan workshop. 1999.
• N. Jamali, P. Thati, and G. Agha. An actor based architecture for customizing and controlling agent ensembles （页面存そん档备份，存そん于互联网档案あん馆） IEEE Intelligent Systems. 14(2). 1999.
• Don Box, David Ehnebuske, Gopal Kakivaya, Andrew Layman, Noah Mendelsohn, Henrik Nielsen, Satish Thatte, Dave Winer. Simple Object Access Protocol (SOAP) 1.1 W3C Note. May 2000.
• M. Astley, D. Sturman, and G. Agha. Customizable middleware for modular distributed software （页面存そん档备份，存そん于互联网档案あん馆） CACM. 44(5) 2001.
• Edward Lee, S. Neuendorffer, and M. Wirthlin. Actor-oriented design of embedded hardware and software systems （页面存そん档备份，存そん于互联网档案あん馆） Journal of Circuits, Systems, and Computers. 2002.
• P. Thati, R. Ziaei, and G. Agha. A Theory of May Testing for Actors Formal Methods for Open Object-based Distributed Systems. March 2002.
• P. Thati, R. Ziaei, and G. Agha. A theory of may testing for asynchronous calculi with locality and no name matching Algebraic Methodology and Software Technology. Springer Verlag. September 2002. LNCS 2422.
• Stephen Neuendorffer. Actor-Oriented Metaprogramming （页面存そん档备份，存そん于互联网档案あん馆） PhD Thesis. University of California, Berkeley. December, 2004
• Carl Hewitt (2006a) The repeated demise of logic programming and why it will be reincarnated What Went Wrong and Why: Lessons from AI Research and Applications. Technical Report SS-06-08. AAAI Press. March 2006.
• Carl Hewitt (2006b) What is Commitment? Physical, Organizational, and Social （页面存そん档备份，存そん于互联网档案あん馆） COIN@AAMAS. April 27, 2006b.
• Carl Hewitt (2007a) What is Commitment? Physical, Organizational, and Social (Revised) Pablo Noriega .et al. editors. LNAI 4386. Springer-Verlag. 2007.
• Carl Hewitt (2007b) Large-scale Organizational Computing requires Unstratified Paraconsistency and Reflection （页面存そん档备份，存そん于互联网档案あん馆） COIN@AAMAS'07.
• D. Charousset, T. C. Schmidt, R. Hiesgen and M. Wählisch. Native actors: a scalable software platform for distributed, heterogeneous environments in AGERE! '13 Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control.