摘要
ＢＳＰ（ＢｒｏａｄｃａｓｔｉｎｇＳｅｑｕｅｎｔｉａｌＰｒｏｃｅｓｓｅｓ）是一种带有广播原语的分布式语言，能很好地支持分布式系统中的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网络协议以及数据库并发控制的ｔｉｍｅｓｔａｍｐ协议的规范说明。
BSP(Broadcasting sequential processes), a distributed language with broadcasting primitives, is used for the protocol specification of distributed system, as illustrated with the transportation protocol of OSI reference model and the timestamp protocol of database concurrent control.
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
1995年第4期89-94,共6页
Journal of Lanzhou University(Natural Sciences)
关键词
分布计算机
BSP
协议
分布式语言
分布式系统
distributed computers
BSP
protocol
concurrent control
OSI model
timestamp
process
transaction
