多方会话参与者第条作者:Rumyana Neykova;吉田信子
0000-0002-2755-7728##0000-0002-3925-8557
鲁米亚纳·内科娃(Rumyana Neykova);吉田信子
采用合适的协议描述语言进行参与者协调一直是演员界的一个紧迫问题。我们研究了用于验证actor程序的多方会话类型(MPST)协议。我们通过向模型中引入最少的附加内容,将会话合并到演员中比如参与者角色和协议邮箱的概念。该框架使用Scribble是一种基于多方会话的协议描述语言类型。我们的编程模型支持actor-like语法和运行时保障参与者通信安全的验证机制实体。参与者可以以与对象类似的方式实现多个角色可以实现多个接口。多个角色允许合作单一参与者的货币间一致性。我们通过设计来展示我们的框架以及在Python中实现会话参与者库及其运行时验证机制。基准测试结果表明,运行时检查可以可忽略的开销。我们评估验证的适用性通过实现来自演员基准套装。
第13卷第1期
发布日期:2017年3月29日
受理日期:2017年3月29日
提交日期:2017年3月29日
关键词:计算机科学-编程语言,D.1,D.2,D.3,F.1.2
基金: 来源:OpenAIRE Graph- 基于会话的分布式系统多方会话类型治理;资助者:英国研究与创新;代码:EP/K011715/1
- 通过混合多核系统的类型转换开发并行性;资助方:英国研究与创新;代码:EP/L00058X/1
- 从数据类型到会话类型——并发和分发的基础;资助方:英国研究与创新;代码:EP/K034413/1
- 通过基于类型的优化从内在并发到大规模并行;出资人:欧洲委员会;代码:612985