一種設計通信順序進程通道服務的方法

摘要：當前金融機構正在尋求使用區塊鏈技術重構關鍵性應用軟件。通常,設計者引用通信順序進程(CSP)庫去構建這些軟件,便可方便套用CSP模型去驗證軟件在并發通信過程中的安全性。然而,在現有的CSP庫中,通道以面向對象方式被抽象、設計和實現,在名稱解析、序列化和反序列化方面存在單點故障和額外開銷,設計者難以使用他們來構建大規模網絡分布式應用。利用Kademlia網絡實現的路由算法,對CSP模型中提出的通道進行重新抽象,并把它設計為由一組遠程調用過程構成的網絡服務,使其具有改良的可靠性和擴展性,為設計者在區塊鏈網絡中開發大規模、安全的分布式應用提供了現實意義。