检索结果

Select

1. 基于HBase的地理分布副本管理机制

李勇, 吴立慧, 黄宁, 吴维刚

计算机应用 2015, 35 (11): 3097-3101. DOI: 10.11772/j.issn.1001-9081.2015.11.3097

摘要（572）

PDF （752KB）（589）

针对分布式存储系统中数据通常在多个数据中心有冗余的副本进行备份,需要健壮的机制维护各个副本的一致性,对分布式系统的副本复制理论作了深入研究后,提出了一套管理地理分布副本的算法.微软研究院提出服务等级协议,把用户对一致性的要求分成若干级别,每个级别与用户可容忍的延迟有关.系统保证在可容忍的延迟范围内,用户能拥有较高的服务等级.Tuba系统拓展了Pileus,允许系统根据所有用户发送的统计信息动态地改变主从副本存放的位置,以提高系统的平均性能,但Tuba系统的复制只是基于单个目标单位进行.对Tuba系统中的方法作出改进,提出了一套改变主从副本存放位置的算法,并在HBase分布式系统的副本复制中实现了该机制.系统完成后,通过实验验证了在改变主从副本存放位置时综合考虑两个region的相关性可以提高系统整体的效用.

参考文献 | 相关文章 | 多维度评价

Select

2. 面向服务架构软件实现前的可靠性评价方法

吕堂祺黄宁贾晓光王东

计算机应用 2011, 31 (09): 2436-2439. DOI: 10.3724/SP.J.1087.2011.02436

摘要（1180）

PDF （836KB）（700）

为了在软件实现前评估其可靠性，针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法：用OWL-S描述软件的需求和设计信息，利用Maude为OWL-S过程模型的控制结构定义形式化语义，使用分布函数构建软件的操作剖面，在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述，在Maude系统的支持下，通过重写得到软件的可靠度，并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响，能够在软件实现前根据软件设计预测其可靠度，为软件的开发设计提供了工程指导。

相关文章 | 多维度评价

Select

3. OWL-S模型转化为重写逻辑模型的方法

沈雅芬黄宁彭永义

计算机应用 2011, 31 (06): 1491-1494. DOI: 10.3724/SP.J.1087.2011.01491

摘要（1122）

PDF （611KB）（666）

OWL-S模型在基于服务的软件设计中具有重要作用，但由于其非完全形式化的模型，不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架，通过对数据类型、表达式、控制结构与Process的转换，设计并实现了OWL-S模型到重写逻辑模型的自动转化工具，为能够在软件实现前为设计模型的形式化分析与验证，以及可靠性分析提供基础。