刘云龙
- 作品数:31 被引量:46H指数:4
- 供职机构:北京邮电大学更多>>
- 发文基金:国家教育部博士点基金北京市自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信经济管理更多>>
- 分布式系统中基于备查点机制的容错策略研究
- 刘云龙
- 关键词:分布式系统容错计算多米诺效应数据流分析
- 基于数据流分析的软件容错策略被引量:10
- 1998年
- 该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回,通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合,得出最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题.此外,还给出了恢复块定义有效的充分条件.最后,以电信系统为应用实例,介绍了该方法的一种具体实施.该方法在简单地扩展后可被广泛应用于各种容错软件的设计中.
- 刘云龙陈俊亮
- 关键词:软件容错数据流分析软件开发
- 智能网SCP的两级软件容错策略研究
- 1997年
- 指出了目前SCP在实现方面存在的缺陷,针对其结构和运行机制,提出其软件具有系统级与呼叫级的两级并发性,并基于这个两级并发模型对它的软件容错途径进行了深入的探讨与研究。首次提出了应用软件出错情况下保证所有在线呼叫可靠处理的容错目标,并在SCP系统级与呼叫级两个并发层次上给出了切实有效的容错策略或算法。最后对SCP软件系统有效度的估算进行了进一步讨论。
- 刘云龙李晓峰陈俊亮
- 关键词:智能网SCP软件容错马尔可夫模型电信网
- 智能网系统的两级并发模型
- 刘云龙铁玮
- 关键词:计算机网络人工智能分布式计算机面向对象方法
- 一种优化的分布式系统的失效恢复策略被引量:4
- 1999年
- 本文对确定性进程组成的分布式系统的失效(包括处理机崩溃和进程出错)恢复策略做了深入的研究,独到地提出了应用数据流分析来静态地计算进程的最小备查点数据集的方法.从而允许每个备查点操作只需对那些充分必要的数据进行合法性检测与备份,这种方法使引入的备查点操作的附加时空消耗降到最低.本文还对因进程通信所产生的备查点间隔的依赖关系做了深入讨论,得出了进程错误的最大可能影响范围定理及出错后系统一致性状态的构造定理,从而可以把错误对整个系统的影响限制在一个可控的最小范围内,这不仅可减小因错误而造成的计算损失,而且将直接降低失效恢复过程中的通信开销.在理论分析之后,我们给出了相应的异步备查点与卷回算法,最后通过比较得出本文的算法在空间性能上优越于已发表的几个具有代表性的算法.本文提出的理论及其算法可以应用于以有限自动机为模型的分布式系统的容错设计方法中.
- 刘云龙陈俊亮
- 关键词:分布式系统容错
- 容错以太网的设计与实现被引量:4
- 1998年
- 本文在分析容错以太网背景的基础上提出对容错以太网的需求,它的实现机制,拓朴结构,并在这个基础上对容错以太网设计中的关键问题:正常数据的传输处理,数据传输出错的处理,网络出错的处理,网络的流量控制作了详细的论述。最后给出了这种方案的特点,并提出值得进一步研究的问题。
- 熊翱郭雷刘云龙陈俊亮
- 关键词:以太网容错局域网
- C++中集合类型的一种密聚实现
- 1994年
- 一、引言作为一种流行的高级程序设计语言,C++以其无比强大的功能和简洁灵巧的语句风格而备受广大用户的青睐,尤其是它引入了面向对象的程序设计(OOP——object Oriented Pro-graming)思想,使编程人员的思维过程与感知客观世界的过程相一致,使问题的解空间能够正确地映射现实空间,从而使具体的编程过程变得自然而顺乎逻辑,解脱了数据格式和函数对程序员的束缚,可以说,C++已成为软件发展史中的一个重要里程碑。
- 刘云龙
- 关键词:C++语言程序语言智能网
- 基于RFC2544的以太网测试设计与实现被引量:4
- 2012年
- 网络在现实中的应用无处不在,网络的状态的好坏将直接影响服务的优劣,在这种情况下,对物理链路的测试就更加不能被忽视,RFC2544协议是评测网络设备的国际标准,本文介绍了RFC2544协议,设计一种软件系统去完成RFC2544协议的工作。本文描述了测试系统软件的设计和测试包格式定义。重点分析系统的测试工作原理和方法,并将测试结果和国外相应的产品测试结果进行比对,实验结果表明了测试系统的良好性能。
- 董祎博刘云龙
- 关键词:吞吐量丢包率时延背靠背
- ASN.1编码与解码过程的一种形式化描述
- 1995年
- 本文从实际应用出发,首先简要地介绍了ASN.1(AbstractSyntaxNotationone──抽象语法标记1)及其编码、解码与计算机形式语言的一些概念,并提出了“条件规范归约”的概念,然后对ASN.1的编码与解码过程进行详细论述,井结合实例对此过程给出了一种形式化描述方法,为ASN.1编码与解码工具软件的开发提供理论依据。
- 刘云龙
- 关键词:解码通信系统
- 智能网SCP的两级并发模型与软件容错研究被引量:6
- 1998年
- 智能网作为一种能够快速灵活地定义与提供电信新业务的体系结构,近年来受到人们的普遍重视,其中,业务控制点SCP作为整个系统的核心,它的可靠性与全网的服务质量息息相关。本文中,我们首先指出了目前的SCP产品在容错性能上存在的不足,然后根据SCP的结构和运行机制提出一种两级并发模型,并基于此模型对其软件容错的途径进行了深入的探讨与研究。本文首次提出了应用软件出错情况下保证所有在线呼叫可靠处理的容错目标,并在SCP系统级与呼叫级两个并发层次上给出了切实可行的容错策略或算法,最后,我们还对SCP软件有效度的估算进行了进一步讨论。
- 刘云龙杨放春陈俊亮
- 关键词:智能网业务控制点软件容错ISDN