×

急性:分布式计算的高级编程语言设计。 (英语) Zbl 1125.68023号

摘要:现有语言为独立程序的类型化编程提供了良好的支持。然而,在分布式系统中,许多不同程序的多个实例之间可能存在交互,共享其部分(但不一定全部)模块结构,并且随着时间的推移,某些实例会使用某些模块的新版本进行重建。在本文中,我们讨论了对此类系统的编程语言支持,关注他们的打字和命名问题。我们描述了一种实验性语言Acute,它扩展了ML核心以支持分布式开发、部署和执行,允许独立构建的程序之间进行类型安全的交互。其主要特点是(1)任意值的类型安全编组;(2) 生成的类型名(新生成的和通过散列生成的),以确保类型相等测试足以保护整个分布式系统中抽象类型的不变量;(3) 生成表达式级名称,以确保名称相等性测试足以确保关联值的类型安全,例如,命名通道上的值;(4) 控制编组值与本地资源的动态重新绑定;以及(5)线程和互斥体的thunk化以支持计算移动性。
这些特性是类型化分布式编程所需的很大一部分。它们是ML的一个相对轻量级的扩展,应该能够有效地实现,并且具有足够的表达能力,能够将各种分布式基础设施层编写为字节串网络和持久存储API之上的简单库代码。这将语言运行时与复杂的通信分离开来。本文重点介绍了Acute中的主要设计选择。它由完整的语言定义(类型、编译和操作语义)、原型实现和示例分发库支持。

MSC公司:

68甲15 编程语言理论
68米14 分布式系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 内政部:10.1145/373243.360207·数字对象标识代码:10.1145/373243.360207
[2] Proc.皮尔斯。流行乐。第22页第1页–(1998年)
[3] DOI:10.1016/j.entcs.2005.02.036·doi:10.1016/j.entcs.2005.02.036
[4] 内政部:10.1145/371880.371887·Zbl 05459270号 ·doi:10.1145/371880.371887
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。