鲁米亚纳·内科娃(Rumyana Neykova);吉田信子-多方会话参与者

lmcs:3227-计算机科学中的逻辑方法,2017年3月29日,第13卷第1期-https://doi.org/10.23638/LMCS-13(1:17)2017
多方会话参与者第条

作者:Rumyana NeykovaORCID公司吉田信子ORCID公司

    采用合适的协议描述语言进行参与者协调一直是演员界的一个紧迫问题。我们研究了用于验证actor程序的多方会话类型(MPST)协议。我们通过向模型中引入最少的附加内容,将会话合并到演员中比如参与者角色和协议邮箱的概念。该框架使用Scribble是一种基于多方会话的协议描述语言类型。我们的编程模型支持actor-like语法和运行时保障参与者通信安全的验证机制实体。参与者可以以与对象类似的方式实现多个角色可以实现多个接口。多个角色允许合作单一参与者的货币间一致性。我们通过设计来展示我们的框架以及在Python中实现会话参与者库及其运行时验证机制。基准测试结果表明,运行时检查可以可忽略的开销。我们评估验证的适用性通过实现来自演员基准套装。


    资料来源:arXiv.org:1609.05687
    第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

    4引用本条的文件

    咨询统计

    此页面已被浏览2111次。
    本文的PDF已被下载1028次。