一种设计通信顺序进程通道服务的方法  

A method of design communicating sequential process channel service

作　　者：赵扬 ZHAO Yang(China Securities Depository and Clearing Cooperation Ltd.,Shanghai 200120,China)

机构地区：[1]中国证券登记结算有限责任公司上海分公司

出　　处：《上海电机学院学报》2019年第4期245-248,共4页Journal of Shanghai Dianji University

摘　　要：当前金融机构正在寻求使用区块链技术重构关键性应用软件。通常,设计者引用通信顺序进程(CSP)库去构建这些软件,便可方便套用CSP模型去验证软件在并发通信过程中的安全性。然而,在现有的CSP库中,通道以面向对象方式被抽象、设计和实现,在名称解析、序列化和反序列化方面存在单点故障和额外开销,设计者难以使用他们来构建大规模网络分布式应用。利用Kademlia网络实现的路由算法,对CSP模型中提出的通道进行重新抽象,并把它设计为由一组远程调用过程构成的网络服务,使其具有改良的可靠性和扩展性,为设计者在区块链网络中开发大规模、安全的分布式应用提供了现实意义。Currently financial institutions are looking forward to reconstructing critical applications based on Blockchain technology.Usually,designers can easily adopt communicating sequential processes(CSP)model to verify on security of concurrent communicating processes,providing with a library that implements primitives and utilities proposed in CSP theory.However,since the abstract,design and implementation of channel are object-oriented in present libraries,single point of failure in naming resolution and performance overhead brought about by serialization/deserialization limit the utilization to apply to construct network distributed application in large-scale.By facilitating routing function in Kademlia overlay network,re-abstracting and designing CSP channel into network service composed by a set of remote procedure calls improve reliability and scalability in performance,which enables designer to develop large-scaled secure network distributed applications in underlying Blockchain network in reality.

关 键 词：Kademlia覆盖网络 通信顺序进程(CSP)通道 进程同步通信 

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