任怡 李超 吴庆波 管剑波 敖琦 董青 杨学军 郑立刚 周伟波 夏军 吴泉源

存储一致性模型 瞬时访问信息 算法模拟 过程模型 长事务 虚拟多线程操作系统内核 虚拟技术 SR-IOV 写记录 IO模型 分布式共享存储系统 线程一致性模型 语义原子性 数据局部性 页迁移 分布共享存储系统 层次式 同构唤醒线程簇 补偿 S3框架 时间局部性 并行编译优化 良构性判定 非奇异循环变换 空间局部性 虚拟分布式共享存储系统 事务性服务组合 失效恢复 页迁移复制 S3C框架

国防科技大学计算机学院 国防科学技术大学计算机学院 湖南长沙