国家自然科学基金(60603048)
- 作品数：3 被引量：1H指数：1
- 相关作者：曾令仿冯丹田磊王芳曹炬更多>>
- 相关机构：华中科技大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国下一代互联网示范工程更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于线性时序逻辑的对象文件系统形式化描述
- 2007年
- 基于线性时序逻辑,给出了对象文件系统特性的形式化描述.对象文件系统时序逻辑(OFSTL)是线性时序逻辑在描述对象文件系统应用中的一个推广.用OFSTL描述对象文件系统的性质,用模型化的状态迁移系统表示对象文件系统的访问行为.试图解决目前对象文件系统研究存在的问题: ①关注提升对象文件系统性能和功能,但是以增加对象文件系统复杂性为代价; ②很少针对对象文件系统精确描述,缺乏形式化的辅助,妨碍从细节上考查对象文件系统的正确性.
- 曾令仿冯丹王芳施展
- 关键词：对象文件系统线性时序逻辑
- 网络存储系统多并行度I/O流水调度策略与实践
- 2007年
- 将应用的I/O请求处理划分为多个阶段,为流水线技术引入网络存储提供了新思路.同时,应用的I/O请求(工作量)以并行度划分为多个子工作量来通过各流水段,这样,一批处于同一流水段的子工作量之间存在同步开销,合理划分网络存储I/O流水段、探讨I/O流水机制,对提高网络存储系统整体性能具有一定的指导及实践意义.实验表明,I/O调度采用流水线的方式,能重叠I/O处理相关各阶段的操作,提高网络存储系统I/O性能.
- 曾令仿冯丹王芳田磊
- 关键词：网络存储网络磁盘阵列
- 一种基于对象的多媒体存储系统优化策略被引量：1
- 2008年
- 设计一个实用的分布式多媒体服务系统,存储子系统是其中的一个研究重点。根据多媒体系统的存储特点,从全新的视角提出一种存储子系统设计方案——基于对象的多媒体存储系统(Multimedia Object-based Storage System,MOSS),并分析了MOSS的系统架构和工作流程。与传统的多媒体存储技术相比,对象存储不仅能有效地改善系统I/O性能,还具有较好的安全性。以对象存储原型系统为基础,讨论了热点对象文件的分布和均匀分块优化策略。通过建立与系统相对应的数学模型,对数传率、I/O请求丢失率等性能指标作了定性分析。该研究工作对消除多媒体服务系统I/O瓶颈、进行存储子系统设计具有实际的指导意义。
- 邹强冯丹曹炬田磊曾令仿
- 关键词：多媒体系统I/O请求
