检索结果-维普期刊中文期刊服务平台

一种基于目录的软件事务性内存实现算法被引量：2: 1; 作者张小强彭林 +1 位作者彭元喜谢伦国《计算机研究与发展》 EI CSCD 北大核心 2008年第9期1517-1523,共7页; 软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行.STM算法中一般包含记录所访问的共享数据、缓冲投机修改的数据以及处理事务冲突.STM中的主要开销在于维护共享数据访问记录和一致性验证.维护共享数据访问记录主要目的是便... 展开更多; 关键词软件事务性内存(STM) 冲突检测验证并发多线程; 在线阅读下载PDF 职称材料

基于事务性执行的投机并行多线程软件模拟被引量：1: 2; 作者姚震郑启龙 +1 位作者陈国良杨晓奇《小型微型计算机系统》 CSCD 北大核心 2008年第3期437-443,共7页; 基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程... 展开更多; 关键词投机并行多线程事务性内存软件模拟动态插桩; 在线阅读下载PDF 职称材料

SpMT WaveCache:开发数据流计算机中的推测多线程被引量：3: 3; 作者裴颂文吴百锋《计算机学报》 EI CSCD 北大核心 2009年第7期1382-1392,共11页; 推测多线程技术(Speculative Multithreading,SpMT)是通过推测地执行多个线程来开发线程级并行性,提高超标量处理器性能.通过增加额外的硬件单元,比如线程同步单元(Thread Synchronization Unit,TSU)、线程上下文表(Thread Context Tabl... 展开更多; 关键词动态数据流计算机推测多线程事务性内存波标量指令集; 在线阅读下载PDF 职称材料

面向STM的松弛存储一致性算法: 4; 作者张小强彭林 +1 位作者黄春谢伦国《计算机工程与科学》 CSCD 北大核心 2010年第1期127-131,共5页; 软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行。如果两个事务访问了同一个共享数据且至少一个事务进行了修改操作,则称发生了冲突。检测冲突后,一般选择一个事务终止。当前的STM实现都基于严格的线性一致性(Linearizabili... 展开更多; 关键词软件事务性内存(STM) 因果一致性验证并发多线程; 在线阅读下载PDF 职称材料

基于STM模型的面向可视化并行程序的设计: 5; 作者王力生黄鹏《计算机应用与软件》 CSCD 北大核心 2012年第12期161-163,170,共4页; 并行程序设计由于需要考虑进程之间的同步等问题使得编码过程十分复杂。可视化的并行程序设计为程序员提供了图形化的编程模板和骨架来进行并行程序的设计工作,在一定程度上减小了并行程序的设计难度。首先研究软件事务性内存模型,它相... 展开更多; 关键词可视化并行程序设计软件事务性内存扩展性; 在线阅读下载PDF 职称材料

题名一种基于目录的软件事务性内存实现算法被引量：2: 1; 作者张小强彭林彭元喜谢伦国; 机构国防科学技术大学计算机学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2008年第9期1517-1523,共7页; 基金国家自然科学基金项目(60676010) 国家"八六三"高技术研究发展计划基金项目(2008AA01Z110)~~; 文摘软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行.STM算法中一般包含记录所访问的共享数据、缓冲投机修改的数据以及处理事务冲突.STM中的主要开销在于维护共享数据访问记录和一致性验证.维护共享数据访问记录主要目的是便于进行验证.冲突检测(conflict detection)判断两个事务能否同时提交,而验证(validation)确保每个线程看到的数据状态是一致的.给出了关于STM一个简单模型,证明在STM中对共享数据的修改是线性的.提出的LDSTM算法通过在目录中维护版本信息,可以在读取各个共享对象时快速确定事务的内存视图是否处于一致状态,可以极大减少冲突检测和验证的开销.该算法可以实现早期发现写-写冲突,减少无效计算.在单线程情况下该算法开销很小.实验数据表明,LDSTM简单高效,冲突检测和验证开销减少明显.; 关键词软件事务性内存(STM) 冲突检测验证并发多线程; Keywords software transactional memory （STM） conflict detection validation concurrency thread; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于事务性执行的投机并行多线程软件模拟被引量：1: 2; 作者姚震郑启龙陈国良杨晓奇; 机构中国科学技术大学计算机科学与技术系高性能计算及应用省部共建重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2008年第3期437-443,共7页; 基金 Intel高等研究基金(4507146713) 安徽省自然科学基金(050420205)资助; 文摘基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程程序进行功能性模拟,设计并实现了完整的软件平台,可精确地模拟和监控并行程序的线程级投机执行过程,检测访存冲突,从而实现投机并行多线程的语义.该软件平台同时可以作为进一步研究投机多线程并行程序真实执行过程的基础,并有效支持投机并行多线程编译器的设计和分析.; 关键词投机并行多线程事务性内存软件模拟动态插桩; Keywords speculative parallel threading transactional memory software simulation dynamic instrumentation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SpMT WaveCache:开发数据流计算机中的推测多线程被引量：3: 3; 作者裴颂文吴百锋; 机构复旦大学计算机科学技术学院; 出处《计算机学报》 EI CSCD 北大核心 2009年第7期1382-1392,共11页; 基金上海市重点学科建设项目基金(B114) AMD大学合作计划基金资助~~; 文摘推测多线程技术(Speculative Multithreading,SpMT)是通过推测地执行多个线程来开发线程级并行性,提高超标量处理器性能.通过增加额外的硬件单元,比如线程同步单元(Thread Synchronization Unit,TSU)、线程上下文表(Thread Context Table,TCT)和线程内存历史表(Thread Memory History,TMH),扩展了事务性内存系统,提高了基于波标量指令集系统结构(WaveScalar ISA)实现的WaveCache模拟器的性能.同时,还提出了一种新的两级线程级事务提交机制.最后,采用了6个来自SPEC、Media和Mibench测试程序集的真实测试程序,评估了推测多线程WaveCache(SpMT WaveCache)的性能.实验表明,SpMT WaveCache比超标量系统结构提高了2～3倍的性能,是一种有效的开发动态数据流计算机性能的方法.; 关键词动态数据流计算机推测多线程事务性内存波标量指令集; Keywords dynamic dataflow computer speculative multithreading （SpMT） transactional memory WaveScalar; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向STM的松弛存储一致性算法: 4; 作者张小强彭林黄春谢伦国; 机构国防科学技术大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2010年第1期127-131,共5页; 基金国家863计划资助项目(2008AA01Z110) 国家自然科学基金资助项目(60676010); 文摘软件事务性内存(STM)提供同步手段,让多线程程序高效并发执行。如果两个事务访问了同一个共享数据且至少一个事务进行了修改操作,则称发生了冲突。检测冲突后,一般选择一个事务终止。当前的STM实现都基于严格的线性一致性(Linearizability)语义模型,实现简单。但是,基于该语义会导致很多本来可以完成提交的事务失败,降低了系统效率。把因果一致性模型应用于STM,可以在保证程序准确性条件下取得较好的实际性能。实验数据表明,该算法简单高效,明显减少了冲突数目。; 关键词软件事务性内存(STM) 因果一致性验证并发多线程; Keywords software transactional memory （STM） causal consistency validation concurrency threads; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于STM模型的面向可视化并行程序的设计: 5; 作者王力生黄鹏; 机构同济大学计算机科学与技术系; 出处《计算机应用与软件》 CSCD 北大核心 2012年第12期161-163,170,共4页; 文摘并行程序设计由于需要考虑进程之间的同步等问题使得编码过程十分复杂。可视化的并行程序设计为程序员提供了图形化的编程模板和骨架来进行并行程序的设计工作,在一定程度上减小了并行程序的设计难度。首先研究软件事务性内存模型,它相对于传统的并行程序设计方法而言有着接口简单灵活,可扩展性强等特点,之后将STM模型运用到可视化程序设计中来,使得其编程接口以UML活动图的形式提供给编程人员使用,不用依赖特定的软件或硬件环境,提高了可视化并行程序设计的通用性与可扩展性。; 关键词可视化并行程序设计软件事务性内存扩展性; Keywords Visual Parallel programming Software transactional memory Scalability; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于目录的软件事务性内存实现算法	张小强彭林彭元喜谢伦国	《计算机研究与发展》 EI CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
2	基于事务性执行的投机并行多线程软件模拟	姚震郑启龙陈国良杨晓奇	《小型微型计算机系统》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
3	SpMT WaveCache:开发数据流计算机中的推测多线程	裴颂文吴百锋	《计算机学报》 EI CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
4	面向STM的松弛存储一致性算法	张小强彭林黄春谢伦国	《计算机工程与科学》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
5	基于STM模型的面向可视化并行程序的设计	王力生黄鹏	《计算机应用与软件》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料