分布式元组空间协同模型的设计与描述  

Design and Description of Distributed Tuplespace Coodinate Model

作　　者：黄永忠[1] 陈左宁[2] 周蓓[1] 王磊[1] 

机构地区：[1]解放军信息工程大学信息工程学院,郑州450002 [2]江南计算技术研究所,无锡214083

出　　处：《计算机工程》2008年第17期10-11,14,共3页Computer Engineering

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

关 键 词：分布式元组空间 Π-演算 钩互模拟 位置 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]