基于云架构的存储信息系统研究
| 摘要 | 第3-6页 |
| ABSTRACT | 第6-9页 |
| 缩略语表 | 第13-17页 |
| 图索引 | 第17-20页 |
| 表索引 | 第20-21页 |
| 第一章 绪论 | 第21-41页 |
| 1.1 历史与背景 | 第22-33页 |
| 1.1.1 主要发展阶段 | 第22-25页 |
| 1.1.2 相关技术研究动态 | 第25-32页 |
| 1.1.3 存储架构 | 第32-33页 |
| 1.2 基于云的存储系统 | 第33-36页 |
| 1.3 论文的研究目标与主要成果 | 第36-41页 |
| 1.3.1 主要研究内容与关键难点 | 第36-37页 |
| 1.3.2 论文的主要创新点 | 第37页 |
| 1.3.3 论文的结构与章节安排 | 第37-41页 |
| 第二章 云存储系统模型 | 第41-51页 |
| 2.1 云存储系统与可计算架构 | 第41-42页 |
| 2.2 问题求解模型 | 第42-43页 |
| 2.2.1 构成要素 | 第42页 |
| 2.2.2 问题求解模型 | 第42-43页 |
| 2.3 云存储系统模型 | 第43-45页 |
| 2.4 从原子操作到原子构件 | 第45-47页 |
| 2.5 LL7 | 第47-49页 |
| 2.5.1 PbI与PbS | 第47页 |
| 2.5.2 PRM引擎 | 第47-49页 |
| 2.6 小结 | 第49-51页 |
| 第三章 CBSIS系统设计 | 第51-73页 |
| 3.1 CBSIS总体框架 | 第51-53页 |
| 3.2 CBSIS体系结构 | 第53-61页 |
| 3.2.1 CBSIS架构抽象模型 | 第53-54页 |
| 3.2.2 CBSIS体系结构描述语言LL7 | 第54-61页 |
| 3.3 构建CBSIS体系架构 | 第61-69页 |
| 3.3.1 文件系统建模 | 第62-68页 |
| 3.3.2 业务体系架构 | 第68-69页 |
| 3.3.3 系统体系架构 | 第69页 |
| 3.4 系统结构方案 | 第69-71页 |
| 3.4.1 CBSIS应用接口 | 第69-70页 |
| 3.4.2 CBSIS文件系统 | 第70-71页 |
| 3.4.3 CBSIS底层结构 | 第71页 |
| 3.5 小结 | 第71-73页 |
| 第四章 CBSIS系统验证 | 第73-85页 |
| 4.1 形式化建模 | 第73-78页 |
| 4.1.1 建模方法 | 第73-75页 |
| 4.1.2 形式化建模 | 第75-78页 |
| 4.2 形式化验证 | 第78-79页 |
| 4.3 形式化验证工具 | 第79-84页 |
| 4.3.1 验证平台构建 | 第80-82页 |
| 4.3.2 CBSIS模型验证 | 第82-84页 |
| 4.4 小结 | 第84-85页 |
| 第五章 CBSIS原型系统 | 第85-95页 |
| 5.1 基于CBSIS的原型系统 | 第85-90页 |
| 5.1.1 增量式原型系统 | 第85-86页 |
| 5.1.2 UIP系统框架 | 第86-88页 |
| 5.1.3 AIP系统框架 | 第88-90页 |
| 5.2 可执行原型系统 | 第90-93页 |
| 5.2.1 UIP | 第90-91页 |
| 5.2.2 AIP | 第91-93页 |
| 5.3 小结 | 第93-95页 |
| 第六章 云存储片上系统 | 第95-129页 |
| 6.1 DACC的云存储建模 | 第95-96页 |
| 6.2 文件系统建模 | 第96-120页 |
| 6.2.1 业务用例场景 | 第97-103页 |
| 6.2.2 业务流程 | 第103-120页 |
| 6.3 云存储片上系统 | 第120-127页 |
| 6.3.1 云存储基础设施 | 第120-125页 |
| 6.3.2 片上存储系统SSoC | 第125-127页 |
| 6.4 小结 | 第127-129页 |
| 第七章 总结与展望 | 第129-131页 |
| 7.1 本文完成的主要工作 | 第129-130页 |
| 7.2 存在问题和后续研究内容 | 第130-131页 |
| 参考文献 | 第131-141页 |
| 致谢 | 第141-143页 |
| 攻读博士学位期间录用/发表的学术论文 | 第143-145页 |
| 攻读博士学位期间的科研工作及成果 | 第145页 |
