10.3969/j.issn.1002-137X.2008.09.029
大规模发布/订阅系统中的可靠性模型
大多数Internet上的大规模发布/订阅系统,其覆盖网络是不可靠的,系统的可靠性和处理故障的能力是一个挑战性的问题.基于轨迹序列和线性时态逻辑定义系统的可靠性条件,是路由算法可靠性分析的基础.设计了崩溃/恢复模式的路由协议,维持一致的、共享的系统状态,有效地处理具有局部性、临时性的路由器故障和链路故障.
可靠性、轨迹序列、崩溃/恢复、路由协议
35
TP3;TN9
南京信息工程大学科研基金资助项目Y640
2008-11-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
114-115,148