基于网构软件范型的分布共享数据服务技术研究

With the development of big data techniques and new application paradigms, the focus of software applications is changing from computing to data. From the perspective of software users and developers, the convenient and efficient sharing of data among applications is one of the most important enabling techniques to provide software services to large amount and widely distributed users. To this end, we need to provide the distributed shared memory service. This service provides the shared memory illusion for upper-layer applications and manage in the lower layer the large amount and geo-replicated data at the same time. The development of distributed shared memory services is challenging, mainly due to the dynamic changes in the user requirements, the distributed nature of the computing platform and the complexity of the computing environment. This research proposal adopts the Internetware methodology, and studies the key techniques for the development of distributed shared memory services. This research proposal plans to make progresses in the conceptual model for distributed shared memory services, services level agreement techniques, runtime adaptation techniques and environment modeling and processing techniques. With the development of these key techniques, this proposal plans to build a prototype distributed shared memory service over business-level cloud computing platforms and build applications, in order to demonstrate the usefulness and effectiveness of the distributed shared memory service we develop.

随着新型应用模式的涌现和大数据技术的发展，软件应用关注的重心逐渐从计算向数据迁移。向数量庞大、广域分布的用户提供高质量软件服务的核心支撑技术之一是便捷、高效地在大量应用之间共享数据。为此我们需要提供分布共享数据服务，它对上层应用提供集中访问共享数据的抽象，同时有效管理底层广域分布的大量数据。分布共享数据服务的设计与实现面临用户需求柔性多变、计算平台广域分布、运行环境复杂难控等挑战，它需要有效调整自身行为，始终提供用户满意的服务质量。针对上述挑战，本项申请基于网构软件技术框架，研究分布共享数据服务的开发方法与关键技术，在基于网构软件范型的分布共享数据服务概念模型、面向分布共享数据服务的服务水平协议、分布共享数据服务运行时自适应技术、复杂环境建模与处理技术等方面力争取得一定进展与突破；并在商用云平台实现一个跨数据中心的分布共享数据服务原型系统，全面检验我们所开发的数据服务的易用性与高效性。

本项目就分布共享数据服务的开发和运行所需的软件方法模型、关键技术和支撑平台展开研究，在基于网构软件范型的分布共享数据服务概念框架、基于分布共识的复制数据类型强一致保障技术、基于无冲突复制类型的最终一致性保障技术，以及分布共享数据服务原型系统实现等方面取得了预期的进展。..本项目形成的学术论文得到了国内外同行的关注，形成的关键技术在真实的工业系统中得到了应用。本项目的研究工作为后续“面向分布式系统软件的验证与测试技术研究”打下了坚实的基础。