期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
以操作系统为中心的存储一致性模型——线程一致性模型
被引量:
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
职称材料
题名
以操作系统为中心的存储一致性模型——线程一致性模型
被引量:
5
1
作者
戴华东
杨学军
机构
国防科学技术大学计算机学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第2期351-359,共9页
基金
国家杰出青年科学基金 (6982 5 10 4)
文摘
分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。
关键词
操作系统
存储
一致性
模型
线程
一致性
模型
分布共享存储系统
内核
Keywords
distributed shared memory
memory consistency model
virtual multithreaded kernel
thread consistency model
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
线程一致性模型及其实现
2
作者
周伟波
戴华东
杨学军
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2003年第1期71-75,共5页
基金
国家杰出青年科学基金资助项目(69825104)
文摘
在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显著优势就是能把计算和通信重叠起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。
关键词
线程
一致性
模型
操作系统
内核
计算机
虚拟分布式共享存储系统
Keywords
SVM
thread consistency model
MTK
write-notice-record
clustered wakeup thread set
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
以操作系统为中心的存储一致性模型——线程一致性模型
戴华东
杨学军
《计算机研究与发展》
EI
CSCD
北大核心
2003
5
下载PDF
职称材料
2
线程一致性模型及其实现
周伟波
戴华东
杨学军
《计算机工程与科学》
CSCD
2003
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部