缓存一致性协议相关论文
随着计算机技术的飞速发展，多处理器系统和多核芯片变得越来越常见。在设计各种复杂的计算机系统时，形式化验证技术在保证设计正确性......
随着半导体技术的发展，片上多核处理器以其高能效、高性能、低设计复杂度等诸多方面的优势已经成为微处理器发展的未来方向。缓存一......
高速缓存一致性协议是弥补多处理机计算机系统中处理机和存储器速度差距的有效方法。随着片上多处理机(ChipMulti-Processor)或多......
带参并发系统实际包含～族并发系统实例，其中以一个(或多个)参数表示每个系统实例的规模，比如实例系统中并发执行的进程个数或数据域的......
带参并发系统广泛存在于各类计算机系统的核心模块中，验证带参系统的正确性是形式验证领域中的一个热点问题。验证带参系统的难点在......
在集成电路工艺以及微处理器性能需求的双重推动下，多核处理器逐渐取代单核处理器成为了市场的主流，微处理器的发展进入多核时代。当......
在现代的多处理器芯片中,由恶意攻击和系统错误引发的软错误现象越来越常见,尤其对云存储服务器中的大型、多层缓存系统而言更是如......
多核/众核处理器具有更高效的访存通道,以满足大量运算核心对数据访问带宽的需求。并行程序的数据访问模式直接决定了数据一致性的......
Godson-T缓存一致性协议是用于Godson-T众核处理器的缓存一致性协议．在Godson-T协议中，缓存一致性协议和存储一致性模型存在紧密的紧......
Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统，对此协议的带参验证是一个很大的挑战。 Cubicle是最......
提出了一种通过查找缓存一致性协议不变量来验证带参协议正确性的新方法.缓存一致性协议验证的难点在于必须证明协议对于任意大小......
German缓存一致性协议是用于共享内存的并发多处理器系统中的缓存一致性协议,对German协议进行形式化验证一直是学术界和工业界的......
现代晶体管技术在单芯片上集成多个处理器已经成为现实.近年来,随着多核处理器集成核数的不断增加,高速缓存的一致性问题凸显出来,......
多核系统中并行程序执行过程的不确定性给程序调试带来了很大的困难.准确记录初始执行中冲突访存的次序是并行程序确定性重放的基......
3月12日,SGI公司首席科技长官(CTO)兼主管研发的高级副总裁Forest Baskett来京。Baskett先生是工作站体系结构领域的专家,曾任DEC......
随着多核处理器的集成规模不断扩大,片上互连由总线发展到片上网络,传统的缓存一致性协议不再适应新的片上网络(NoC)环境,缓存一致......
0引言带参系统存在于许多应用领域中,比如缓存一致协议等。因为它的研究价值,验证这样的系统也就吸引来了形式化验证、模型检测和......
