摘要： 元组空间是一种结构化的分布式共享存储编程方式，使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点失效问题及可扩展性差等不足，提出一种混合式的分布式元组空间的体系架构，给出基于π-演算的分布计算演算模型，并对模型的语法和操作语义进行讨论，通过钩互模拟给出了系统的性质。

关键词: 分布式元组空间, π-演算, 钩互模拟, 位置

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

中图分类号: 

• TP311