互联网软件服务的一致性量化模型与控制机制研究

项目名称： 互联网软件服务的一致性量化模型与控制机制研究

项目编号： No.61370057

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 孙海龙

作者单位： 北京航空航天大学

项目金额： 73万元

中文摘要： 在互联网、云计算和移动计算等技术的推动下，在线服务已成为软件的重要形态。由于互联网及数据中心环境的不可靠性和大规模高并发访问的突发性，使得可用性和性能成为在线软件服务面临的重要挑战。副本机制是提高软件可用性和性能的重要方法，但同时也引入了副本状态的一致性问题，而严格的强一致性会制约可用性和性能的提升，从而影响了副本机制的有效性。针对以上问题，本项目以基于副本机制的互联网软件服务为研究对象，以探索一致性和可用性及性能之间的量化关系为研究目标，重点研究以下内容：(1)在柔性一致性前提下，分别研究一致性和可用性及性能的量化模型与控制方法(2)强一致性副本协议的服务性能优化(3)一致性的统一描述模型及柔性可配置的副本协议框架(4)基于在线互联网服务原型系统进行技术验证。基于本项目的研究成果，服务提供商可根据应用特点，自主对一致性进行量化配置，同时在给定的一致性下能够保障软件服务的可用性和性能的优化。

中文关键词： 副本系统；一致性；性能；可用性；群智

英文摘要： Online services have become an important software form thanks for the boosting of Internet, cloud computing and mobile computing.Due to the unreliability of Internet and data center environments and the abruptness of large-scale cocurrent access, performa

英文关键词： replication system；consistency；performance；availability；crowd intelligence