Abstract:
Tuplespace is a kind of structural distributed shared memory programming paradigm. In this paradigm, a shared tuplespace is used to carry out generative communication. To improve the flaw of centralized tuplespace, such as performance bottle-neck, single failure, weak scalability, this paper puts forward a mixed distributed tuplespace architecture, presents the distributed computation model based on π-calculus, introduces the syntax and operational semantics of the model, shows some features of system through the barbed bisimulation.
Key words:
distributed tuplespace,
π-calculus,
barbed bisimulation,
location
摘要: 元组空间是一种结构化的分布式共享存储编程方式,使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点失效问题及可扩展性差等不足,提出一种混合式的分布式元组空间的体系架构,给出基于π-演算的分布计算演算模型,并对模型的语法和操作语义进行讨论,通过钩互模拟给出了系统的性质。
关键词:
分布式元组空间,
π-演算,
钩互模拟,
位置
CLC Number:
HUANG Yong-zhong; CHEN Zuo-ning; ZHOU Bei; WANG Lei. Design and Description of Distributed Tuplespace Coodinate Model[J]. Computer Engineering, 2008, 34(17): 10-11,1.
黄永忠;陈左宁;周 蓓;王 磊. 分布式元组空间协同模型的设计与描述[J]. 计算机工程, 2008, 34(17): 10-11,1.