双控云存储集群平台的形式化建模

摘要：

针对云存储平台单一控制节点带来的难以处理大并发访问问题和频繁更新存储内容带来的存取效率低下问题,分析了分布式文件系统和块存储各自的优缺点,提出了"虚拟节点→物理节点→区域"的集群存储映射关系,多个虚拟节点映射一个物理节点,减少写入对象时块数据在物理节点间的频繁大幅迁移,建立了双控制节点的双控云存储集群平台,将待存储对象切割并按集群存储映射关系分批分块存储,按重复数进行块的复制存储.针对自然语言和程序设计语言描述云存储平台面临的歧义性和抽象程度不够的问题,提出了采用Z语言描述云存储平台,从组件定义、关系定义和模式描述等方面规范描述云存储平台的整体架构和核心操作,使用UML时序图分步骤描述了双控云存储集群平台如何协作完成读写对象的核心操作.

关键词：云存储、云存储体系结构、双控、形式化建模

所属期刊栏目：14

分类号：TP391(计算技术、计算机技术)

资助基金：湖南省教育厅科学研究项目《基于集群、双控技术的云存储平台形式化方法研究》12C1138;湖南省2016年教育信息化试点项目《信息化条件下促进学生自主学习的创新教学模式研究》湘教通[2016]224号

在线出版日期：2018-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：241-243