检索结果-南通市图书馆

可缩放计算系统的cache一致性评述与研究

在线全文

学校读者我要写书评

暂无评论

上海交通大学学报 1996年第6期30卷 109-114页

作者：孙昱东上海交通大学计算机科学与工程系上海

可缩放性是高度并行的多处理机系统的设计目标之一．为此，需要解决Ｃａｃｈｅ一致性问题，使共享数据在各处理机的Ｃａｃｈｅ中保持一致．文中分析了几种常见的Ｃａｃｈｅ一致性方案，认为分布式目录表法和基于软件的方法适用于可缩放... 详细信息

可缩放性是高度并行的多处理机系统的设计目标之一．为此，需要解决Ｃａｃｈｅ一致性问题，使共享数据在各处理机的Ｃａｃｈｅ中保持一致．文中分析了几种常见的Ｃａｃｈｅ一致性方案，认为分布式目录表法和基于软件的方法适用于可缩放多处理机系统．

关键词：可缩放性多处理机 cache一致性存储器

多核处理器cache一致性协议关键技术研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2009年第A01期31卷 104-108页

作者：黄安文张民选国防科技大学计算机学院并行与分布处理国防科技重点实验室湖南长沙410073

多核处理器规模的不断扩大和核间通信机制的日益复杂,使得cache一致性维护变得更加困难。本文从多核处理器cache一致性问题的产生背景出发,分析监听协议、目录协议、Token协议和Hammer协议的实现机制以及在多核环境中的优缺点,分别从一... 详细信息

多核处理器规模的不断扩大和核间通信机制的日益复杂,使得cache一致性维护变得更加困难。本文从多核处理器cache一致性问题的产生背景出发,分析监听协议、目录协议、Token协议和Hammer协议的实现机制以及在多核环境中的优缺点,分别从一致性协议与片上互连结构协同设计、面向低功耗应用的协议优化策略、cache一致性协议验证及容错机制等角度考虑,对未来多核处理器cache一致性协议设计的发展趋势和技术挑战进行详细分析与讨论。

关键词： cache一致性片上互连低功耗验证容错

一种基于贝叶斯网络的随机测试方法在cache一致性验证中的设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2017年第8期39卷 1397-1402页

作者：艾阳阳罗莉杨庆娜张恒浩夏婷婷国防科技大学计算机学院湖南长沙410073

随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,cache一致性协议十分复杂,验证难度大。针对cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决cache... 详细信息

随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,cache一致性协议十分复杂,验证难度大。针对cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决cache一致性协议状态空间爆炸的问题。首先分析了cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于cache一致性的验证。以FT处理器中的cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%。

关键词：芯片验证 cache一致性 CDG 贝叶斯网络随机测试

多路系统cache一致性验证中的错误追踪定位技术

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2022年第7期44卷 1171-1180页

作者：李辉巨鹏锦计永兴上海高性能集成电路设计中心上海201204

以某国产多路系统的验证为例,基于事务级验证TBV技术,提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术,通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模,记录并生成了验... 详细信息

以某国产多路系统的验证为例,基于事务级验证TBV技术,提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术,通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模,记录并生成了验证环境运行产生的事务级信息库,基于上述信息实现了错误的自动追踪定位,显著缩短了错误定位时间,提升了多路系统模拟验证的查错效率。同时,基于事务级的模型,也使得验证人员可以在比设计部件更高的层次描述复杂流程的cache一致性覆盖点,这种事务级维度的覆盖率描述弥补了原有代码覆盖率和功能覆盖率局限于模块和部件级的不足,是对全面性和充分性验证的有益补充。

关键词：处理器验证事务级验证多路系统 cache一致性覆盖率错误追踪

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

cache一致性及其协议

天津成人高等学校联合学报 2000年第3期2卷 67-70页

作者：李艇天津市职工电子仪表工程学院天津市300190

本文对Ｃａｃｈｅ一致性问题作了进一步探讨，介绍一混合ＳｎｏｏｐｙＣａｃｈｅ协议即Ｍｏｄｉｆｉｅｄ－Ｋｅｉｏ协议，并对其进行分析和比较。

关键词： cache一致性 Modi6ed-keio协议 Snoopy cache协议 WSI技术多处理机系统 cache存储器

在线全文

学校读者我要写书评

暂无评论

cache一致性机制及其相关研究

科技情报开发与经济 2008年第17期18卷 148-150页

作者：胡彧柴华太原理工大学测控技术研究所山西太原030024 太原理工大学计算机与软件学院山西太原030024

概述了cache的一致性问题及目前的研究情况,并在现有的cache一致性协议的基础上,提出了一种改进的cache一致性协议以及该协议所应用的单芯片多处理器体系结构。

关键词： cache一致性单芯片多处理器内存一致性内核互联

在线全文

学校读者我要写书评

暂无评论

CMP中cache一致性协议的验证

电子技术应用 2005年第12期31卷 1-4页

作者：李崇民王海李兆麟清华大学计算机科学与技术系北京100084 黑龙江省鹤岗市自来水公司工程技术科清华大学信息研究院CPU中心

CMP是处理器体系结构发展的一个重要方向,其中cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议,本文建立了CMP的cache一致性协议的验证模型,总结了三种验证方法——状态列举法、模型检验法和符号状态法,并给出了... 详细信息

CMP是处理器体系结构发展的一个重要方向,其中cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议,本文建立了CMP的cache一致性协议的验证模型,总结了三种验证方法——状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析。

关键词： CMP cache一致性状态列举模型检验符号状态模型

在线全文

学校读者我要写书评

暂无评论

异构多处理器系统cache一致性解决方案

微计算机信息 2008年第29期24卷 126-128页

作者：田芳姜秀柱王书芹李娜中国矿业大学徐州221008 天水师范学院 741000

SoC技术的发展使多个异构的处理器集成到一个芯片成为可能,这种结构已成为提高微处理器性能的重要途径。与传统的多处理器系统一样,cache一致性问题也是片内异构多处理器系统必须首先解决的问题。本文在分析cache一致性问题的基础上,对... 详细信息

SoC技术的发展使多个异构的处理器集成到一个芯片成为可能,这种结构已成为提高微处理器性能的重要途径。与传统的多处理器系统一样,cache一致性问题也是片内异构多处理器系统必须首先解决的问题。本文在分析cache一致性问题的基础上,对采用不同监听协议的多处理器的集成,以牺牲简单的硬件为代价来完成一致性协议的转化。将此方法并入多处理器芯片封装内来管理,可保证在异构多处理器系统中数据的一致性。

关键词：异构多处理器系统 cache一致性监听协议

在线全文

学校读者我要写书评

暂无评论

可缩放性cache一致性协议分析

电光与控制 1999年第2期6卷 44-48页

作者：王钰西安邮电学院计算机系西安710061

分析了可缩放共享存储器多机系统购Ｃａｃｈｅ一致性协议的硬件解决方案。集中式控制方法只适应于规模适中的多机系统，这是因素数据块共享信息存放在系统存储器中，成为性能提高的瓶颈；分布式控制方法允许系统拥有多个存储器控制部件... 详细信息

分析了可缩放共享存储器多机系统购Ｃａｃｈｅ一致性协议的硬件解决方案。集中式控制方法只适应于规模适中的多机系统，这是因素数据块共享信息存放在系统存储器中，成为性能提高的瓶颈；分布式控制方法允许系统拥有多个存储器控制部件，适合于大规模的多机系统。

关键词：可缩放性 cache一致性多微机系统计算机系统