文章基本信息

标题：Mixing Metaphors: Actors as Channels and Channels as Actors
本地全文：下载
作者：Simon Fowler ; Sam Lindley ; Philip Wadler 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：74
页码：11:1-11:28
DOI：10.4230/LIPIcs.ECOOP.2017.11
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Channel- and actor-based programming languages are both used in practice, but the two are often confused. Languages such as Go provide anonymous processes which communicate using buffers or rendezvous points---known as channels---while languages such as Erlang provide addressable processes---known as actors---each with a single incoming message queue. The lack of a common representation makes it difficult to reason about translations that exist in the folklore. We define a calculus lambda-ch for typed asynchronous channels, and a calculus lambda-act for typed actors. We define translations from lambda-act into lambda-ch and lambda-ch into lambda-act and prove that both are type- and semantics-preserving. We show that our approach accounts for synchronisation and selective receive in actor systems and discuss future extensions to support guarded choice and behavioural types.
关键词：Actors; Channels; Communication centric Programming Languages