期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
以操作系统为中心的存储一致性模型——线程一致性模型 被引量:5
1
作者 戴华东 杨学军 《计算机研究与发展》 EI CSCD 北大核心 2003年第2期351-359,共9页
分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行... 分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。 展开更多
关键词 操作系统 存储一致性模型 线程一致性模型 分布共享存储系统 内核
下载PDF
线程一致性模型及其实现
2
作者 周伟波 戴华东 杨学军 《计算机工程与科学》 CSCD 2003年第1期71-75,共5页
在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模... 在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显著优势就是能把计算和通信重叠起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。 展开更多
关键词 线程一致性模型 操作系统 内核 计算机 虚拟分布式共享存储系统
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部